Staff

Raluca Marinescu, PhD student
E-mail:
Room:	U1-146
Phone:
Research group:	Formal Modelling and Analysis of Embedded Systems
PhD supervisor:	Paul Pettersson
Web:	Official university homepage

Raluca Marinescu is a PhD student at Mälardalen University, working in the Formal Modeling and Analysis of Embedded Systems group. She has received a M.Sc. in Electronics from Politehnica University of Bucharest in June 2009 and a M.Sc. in Computer Science from Mälardalen University in June 2011. Her main research interest are model-based analysis and testing of embedded systems.

Latest publications [ Show all publications ]

A Design Tool for Service-oriented Systems, Eduard Paul Enoiu, Raluca Marinescu, Aida Causevic, Cristina Seceleanu, Proceedings the 9th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA), p Volume 295, Pages 95, Elsevier, Electronic Notes in Theoretical Computer Science (ENCTS), Estonia, Editor(s):Barbora Buhnova, Lucia Happe and Jan Kofron, May, 2013

A Methodology for Formal Analysis and Verification of EAST-ADL Models, Eun-Young Kang (former), Eduard Paul Enoiu, Raluca Marinescu, Cristina Seceleanu, Pierre Yves Schnobbens (external), Paul Pettersson, International Journal of Reliability Engineering and System Safety, Elsevier, January, 2013

An Integrated Framework for Component-based Analysis of Architectural System Models, Raluca Marinescu, Cristina Seceleanu, Paul Pettersson, Proceedings of the 24th IFIP International Conference on Testing Software and Systems (ICTSS'12) Doctoral Workshop, p 1-6, Technical Report No. 12-201. ISBN:1601-0590 Aalborg University, Aalborg, Denmark, Editor(s):Brian Nielsen and Carsten Weise, November, 2012

Research projects

On-going:

MBAT - Combined Model-based Analysis and Testing (Artemis/Vinnova)

Supervised BSc and MSc theses

Implementing OSLC adaptors for ViTAL

Mälardalen University |
Box 883 |
721 23 Västerås/Eskilstuna |
021-101300, 016-153600 |
webmaster |
Latest update: 2009.11.03