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
432014
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
412013
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
332012
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
302015
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
272014
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
222016
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
142018
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
102012
Towards a two-layer framework for verifying autonomous vehicles
R Gu, R Marinescu, C Seceleanu, K Lundqvist
NASA Formal Methods Symposium, 186-203, 2019
92019
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
92017
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
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
A model-checking-based framework for analyzing ambient assisted living solutions
A Kunnappilly, R Marinescu, C Seceleanu
Sensors 19 (22), 5057, 2019
62019
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
62017
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
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
52016
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
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
32019
The system can't perform the operation now. Try again later.
Articles 1–20