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
International Workshop on Formal Techniques for Safety-Critical Systems, 189-205, 2014
442014
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
382013
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
312012
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
262015
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
242014
Simulink to UPPAAL statistical model checker: Analyzing automotive industrial systems
P Filipovikj, N Mahmud, R Marinescu, C Seceleanu, O Ljungkrantz, ...
International Symposium on Formal Methods, 748-756, 2016
192016
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
92018
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
92012
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
82017
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
82010
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
72015
Towards a Two-Layer Framework for Verifying Autonomous Vehicles
R Gu, R Marinescu, C Seceleanu, K Lundqvist
NASA Formal Methods Symposium, 186-203, 2019
62019
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
52013
East-adl tailored testing: From system models to executable test cases
R Marinescu, M Saadatmand, A Bucaioni, C Seceleanu, P Pettersson
Technical Report, 2013
52013
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
42017
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
42016
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
42013
Assuring intelligent ambient assisted living solutions by statistical model checking
A Kunnappilly, R Marinescu, C Seceleanu
International Symposium on Leveraging Applications of Formal Methods, 457-476, 2018
32018
Architecture Modelling and Formal Analysis of Intelligent Multi-Agent Systems
A Kunnappilly, S Cai, R Marinescu, C Seceleanu
14th International Conference on Evaluation of Novel Approaches to Software …, 2019
22019
The system can't perform the operation now. Try again later.
Articles 1–20