| Remes: A resource model for embedded systems C Seceleanu, A Vulgarakis, P Pettersson 2009 14th IEEE International Conference on Engineering of Complex Computer …, 2009 | 70 | 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 | 46 | 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 | 43 | 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 | 40 | 2013 |
| 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 |
| 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 | 33 | 2012 |
| 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 | 27 | 2015 |
| Embedded systems resources: Views on modeling and analysis A Vulgarakis, C Seceleanu 2008 32nd Annual IEEE International Computer Software and Applications …, 2008 | 26 | 2008 |
| 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 | 25 | 2014 |
| 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 | 21 | 2010 |
| 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 | 19 | 2016 |
| 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 | 18 | 2016 |
| 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 |
| 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 | 15 | 2009 |
| 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 | 14 | 2015 |
| 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 | 12 | 2016 |
| Component models for reasoning C Seceleanu, I Crnkovic Computer 46 (11), 40-47, 2013 | 12 | 2013 |
| Symbolic simulation of hybrid systems RJ Back, CC Seceleanu, J Westerholm Ninth Asia-Pacific Software Engineering Conference, 2002., 147-155, 2002 | 12 | 2002 |
| 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 | 11 | 2018 |
Paul PetterssonProfessor of Real-time Systems, Mälardalen University, SwedenVerified email at mdh.se
