Follow
Suhyun Cha
Suhyun Cha
Verified email at tum.de
Title
Cited by
Cited by
Year
Architecture-based change impact analysis in cross-disciplinary automated production systems
R Heinrich, S Koch, S Cha, K Busch, R Reussner, B Vogel-Heuser
Journal of Systems and Software 146, 167-185, 2018
272018
Industry 4.0 interface for dynamic reconfiguration of an open lab size automated production system to allow remote community experiments
S Bougouffa, K Meßzmer, S Cha, E Trunzer, B Vogel-Heuser
2017 IEEE International Conference on Industrial Engineering and Engineering …, 2017
212017
Maintenance effort estimation with KAMP4aPS for cross-disciplinary automated PLC-based Production Systems-a collaborative approach
B Vogel-Heuser, R Heinrich, S Cha, K Rostami, F Ocker, S Koch, ...
IFAC-PapersOnLine 50 (1), 4360-4367, 2017
172017
A framework for automated conflict detection and resolution in medical guidelines
J Bowles, MB Caminati, S Cha, J Mendoza
Science of computer programming 182, 42-63, 2019
142019
Generalised test tables: A practical specification language for reactive systems
B Beckert, S Cha, M Ulbrich, B Vogel-Heuser, A Weigl
Integrated Formal Methods: 13th International Conference, IFM 2017, Turin …, 2017
142017
Generalized test tables: A powerful and intuitive specification language for reactive systems
A Weigl, F Wiebe, M Ulbrich, S Ulewicz, S Cha, M Kirsten, B Beckert, ...
2017 IEEE 15th International Conference on Industrial Informatics (INDIN …, 2017
122017
Applicability of generalized test tables: a case study using the manufacturing system demonstrator xPPU
S Cha, A Weigl, M Ulbrich, B Beckert, B Vogel-Heuser
at-Automatisierungstechnik 66 (10), 834-848, 2018
92018
An integrated framework for verifying multiple care pathways
J Bowles, MB Caminati, S Cha
2017 International Symposium on Theoretical Aspects of Software Engineering …, 2017
92017
A Model-Based Approach to Calculate Maintainability Task Lists of PLC Programs for Factory Automation
K Busch, J Rätz, S Koch, R Heinrich, R Reussner, S Cha, M Seitz, ...
IECON 2018-44th Annual Conference of the IEEE Industrial Electronics Society …, 2018
82018
An approach to efficient test scheduling for automated production systems
K Land, S Cha, B Vogel-Heuser
2019 IEEE 17th International Conference on Industrial Informatics (INDIN) 1 …, 2019
72019
Generation of monitoring functions in production automation using test specifications
S Cha, S Ulewicz, B Vogel-Heuser, A Weigl, M Ulbrich, B Beckert
2017 IEEE 15th International Conference on Industrial Informatics (INDIN …, 2017
72017
Analysis of metamodels for model‐based production automation system engineering
S Cha, B Vogel‐Heuser, J Fischer
IET Collaborative Intelligent Manufacturing 2 (2), 45-55, 2020
62020
Preventing technical debt for automated production system maintenance using systematic change effort estimation with considering contingent cost
S Cha, QH Dong, B Vogel-Heuser
2018 IEEE 16th International Conference on Industrial Informatics (INDIN …, 2018
52018
An adaptive cell search and integral frequency offset estimation in mobile WiMAX
J Choi, M Park, S Cha, HS Lee
VTC Spring 2009-IEEE 69th Vehicular Technology Conference, 1-5, 2009
52009
Relational test tables: A practical specification language for evolution and security
A Weigl, M Ulbrich, S Cha, B Beckert, B Vogel-Heuser
Proceedings of the 8th International Conference on Formal Methods in …, 2020
42020
Model-based availability analysis for automated production systems: a case study
J Mund, M Junker, S Bougouffa, S Cha, B Vogel-Heuser
Proceedings of the 15th ACM-IEEE International Conference on Formal Methods …, 2017
42017
On the preservation of the trust by regression verification of PLC software for cyber-physical systems of systems
S Cha, M Ulbrich, A Weigl, B Beckert, K Land, B Vogel-Heuser
2019 IEEE 17th International Conference on Industrial Informatics (INDIN) 1 …, 2019
32019
V-BLAST detection ordering method with H-ARQ
S Cha, S Lee, CH Nam, HS Lee
2008 International Conference on Advanced Technologies for Communications …, 2008
32008
Learning from evolution for evolution
S Kögel, M Tichy, A Chakraborty, A Fay, B Vogel-Heuser, C Haubeck, ...
Managed Software Evolution, 255-308, 2019
22019
Achieving delta description of the control software for an automated production system evolution
S Cha, A Weigl, M Ulbrich, B Beckert, B Vogel-Heuser
2018 IEEE 14th International Conference on Automation Science and …, 2018
22018
The system can't perform the operation now. Try again later.
Articles 1–20