| 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 | 31 | 2018 |
| 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 | 23 | 2017 |
| 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 | 18 | 2019 |
| 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 | 17 | 2017 |
| 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 | 16 | 2017 |
| 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 | 13 | 2017 |
| An integrated framework for verifying multiple care pathways J Bowles, MB Caminati, S Cha 2017 International Symposium on Theoretical Aspects of Software Engineering …, 2017 | 12 | 2017 |
| 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 | 10 | 2020 |
| 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 | 10 | 2018 |
| 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 | 10 | 2018 |
| 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 | 8 | 2019 |
| 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 | 8 | 2017 |
| 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 | 5 | 2018 |
| 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 | 5 | 2009 |
| 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 | 4 | 2020 |
| 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 | 4 | 2017 |
| 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 | 4 | 2008 |
| 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 | 3 | 2019 |
| Table‐based formal specification approaches for control engineers—empirical studies of usability S Cha, B Vogel‐Heuser, A Weigl, M Ulbrich, B Beckert IET Cyber‐Physical Systems: Theory & Applications 6 (4), 193-207, 2021 | 2 | 2021 |
| Applying dynamic programming to test case scheduling for automated production systems K Land, B Vogel-Heuser, S Cha Systems Modelling and Management: First International Conference, ICSMM 2020 …, 2020 | 2 | 2020 |
