| Remes: A resource model for embedded systems C Seceleanu, A Vulgarakis, P Pettersson 2009 14th IEEE International Conference on Engineering of Complex Computer …, 2009 | 73 | 2009 |
| Verifying MARTE/CCSL mode behaviors using UPPAAL J Suryadevara, C Seceleanu, F Mallet, P Pettersson International Conference on Software Engineering and Formal Methods, 1-15, 2013 | 47 | 2013 |
| 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 | 44 | 2014 |
| 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 | 41 | 2013 |
| 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 | 35 | 2012 |
| Formal semantics of the ProCom real-time component model A Vulgarakis, J Suryadevara, J Carlson, C Seceleanu, P Pettersson 2009 35th Euromicro Conference on Software Engineering and Advanced …, 2009 | 35 | 2009 |
| 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 | 31 | 2015 |
| 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 | 29 | 2014 |
| 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 | 28 | 2016 |
| Embedded systems resources: Views on modeling and analysis A Vulgarakis, C Seceleanu 2008 32nd Annual IEEE International Computer Software and Applications …, 2008 | 26 | 2008 |
| REMES tool-chain: a set of integrated tools for behavioral modeling and analysis of embedded systems D Ivanov, M Orlić, C Seceleanu, A Vulgarakis Proceedings of the IEEE/ACM international conference on Automated software …, 2010 | 23 | 2010 |
| ReSA tool: Structured requirements specification and SAT-based consistency-checking N Mahmud, C Seceleanu, O Ljungkrantz 2016 Federated Conference on Computer Science and Information Systems …, 2016 | 21 | 2016 |
| ReSA: An ontology-based requirement specification language tailored to automotive systems N Mahmud, C Seceleanu, O Ljungkrantz 10th IEEE International Symposium on Industrial Embedded Systems (SIES), 1-10, 2015 | 19 | 2015 |
| 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 | 18 | 2018 |
| Modeling and reasoning about service behaviors and their compositions A Čaušević, C Seceleanu, P Pettersson International Symposium On Leveraging Applications of Formal Methods …, 2010 | 18 | 2010 |
| Abv-a verifier for the architecture analysis and design language (aadl) S Björnander, C Seceleanu, K Lundqvist, P Pettersson 2011 16th IEEE International Conference on Engineering of Complex Computer …, 2011 | 17 | 2011 |
| Integrating pattern-based formal requirements specification in an industrial tool-chain P Filipovikj, T Jagerfield, M Nyberg, G Rodriguez-Navas, C Seceleanu 2016 IEEE 40th Annual Computer Software and Applications Conference (COMPSAC …, 2016 | 16 | 2016 |
| Analyzing a pattern-based model of a real-time turntable system D Slutej, J Håkansson, J Suryadevara, C Seceleanu, P Pettersson Electronic Notes in Theoretical Computer Science 253 (1), 161-178, 2009 | 16 | 2009 |
| Smt-based consistency analysis of industrial systems requirements P Filipovikj, G Rodriguez-Navas, M Nyberg, C Seceleanu Proceedings of the Symposium on Applied Computing, 1272-1279, 2017 | 12 | 2017 |
| Analyzing a wind turbine system: From simulation to formal verification C Seceleanu, M Johansson, J Suryadevara, G Sapienza, T Seceleanu, ... Science of Computer Programming 133, 216-242, 2017 | 12 | 2017 |
Paul PetterssonProfessor of Real-time Systems, Mälardalen University, SwedenVerified email at mdh.se
