Decentralised LTL monitoring von Bauer, Andreas, Falcone, Yliès

Volltext

A taxonomy for classifying runtime verification tools von Falcone, Yliès, Krstić, Srđan, Reger, Giles, Traytel, Dmitriy

Volltext

Enforcement and validation (at runtime) of various notions of opacity von Falcone, Yliès, Marchand, Hervé

Volltext

Bringing runtime verification home: a case study on the hierarchical monitoring of smart homes using decentralized specifications von El-Hokayem, Antoine, Falcone, Yliès

Volltext

On the Monitoring of Decentralized Specifications: Semantics, Properties, Analysis, and Simulation von El-Hokayem, Antoine, Falcone, Yliès

Volltext

Organising LTL monitors over distributed systems with a global clock von Colombo, Christian, Falcone, Yliès

Volltext

Formal Methods in Outer Space: Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday von Bartocci, Ezio, Falcone, Yliès, Leucker, Martin

Volltext

Efficient and expressive bytecode-level instrumentation for Java programs von Soueidi, Chukri, Monnier, Marius, Falcone, Yliès

Volltext

Preface to the special section on improving software quality through formal methods von Falcone, Yliès, Mariani, Leonardo

Volltext

A survey of challenges for runtime verification from advanced application domains (beyond software) von Sánchez, César, Schneider, Gerardo, Ahrendt, Wolfgang, Bartocci, Ezio, Bianculli, Domenico, Colombo, Christian, Falcone, Yliès, Francalanza, Adrian, Krstić, Srđan, Lourenço, Joa̋o M., Nickovic, Dejan, Pace, Gordon J., Rufino, Jose, Signoles, Julien, Traytel, Dmitriy, Weiss, Alexander

Volltext

Bounded-memory runtime enforcement with probabilistic and performance analysis von Shankar, Saumya, Pradhan, Ankit, Pinisetty, Srinivas, Rollet, Antoine, Falcone, Yliès

Volltext

Predictive runtime verification of timed properties von Pinisetty, Srinivas, Jéron, Thierry, Tripakis, Stavros, Falcone, Yliès, Marchand, Hervé, Preoteasa, Viorel

Volltext

Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications von Bartocci, Ezio, Deshmukh, Jyotirmoy, Donzé, Alexandre, Fainekos, Georgios, Maler, Oded, Ničković, Dejan, Sankaranarayanan, Sriram

Volltext

Decentralized LTL Enforcement von Gallay, Florian, Falcone, Yliès

Volltext

Second School on Runtime Verification, as Part of the ArVi COST Action 1402: Overview and Reflections von Falcone, Yliès

Volltext

Introduction to Runtime Verification von Bartocci, Ezio, Falcone, Yliès, Francalanza, Adrian, Reger, Giles

Volltext

What can you verify and enforce at runtime? von Falcone, Yliès, Fernandez, Jean-Claude, Mounier, Laurent

Volltext

Runtime enforcement of timed properties using games von Renard, Matthieu, Rollet, Antoine, Falcone, Yliès

Volltext

Fully automated runtime enforcement of component-based systems with formal and sound recovery von Falcone, Yliès, Jaber, Mohamad

Volltext

On Decentralized Monitoring von Falcone, Yliès

Volltext