Suhyun Cha

Publication Activity (10 Years)

Years Active: 2009-2021
Publications (10 Years): 20

Top Topics

Multiprocessor Architecture

Specification Language

Production System

Top Venues

Publications

Suhyun Cha, Birgit Vogel-Heuser, Alexander Weigl, Mattias Ulbrich, Bernhard Beckert
Table-based formal specification approaches for control engineers - empirical studies of usability. IET Cyper-Phys. Syst.: Theory & Appl. 6 (4) (2021)
Birgit Vogel-Heuser, Christoph Huber, Suhyun Cha, Bernhard Beckert
Integration of a formal specification approach into CPPS engineering workflow for machinery validation. INDIN (2021)
Alexander Weigl, Mattias Ulbrich, Suhyun Cha, Bernhard Beckert, Birgit Vogel-Heuser
Relational Test Tables: A Practical Specification Language for Evolution and Security. FormaliSE@ICSE (2020)
Kathrin Land, Birgit Vogel-Heuser, Suhyun Cha
Applying Dynamic Programming to Test Case Scheduling for Automated Production Systems. ICSMM (2020)
Robert Heinrich, Sandro Koch, Suhyun Cha, Kiana Busch, Ralf H. Reussner, Birgit Vogel-Heuser
Architektur-basierte Analyse von Änderungsausbreitung in Software-intensiven Systemen. SE (2020)
Safa Bougouffa, Suhyun Cha, Eva-Maria Neumann, Birgit Vogel-Heuser
PPR Based Cost Estimation of Changes in Automated Production Systems. IECON (2019)
Alexander Weigl, Mattias Ulbrich, Suhyun Cha, Bernhard Beckert, Birgit Vogel-Heuser
Relational Test Tables: A Practical Specification Language for Evolution and Security. CoRR (2019)
Suhyun Cha, Mattias Ulbrich, Alexander Weigl, Bernhard Beckert, Kathrin Land, Birgit Vogel-Heuser
On the Preservation of the Trust by Regression Verification of PLC software for Cyber-Physical Systems of Systems. INDIN (2019)
Juliana Bowles, Marco B. Caminati, Suhyun Cha, Juan Mendoza
A framework for automated conflict detection and resolution in medical guidelines. Sci. Comput. Program. 182 (2019)
Kathrin Land, Suhyun Cha, Birgit Vogel-Heuser
An Approach to Efficient Test Scheduling for Automated Production Systems. INDIN (2019)
Kiana Busch, Jannis Ratz, Sandro Koch, Robert Heinrich, Ralf H. Reussner, Suhyun Cha, Matthias Seitz, Birgit Vogel-Heuser
A Model-Based Approach to Calculate Maintainability Task Lists of PLC Programs for Factory Automation. IECON (2018)
Suhyun Cha, Alexander Weigl, Mattias Ulbrich, Bernhard Beckert, Birgit Vogel-Heuser
Achieving delta description of the control software for an automated production system evolution. CASE (2018)
Suhyun Cha, Alexander Weigl, Mattias Ulbrich, Bernhard Beckert, Birgit Vogel-Heuser
Applicability of generalized test tables: a case study using the manufacturing system demonstrator xPPU. Autom. 66 (10) (2018)
Suhyun Cha, Quang Huan Dong, Birgit Vogel-Heuser
Preventing Technical Debt For Automated Production System Maintenance Using Systematic Change Effort Estimation With Considering Contingent Cost. INDIN (2018)
Robert Heinrich, Sandro Koch, Suhyun Cha, Kiana Busch, Ralf H. Reussner, Birgit Vogel-Heuser
Architecture-based change impact analysis in cross-disciplinary automated production systems. J. Syst. Softw. 146 (2018)
Bernhard Beckert, Suhyun Cha, Mattias Ulbrich, Birgit Vogel-Heuser, Alexander Weigl
Generalised Test Tables: A Practical Specification Language for Reactive Systems. IFM (2017)
Alexander Weigl, Franziska Wiebe, Mattias Ulbrich, Sebastian Ulewicz, Suhyun Cha, Michael Kirsten, Bernhard Beckert, Birgit Vogel-Heuser
Generalized test tables: A powerful and intuitive specification language for reactive systems. INDIN (2017)
Suhyun Cha, Sebastian Ulewicz, Birgit Vogel-Heuser, Alexander Weigl, Mattias Ulbrich, Bernhard Beckert
Generation of monitoring functions in production automation using test specifications. INDIN (2017)
Juliana Bowles, Marco B. Caminati, Suhyun Cha
An integrated framework for verifying multiple care pathways. TASE (2017)
Jakob Mund, Maximilian Junker, Safa Bougouffa, Suhyun Cha, Birgit Vogel-Heuser
Model-based availability analysis for automated production systems: a case study. MEMOCODE (2017)
Jieun Choi, Minjae Park, Suhyun Cha, Hwang Soo Lee
An Adaptive Cell Search and Integral Frequency Offset Estimation in Mobile WiMAX. VTC Spring (2009)