Peer-Reviewed Journals, Conferences, Symposiums and Workshops Contributions

• Eun-Young Kang and Miguel Campusano, Towards safety assessment of robot behaviors in SMACH,  30th APSEC'23,  pp 617 -- 621, IEEE, 2023.

• Eun-Young Kang and Thiago Rocha Silva, Towards Formal Verification of Behaviour-Driven Development Scenarios using Timed Automata, 30th APSEC'23, pp 612 -- 616, IEEE, 2023.

• Eun-Young Kang, ASSA-CPS: Automated Formal Safety and Security Assessments in Cyber-Physical systems, 7th ICSRS'23, pp 518 -- 522, IEEE, 2023. 

• Eun-Young Kang and Simon Hacks, Safety & Security Analysis of a Manufacturing System using Formal Verification and Attack-Simulation, 11th  International Conference on CPS&IoT, pp 1 -- 8,  IEEE,  2023

• Miguel Campusano, Simon Hacks, Eun-Young Kang, Towards Model Driven Safety and Security by Design. QuASoQ/SEED@APSEC 2022: 34-41

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

• Reza Soltani,  Eun-Young Kang, and Juan Esteban Heredia Mena, Towards Energy-aware Cyber-Physical Systems Verification and Optimization,  the 16th Conference on Computer Science and Intelligence Systems (FedCSIS) (Joint 41th IEEE Software Engineering Workshop  and 8th International Workshop on Cyber-Physical Systems), September, 2021. 

• Jepsen, Sune Chung ; Worm, Torben ; Johansen, Aslak ; Lazarova-Molnar, Sanja ; Kjærgaard, Mikkel Baun ; Kang, Eun-Young ; Friederich, Jonas ; Heredia, Juan ; Soltani, Reza ; Sørensen, Sune Lundø ; Schwee, Jens Hjort. A Research Setup Demonstrating Flexible Industry 4.0 Production,  the 63rd International Symposium ELMAR, IEEE, September, 2021. 

