| 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 |
| 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 | 46 | 2015 |
| Verifying MARTE/CCSL mode behaviors using UPPAAL J Suryadevara, C Seceleanu, F Mallet, P Pettersson Software Engineering and Formal Methods: 11th International Conference, SEFM …, 2013 | 45 | 2013 |
| 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 |
| 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 | 38 | 2015 |
| 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 |
| 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 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 | 31 | 2014 |
| 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 | 30 | 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 |
| 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 | 25 | 2015 |
| 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 | 24 | 2016 |
| 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 | 23 | 2018 |
| 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 | 22 | 2010 |
| 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 | 21 | 2016 |
| Modeling and reasoning about service behaviors and their compositions A Čaušević, C Seceleanu, P Pettersson Leveraging Applications of Formal Methods, Verification, and Validation: 4th …, 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 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 | 16 | 2017 |
| 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 |
| Data aggregation processes: a survey, a taxonomy, and design guidelines S Cai, B Gallina, D Nyström, C Seceleanu Computing 101, 1397-1429, 2019 | 15 | 2019 |
Paul PetterssonProfessor of Real-time Systems, Mälardalen University, SwedenVerified email at mdu.se
