Raluca Marinescu

Raluca Marinescu

Mälardalen University - Eskilstuna / Sweden
Others
AD Scientific Index ID: 4455085
Mälardalens högskola
person_outline Raluca Marinescu's MOST POPULAR ARTICLES
1-) Simulink to UPPAAL statistical model checker: Analyzing automotive industrial systemsP Filipovikj, N Mahmud, R Marinescu, C Seceleanu, O Ljungkrantz, ...FM 2016: Formal Methods: 21st International Symposium, Limassol, Cyprus …, 2016482016
2-) 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, 2015482015
3-) 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
4-) 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 …, 2015472015
5-) A model-based testing framework for automotive embedded systemsR Marinescu, M Saadatmand, A Bucaioni, C Seceleanu, P Pettersson2014 40th EUROMICRO Conference on Software Engineering and Advanced …, 2014382014