Suhyun Cha
Agence du Bassin Hydraulique de Sebou(MA)HAW Hamburg(DE)
Publications by Year
Research Areas
Flexible and Reconfigurable Manufacturing Systems, Safety Systems Engineering in Autonomy, Software Reliability and Analysis Research, Formal Methods in Verification, Manufacturing Process and Optimization
Most-Cited Works
- → Safety verification of Ada programs using software fault trees(1991)137 cited
- → The use of self checks and voting in software error detection: an empirical study(1990)132 cited
- → Architecture-based change impact analysis in cross-disciplinary automated production systems(2018)20 cited
- → Industry 4.0 interface for dynamic reconfiguration of an open lab size automated production system to allow remote community experiments(2017)16 cited
- → Generalised Test Tables: A Practical Specification Language for Reactive Systems(2017)13 cited
- → Maintenance effort estimation with KAMP4aPS for cross-disciplinary automated PLC-based Production Systems - a collaborative approach(2017)12 cited
- → An integrated framework for verifying multiple care pathways(2017)11 cited
- → A framework for automated conflict detection and resolution in medical guidelines(2019)11 cited
- → Generalized test tables: A powerful and intuitive specification language for reactive systems(2017)9 cited
- → Applicability of generalized test tables: a case study using the manufacturing system demonstrator xPPU(2018)9 cited