Publications
Number of publications matching the search criterion: 3
Journal article (1)
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)
Conference/Workshop Paper (2)
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)
