3 papers
cs.SE2025
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…
cs.RO2025
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…
math.CO2023
The infinite Fibonacci cube and its generalizations
Hiep Trinh, Trevor M. Wilson
The Fibonacci cube is is the graph whose vertices are independent subsets of the path graph of length , where two such vertices are considered adjacent if they differ by t…