3 papers
cs.CR2026
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…
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…