6 citations · 18 across the 17 of their papers we have counts for
4 papers · 1 filter
Verifying Policy Enforcers
Oliviero Riganelli, Daniela Micucci, Leonardo Mariani +1
Policy enforcers are sophisticated runtime components that can prevent failures by enforcing the correct behavior of the software. While a single enforcer can be easily designed fo…
Interactive Runtime Verification
Raphaël Jakse, Yliès Falcone, Jean-François Méhaut +1
Monitoring is the study of a system at runtime, looking for input and output events to discover, check or enforce behavioral properties. Interactive debugging is the study of a sys…
Monitoring Distributed Component-Based Systems
Hosein Nazarpour, Yliès Falcone, Mohamad Jaber +2
This paper addresses the online monitoring of distributed component-based systems with multi-party interactions against user-provided properties expressed in linear-temporal logic…
Concurrency-Preserving and Sound Monitoring of Multi-Threaded Component-Based Systems
Hosein Nazarpour, Yliès Falcone, Saddek Bensalem +1
This paper addresses the monitoring of logic-independent linear-time user-provided properties in multi-threaded component-based systems. We consider intrinsically independent compo…