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…
cs.CR2025
From Automata Learning to Model Checking: Formal Security Verification of Black-Box Protocols
Stefan Marksteiner, Mikael Sjödin, Marjan Sirjani
Security verification of communication protocols in industrial and safety-critical systems is challenging because implementations are often proprietary, accessible only as black bo…