1 citations · 1 across the 3 of their papers we have counts for
3 papers
M, Toolchain and Language for Reusable Model Compilation
Hiep Hong Trinh, Federico Ciccozzi, Abu Naser Masud +2
Complex software-driven systems often interleave distributed, concurrent computation processes with physical interactions with the environment. Developing these systems more effici…
Modelling and Model-Checking a ROS2 Multi-Robot System using Timed Rebeca
Hiep Hong Trinh, Marjan Sirjani, Federico Ciccozzi +2
Model-based development accelerates prototyping, enables earlier experimentation, and ensures rigorous validation of system design intents. In multi-agent systems with complex asyn…
Industry Best Practices in Robotics Software Engineering
Robert Bocchino, Arne Nordmann, Allison Thackston +4
Robotics software is pushing the limits of software engineering practice. The 3rd International Workshop on Robotics Software Engineering held a panel on "the best practices for ro…