Parametric Analysis of Real-Time Embedded Systems with Abstract Approximation Interpretation. - Eun-Young Kang 001 (ICSE, 2004)

Predicate diagrams for the verification of real-time systems. - Eun-Young Kang 001; Stephan Merz (Formal Aspects Comput., 2007)

Tool supported real-time system verification with combination of abstraction/deduction and model checking. (Abstractions booléennes pour la vérification des systèmes temps-réel). - Eun-Young Kang 001 (2007)

Component Publications and Compositions. - Naijun Zhan; Eun-Young Kang 001; Zhiming Liu 001 (UTP, 2008)

Bridging the Semantic Gap between Abstract Models of Embedded Systems. - Jagadish Suryadevara; Eun-Young Kang 001; Cristina Cerschi Seceleanu; Paul Pettersson (CBSE, 2010)

Verifying Functional Behaviors of Automotive Products in EAST-ADL2 Using UPPAAL-PORT. - Eun-Young Kang 001; Pierre-Yves Schobbens; Paul Pettersson (SAFECOMP, 2011)

A Vision for Behavioural Model-Driven Validation of Software Product Lines. - Xavier Devroey; Maxime Cordy; Gilles Perrouin; Eun-Young Kang 001; Pierre-Yves Schobbens; Patrick Heymans; Axel Legay; Benoit Baudry (ISoLA (1), 2012)

Towards Formal Energy and Time Aware Behaviors in EAST-ADL: An MDE Approach. - Eun-Young Kang 001; Gilles Perrouin; Pierre-Yves Schobbens (QSIC, 2012)

Extending EAST-ADL towards formal modeling and analysis of energy-aware real-time systems. - Eun-Young Kang 001; Pierre-Yves Schobbens (ICCA, 2013)

Model-Based Verification of Energy-Aware Real-Time Automotive Systems. - Eun-Young Kang 001; Gilles Perrouin; Pierre-Yves Schobbens (ICECCS, 2013)

Formal Modeling and Verification of SDN-OpenFlow. - Miyoung Kang; Eun-Young Kang 001; Dae-Yon Hwang; Beom-Jin Kim; Ki-Hyuk Nam; Myung-Ki Shin; Jin-Young Choi (ICST, 2013)

Enabling formal analysis of energy-aware automotive embedded systems in East-adl. - Eun-Young Kang 001; Pierre-Yves Schobbens (SpringSim (TMS-DEVS), 2013)

A methodology for formal analysis and verification of EAST-ADL models. - Eun-Young Kang 001; Eduard Paul Enoiu; Raluca Marinescu; Cristina Cerschi Seceleanu; Pierre-Yves Schobbens; Paul Pettersson (Reliab. Eng. Syst. Saf., 2013)

Schedulability analysis support for automotive systems: from requirement to implementation. - Eun-Young Kang 001; Pierre-Yves Schobbens (SAC, 2014)

Verifying Automotive Systems in EAST-ADL/Stateflow Using UPPAAL. - Eun-Young Kang 001; Liu Ke 002; Meng-Zhe Hua; Yu-Xuan Wang (APSEC, 2015)

Verification and Validation of a Cyber-Physical System in the Automotive Domain. - Eun-Young Kang 001; Dongrui Mu; Li Huang 001; Qianqing Lan (QRS Companion, 2017)

Model-Based Analysis of Timing and Energy Constraints in an Autonomous Vehicle System. - Eun-Young Kang 001; Dongrui Mu; Li Huang 001; Qianqing Lan (QRS Companion, 2017)

Probabilistic Verification of Timing Constraints in Automotive Systems Using UPPAAL-SMC. - Eun-Young Kang 001; Dongrui Mu; Li Huang 001 (IFM, 2018)

Formal verification of energy and timed requirements for a cooperative automotive system. - Eun-Young Kang 001; Li Huang 001; Dongrui Mu (SAC, 2018)

Probabilistic Analysis of Timing Constraints in Autonomous Automotive Systems Using Simulink Design Verifier. - Eun-Young Kang 001; Li Huang 001 (SETTA, 2018)

Formal Analysis of Non-functional Properties for a Cooperative Automotive System. - Eun-Young Kang 001; Li Huang 001; Dongrui Mu (CoRR, 2018)

Model-based Verification and Validation of an Autonomous Vehicle System. - Eun-Young Kang 001; Dongrui Mu; Li Huang 001; Qianqing Lan (CoRR, 2018)

