Raluca Marinescu

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