Rong Gu

According to our database, Rong Gu authored at least 25 papers between 2018 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2025

Pattern-based verification of ROS 2 applications using UPPAAL.

Lukas Johannes Dust, Rong Gu, Cristina Seceleanu, Mikael Ekström, Saad Mubeen

Int. J. Softw. Tools Technol. Transf., June, 2025

A model-based approach to automation of formal verification of ROS 2-based systems.

Lukas Johannes Dust, Rong Gu, Saad Mubeen, Mikael Ekström, Cristina Seceleanu

Frontiers Robotics AI, 2025

Formal Methods in Industry.

Maurice H. ter Beek, Rod Chapman, Rance Cleaveland, Hubert Garavel, Rong Gu, Ivo ter Horst, Jeroen J. A. Keiren, Thierry Lecomte, Michael Leuschel, Kristin Yvonne Rozier, Augusto Sampaio, Cristina Seceleanu, Martyn Thomas, Tim A. C. Willemse, Lijun Zhang

Formal Aspects Comput., 2025

Modelling Cyber-Physical Systems for Verification and Synthesis.

Rong Gu

Proceedings of the Rebeca for Actor Analysis in Action, 2025

2024

Synthesis and Verification of Mission Plans for Multiple Autonomous Agents under Complex Road Conditions.

Rong Gu, Eduard Baranov, Afshin Ameri, Cristina Seceleanu, Eduard Paul Enoiu, Baran Çürüklü, Axel Legay, Kristina Lundqvist

ACM Trans. Softw. Eng. Methodol., September, 2024

Energy-Efficient Motion Planning for Autonomous Vehicles Using Uppaal Stratego.

Muhammad Naeem, Rong Gu, Cristina Seceleanu, Kim Guldstrand Larsen, Brian Nielsen, Michele Albano

Proceedings of the Theoretical Aspects of Software Engineering, 2024

A Model-Based Methodology for Automated Verification of ROS 2 Systems.

Lukas Johannes Dust, Mikael Ekström, Rong Gu, Saad Mubeen, Cristina Seceleanu

Proceedings of the 6th IEEE/ACM International Workshop on Robotics Software Engineering, 2024

CommonUppRoad: A Framework of Formal Modelling, Verifying, Learning, and Visualisation of Autonomous Vehicles.

Rong Gu, Kaige Tan, Andreas Holck Høeg-Petersen, Lei Feng, Kim Guldstrand Larsen

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification, 2024

Guess and Then Check: Controller Synthesis for Safe and Secure Cyber-Physical Systems.

Rong Gu, Zahra Moezkarimi, Marjan Sirjani

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2024

UPPAAL-Based Modeling and Verification of ROS 2 Multi-threaded Execution and Operating System Reservations.

Lukas Johannes Dust, Rong Gu, Cristina Seceleanu, Mikael Ekström, Saad Mubeen

Proceedings of the Formal Methods for Industrial Critical Systems, 2024

Experiences in Building a Digital Twin Framework: Challenges and Possible Solutions.

Rong Gu, Teodor Barbuceanu, Ning Xiong, Tiberiu Seceleanu

Proceedings of the 48th IEEE Annual Computers, Software, and Applications Conference, 2024

A Service-Oriented Digital Twin Framework for Dynamic and Robust Distributed Systems.

Rong Gu, Tiberiu Seceleanu, Ning Xiong, Muhammad Naeem

Proceedings of the IEEE International Conference on Software Services Engineering, 2024

2023

Model-Based Policy Synthesis and Test-Case Generation for Autonomous Systems.

Rong Gu, Eduard Enoiu

Proceedings of the IEEE International Conference on Software Testing, Verification and Validation, ICST 2023, 2023

Pattern-Based Verification of ROS 2 Nodes Using UPPAAL.

Lukas Johannes Dust, Rong Gu, Cristina Seceleanu, Mikael Ekström, Saad Mubeen

Proceedings of the Formal Methods for Industrial Critical Systems, 2023

Experimental Evaluation of Callback Behavior in ROS 2 Executors.

Lukas Johannes Dust, Emil Persson, Mikael Ekström, Saad Mubeen, Cristina Seceleanu, Rong Gu

Proceedings of the 28th IEEE International Conference on Emerging Technologies and Factory Automation, 2023

Learning in Uppaal for Test Case Generation for Cyber-Physical Systems.

Rong Gu

Proceedings of the Engineering of Computer-Based Systems - 8th International Conference, 2023

2022

Formal Methods for Scalable Synthesis and Verification of Autonomous Systems : Mission Planning and Collision Avoidance.

Rong Gu

PhD thesis, 2022

Verifiable strategy synthesis for multiple autonomous agents: a scalable approach.

Rong Gu, Peter Gjøl Jensen, Danny Bøgsted Poulsen, Cristina Seceleanu, Eduard Enoiu, Kristina Lundqvist

Int. J. Softw. Tools Technol. Transf., 2022

Correctness-guaranteed strategy synthesis and compression for multi-agent autonomous systems.

Rong Gu, Peter Gjøl Jensen, Cristina Seceleanu, Eduard Enoiu, Kristina Lundqvist

Sci. Comput. Program., 2022

2021

Model Checking Collision Avoidance of Nonlinear Autonomous Vehicles.

Rong Gu, Cristina Seceleanu, Eduard Enoiu, Kristina Lundqvist

Proceedings of the Formal Methods - 24th International Symposium, 2021

2020

TAMAA: UPPAAL-based mission planning for autonomous agents.

Rong Gu, Eduard Enoiu, Cristina Seceleanu

Proceedings of the SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing, online event, [Brno, Czech Republic], March 30, 2020

Probabilistic Mission Planning and Analysis for Multi-agent Systems.

Rong Gu, Eduard Enoiu, Cristina Seceleanu, Kristina Lundqvist

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, 2020

Verifiable and Scalable Mission-Plan Synthesis for Autonomous Agents.

Rong Gu, Eduard Enoiu, Cristina Seceleanu, Kristina Lundqvist

Proceedings of the Formal Methods for Industrial Critical Systems, 2020

2019

Towards a Two-Layer Framework for Verifying Autonomous Vehicles.

Rong Gu, Raluca Marinescu, Cristina Seceleanu, Kristina Lundqvist

Proceedings of the NASA Formal Methods - 11th International Symposium, 2019

2018

Formal verification of an autonomous wheel loader by model checking.

Rong Gu, Raluca Marinescu, Cristina Seceleanu, Kristina Lundqvist

Proceedings of the 6th Conference on Formal Methods in Software Engineering, 2018