| 2025 | RE | A Mapping Analysis of Requirements Between the CRA and the GDPR. | Jukka Ruohonen, Kalle Hjerppe, Eun-Young Kang |
| 2025 | RE | An Alignment Between the CRA's Essential Requirements and the ATT&CK | Jukka Ruohonen, Eun-Young Kang, Qusai Ramadan |
| 2025 | SAFECOMP | 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 |
| 2023 | APSEC | Towards Safety Assessment of Robot Behaviors in SMACH. | Eun-Young Kang, Miguel Campusano |
| 2023 | APSEC | Towards Formal Verification of Behaviour-Driven Development Scenarios Using Timed Automata. | Eun-Young Kang, Thiago Rocha Silva |
| 2022 | APSEC | Towards Model Driven Safety and Security by Design. | Miguel Campusano, Simon Hacks, Eun-Young Kang |
| 2021 | FedCSIS | Towards Energy-aware Cyber-Physical Systems Verification and Optimization. | Reza Soltani, Eun-Young Kang, Juan Esteban Heredia Mena |
| 2019 | FASE | Formal Verification of Safety & Security Related Timing Constraints for a Cooperative Automotive System. | Li Huang, Eun-Young Kang |
| 2019 | ICECCS | Formal Verification of Dynamic and Stochastic Behaviors for Automotive Systems. | Li Huang, Tian Liang, Eun-Young Kang |
| 2019 | QRS | Tool-Supported Analysis of Dynamic and Stochastic Behaviors in Cyber-Physical Systems. | Li Huang, Tian Liang, Eun-Young Kang |
| 2019 | RTSS | Work-in-Progress: Formal Analysis of Hybrid-Dynamic Timing Behaviors in Cyber-Physical Systems. | Li Huang, Eun-Young Kang |
| 2018 | IFM | Probabilistic Verification of Timing Constraints in Automotive Systems Using UPPAAL-SMC. | Eun-Young Kang, Dongrui Mu, Li Huang |
| 2018 | SAC | Formal verification of energy and timed requirements for a cooperative automotive system. | Eun-Young Kang, Li Huang, Dongrui Mu |
| 2018 | SETTA | Probabilistic Analysis of Timing Constraints in Autonomous Automotive Systems Using Simulink Design Verifier. | Eun-Young Kang, Li Huang |
| 2017 | QRS | Verification and Validation of a Cyber-Physical System in the Automotive Domain. | Eun-Young Kang, Dongrui Mu, Li Huang, Qianqing Lan |
| 2017 | QRS | Model-Based Analysis of Timing and Energy Constraints in an Autonomous Vehicle System. | Eun-Young Kang, Dongrui Mu, Li Huang, Qianqing Lan |
| 2015 | APSEC | Verifying Automotive Systems in EAST-ADL/Stateflow Using UPPAAL. | Eun-Young Kang, Liu Ke, Meng-Zhe Hua, Yu-Xuan Wang |
| 2014 | SAC | Schedulability analysis support for automotive systems: from requirement to implementation. | Eun-Young Kang, Pierre-Yves Schobbens |
| 2013 | ICECCS | Model-Based Verification of Energy-Aware Real-Time Automotive Systems. | Eun-Young Kang, Gilles Perrouin, Pierre-Yves Schobbens |
| 2013 | ICST | Formal Modeling and Verification of SDN-OpenFlow. | Miyoung Kang, Eun-Young Kang, Dae-Yon Hwang, Beom-Jin Kim, Ki-Hyuk Nam, Myung-Ki Shin, Jin-Young Choi |
| 2012 | ISoLA | A Vision for Behavioural Model-Driven Validation of Software Product Lines. | Xavier Devroey, Maxime Cordy, Gilles Perrouin, Eun-Young Kang, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay, Benoit Baudry |
| 2011 | SMC | Automatic moving object detection using motion and color features and bi-modal Gaussian approximation. | Vctor Mejia, Eun-Young Kang |
| 2011 | SAFECOMP | Verifying Functional Behaviors of Automotive Products in EAST-ADL2 Using UPPAAL-PORT. | Eun-Young Kang, Pierre-Yves Schobbens, Paul Pettersson |
| 2004 | ICIP | A robust and non-iterative estimation method of multiple 2d motions. | Eun-Young Kang, Isaac Cohen, Grard G. Medioni |
| 2004 | ICPR | Non-Iterative Approach to Multiple 2D Motion Estimation. | Eun-Young Kang, Isaac Cohen, Grard G. Medioni |
| 2004 | ICSE | Parametric Analysis of Real-Time Embedded Systems with Abstract Approximation Interpretation. | Eun-Young Kang |
| 2002 | ICPR | Robust Affine Motion Estimation in Joint Image Space Using Tensor Voting. | Eun-Young Kang, Isaac Cohen, Grard G. Medioni |
| 2000 | ICPR | A Graph-Based Global Registration for 2D Mosaics. | Eun-Young Kang, Isaac Cohen, Grard G. Medioni |