2 papers
cs.SE2017
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…
cs.SE2017
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…