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 | 47 | 2015 |
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 | 47 | 2015 |
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 | 46 | 2013 |
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 | 41 | 2016 |
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 | 37 | 2012 |
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 | 35 | 2014 |
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 | 27 | 2018 |
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 | 17 | 2019 |
A model-checking-based framework for analyzing ambient assisted living solutions A Kunnappilly, R Marinescu, C Seceleanu Sensors 19 (22), 5057, 2019 | 11 | 2019 |
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 | 11 | 2012 |
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 | 10 | 2017 |
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 | 9 | 2010 |
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 | 8 | 2017 |
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 | 8 | 2016 |
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 | 8 | 2015 |
Model-driven analysis and verification of automotive embedded systems R Marinescu Mälardalen University, 2016 | 6 | 2016 |
East-adl tailored testing: From system models to executable test cases R Marinescu, M Saadatmand, A Bucaioni, C Seceleanu, P Pettersson Technical Report, 2013 | 6 | 2013 |
Model-checking and model-based testing of automotive embedded systems: Starting from the system architecture R Marinescu Mälardalen University, 2014 | 5 | 2014 |
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 | 5 | 2013 |
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 | 4 | 2019 |