Follow
Raluca Marinescu
Title
Cited by
Cited by
Year
Analyzing industrial architectural models by simulation and model-checking
R Marinescu, H Kaijser, M Mikučionis, C Seceleanu, H Lönn, A David
Formal Techniques for Safety-Critical Systems: Third International Workshop …, 2015
462015
A research overview of tool-supported model-based testing of requirements-based designs
R Marinescu, C Seceleanu, H Le Guen, P Pettersson
Advances in Computers 98, 89-140, 2015
452015
A methodology for formal analysis and verification of EAST-ADL models
EY Kang, EP Enoiu, R Marinescu, C Seceleanu, PY Schobbens, ...
Reliability Engineering & System Safety 120, 127-138, 2013
432013
Simulink to UPPAAL statistical model checker: Analyzing automotive industrial systems
P Filipovikj, N Mahmud, R Marinescu, C Seceleanu, O Ljungkrantz, ...
FM 2016: Formal Methods: 21st International Symposium, Limassol, Cyprus …, 2016
372016
Vital: A verification tool for east-adl models using uppaal port
EP Enoiu, R Marinescu, C Seceleanu, P Pettersson
2012 IEEE 17th International Conference on Engineering of Complex Computer …, 2012
372012
A model-based testing framework for automotive embedded systems
R Marinescu, M Saadatmand, A Bucaioni, C Seceleanu, P Pettersson
2014 40th EUROMICRO Conference on Software Engineering and Advanced …, 2014
352014
Formal verification of an autonomous wheel loader by model checking
R Gu, R Marinescu, C Seceleanu, K Lundqvist
Proceedings of the 6th Conference on Formal Methods in Software Engineering …, 2018
262018
Towards a two-layer framework for verifying autonomous vehicles
R Gu, R Marinescu, C Seceleanu, K Lundqvist
NASA Formal Methods: 11th International Symposium, NFM 2019, Houston, TX …, 2019
172019
A model-checking-based framework for analyzing ambient assisted living solutions
A Kunnappilly, R Marinescu, C Seceleanu
Sensors 19 (22), 5057, 2019
112019
Extending EAST-ADL for modeling and analysis of system's resource-usage
R Marinescu, EP Enoiu
2012 IEEE 36th Annual Computer Software and Applications Conference …, 2012
112012
Analyzing industrial simulink models by statistical model checking
P Filipovikj, N Mahmud, R Marinescu, G Rodriguez-Navas, C Seceleanu, ...
Mälardalen Real-Time Research Centre, Mälardalen University, 2017
102017
A SysML model for code correction and detection systems
S Stancescu, L Neagoe, R Marinescu, EP Enoiu
The 33rd International Convention MIPRO, 189-191, 2010
92010
Automatic test generation for energy consumption of embedded systems modeled in EAST-ADL
R Marinescu, E Enoiu, C Seceleanu, D Sundmark
2017 IEEE International Conference on Software Testing, Verification and …, 2017
82017
Statistical analysis of resource usage of embedded systems modeled in east-adl
R Marinescu, EP Enoiu, C Seceleanu
2015 IEEE Computer Society Annual Symposium on VLSI, 380-385, 2015
82015
Pruning architectural models of automotive embedded systems via dependency analysis
R Marinescu, S Mubeen, C Seceleanu
2016 42th Euromicro Conference on Software Engineering and Advanced …, 2016
72016
Model-driven analysis and verification of automotive embedded systems
R Marinescu
Mälardalen University, 2016
62016
East-adl tailored testing: From system models to executable test cases
R Marinescu, M Saadatmand, A Bucaioni, C Seceleanu, P Pettersson
Technical Report, 2013
62013
East-adl tailored testing: From system models to executable test cases
R Marinescu, M Saadatmand, A Bucaioni, C Seceleanu, P Pettersson
Technical Report, 2013
62013
Model-checking and model-based testing of automotive embedded systems: Starting from the system architecture
R Marinescu
Mälardalen University, 2014
52014
A design tool for service-oriented systems
EP Enoiu, R Marinescu, A Čaušević, C Seceleanu
Electronic Notes in Theoretical Computer Science 295, 95-100, 2013
52013
The system can't perform the operation now. Try again later.
Articles 1–20