| 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 |
| 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 | 25 | 2020 |
| Towards a Two-Layer Framework for Verifying Autonomous Vehicles R Gu, R Marinescu, C Seceleanu, K Lundqvist NASA Formal Methods Symposium, 186-203, 2019 | 22 | 2019 |
| Verifiable strategy synthesis for multiple autonomous agents: a scalable approach R Gu, PG Jensen, DB Poulsen, C Seceleanu, E Enoiu, K Lundqvist International Journal on Software Tools for Technology Transfer 24 (3), 395-414, 2022 | 13 | 2022 |
| Correctness-guaranteed strategy synthesis and compression for multi-agent autonomous systems R Gu, PG Jensen, C Seceleanu, E Enoiu, K Lundqvist Science of Computer Programming 224, 102894, 2022 | 11 | 2022 |
| Formal methods in industry MH ter Beek, R Chapman, R Cleaveland, H Garavel, R Gu, I ter Horst, ... Formal Aspects of Computing, 2024 | 8 | 2024 |
| Verifiable and Scalable Mission-Plan Synthesis for Autonomous Agents R Gu, E Enoiu, C Seceleanu, K Lundqvist International Conference on Formal Methods for Industrial Critical Systems …, 2020 | 8 | 2020 |
| Probabilistic mission planning and analysis for multi-agent systems R Gu, E Enoiu, C Seceleanu, K Lundqvist International Symposium on Leveraging Applications of Formal Methods, 350-367, 2020 | 7 | 2020 |
| Pattern-Based Verification of ROS 2 Nodes Using UPPAAL L Dust, R Gu, C Seceleanu, M Ekström, S Mubeen International Conference on Formal Methods for Industrial Critical Systems …, 2023 | 6 | 2023 |
| Combining model checking and reinforcement learning for scalable mission planning of autonomous agents R Gu, EP Enoiu, C Seceleanu, K Lundqvist Mälardalen Real-Time Research Centre, Mälardalen University.[Online …, 2020 | 6 | 2020 |
| Experimental Evaluation of Callback Behavior in ROS 2 Executors LJ Dust, E Persson, M Ekström, S Mubeen, C Seceleanu, R Gu 2023 IEEE 28th International Conference on Emerging Technologies and Factory …, 2023 | 4 | 2023 |
| Energy-Efficient Motion Planning for Autonomous Vehicles Using Uppaal Stratego M Naeem, R Gu, C Seceleanu, K Guldstrand Larsen, B Nielsen, M Albano International Symposium on Theoretical Aspects of Software Engineering, 356-373, 2024 | 3 | 2024 |
| Model Checking Collision Avoidance of Nonlinear Autonomous Vehicles R Gu, C Seceleanu, E Enoiu, K Lundqvist International Symposium on Formal Methods, 676-694, 2021 | 3 | 2021 |
| CommonUppRoad: A Framework of Formal Modelling, Verifying, Learning, and Visualisation of Autonomous Vehicles R Gu, K Tan, AH Høeg-Petersen, L Feng, KG Larsen International Symposium on Leveraging Applications of Formal Methods, 385-404, 2024 | 2 | 2024 |
| Synthesis and Verification of Mission Plans for Multiple Autonomous Agents under Complex Road Conditions R Gu, E Baranov, A Ameri, C Seceleanu, EP Enoiu, B Cürüklü, A Legay, ... ACM Transactions on Software Engineering and Methodology 33 (7), 1-46, 2024 | 2 | 2024 |
| Model-Based Policy Synthesis and Test-Case Generation for Autonomous Systems R Gu, E Enoiu 2023 IEEE International Conference on Software Testing, Verification and …, 2023 | 2 | 2023 |
| Formal verification of collision avoidance for nonlinear autonomous vehicle models R Gu, C Seceleanu, EP Enoiu, K Lundqvist Technical report, Mälardalen University, 2021 | 2 | 2021 |
| Experiences in Building a Digital Twin Framework: Challenges and Possible Solutions R Gu, T Barbuceanu, N Xiong, T Seceleanu 2024 IEEE 48th Annual Computers, Software, and Applications Conference …, 2024 | 1 | 2024 |
| A Service-Oriented Digital Twin Framework for Dynamic and Robust Distributed Systems R Gu, T Seceleanu, N Xiong, M Naeem 2024 IEEE International Conference on Software Services Engineering (SSE), 66-73, 2024 | | 2024 |
| UPPAAL-Based Modeling L Dust, R Gu, C Seceleanu, M Ekström Formal Methods for Industrial Critical Systems: 29th International …, 2024 | | 2024 |
Cristina SeceleanuProfessor of Computer Science, Mälardalen UniversityEmail verificata su mdu.se