Raluca Marinescu

According to our database, Raluca Marinescu authored at least 18 papers between 2012 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2019

A Model-Checking-Based Framework for Analyzing Ambient Assisted Living Solutions.

Ashalatha Kunnappilly, Raluca Marinescu, Cristina Seceleanu

Sensors, 2019

Towards a Two-Layer Framework for Verifying Autonomous Vehicles.

Rong Gu, Raluca Marinescu, Cristina Seceleanu, Kristina Lundqvist

Proceedings of the NASA Formal Methods - 11th International Symposium, 2019

Architecture Modelling and Formal Analysis of Intelligent Multi-Agent Systems.

Ashalatha Kunnappilly, Simin Cai, Raluca Marinescu, Cristina Seceleanu

Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering, 2019

2018

An Energy-aware Mutation Testing Framework for EAST-ADL Architectural Models.

Raluca Marinescu, Predrag Filipovikj, Eduard Paul Enoiu, Jonatan Larsson, Cristina Seceleanu

CoRR, 2018

Assuring Intelligent Ambient Assisted Living Solutions by Statistical Model Checking.

Ashalatha Kunnappilly, Raluca Marinescu, Cristina Seceleanu

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification, 2018

Formal verification of an autonomous wheel loader by model checking.

Rong Gu, Raluca Marinescu, Cristina Seceleanu, Kristina Lundqvist

Proceedings of the 6th Conference on Formal Methods in Software Engineering, 2018

2017

Automatic Test Generation for Energy Consumption of Embedded Systems Modeled in EAST-ADL.

Raluca Marinescu, Eduard Paul Enoiu, Cristina Seceleanu, Daniel Sundmark

Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

2016

Model-driven Analysis and Verification of Automotive Embedded Systems.

Raluca Marinescu

PhD thesis, 2016

Simulink to UPPAAL Statistical Model Checker: Analyzing Automotive Industrial Systems.

Predrag Filipovikj, Nesredin Mahmud, Raluca Marinescu, Cristina Seceleanu, Oscar Ljungkrantz, Henrik Lönn

Proceedings of the FM 2016: Formal Methods, 2016

Pruning Architectural Models of Automotive Embedded Systems via Dependency Analysis.

Raluca Marinescu, Saad Mubeen, Cristina Seceleanu

Proceedings of the 42th Euromicro Conference on Software Engineering and Advanced Applications, 2016

2015

Chapter Three - A Research Overview of Tool-Supported Model-based Testing of Requirements-based Designs.

Raluca Marinescu, Cristina Seceleanu, Hélène Le Guen, Paul Pettersson

Adv. Comput., 2015

Statistical Analysis of Resource Usage of Embedded Systems Modeled in EAST-ADL.

Raluca Marinescu, Eduard Paul Enoiu, Cristina Seceleanu

Proceedings of the 2015 IEEE Computer Society Annual Symposium on VLSI, 2015

2014

Analyzing Industrial Architectural Models by Simulation and Model-Checking.

Raluca Marinescu, Henrik Kaijser, Marius Mikucionis, Cristina Seceleanu, Henrik Lönn, Alexandre David

Proceedings of the Formal Techniques for Safety-Critical Systems, 2014

A Model-Based Testing Framework for Automotive Embedded Systems.

Raluca Marinescu, Mehrdad Saadatmand, Alessio Bucaioni, Cristina Cerschi Seceleanu, Paul Pettersson

Proceedings of the 40th EUROMICRO Conference on Software Engineering and Advanced Applications, 2014

2013

A methodology for formal analysis and verification of EAST-ADL models.

Eun-Young Kang, Eduard Paul Enoiu, Raluca Marinescu, Cristina Cerschi Seceleanu, Pierre-Yves Schobbens, Paul Pettersson

Reliab. Eng. Syst. Saf., 2013

2012

A Design Tool for Service-oriented Systems.

Eduard Paul Enoiu, Raluca Marinescu, Aida Causevic, Cristina Cerschi Seceleanu

Proceedings of the Proceedings the 9th International Workshop on Formal Engineering approaches to Software Components and Architectures, 2012

ViTAL: A Verification Tool for EAST-ADL Models Using UPPAAL PORT.

Eduard Paul Enoiu, Raluca Marinescu, Cristina Cerschi Seceleanu, Paul Pettersson

Proceedings of the 17th IEEE International Conference on Engineering of Complex Computer Systems, 2012

Extending EAST-ADL for Modeling and Analysis of System's Resource-Usage.

Raluca Marinescu, Eduard Paul Enoiu

Proceedings of the 36th Annual IEEE Computer Software and Applications Conference Workshops, 2012