Publications

Type: Date:
Scope:
Author:

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)

Items per page: