| 2025 | HCI | Integration of Human Operators in Highly Automatable Systems: A Discussion on the Role of Automation and Human Involvement in Large-Scale Civil Engineering Machinery. | Dominik Hujo, Birgit Vogel-Heuser, Marius Krger, Theresa Prinz, Klaus Bengler, Suhyun Cha, Daniel Waterman, Cornelia Kerausch, Sebastian Beerkircher, Daniel Pohl |
| 2021 | INDIN | Integration of a formal specification approach into CPPS engineering workflow for machinery validation. | Birgit Vogel-Heuser, Christoph Huber, Suhyun Cha, Bernhard Beckert |
| 2020 | ICSE | Relational Test Tables: A Practical Specification Language for Evolution and Security. | Alexander Weigl, Mattias Ulbrich, Suhyun Cha, Bernhard Beckert, Birgit Vogel-Heuser |
| 2019 | INDIN | On the Preservation of the Trust by Regression Verification of PLC software for Cyber-Physical Systems of Systems. | Suhyun Cha, Mattias Ulbrich, Alexander Weigl, Bernhard Beckert, Kathrin Land, Birgit Vogel-Heuser |
| 2019 | INDIN | An Approach to Efficient Test Scheduling for Automated Production Systems. | Kathrin Land, Suhyun Cha, Birgit Vogel-Heuser |
| 2019 | IECON | PPR Based Cost Estimation of Changes in Automated Production Systems. | Safa Bougouffa, Suhyun Cha, Eva-Maria Neumann, Birgit Vogel-Heuser |
| 2018 | INDIN | Preventing Technical Debt For Automated Production System Maintenance Using Systematic Change Effort Estimation With Considering Contingent Cost. | Suhyun Cha, Quang Huan Dong, Birgit Vogel-Heuser |
| 2018 | IECON | A Model-Based Approach to Calculate Maintainability Task Lists of PLC Programs for Factory Automation. | Kiana Busch, Jannis Ratz, Sandro Koch, Robert Heinrich, Ralf Reussner, Suhyun Cha, Matthias Seitz, Birgit Vogel-Heuser |
| 2017 | INDIN | Generation of monitoring functions in production automation using test specifications. | Suhyun Cha, Sebastian Ulewicz, Birgit Vogel-Heuser, Alexander Weigl, Mattias Ulbrich, Bernhard Beckert |
| 2017 | INDIN | Generalized test tables: A powerful and intuitive specification language for reactive systems. | Alexander Weigl, Franziska Wiebe, Mattias Ulbrich, Sebastian Ulewicz, Suhyun Cha, Michael Kirsten, Bernhard Beckert, Birgit Vogel-Heuser |
| 2017 | IFM | Generalised Test Tables: A Practical Specification Language for Reactive Systems. | Bernhard Beckert, Suhyun Cha, Mattias Ulbrich, Birgit Vogel-Heuser, Alexander Weigl |
| 2017 | MEMOCODE | Model-based availability analysis for automated production systems: a case study. | Jakob Mund, Maximilian Junker, Safa Bougouffa, Suhyun Cha, Birgit Vogel-Heuser |
| 2017 | TASE | An integrated framework for verifying multiple care pathways. | Juliana Bowles, Marco B. Caminati, Suhyun Cha |
| 2009 | VTC | An Adaptive Cell Search and Integral Frequency Offset Estimation in Mobile WiMAX. | Jieun Choi, Minjae Park, Suhyun Cha, Hwang Soo Lee |