Raluca Marinescu
Título
Citado por
Citado por
Año
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
422014
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
182016
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
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
82018
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
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
Towards a Two-Layer Framework for Verifying Autonomous Vehicles
R Gu, R Marinescu, C Seceleanu, K Lundqvist
NASA Formal Methods Symposium, 186-203, 2019
42019
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20