Ylìès Falcone

What can you verify and enforce at runtime?

Ylìès Falcone, Jean-Claude Fernandez, Laurent Mounier · International Journal on Software Tools for Technology Transfer · 2011 · 151 citations

Program Checking, Engineering, Runtime Verification +10

Runtime enforcement monitors: composition, synthesis, and enforcement abilities

Ylìès Falcone, Laurent Mounier, Jean-Claude Fernandez et al. · Formal Methods in System Design · 2011 · 128 citations · Full text

Runtime Enforcement Monitors, Engineering, Runtime Verification +10

A taxonomy for classifying runtime verification tools

Ylìès Falcone, Srđan Krstić, Giles Reger et al. · International Journal on Software Tools for Technology Transfer · 2021 · 106 citations · Full text

Program Checking, Engineering, Runtime Verification +11

Enforcement and validation (at runtime) of various notions of opacity

Ylìès Falcone, Hervé Marchand · Discrete Event Dynamic Systems · 2014 · 99 citations · Full text

Engineering, Information Security, Verification +4

A survey of challenges for runtime verification from advanced application domains (beyond software)

César Sánchez, Gerardo Schneider, Wolfgang Ahrendt et al. · Chalmers Research (Chalmers University of Technology) · 2019 · 95 citations