2 papers
cs.SE2024
Sound Concurrent Traces for Online Monitoring Technical Report
Chukri Soueidi, Ylies Falcone
Monitoring concurrent programs typically rely on collecting traces to abstract program executions. However, existing approaches targeting general behavioral properties are either n…
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…