Remes: A resource model for embedded systems C Seceleanu, A Vulgarakis, P Pettersson 2009 14th IEEE International Conference on Engineering of Complex Computer …, 2009 | 76 | 2009 |
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 | 52 | 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 | 48 | 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 | 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 Formal Techniques for Safety-Critical Systems: Third International Workshop …, 2015 | 45 | 2015 |
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 | 40 | 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 | 38 | 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 | 37 | 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 |
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 | 36 | 2014 |
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 | 36 | 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 | 31 | 2019 |
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 |
Embedded systems resources: Views on modeling and analysis A Vulgarakis, C Seceleanu 2008 32nd Annual IEEE International Computer Software and Applications …, 2008 | 27 | 2008 |
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 | 25 | 2016 |
TAMAA: UPPAAL-based mission planning for autonomous agents R Gu, E Enoiu, C Seceleanu Proceedings of the 35th Annual ACM Symposium on Applied Computing, 1624-1633, 2020 | 24 | 2020 |
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 25th IEEE/ACM International Conference on Automated …, 2010 | 22 | 2010 |
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 | 21 | 2017 |
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 | 20 | 2019 |
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 | 19 | 2017 |