Rong Gu

Papers

Total Citations

H-Index

About

Rong Gu is a researcher at the forefront of formal verification and model-based analysis for robotic systems, with a particular focus on Robot Operating System 2 (ROS 2). Their work addresses critical challenges in ensuring the reliability, predictability, and safety of increasingly complex ROS 2-based applications. Gu’s major contributions include pioneering pattern-based verification techniques using the UPPAAL model checker, enabling automated validation of ROS 2 node behavior against formal specifications. They have also conducted foundational experimental evaluations of callback execution within ROS 2 executors, providing essential insights into real-time performance and timing predictability. With a methodology that leverages execution traces and model-driven engineering, Gu has developed automated pipelines that simplify the formal verification process, making it more accessible for practitioners. Their most-cited work, "Pattern-Based Verification of ROS 2 Nodes Using UPPAAL" (2023, 9 citations), alongside their experimental studies, has laid critical groundwork for building trustworthy robotic systems. Through these contributions, Rong Gu is helping to bridge the gap between formal methods and practical robotics engineering, advancing the state of the art in dependable autonomous systems.