Suhyun Cha

According to our database, Suhyun Cha authored at least 23 papers between 2009 and 2021.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2021

Application concept and evaluation of a formal specification approach usable by engineers for retrofitting production automation by software changes.

Suhyun Cha

PhD thesis, 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

Integration of a formal specification approach into CPPS engineering workflow for machinery validation.

Birgit Vogel-Heuser, Christoph Huber, Suhyun Cha, Bernhard Beckert

Proceedings of the 19th IEEE International Conference on Industrial Informatics, 2021

2020

Architektur-basierte Analyse von Änderungsausbreitung in Software-intensiven Systemen.

Robert Heinrich, Sandro Koch, Suhyun Cha, Kiana Busch, Ralf H. Reussner, Birgit Vogel-Heuser

Proceedings of the Software Engineering 2020, 2020

Applying Dynamic Programming to Test Case Scheduling for Automated Production Systems.

Kathrin Land, Birgit Vogel-Heuser, Suhyun Cha

Proceedings of the Systems Modelling and Management - First International Conference, 2020

Relational Test Tables: A Practical Specification Language for Evolution and Security.

Alexander Weigl, Mattias Ulbrich, Suhyun Cha, Bernhard Beckert, Birgit Vogel-Heuser

Proceedings of the FormaliSE@ICSE 2020: 8th International Conference on Formal Methods in Software Engineering, 2020

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

An Approach to Efficient Test Scheduling for Automated Production Systems.

Kathrin Land, Suhyun Cha, Birgit Vogel-Heuser

Proceedings of the 17th IEEE International Conference on Industrial Informatics, 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

Proceedings of the 17th IEEE International Conference on Industrial Informatics, 2019

PPR Based Cost Estimation of Changes in Automated Production Systems.

Safa Bougouffa, Suhyun Cha, Eva-Maria Neumann, Birgit Vogel-Heuser

Proceedings of the IECON 2019, 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, Sinem Getir, Suhyun Cha, Udo Kelter, Winfried Lamersdorf, Kiana Busch, Robert Heinrich, Sandro Koch

Proceedings of the Managed Software Evolution., 2019

Introduction to Case Studies.

Safa Bougouffa, Kiana Busch, Robert Heinrich, Christopher Haubeck, Suhyun Cha, Ralf H. Reussner, Birgit Vogel-Heuser

Proceedings of the Managed Software Evolution., 2019

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

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

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

Proceedings of the 16th IEEE International Conference on Industrial Informatics, 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

Proceedings of the IECON 2018, 2018

Achieving delta description of the control software for an automated production system evolution.

Suhyun Cha, Alexander Weigl, Mattias Ulbrich, Bernhard Beckert, Birgit Vogel-Heuser

Proceedings of the 14th IEEE International Conference on Automation Science and Engineering, 2018

2017

An integrated framework for verifying multiple care pathways.

Juliana Bowles, Marco B. Caminati, Suhyun Cha

Proceedings of the 11th International Symposium on Theoretical Aspects of Software Engineering, 2017

Model-based availability analysis for automated production systems: a case study.

Jakob Mund, Maximilian Junker, Safa Bougouffa, Suhyun Cha, Birgit Vogel-Heuser

Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, 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

Proceedings of the 15th IEEE International Conference on Industrial Informatics, 2017

Generation of monitoring functions in production automation using test specifications.

Suhyun Cha, Sebastian Ulewicz, Birgit Vogel-Heuser, Alexander Weigl, Mattias Ulbrich, Bernhard Beckert

Proceedings of the 15th IEEE International Conference on Industrial Informatics, 2017

Generalised Test Tables: A Practical Specification Language for Reactive Systems.

Bernhard Beckert, Suhyun Cha, Mattias Ulbrich, Birgit Vogel-Heuser, Alexander Weigl

Proceedings of the Integrated Formal Methods - 13th International Conference, 2017

2009

An Adaptive Cell Search and Integral Frequency Offset Estimation in Mobile WiMAX.

Jieun Choi, Minjae Park, Suhyun Cha, Hwang Soo Lee

Proceedings of the 69th IEEE Vehicular Technology Conference, 2009