Publications

Type: Date:
Scope:
Author:

Number of publications matching the search criterion: 22

Licentiate Thesis (1)

Model-checking and Model-based Testing of Automotive Embedded Systems: Starting from the System Architecture (Dec 2014)
Raluca Marinescu

Book chapter (1)

A Research Overview of Tool-Supported Model-based Testing of Requirements-based Designs (Jul 2015)
Raluca Marinescu, Cristina Seceleanu, Helene Le Guen , Paul Pettersson
Advances in Computers, vol.98 (AC)

Journal article (1)

A methodology for formal analysis and verification of EAST-ADL models (Jul 2013)
Eun-Young Kang, Eduard Paul Enoiu, Raluca Marinescu, Cristina Seceleanu, Pierre Yves Schnobbens , Paul Pettersson
Reliability Engineering & System Safety, vol. 120 (RE&SSvol120)

Conference/Workshop Paper (13)

An Energy-aware Mutation Testing Framework for EAST-ADL Architectural Models (Oct 2017)
Raluca Marinescu, Predrag Filipovikj, Eduard Paul Enoiu, Jonatan Larsson , Cristina Seceleanu
29th Nordic Workshop on Programming Theory (NWPT'17)

Automatic Test Generation for Energy Consumption of Embedded Systems Modeled in EAST-ADL (Mar 2017)
Raluca Marinescu, Eduard Paul Enoiu, Cristina Seceleanu, Daniel Sundmark
ICST workshop on Testing Extra-Functional Properties and Quality Characteristics of Software Systems (ITEQS'17)

Simulink to UPPAAL Statistical Model Checker: Analyzing Automotive Industrial Systems (Nov 2016)
Predrag Filipovikj, Nesredin Mahmud, Raluca Marinescu, Cristina Seceleanu, Oscar Ljungkrantz , Henrik Lönn
21st International Symposium on Formal Methods (FM2016)

Pruning Architectural Models of Automotive Embedded Systems via Dependency Analysis (Sep 2016)
Raluca Marinescu, Saad Mubeen, Cristina Seceleanu
42nd Euromicro Conference series on Software Engineering and Advanced Applications (SEAA 2016)

Statistical Analysis of Resource Usage of Embedded Systems Modeled in EAST-ADL (Jul 2015)
Raluca Marinescu, Eduard Paul Enoiu, Cristina Seceleanu
IEEE Computer Society Annual Symposium on VLSI (ISVLSI)

Analyzing Industrial Architectural Models by Simulation and Model-Checking (Nov 2014)
Raluca Marinescu, Henrik Kaijser , Marius Mikuèionis , Cristina Seceleanu, Henrik Lönn , Alexandre David
Third International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS2014)

A Model-Based Testing Framework for Automotive Embedded Systems (Aug 2014)
Raluca Marinescu, Mehrdad Saadatmand, Alessio Bucaioni, Cristina Seceleanu, Paul Pettersson
The 40th Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2014)

A Design Tool for Service-oriented Systems (May 2013)
Eduard Paul Enoiu, Raluca Marinescu, Aida Causevic, Cristina Seceleanu
Proceedings of the 9th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA 2012)

An Integrated Framework for Component-based Analysis of Architectural System Models (Nov 2012)
Raluca Marinescu, Cristina Seceleanu, Paul Pettersson
Proceedings of the 24th IFIP International Conference on Testing Software and Systems (ICTSS12) Doctoral Workshop

ViTAL : A Verification Tool for EAST-ADL Models using UPPAAL PORT (Jul 2012)
Eduard Paul Enoiu, Raluca Marinescu, Cristina Seceleanu, Paul Pettersson
Proceedings of the 17th IEEE International Conference on Engineering of Complex Computer Systems

Extending EAST-ADL for Modeling and Analysis of System’s Resource-Usage (Jul 2012)
Raluca Marinescu, Eduard Paul Enoiu
IEEE 36th Annual Computer Software and Applications Conference Workshops (COMPSACW)

A SysML Model for Code Correction and Detection Systems (May 2010)
Stefan Stancescu , Lavinia Neagoe , Raluca Marinescu, Eduard Paul Enoiu
In Proceedings of the 33rd International Convention on Information and Communication Technology, Electronics and Microelectronics (MIPRO10) IEEE Croatia Section,

UML Modeling in Design of Error Detection and Correction Circuits (May 2009)
Stefan Stancescu , Lavinia Neagoe , Raluca Marinescu, Eduard Paul Enoiu
In Proceedings of the 32rd International Convention on Information and Communication Technology, Electronics and Microelectronics (MIPRO09) IEEE Croatia

Report - MRTC (4)

Analyzing Industrial Simulink Models by Statistical Model Checking (Mar 2017)
Predrag Filipovikj, Nesredin Mahmud, Raluca Marinescu, Guillermo Rodriguez-Navas, Cristina Seceleanu, Oscar Ljungkrantz , Henrik Lönn

EAST-ADL Tailored Testing: From System Models to Executable Test Cases (Sep 2013)
Raluca Marinescu, Mehrdad Saadatmand, Cristina Seceleanu, Paul Pettersson, Alessio Bucaioni

Towards the Analysis and Verification of EAST-ADL Models using UPPAAL PORT (Mar 2012)
Eduard Paul Enoiu, Raluca Marinescu, Cristina Seceleanu, Paul Pettersson

Analyzing Industrial Architectural Models: Where Verification meets Statistical Model Checking
Raluca Marinescu, Cristina Seceleanu, Henrik Lönn , Henrik Kaijser , Marius Mikuèionis , Alexandre David

Report (1)

Solving Sudoku with MATLAB (Mar 2011)
Raluca Marinescu, Eduard Paul Enoiu, Andrea Garcia , Ivan Castro

Student Thesis (1)

A Design Framework for Service-oriented Systems (Jun 2011)
Eduard Paul Enoiu, Raluca Marinescu

Items per page: