An Adaptive Cell Search and Integral Frequency Offset Estimation in Mobile WiMAX. - Jieun Choi; Minjae Park 002; Suhyun Cha; Hwang Soo Lee (VTC Spring, 2009)

Generalised Test Tables: A Practical Specification Language for Reactive Systems. - Bernhard Beckert; Suhyun Cha; Mattias Ulbrich; Birgit Vogel-Heuser; Alexander Weigl (IFM, 2017)

Generation of monitoring functions in production automation using test specifications. - Suhyun Cha; Sebastian Ulewicz; Birgit Vogel-Heuser; Alexander Weigl; Mattias Ulbrich; Bernhard Beckert (INDIN, 2017)

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 (INDIN, 2017)

Model-based availability analysis for automated production systems: a case study. - Jakob Mund; Maximilian Junker; Safa Bougouffa; Suhyun Cha; Birgit Vogel-Heuser (MEMOCODE, 2017)

An integrated framework for verifying multiple care pathways. - Juliana Bowles; Marco B. Caminati; Suhyun Cha (TASE, 2017)

Achieving delta description of the control software for an automated production system evolution. - Suhyun Cha; Alexander Weigl; Mattias Ulbrich; Bernhard Beckert; Birgit Vogel-Heuser (CASE, 2018)

A Model-Based Approach to Calculate Maintainability Task Lists of PLC Programs for Factory Automation. - Kiana Busch; Jannis Ratz; Sandro Koch; Robert Heinrich; Ralf H. Reussner; Suhyun Cha; Matthias Seitz; Birgit Vogel-Heuser (IECON, 2018)

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 (INDIN, 2018)

Applicability of generalized test tables: a case study using the manufacturing system demonstrator xPPU. - Suhyun Cha; Alexander Weigl; Mattias Ulbrich; Bernhard Beckert; Birgit Vogel-Heuser (Autom., 2018)

Architecture-based change impact analysis in cross-disciplinary automated production systems. - Robert Heinrich; Sandro Koch; Suhyun Cha; Kiana Busch; Ralf H. Reussner; Birgit Vogel-Heuser (J. Syst. Softw., 2018)

Introduction to Case Studies. - Safa Bougouffa; Kiana Busch; Robert Heinrich; Christopher Haubeck; Suhyun Cha; Ralf H. Reussner; Birgit Vogel-Heuser (Managed Software Evolution, 2019)

Learning from Evolution for Evolution. - Stefan Kögel; Matthias Tichy; Abhishek Chakraborty; Alexander Fay; Birgit Vogel-Heuser; Christopher Haubeck; Gabriele Taentzer; Timo Kehrer; Jan Ladiges; Lars Grunske; Mattias Ulbrich; Safa Bougouffa; et al. (Managed Software Evolution, 2019)

PPR Based Cost Estimation of Changes in Automated Production Systems. - Safa Bougouffa; Suhyun Cha; Eva-Maria Neumann; Birgit Vogel-Heuser (IECON, 2019)

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 (INDIN, 2019)

An Approach to Efficient Test Scheduling for Automated Production Systems. - Kathrin Land; Suhyun Cha; Birgit Vogel-Heuser (INDIN, 2019)

A framework for automated conflict detection and resolution in medical guidelines. - Juliana Bowles; Marco B. Caminati; Suhyun Cha; Juan Mendoza (Sci. Comput. Program., 2019)

Relational Test Tables: A Practical Specification Language for Evolution and Security. - Alexander Weigl; Mattias Ulbrich; Suhyun Cha; Bernhard Beckert; Birgit Vogel-Heuser (FormaliSE@ICSE, 2020)

Applying Dynamic Programming to Test Case Scheduling for Automated Production Systems. - Kathrin Land; Birgit Vogel-Heuser; Suhyun Cha (ICSMM, 2020)

Architektur-basierte Analyse von Änderungsausbreitung in Software-intensiven Systemen. - Robert Heinrich; Sandro Koch; Suhyun Cha; Kiana Busch; Ralf H. Reussner; Birgit Vogel-Heuser (SE, 2020)

Integration of a formal specification approach into CPPS engineering workflow for machinery validation. - Birgit Vogel-Heuser; Christoph Huber; Suhyun Cha; Bernhard Beckert (INDIN, 2021)

Table-based formal specification approaches for control engineers - empirical studies of usability. - Suhyun Cha; Birgit Vogel-Heuser; Alexander Weigl; Mattias Ulbrich; Bernhard Beckert (IET Cyper-Phys. Syst.: Theory & Appl., 2021)

Application concept and evaluation of a formal specification approach usable by engineers for retrofitting production automation by software changes. - Suhyun Cha (2021)

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 Krüger; Theresa Prinz; Klaus Bengler; Suhyun Cha; Daniel Waterman; Cornelia Kerausch; Sebastian Beerkircher; Daniel Pohl (HCI (52), 2025)

Inferring Cable-Suspended End-Effector Oscillations From Hydraulic Actuators' Responses in Diaphragm Wall Hydraulic Grabs. - Marius Krüger; Birgit Vogel-Heuser; Daniel Waterman; Suhyun Cha; Dominik Hujo; Theresa Prinz; Daniel Pohl; Matthias Semel (IEEE Trans Autom. Sci. Eng., 2025)