6 citations · 18 across the 17 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
cs.SE2014
Runtime Enforcement for Component-Based Systems
Hadil Charafeddine, Khalil El-Harake, Yliès Falcone +1
Runtime enforcement is an increasingly popular and effective dynamic validation technique aiming to ensure the correct runtime behavior (w.r.t. a formal specification) of systems u…
cs.SE2014
Efficient and Generalized Decentralized Monitoring of Regular Languages
Tom Cornebize, Yliès Falcone
The main contribution of this paper is an efficient and generalized decentralized monitoring algorithm allowing to detect satisfaction or violation of any regular specification by…