• Eun-Young Kang and Pierre-Yves Schobbens, Integrating Formal Analysis of Cyber-Physical Systems with Energy Prognostic , the 8th International Conference on Cyber-Physical Systems and Internet-of-Things (CPS&IoT'20), Budva, Montenegro, June, 2020. 

• Li Huang and Eun-Young Kang, Formal Analysis of Hybrid-Dynamic Timing Behaviors in Cyber-Physical Systems, the 40th IEEE Real-Time Systems Symposium (RTSS-BP19), Hong Kong, December, 2019. 

• Li Huang,  Tian Liang, and Eun-Young Kang, Formal Verification of Dynamic and Stochastic Behaviors for Automotive Systems, the 24th International conference on  Engineering of Complex Computer Systems (ICECCS19), Guangzhou, China, November, 2019.

• Li Huang,  Tian Liang, and Eun-Young Kang, Tool-Supported Analysis of Dynamic and Stochastic Behaviors in Cyber-Physical Systems, the 19th IEEE International conference on Software Quality, Reliability, and Security (QRS19), Sofia, Bulgaria, July, 2019. 

• Li Huang and Eun-Young Kang, Formal Verification of Safety & Security Related Timing Constraints for A Cooperative Automotive System, European Joint Conferences on Theory & Practice of Software (ETAPS'19 -- FASE'19), Prague, April, 2019.

• Li Huang and Eun-Young Kang, SMT-based Probabilistic Analysis of Timing Constraints in Cyber-Physical Systems, Formal Methods in Computer-Aided Design (FMCAD'18), University of Texas, Austin, USA, October, 2018

• Eun-Young Kang, Dongrui Mu, and Li Huang, Probabilistic Verification on Timing Constraints in Automotive Systems using UPPAAL-SMC, 14th International Conference on integrated Formal Methods (iFM'18), Maynooth, Ireland, September, 2018.

• Eun-Young Kang and Li Huang, Probabilistic Analysis of Timing Constraints in Autonomous Automotive Systems using Simulink Design Verifier, International Symposium on Dependable Software Engineering  (SETTA'18)-Theories, Tools and Applications , Beijing, China, September, 2018.

• Eun-Young Kang, Li Huang, and Dongrui Mu, Formal Verification of Energy and Timed Requirements for A Cooperative Automotive System, 33rd ACM/SIGAPP Symposium On Applied Computing in Software Engineering: Cyber-Physical Systems Track, Pau, France, April 2018.

• Eun-Young Kang, Dongrui Mu, Li Huang, and Qianqing Lan, Verification and Validation of A Cyber-Physical System in the Automotive Domain, International Conference on Software Quality, Reliability & Security,   Safety and Security in Cyber-Physical Systems Track, pages 326 -- 333, IEEE, Prague, Czech Republic, July 2017.

• Eun-Young Kang, Dongrui Mu, Li Huang, and Qianqing Lan, Model-Based Analysis of Timing and Energy Constraints in An Autonomous Vehicle System, International Conference on Software Quality, Reliability & Security, Model-Based Verification and Validation Track, pages 525 -- 532, IEEE, Prague, Czech Republic, July 2017.

• Eun-Young Kang, Jianda Chen, Ke Liu and Shangyu Chen, Statistical Analysis of Energy-aware Real-Time Automotive Systems in EAST-ADL/Stateflow, 11th International conference on Industrial Electronics and Applications, Cyber-Physical Systems Track, pages 1328 -- 1333, IEEE, Hefei, China, June 2016.

• Eun-Young Kang, Liu Ke, Meng-Zhe Hua and Yu-Xuan Wang, Verifying Automotive Systems in EAST-ADL/Stateflow using UPPAAL, 22nd Asia Pacific Software Engineering Conference 2015, IEEE Computer Society, pages 143 -- 150, New Delhi, December 2015.

• Eun-Young Kang and Pierre-Yves Schobbens, Schedulability Analysis Support for Automotive Systems: From Requirement to Implementation, 29th ACM Symposium on Applied Computing -- Software Engineering Track, ACM SIGAPP, pages 1080 -- 1085, March, 2014.

• Eun-Young Kang, Eduard Paul Enois, Raluca Marinescu, Cristina Seceleanu, Pierre-Yves Schobbens and Paul Pettersson,  A Methodology for Formal Analysis and Verification of EAST-ADL models, Reliability Engineering and System Safety Journal (Elsevier), Volume 120, pages 127--165, 2013 (SCI).

• Eun-Young Kang, Gilles Perrouin and Pierre-Yves Schobbens, Model-based Verification of Energy-aware Real-Time Automotive System, 18th IEEE International Conference on Engineering of Complex Computer Systems, IEEE Computer Society, pages 135 -- 144, Singapore, July, 2013.

• Eun-Young Kang and Pierre-Yves Schobbens, Extending EAST-ADL Towards Formal Modeling and Analysis of Energy-Aware Real-Time Systems, 10th IEEE International Conference on Control and Automation, IEEE Computer Society, pages 1890 -- 1895, Hangzhou, China, June, 2013.

• Eun-Young Kang and Pierre-Yves Schobbens, Enabling Formal Analysis of Energy-Aware Automotive Embedded Systems in EAST-ADL, International Symposium on Theory of Modeling and Simulation, SCS/ACM, pages 376 -- 383, San Diego, USA, 2013.

• Miyoung Kang, Eun-Young Kang, Dae-Yon Hwang, Beam-Jin Kim, Ki-Hyuk Nam, Myung-Ki Shin, and Jin-Young Choi, Formal Verification for Software-Defined Networking, 6th IEEE International Conference on Software Testing, Verification and Validation, IEEE Computer Society, pages 481 -- 482, Luxembourg, 2013.

• Eun-Young Kang, Gilles Perrouin and Pierre-Yves Schobbens, Towards Formal Energy and Time Aware Behaviors in EAST-ADL: An MDE Approach, 12th IEEE International Conference on Quality Software, Xi'an, China, IEEE Computer Society, pages 243 -- 256, Editor(s): Antony Tang and Henry Muccini, 2012.

• Xavier Devroey, Maxime Cordy, Gilles Perrouin, Eun-Young Kang, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay, Benoit Baudry. A Vision for Behavioural Model-Driven Validation of Software Product Lines, 5th International Symposium,  ISoLA 2012, LNCS Vol.7609, pages 208 -- 222, Crete, Greece, 2012.

• Eun-Young Kang, Pierre-Yves Schobbens, and Axel Legay, Verification of Component-based Architectural Models on Autonomous Truck System, 9th IEEE International Conference and Workshop on the Engineering of Autonomic and Autonomous Systems, pages 56 -- 66, Novi Sad, Serbia, 2012.

• Eun-Young Kang, Pierre-Yves Schobbens, and Paul Pettersson, Verifying functional behaviors of automotive products in EAST-ADL2 using UPPAAL-PORT -- Best Paper Presentation Award,  30th International Conference, SAFECOMP 2011, LNCS Vol.6894, pages 243 -- 256,  Naples, Italy, Editor(s): S. Bologna, F. Flammini, V.Vittorini, Naples, Italy, 2011.

• Jagadish Suryadevara, Eun-Young Kang, Cristina Seceleanu, and Paul Petterson, Bridging the semantic Gap between Abstract models of Embedded Systems, 13th Intermational Symposium on Component Based Software Engineering (CBSE), LNCS Vol. 6092, pages 55 - 73, Prague, Czech Republic, Editor(s): Lars Grunske and Ralf Reussner, 2010.

• Naijun Zhan, Eun-Young Kang, and Zhiming Liu, Component Publications and Compositions, Unifying Theories of Programming, LNCS Vol. 5713, pages 238 -- 257, ISBN 978-3-642-14520-9, 2010.

• Naijun Zhan, Eun-Young Kang, and Zhiming Liu, Composition and Refinement of Components, Proceeding of 2nd International Symposium on Unifying Theories of Programming, pages 181 -- 192, Dublin, Ireland, 2008.

• Eun-Young Kang and Stephan Merz, Predicate diagram for the verification of Real-Time Systems (Extended Version), Formal Aspects of Computing Journal, Volume 19, Number 3, pages 401 -- 413,  2007 (SCIE).

• Eun-Young Kang and Stephan Merz, Predicate Diagrams for the Verification of Real-Time Systems, Electronic Notes in Theoretical Computer Science, Volume 145, pages 151--165, 2006 (SCI).

• Eun-Young Kang, Tool Supported Real-Time System Verification Techniques Based on Abstraction/Deduction and Model-checking, Proceedings of MOVEP'06: MOdeling and VErifying parallel Processes, Doctoral symposium section, pages 311-316, Universite de Bordeaux, France 2006.

• Eun-Young Kang, Real-time system verification techniques based on abstraction/deduction and Model-Checking, Proceedings of Doctoral Symposium session of the 5th International Conference on Integrated Formal Methods (IFM'05), pages 292 -- 298, Eindhoven, The Netherlands, 2005.

• Eun-Young Kang, Parametric Analysis of Real-Time Embedded Systems with Abstract Approximation Interpretation, 26th International Conference on Software Engineering (ICSE04), IEEE, pages 39 -- 41, ISBN: 0-7695-2163-0, Edinburgh, United Kingdom, 2004.

• Bas Graaf, Eun-Young Kang, Marco Lormans, and Hans Toetenel, Integrating Model Checking in the Embedded Software Engineering Process, 24th International Real-Time Systems Symposium (RTSS'03), pages 401 -- 406, IEEE, Cancun, Mexico, 2003.

• Eun-Young Kang and Jin-Young Choi, ESTEREL based Safety and Completeness Checking: Verification of smart card and SNIFP system, Journal of Korea Information Science Society: Computer Systems and Theory, 2003.

• Eun-Young Kang and Jin-Young Choi, A Study on Formal Verification of Smart Card Security, 28th Korea Information Science Society, Seoul, Korea, Vol.30, Number 1, pages 353 -- 368, 2001.

Technical Reports

• Eun-Young Kang, T. R. Silva, and M. Campusano, Bridging Gaps from Informal DSLs to Formal Languages, Technical Report, University of Southern Denmark, Denmark, September, 2023

• Eun-Young Kang, Gilles Perrouin and Pierre-Yves Schobbens, XFG Language and Its Profile for Modeling and Analysis of Energy-Aware Real-Timed Behaviors,  Research Report, UNamur, Belgium April 2019.

• Eun-Young Kang, A Formal Verification Technique for Architecture-based Embedded Systems in EAST-ADL, CoRR abs/1903.06241, March, 2019.

• Eun-Young Kang, Dongrui Mu and Li Huang, Probabilistic Analysis of Weakly-Hard Real-Time Systems, Dept. of Computer Science, Sun Yat-Sen University, Technical Report TR-SDCS-18 (Published, July 2018, arxiv.org).

• Eun-Young Kang and Li Huang, Formal Specification & Analysis of Autonomous Systems in PrCCSL/Simulink Design Verifier, Dept. of Computer Science, Sun Yat-Sen University, Techinical Report TR-SDCS-18 (Published, June 2018, arxiv.org).

• Eun-Young Kang, Li Huang, and Dongrui Mu,  Formal Analysis of Non-functional Properties for a Cooperative Automotive System, Dept. of Computer Science, Sun Yat-Sen University (SYSU), Technical Report TR-SDCS-17, 2017 (published March 2018, arxiv.org).

• Eun-Young Kang, Dongrui Mu, Li Huang, and Qianqing Lan,  Model-based Verification and Validation of an Autonomous Vehicle System: Simulation and Statistical Model Checking, Dept. of Computer Science, Sun Yat-Sen University (SYSU), Technical Report TR-SDCS-17, 2017 (published March 2018, arxiv,org).

• Eun-Young Kang, Jianda Chen, Ke Liu, and Shangyu Chen, Translating EAST-ADL/Stateflow Models into Probabilistic Verifiable Models: Statistical Verification of Vehicle Systems in EAST-ADL/Stateflow Using UPPAAL Tools, Dept. of Computer Science, Sun Yat-Sen University (SYSU), Technical Report TR-SMIE-16, 2016.

• Eun-Young Kang, Jianda Chen, Qiuliang Chen, Shangyu Chen, Liu Ke, Meng-zhe  Hua, and Yuxuan Wang, Translating Stateflow Models into Verifiable Models: Formal Verification of Automotive Systems in EAST-ADL/Stateflow using UPPAAL, Dept. of Computer Science, Sun Yat-Sen  University (SYSU),  Technical Report TR-SMIE-15-01, 2015.

• Eun-Young Kang and Pierre-Yves Schobbens, Advanced XFG Language: Extending XFG Language with Energy-Aware Timed Requirement Properties, ReCISE Research Report, Namur, Belgium, 2013.

• Eun-Young Kang, A Formal Verification Technique for Architecture-Based Embedded Systems in EAST-ADL, PReCISE Research Report, Namur, Belgium, 2011.

• Eun-Young Kang and Pierre-Yves Schobbens, Verification of Component-based Architectural Models on an Autonomous Steering Truck System, PReCISE Research Report, Namur, Belgium, 2011.

• Eun-Young Kang, Pierre-Yves Schobbens, and Axel Legay, A Pattern-Driven Methodology for the Specification and Verification of Component-Based Embedded Systems, PReCISE Research Report, Namur, Belgium, 2011.

• Eun-Young Kang, Pierre-Yves Schobbens, and Axel Legay, Verification of Timed Component-Based Embedded Systems, PReCISE Research Report, Namur, Belgium, 2011.

• Eun-Young Kang, Verifying function behaviors of a system in EAST-ADL2 using UPPAAL-PORT, MRTC Technical Report, MDH-MRTC-SE, Malardalen Real-Time Research Centre, Malardalen University, October, 2010.

• Naijun Zhan, Eun-Young Kang, and Zhiming Liu, Component Publications and Compositions, Technical Report 404, United Nations University, International Institute for Software Technology, Macau, 2009.

• Eun-Young Kang, Des techniques de verification des systemes temps-reel basees sur l'abstraction, la deduction et le model checking, INRIA-LORIA Rapport de recherche (French version), Nancy, France, October 2007.

• Eun-Young Kang and Dong Ha Nguyen, Systematical combination of abstract interpretation and state-space exploration, CS-Master Supervision Technical Report, Delft University of Technology, Delft, The Netherlands, July, 2004.

Theses

[Ph.D Thesis] Eun-Young Kang, Tool supported real-time system verification techniques with combination on abstraction/deduction and model checking (EN),  Abstractions booleennes pour la verification des systemes temps-reel (FR), INRIA-LORIA, French National Research Institute for Computer Science, Nancy, Lorraine, France, 2008.

Eun-Young Kang Google Scholar Citations