Publications

Conference/Workshop Paper (2)

Model-based development and formal verification of a ROS2 multi-robot system using Timed Rebeca (Sep 2024)
Hiep Hong Trinh, Marjan Sirjani, Mikael Sjödin, Federico Ciccozzi
40th Anniversary of the IEEE Conference on Robotics and Automation (ICRA@40)

Combining model-based development and formal verification of a complex ROS2 multi-robots system using Timed Rebeca (Jun 2024)
Hiep Hong Trinh, Marjan Sirjani, Fereidoun Moradi, Antonio Cicchetti, Federico Ciccozzi
International Workshop on Reliability Engineering Methods for Autonomous Robots – REMARO 2024 (REMARO2024)

Master Theses (1)

MODEL-BASED DEVELOPMENT & VERIFICATION OF ROS2 ROBOTIC APPLICATIONS USING TIMED REBECA (Jun 2023)
Hiep Hong Trinh
DiVA portal (DiVA)