27 citations · 81 across the 20 of their papers we have counts for
3 papers · 2 filters
Ain't No Stopping Us Monitoring Now
Luca Ciccone, Francesco Dagnino, Angelo Ferrando
Not all properties are monitorable. This is a well-known fact, and it means there exist properties that cannot be fully verified at runtime. However, given a non-monitorable proper…
A Compositional Approach to Verifying Modular Robotic Systems
Matt Luckcuck, Marie Farrell, Angelo Ferrando +3
Robotic systems used in safety-critical scenarios often rely on modular software architectures, and increasingly include autonomous components. Verifying that these modular robotic…
Towards the Combination of Model Checking and Runtime Verification on Multi-Agent Systems
Angelo Ferrando, Vadim Malvone
Multi-Agent Systems (MAS) are notoriously complex and hard to verify. In fact, it is not trivial to model a MAS, and even when a model is built, it is not always possible to verify…