Eun-Young Kang

52 papers A* 1A 2B 5C 4Misc 3Journal 15Unranked 21

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Software Liability Came to Europe. IEEE Secur. Priv. Jukka Ruohonen, Eun-Young Kang
2025	—	`conf`	A Mapping Analysis of Requirements Between the CRA and the GDPR. REW Jukka Ruohonen, Kalle Hjerppe, Eun-Young Kang
2025	J	`jnl`	A Mapping Analysis of Requirements Between the CRA and the GDPR. CoRR Jukka Ruohonen, Kalle Hjerppe, Eun-Young Kang
2025	—	`conf`	An Alignment Between the CRA's Essential Requirements and the ATT&CK REW Jukka Ruohonen, Eun-Young Kang, Qusai Ramadan
2025	J	`jnl`	An Alignment Between the CRA's Essential Requirements and the ATT&CK's Mitigations. CoRR Jukka Ruohonen, Eun-Young Kang, Qusai Ramadan
2025	—	`conf`	Quantitative Assessment of Energy Efficiency, Comfort, and Safety in an Intelligent Heating System Under False Data Injection Attacks. SAFECOMP (Workshops) Imran Riaz Hasrat, Sani M. Abdullahi, Eun-Young Kang
2025	—	`conf`	SECUREAM: Advancing Cybersecurity in IoT-Enabled Additive Manufacturing. IOTSMS Eun-Young Kang
2025	J	`jnl`	Safety Verification and Optimization in Industrial Drive Systems. CoRR Imran Riaz Hasrat, Eun-Young Kang, Christian Uldal Graulund
2024	—	`conf`	Combining Security and Safety Engineering with Formal Verification to Improve Reliability of Industrial Robots. ICSRS Eun-Young Kang
2024	—	`conf`	Enhancing Dependability of Industrial Robots: Security and Safety Assessments Based on Model-Driven Engineering. DSA Eun-Young Kang, Gaurav Choudhary, Miguel Campusano, Morten Kühnrich, Anders Pedersen
2023	—	`conf`	ASSA-CPS: Automated Formal Safety and Security Assessments in Cyber-Physical Systems. ICSRS Eun-Young Kang
2023	—	`conf`	Safety & Security Analysis of a Manufacturing System using Formal Verification and Attack-Simulation. MECO Eun-Young Kang, Simon Hacks
2023	C	`conf`	Towards Formal Verification of Behaviour-Driven Development Scenarios Using Timed Automata. APSEC Eun-Young Kang, Thiago Rocha Silva
2023	C	`conf`	Towards Safety Assessment of Robot Behaviors in SMACH. APSEC Eun-Young Kang, Miguel Campusano
2022	—	`conf`	Model-Driven Software Development Approach: Ensuring Safety of an IoT-Based Plant Health Monitoring System. ICSRS Eun-Young Kang, Mathias Brix, Daniel Szenczi, Ábel Kováts, Renaud Formosa, Christian W. Melsen, Morten A. Nørgård
2022	—	`conf`	Towards Model Driven Safety and Security by Design. QuASoQ/SEED@APSEC Miguel Campusano, Simon Hacks, Eun-Young Kang
2021	—	`conf`	Towards Energy-aware Cyber-Physical Systems Verification and Optimization. FedCSIS (Position Papers) Reza Soltani, Eun-Young Kang, Juan Esteban Heredia Mena
2021	J	`jnl`	Verification and Optimization of Cyber-Physical Systems: Preprint for FedCSIS. CoRR Reza Soltani, Eun-Young Kang, Juan Esteban Heredia Mena
2020	—	`conf`	InFoCPS: Integrating Formal Analysis of Cyber-Physical Systems with Energy Prognostics. MECO Eun-Young Kang, Pierre-Yves Schobbens
2019	J	`jnl`	A Formal Verification Technique for Architecture-based Embedded Systems in EAST-ADL. CoRR Eun-Young Kang
2019	J	`jnl`	Formal Analysis of Hybrid-Dynamic Timing Behaviors in Cyber-Physical Systems. CoRR Li Huang, Eun-Young Kang
2019	B	`conf`	Formal Verification of Dynamic and Stochastic Behaviors for Automotive Systems. ICECCS Li Huang, Tian Liang, Eun-Young Kang
2019	J	`jnl`	Formal Verification of Dynamic and Stochastic Behaviors for Automotive Systems. CoRR Li Huang, Tian Liang, Eun-Young Kang
2019	B	`conf`	Formal Verification of Safety & Security Related Timing Constraints for a Cooperative Automotive System. FASE Li Huang, Eun-Young Kang
2019	J	`jnl`	SMT-based Probabilistic Analysis of Timing Constraints in Cyber-Physical Systems. CoRR Li Huang, Eun-Young Kang
2019	C	`conf`	Tool-Supported Analysis of Dynamic and Stochastic Behaviors in Cyber-Physical Systems. QRS Li Huang, Tian Liang, Eun-Young Kang
2019	A	`conf`	Work-in-Progress: Formal Analysis of Hybrid-Dynamic Timing Behaviors in Cyber-Physical Systems. RTSS Li Huang, Eun-Young Kang
2018	J	`jnl`	Formal Analysis of Non-functional Properties for a Cooperative Automotive System. CoRR Eun-Young Kang, Li Huang, Dongrui Mu
2018	J	`jnl`	Formal Specification & Analysis of Autonomous Systems in PrCCSL/Simulink Design Verifier. CoRR Eun-Young Kang, Li Huang
2018	Misc	`conf`	Formal verification of energy and timed requirements for a cooperative automotive system. SAC Eun-Young Kang, Li Huang, Dongrui Mu
2018	J	`jnl`	Model-based Verification and Validation of an Autonomous Vehicle System. CoRR Eun-Young Kang, Dongrui Mu, Li Huang, Qianqing Lan
2018	Misc	`conf`	Probabilistic Analysis of Timing Constraints in Autonomous Automotive Systems Using Simulink Design Verifier. SETTA Eun-Young Kang, Li Huang
2018	J	`jnl`	Probabilistic Analysis of Weakly-Hard Real-Time Systems. CoRR Eun-Young Kang, Dongrui Mu, Li Huang
2018	B	`conf`	Probabilistic Verification of Timing Constraints in Automotive Systems Using UPPAAL-SMC. IFM Eun-Young Kang, Dongrui Mu, Li Huang
2017	—	`conf`	Model-Based Analysis of Timing and Energy Constraints in an Autonomous Vehicle System. QRS Companion Eun-Young Kang, Dongrui Mu, Li Huang, Qianqing Lan
2017	—	`conf`	Verification and Validation of a Cyber-Physical System in the Automotive Domain. QRS Companion Eun-Young Kang, Dongrui Mu, Li Huang, Qianqing Lan
2015	C	`conf`	Verifying Automotive Systems in EAST-ADL/Stateflow Using UPPAAL. APSEC Eun-Young Kang, Liu Ke, Meng-Zhe Hua, Yu-Xuan Wang
2014	Misc	`conf`	Schedulability analysis support for automotive systems: from requirement to implementation. SAC Eun-Young Kang, Pierre-Yves Schobbens
2013	J	`jnl`	A methodology for formal analysis and verification of EAST-ADL models. Reliab. Eng. Syst. Saf. Eun-Young Kang, Eduard Paul Enoiu, Raluca Marinescu, Cristina Cerschi Seceleanu, Pierre-Yves Schobbens, Paul Pettersson
2013	—	`conf`	Enabling formal analysis of energy-aware automotive embedded systems in East-adl. SpringSim (TMS-DEVS) Eun-Young Kang, Pierre-Yves Schobbens
2013	—	`conf`	Extending EAST-ADL towards formal modeling and analysis of energy-aware real-time systems. ICCA Eun-Young Kang, Pierre-Yves Schobbens
2013	A	`conf`	Formal Modeling and Verification of SDN-OpenFlow. ICST Miyoung Kang, Eun-Young Kang, Dae-Yon Hwang, Beom-Jin Kim, Ki-Hyuk Nam, Myung-Ki Shin, Jin-Young Choi
2013	B	`conf`	Model-Based Verification of Energy-Aware Real-Time Automotive Systems. ICECCS Eun-Young Kang, Gilles Perrouin, Pierre-Yves Schobbens
2012	—	`conf`	A Vision for Behavioural Model-Driven Validation of Software Product Lines. ISoLA (1) Xavier Devroey, Maxime Cordy, Gilles Perrouin, Eun-Young Kang, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay, Benoit Baudry
2012	—	`conf`	Towards Formal Energy and Time Aware Behaviors in EAST-ADL: An MDE Approach. QSIC Eun-Young Kang, Gilles Perrouin, Pierre-Yves Schobbens
2011	B	`conf`	Verifying Functional Behaviors of Automotive Products in EAST-ADL2 Using UPPAAL-PORT. SAFECOMP Eun-Young Kang, Pierre-Yves Schobbens, Paul Pettersson
2010	—	`conf`	Bridging the Semantic Gap between Abstract Models of Embedded Systems. CBSE Jagadish Suryadevara, Eun-Young Kang, Cristina Cerschi Seceleanu, Paul Pettersson
2008	—	`conf`	Component Publications and Compositions. UTP Naijun Zhan, Eun-Young Kang, Zhiming Liu
2007	J	`jnl`	Predicate diagrams for the verification of real-time systems. Formal Aspects Comput. Eun-Young Kang, Stephan Merz
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
2005	—	`conf`	Predicate Diagrams for the Verification of Real-Time Systems. AVoCS Eun-Young Kang, Stephan Merz
2004	A*	`conf`	Parametric Analysis of Real-Time Embedded Systems with Abstract Approximation Interpretation. ICSE Eun-Young Kang