Publications
Number of publications matching the search criterion: 28
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 (3)
A Model-Checking-Based Framework For Analyzing Ambient Assisted Living Solutions (Nov 2019) Ashalatha Kunnappilly, Raluca Marinescu, Cristina Seceleanu Sensors Special Issue IoT Sensors in E-Health (Sensors)
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)
A Design Tool for Service-oriented Systems (May 2013) Eduard Paul Enoiu, Raluca Marinescu, Aida Causevic, Cristina Seceleanu International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA 2012)
Conference/Workshop Paper (16)
Towards a Two-layer Framework for Verifying Autonomous Vehicles (May 2019) Rong Gu, Raluca Marinescu, Cristina Seceleanu, Kristina Lundqvist 11th Annual NASA Formal Methods Symposium (NFM 2019)
Architecture Modelling and Formal Analysis of Intelligent Multi-Agent Systems (May 2019) Ashalatha Kunnappilly, Simin Cai, Cristina Seceleanu, Raluca Marinescu 14th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2019)
Assuring Intelligent Ambient Assisted Living Solutions by Statistical Model Checking (Oct 2018) Ashalatha Kunnappilly, Raluca Marinescu, Cristina Seceleanu 8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2018)
Formal Verification of an Autonomous Wheel Loader by Model Checking (Jun 2018) Rong Gu, Raluca Marinescu, Cristina Seceleanu, Kristina Lundqvist FORMAL METHODS IN SOFTWARE ENGINEERING (FormaliSE 2018)
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)
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 (5)
A Model-Checking-Based Framework For Analyzing Ambient Assisted Living Solutions (Mar 2019) Ashalatha Kunnappilly, Raluca Marinescu, Cristina Seceleanu
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 MRTC Report, Mälardalen Real-Time Research Centre (MRTC2017)
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