Formal Specification & Analysis of Autonomous Systems in PrCCSL/Simulink Design Verifier. - Eun-Young Kang 001; Li Huang 001 (CoRR, 2018)

Probabilistic Analysis of Weakly-Hard Real-Time Systems. - Eun-Young Kang 001; Dongrui Mu; Li Huang 001 (CoRR, 2018)

Formal Verification of Safety & Security Related Timing Constraints for a Cooperative Automotive System. - Li Huang 001; Eun-Young Kang 001 (FASE, 2019)

Formal Verification of Dynamic and Stochastic Behaviors for Automotive Systems. - Li Huang 001; Tian Liang; Eun-Young Kang 001 (ICECCS, 2019)

Tool-Supported Analysis of Dynamic and Stochastic Behaviors in Cyber-Physical Systems. - Li Huang 001; Tian Liang; Eun-Young Kang 001 (QRS, 2019)

Work-in-Progress: Formal Analysis of Hybrid-Dynamic Timing Behaviors in Cyber-Physical Systems. - Li Huang 001; Eun-Young Kang 001 (RTSS, 2019)

A Formal Verification Technique for Architecture-based Embedded Systems in EAST-ADL. - Eun-Young Kang 001 (CoRR, 2019)

SMT-based Probabilistic Analysis of Timing Constraints in Cyber-Physical Systems. - Li Huang 001; Eun-Young Kang 001 (CoRR, 2019)

Formal Analysis of Hybrid-Dynamic Timing Behaviors in Cyber-Physical Systems. - Li Huang 001; Eun-Young Kang 001 (CoRR, 2019)

InFoCPS: Integrating Formal Analysis of Cyber-Physical Systems with Energy Prognostics. - Eun-Young Kang 001; Pierre-Yves Schobbens (MECO, 2020)

Towards Energy-aware Cyber-Physical Systems Verification and Optimization. - Reza Soltani 001; Eun-Young Kang 001; Juan Esteban Heredia Mena (FedCSIS (Position Papers), 2021)

Verification and Optimization of Cyber-Physical Systems: Preprint for FedCSIS. - Reza Soltani 001; Eun-Young Kang 001; Juan Esteban Heredia Mena (CoRR, 2021)

Towards Model Driven Safety and Security by Design. - Miguel Campusano; Simon Hacks; Eun-Young Kang 001 (QuASoQ/SEED@APSEC, 2022)

Model-Driven Software Development Approach: Ensuring Safety of an IoT-Based Plant Health Monitoring System. - Eun-Young Kang 001; Mathias Brix; Daniel Szenczi; Ábel Kováts; Renaud Formosa; Christian W. Melsen; Morten A. Nørgård (ICSRS, 2022)

Towards Safety Assessment of Robot Behaviors in SMACH. - Eun-Young Kang 001; Miguel Campusano (APSEC, 2023)

Towards Formal Verification of Behaviour-Driven Development Scenarios Using Timed Automata. - Eun-Young Kang 001; Thiago Rocha Silva (APSEC, 2023)

ASSA-CPS: Automated Formal Safety and Security Assessments in Cyber-Physical Systems. - Eun-Young Kang 001 (ICSRS, 2023)

Safety & Security Analysis of a Manufacturing System using Formal Verification and Attack-Simulation. - Eun-Young Kang 001; Simon Hacks (MECO, 2023)

Enhancing Dependability of Industrial Robots: Security and Safety Assessments Based on Model-Driven Engineering. - Eun-Young Kang 001; Gaurav Choudhary; Miguel Campusano; Morten Kühnrich; Anders Pedersen (DSA, 2024)

Combining Security and Safety Engineering with Formal Verification to Improve Reliability of Industrial Robots. - Eun-Young Kang 001 (ICSRS, 2024)

Quantitative Assessment of Energy Efficiency, Comfort, and Safety in an Intelligent Heating System Under False Data Injection Attacks. - Imran Riaz Hasrat; Sani M. Abdullahi; Eun-Young Kang 001 (SAFECOMP (Workshops), 2025)

A Mapping Analysis of Requirements Between the CRA and the GDPR. - Jukka Ruohonen; Kalle Hjerppe; Eun-Young Kang 001 (CoRR, 2025)

Safety Verification and Optimization in Industrial Drive Systems. - Imran Riaz Hasrat; Eun-Young Kang 001; Christian Uldal Graulund (CoRR, 2025)

An Alignment Between the CRA's Essential Requirements and the ATT&CK's Mitigations. - Jukka Ruohonen; Eun-Young Kang 001; Qusai Ramadan (CoRR, 2025)