Cristina Seceleanu

Cristina Seceleanu

Mälardalen University - Eskilstuna / Sweden
Engineering & Technology / Computer Science
AD Scientific Index ID: 1409153
Mälardalens högskola
person_outline Cristina Seceleanu's MOST POPULAR ARTICLES
1-) Remes: A resource model for embedded systemsC Seceleanu, A Vulgarakis, P Pettersson2009 14th IEEE International Conference on Engineering of Complex Computer …, 2009742009
2-) Verifying MARTE/CCSL mode behaviors using UPPAALJ Suryadevara, C Seceleanu, F Mallet, P PetterssonSoftware Engineering and Formal Methods: 11th International Conference, SEFM …, 2013472013
3-) A research overview of tool-supported model-based testing of requirements-based designsR Marinescu, C Seceleanu, H Le Guen, P PetterssonAdvances in Computers 98, 89-140, 2015472015
4-) A methodology for formal analysis and verification of EAST-ADL modelsEY Kang, EP Enoiu, R Marinescu, C Seceleanu, PY Schobbens, ...Reliability Engineering & System Safety 120, 127-138, 2013472013
5-) Analyzing industrial architectural models by simulation and model-checkingR Marinescu, H Kaijser, M Mikučionis, C Seceleanu, H Lönn, A DavidFormal Techniques for Safety-Critical Systems: Third International Workshop …, 2015462015