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 enables quicker prototyping, earlier experimentation and validation of design intents. For a multi-agent system with complex asynchronous interactions and c…
cs.CR2025
Learn, Check, Test -- Security Testing Using Automata Learning and Model Checking
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…