Suhyun Cha - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 21 from 21

2021

Application concept and evaluation of a formal specification approach usable by engineers for retrofitting production automation by software changesSuhyun Cha. PhD thesis, Technical University of Munich, Germany, 2021. [doi]

Table-based formal specification approaches for control engineers - empirical studies of usabilitySuhyun Cha, Birgit Vogel-Heuser, Alexander Weigl, Mattias Ulbrich, Bernhard Beckert. iet-cps, 6(4):193-207, 2021. [doi]

Integration of a formal specification approach into CPPS engineering workflow for machinery validationBirgit Vogel-Heuser, Christoph Huber, Suhyun Cha, Bernhard Beckert. indin 2021: 1-8 [doi]

2020

2019

PPR Based Cost Estimation of Changes in Automated Production SystemsSafa Bougouffa, Suhyun Cha, Eva-Maria Neumann, Birgit Vogel-Heuser. iecon 2019: 2990-2995 [doi]

Introduction to Case StudiesSafa Bougouffa, Kiana Busch, Robert Heinrich, Christopher Haubeck, Suhyun Cha, Ralf H. Reussner, Birgit Vogel-Heuser. In Ralf H. Reussner, Michael Goedicke, Wilhelm Hasselbring, Birgit Vogel-Heuser, Jan Keim, Lukas Märtin, editors, Managed Software Evolution. pages 37-73, Springer, 2019. [doi]

On the Preservation of the Trust by Regression Verification of PLC software for Cyber-Physical Systems of SystemsSuhyun Cha, Mattias Ulbrich, Alexander Weigl, Bernhard Beckert, Kathrin Land, Birgit Vogel-Heuser. indin 2019: 413-418 [doi]

An Approach to Efficient Test Scheduling for Automated Production SystemsKathrin Land, Suhyun Cha, Birgit Vogel-Heuser. indin 2019: 449-454 [doi]

2018

A Model-Based Approach to Calculate Maintainability Task Lists of PLC Programs for Factory AutomationKiana Busch, Jannis Ratz, Sandro Koch, Robert Heinrich, Ralf H. Reussner, Suhyun Cha, Matthias Seitz, Birgit Vogel-Heuser. iecon 2018: 2949-2954 [doi]

Preventing Technical Debt For Automated Production System Maintenance Using Systematic Change Effort Estimation With Considering Contingent CostSuhyun Cha, Quang Huan Dong, Birgit Vogel-Heuser. indin 2018: 595-601 [doi]

Achieving delta description of the control software for an automated production system evolutionSuhyun Cha, Alexander Weigl, Mattias Ulbrich, Bernhard Beckert, Birgit Vogel-Heuser. case 2018: 1170-1176 [doi]

Applicability of generalized test tables: a case study using the manufacturing system demonstrator xPPUSuhyun Cha, Alexander Weigl, Mattias Ulbrich, Bernhard Beckert, Birgit Vogel-Heuser. at, 66(10):834-848, 2018. [doi]

Architecture-based change impact analysis in cross-disciplinary automated production systemsRobert Heinrich, Sandro Koch, Suhyun Cha, Kiana Busch, Ralf H. Reussner, Birgit Vogel-Heuser. jss, 146:167-185, 2018. [doi]

2017

Generalised Test Tables: A Practical Specification Language for Reactive SystemsBernhard Beckert, Suhyun Cha, Mattias Ulbrich, Birgit Vogel-Heuser, Alexander Weigl. IFM 2017: 129-144 [doi]

Generation of monitoring functions in production automation using test specificationsSuhyun Cha, Sebastian Ulewicz, Birgit Vogel-Heuser, Alexander Weigl, Mattias Ulbrich, Bernhard Beckert. indin 2017: 339-344 [doi]

Model-based availability analysis for automated production systems: a case studyJakob Mund, Maximilian Junker, Safa Bougouffa, Suhyun Cha, Birgit Vogel-Heuser. memocode 2017: 46-55 [doi]

Generalized test tables: A powerful and intuitive specification language for reactive systemsAlexander Weigl, Franziska Wiebe, Mattias Ulbrich, Sebastian Ulewicz, Suhyun Cha, Michael Kirsten, Bernhard Beckert, Birgit Vogel-Heuser. indin 2017: 875-882 [doi]

2009

An Adaptive Cell Search and Integral Frequency Offset Estimation in Mobile WiMAXJieun Choi, Minjae Park, Suhyun Cha, Hwang Soo Lee. vtc 2009: [doi]

Sign in or sign up to see more results.

runs on WebDSL