Raluca Marinescu

Publication Activity (10 Years)

Years Active: 2012-2019
Publications (10 Years): 11

Top Topics

Ambient Assisted Living

Architectural Models

Temporal Properties

Formal Analysis

Top Venues

COMPSAC Workshops

Publications

Ashalatha Kunnappilly, Raluca Marinescu, Cristina Seceleanu
A Model-Checking-Based Framework for Analyzing Ambient Assisted Living Solutions. Sensors 19 (22) (2019)
Ashalatha Kunnappilly, Simin Cai, Raluca Marinescu, Cristina Seceleanu
Architecture Modelling and Formal Analysis of Intelligent Multi-Agent Systems. ENASE (2019)
Rong Gu, Raluca Marinescu, Cristina Seceleanu, Kristina Lundqvist
Towards a Two-Layer Framework for Verifying Autonomous Vehicles. NFM (2019)
Raluca Marinescu, Predrag Filipovikj, Eduard Paul Enoiu, Jonatan Larsson, Cristina Seceleanu
An Energy-aware Mutation Testing Framework for EAST-ADL Architectural Models. CoRR (2018)
Rong Gu, Raluca Marinescu, Cristina Seceleanu, Kristina Lundqvist
Formal verification of an autonomous wheel loader by model checking. FormaliSE@ICSE (2018)
Ashalatha Kunnappilly, Raluca Marinescu, Cristina Seceleanu
Assuring Intelligent Ambient Assisted Living Solutions by Statistical Model Checking. ISoLA (2) (2018)
Raluca Marinescu, Eduard Paul Enoiu, Cristina Seceleanu, Daniel Sundmark
Automatic Test Generation for Energy Consumption of Embedded Systems Modeled in EAST-ADL. ICST Workshops (2017)
Raluca Marinescu, Saad Mubeen, Cristina Seceleanu
Pruning Architectural Models of Automotive Embedded Systems via Dependency Analysis. SEAA (2016)
Predrag Filipovikj, Nesredin Mahmud, Raluca Marinescu, Cristina Seceleanu, Oscar Ljungkrantz, Henrik Lönn
Simulink to UPPAAL Statistical Model Checker: Analyzing Automotive Industrial Systems. FM (2016)
Raluca Marinescu, Cristina Seceleanu, Hélène Le Guen, Paul Pettersson
Chapter Three - A Research Overview of Tool-Supported Model-based Testing of Requirements-based Designs. Adv. Comput. 98 (2015)
Raluca Marinescu, Eduard Paul Enoiu, Cristina Seceleanu
Statistical Analysis of Resource Usage of Embedded Systems Modeled in EAST-ADL. ISVLSI (2015)
Raluca Marinescu, Henrik Kaijser, Marius Mikucionis, Cristina Seceleanu, Henrik Lönn, Alexandre David
Analyzing Industrial Architectural Models by Simulation and Model-Checking. FTSCS (2014)
Raluca Marinescu, Mehrdad Saadatmand, Alessio Bucaioni, Cristina Cerschi Seceleanu, Paul Pettersson
A Model-Based Testing Framework for Automotive Embedded Systems. EUROMICRO-SEAA (2014)
Eduard Paul Enoiu, Raluca Marinescu, Aida Causevic, Cristina Cerschi Seceleanu
A Design Tool for Service-oriented Systems. Electron. Notes Theor. Comput. Sci. 295 (2013)
Eun-Young Kang, Eduard Paul Enoiu, Raluca Marinescu, Cristina Cerschi Seceleanu, Pierre-Yves Schobbens, Paul Pettersson
A methodology for formal analysis and verification of EAST-ADL models. Reliab. Eng. Syst. Saf. 120 (2013)
Raluca Marinescu, Eduard Paul Enoiu
Extending EAST-ADL for Modeling and Analysis of System's Resource-Usage. COMPSAC Workshops (2012)
Eduard Paul Enoiu, Raluca Marinescu, Cristina Cerschi Seceleanu, Paul Pettersson
ViTAL: A Verification Tool for EAST-ADL Models Using UPPAAL PORT. ICECCS (2012)