Eun-Young Kang (not working at IDT anymore)

Korean national, joined the PROGRESS as a Postdoctoral research fellow in 2009. Prior to joining the PROGRESS, she had been working at United Nations University - International Institute for Software Technology since 2008. Prior to that Kang received her PhD en informatique ( in computer science) from INRIA & the University of Henri-Poincare, Nancy 1, France in 2007. During her PhD, she was involved in a project, which aimed to develop a theoretical and practical verification technique for the formal analysis of real-time embedded systems, and she participated in the joint PhD program" between Delft University in Holland and INRIA-LORIA in France.
Kangs speciality is formal methods, and modeling, design, verification/validation. Her research interest is combining several different formal method techniques to handle large/complex designs either automatically, or with less manual intervention. Her research as part of PhD thesis was to combine abstraction, theorem proving and model checking by the use of several tool-supports; and her other interests are rock music, playing guitar, working-out and keeping fit.

[Show all publications]

Latest publications:

A methodology for formal analysis and verification of EAST-ADL models (Jul 2013)
Eun-Young Kang, Eduard Paul Enoiu, Raluca Marinescu, Cristina Seceleanu, Pierre Yves Schnobbens , Paul Pettersson
Reliability Engineering & System Safety, vol. 120 (RE&SSvol120)

Verifying functional behaviors of automotive products in EAST-ADL2 using UPPAAL-PORT (Sep 2011)
Eun-Young Kang, Pierre Yves Schnobbens , Paul Pettersson
Proceedings of the 30th International Conference on Computer Safety, Reliability and Security (SAFECOMP11)

Bridging the Semantic Gap between Abstract Models of Embedded Systems (Jun 2010)
Jagadish Suryadevara, Eun-Young Kang, Cristina Seceleanu, Paul Pettersson
13th International Symposium on Component Based Software Engineering (CBSE)