Suhyun Cha

28 papers B 1C 9Misc 1Journal 6Unranked 8
YearRankTypeTitle / Venue / Authors
2025 — conf
Design Patterns for Multi-Agent Systems in Intelligent Mobile Construction Machines.
CASE
Dominik Hujo-Lauer, Marius Krüger, Kathrin Land, Richard Sack, Theresa Prinz, Suhyun Cha, Daniel Waterman, Cornelia Kerausch, Birgit Vogel-Heuser
2025 — conf
Estimating the Parameters of Superposed Oscillations of Mobile Construction Machines like Diaphragm Wall Hydraulic Grabs.
CASE
A. Vieres, Marius Krüger, Dominik Hujo-Lauer, Suhyun Cha, Daniel Waterman, Cornelia Kerausch, Theresa Prinz, Daniel Pohl, Birgit Vogel-Heuser
2025 J jnl
Inferring Cable-Suspended End-Effector Oscillations From Hydraulic Actuators' Responses in Diaphragm Wall Hydraulic Grabs.
IEEE Trans Autom. Sci. Eng.
Marius Krüger, Birgit Vogel-Heuser, Daniel Waterman, Suhyun Cha, Dominik Hujo, Theresa Prinz, Daniel Pohl, Matthias Semel
2025 — conf
Integration of Human Operators in Highly Automatable Systems: A Discussion on the Role of Automation and Human Involvement in Large-Scale Civil Engineering Machinery.
HCI (52)
Dominik Hujo, Birgit Vogel-Heuser, Marius Krüger, Theresa Prinz, Klaus Bengler, Suhyun Cha, Daniel Waterman, Cornelia Kerausch, Sebastian Beerkircher, Daniel Pohl
2021 — —
Application concept and evaluation of a formal specification approach usable by engineers for retrofitting production automation by software changes.
Suhyun Cha
2021 C conf
Integration of a formal specification approach into CPPS engineering workflow for machinery validation.
INDIN
Birgit Vogel-Heuser, Christoph Huber, Suhyun Cha, Bernhard Beckert
2021 J jnl
Table-based formal specification approaches for control engineers - empirical studies of usability.
IET Cyper-Phys. Syst.: Theory & Appl.
Suhyun Cha, Birgit Vogel-Heuser, Alexander Weigl, Mattias Ulbrich, Bernhard Beckert
2020 — conf
Applying Dynamic Programming to Test Case Scheduling for Automated Production Systems.
ICSMM
Kathrin Land, Birgit Vogel-Heuser, Suhyun Cha
2020 — conf
Architektur-basierte Analyse von Änderungsausbreitung in Software-intensiven Systemen.
SE
Robert Heinrich, Sandro Koch, Suhyun Cha, Kiana Busch, Ralf H. Reussner, Birgit Vogel-Heuser
2020 — conf
Relational Test Tables: A Practical Specification Language for Evolution and Security.
FormaliSE@ICSE
Alexander Weigl, Mattias Ulbrich, Suhyun Cha, Bernhard Beckert, Birgit Vogel-Heuser
2019 J jnl
A framework for automated conflict detection and resolution in medical guidelines.
Sci. Comput. Program.
Juliana Bowles, Marco B. Caminati, Suhyun Cha, Juan Mendoza
2019 C conf
An Approach to Efficient Test Scheduling for Automated Production Systems.
INDIN
Kathrin Land, Suhyun Cha, Birgit Vogel-Heuser
2019 — ch.
Introduction to Case Studies.
Managed Software Evolution
Safa Bougouffa, Kiana Busch, Robert Heinrich, Christopher Haubeck, Suhyun Cha, Ralf H. Reussner, Birgit Vogel-Heuser
2019 — ch.
Learning from Evolution for Evolution.
Managed Software 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
2019 C conf
On the Preservation of the Trust by Regression Verification of PLC software for Cyber-Physical Systems of Systems.
INDIN
Suhyun Cha, Mattias Ulbrich, Alexander Weigl, Bernhard Beckert, Kathrin Land, Birgit Vogel-Heuser
2019 C conf
PPR Based Cost Estimation of Changes in Automated Production Systems.
IECON
Safa Bougouffa, Suhyun Cha, Eva-Maria Neumann, Birgit Vogel-Heuser
2019 J jnl
Relational Test Tables: A Practical Specification Language for Evolution and Security.
CoRR
Alexander Weigl, Mattias Ulbrich, Suhyun Cha, Bernhard Beckert, Birgit Vogel-Heuser
2018 C conf
A Model-Based Approach to Calculate Maintainability Task Lists of PLC Programs for Factory Automation.
IECON
Kiana Busch, Jannis Ratz, Sandro Koch, Robert Heinrich, Ralf H. Reussner, Suhyun Cha, Matthias Seitz, Birgit Vogel-Heuser
2018 — conf
Achieving delta description of the control software for an automated production system evolution.
CASE
Suhyun Cha, Alexander Weigl, Mattias Ulbrich, Bernhard Beckert, Birgit Vogel-Heuser
2018 J jnl
Applicability of generalized test tables: a case study using the manufacturing system demonstrator xPPU.
Autom.
Suhyun Cha, Alexander Weigl, Mattias Ulbrich, Bernhard Beckert, Birgit Vogel-Heuser
2018 J jnl
Architecture-based change impact analysis in cross-disciplinary automated production systems.
J. Syst. Softw.
Robert Heinrich, Sandro Koch, Suhyun Cha, Kiana Busch, Ralf H. Reussner, Birgit Vogel-Heuser
2018 C conf
Preventing Technical Debt For Automated Production System Maintenance Using Systematic Change Effort Estimation With Considering Contingent Cost.
INDIN
Suhyun Cha, Quang Huan Dong, Birgit Vogel-Heuser
2017 Misc conf
An integrated framework for verifying multiple care pathways.
TASE
Juliana Bowles, Marco B. Caminati, Suhyun Cha
2017 B conf
Generalised Test Tables: A Practical Specification Language for Reactive Systems.
IFM
Bernhard Beckert, Suhyun Cha, Mattias Ulbrich, Birgit Vogel-Heuser, Alexander Weigl
2017 C conf
Generalized test tables: A powerful and intuitive specification language for reactive systems.
INDIN
Alexander Weigl, Franziska Wiebe, Mattias Ulbrich, Sebastian Ulewicz, Suhyun Cha, Michael Kirsten, Bernhard Beckert, Birgit Vogel-Heuser
2017 C conf
Generation of monitoring functions in production automation using test specifications.
INDIN
Suhyun Cha, Sebastian Ulewicz, Birgit Vogel-Heuser, Alexander Weigl, Mattias Ulbrich, Bernhard Beckert
2017 C conf
Model-based availability analysis for automated production systems: a case study.
MEMOCODE
Jakob Mund, Maximilian Junker, Safa Bougouffa, Suhyun Cha, Birgit Vogel-Heuser
2009 — conf
An Adaptive Cell Search and Integral Frequency Offset Estimation in Mobile WiMAX.
VTC Spring
Jieun Choi, Minjae Park, Suhyun Cha, Hwang Soo Lee