Extending EAST-ADL for Modeling and Analysis of System's Resource-Usage. - Raluca Marinescu; Eduard Paul Enoiu (COMPSAC Workshops, 2012)

ViTAL: A Verification Tool for EAST-ADL Models Using UPPAAL PORT. - Eduard Paul Enoiu; Raluca Marinescu; Cristina Cerschi Seceleanu; Paul Pettersson (ICECCS, 2012)

A Design Tool for Service-oriented Systems. - Eduard Paul Enoiu; Raluca Marinescu; Aida Causevic; Cristina Cerschi Seceleanu (FESCA, 2012)

A methodology for formal analysis and verification of EAST-ADL models. - Eun-Young Kang 001; Eduard Paul Enoiu; Raluca Marinescu; Cristina Cerschi Seceleanu; Pierre-Yves Schobbens; Paul Pettersson (Reliab. Eng. Syst. Saf., 2013)

A Model-Based Testing Framework for Automotive Embedded Systems. - Raluca Marinescu; Mehrdad Saadatmand; Alessio Bucaioni; Cristina Cerschi Seceleanu; Paul Pettersson (EUROMICRO-SEAA, 2014)

Analyzing Industrial Architectural Models by Simulation and Model-Checking. - Raluca Marinescu; Henrik Kaijser; Marius Mikucionis; Cristina Seceleanu; Henrik Lönn; Alexandre David (FTSCS, 2014)

Statistical Analysis of Resource Usage of Embedded Systems Modeled in EAST-ADL. - Raluca Marinescu; Eduard Paul Enoiu; Cristina Seceleanu (ISVLSI, 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)

Pruning Architectural Models of Automotive Embedded Systems via Dependency Analysis. - Raluca Marinescu; Saad Mubeen; Cristina Seceleanu (SEAA, 2016)

Simulink to UPPAAL Statistical Model Checker: Analyzing Automotive Industrial Systems. - Predrag Filipovikj; Nesredin Mahmud; Raluca Marinescu; Cristina Seceleanu; Oscar Ljungkrantz; Henrik Lönn (FM, 2016)

Model-driven Analysis and Verification of Automotive Embedded Systems. - Raluca Marinescu (2016)

Automatic Test Generation for Energy Consumption of Embedded Systems Modeled in EAST-ADL. - Raluca Marinescu; Eduard Paul Enoiu; Cristina Seceleanu; Daniel Sundmark (ICST Workshops, 2017)

Formal verification of an autonomous wheel loader by model checking. - Rong Gu; Raluca Marinescu; Cristina Seceleanu; Kristina Lundqvist (FormaliSE@ICSE, 2018)

Assuring Intelligent Ambient Assisted Living Solutions by Statistical Model Checking. - Ashalatha Kunnappilly; Raluca Marinescu; Cristina Seceleanu (ISoLA (2), 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)

Architecture Modelling and Formal Analysis of Intelligent Multi-Agent Systems. - Ashalatha Kunnappilly; Simin Cai; Raluca Marinescu; Cristina Seceleanu (ENASE, 2019)

Towards a Two-Layer Framework for Verifying Autonomous Vehicles. - Rong Gu; Raluca Marinescu; Cristina Seceleanu; Kristina Lundqvist (NFM, 2019)

A Model-Checking-Based Framework for Analyzing Ambient Assisted Living Solutions. - Ashalatha Kunnappilly; Raluca Marinescu; Cristina Seceleanu (Sensors, 2019)