Hiep Hong Trinh, Doctoral student
Hiep is doing his PhD in software engineering, with specialization in model-driven development, at IDT since December 2023. He has extensive experience in software development in different roles but to the academia he is still a new one. Currently he is interested in these areas: model driven development, model based testing, model checking, automation, processes, robotics. Hiep holds a master degree in software engineering (Mälardalen university, 2021-2023) and some other degrees, but he cares more about delivery of something that works.
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)
MODEL-BASED DEVELOPMENT & VERIFICATION OF ROS2 ROBOTIC APPLICATIONS USING TIMED REBECA (Jun 2023) Hiep Hong Trinh DiVA portal (DiVA)
| Project Title | Status |
|---|---|
| ORPHEUS: systematic and reliable theory for model compilation | active |