Researchclopedia

Research Researchers Institutions Topics Submit About

Command Palette

Search for a command to run...

Researchclopedia

Research Researchers Institutions About

© 2026 Researchclopedia. Powered by OpenAlex under CC0 license.

Ylìès Falcone | Researchclopedia

Back to researchers

Ylìès Falcone

Institut polytechnique de Grenoble ORCID

189

Works

2,898

Citations

28

h-index

59

i10-index

Research Topics

Formal Methods in Verification Software Testing and Debugging Techniques Advanced Software Engineering Methodologies

Affiliations

Institut polytechnique de Grenoble2011–2024

Université Pierre Mendès France2008–2008

Centre National de la Recherche Scientifique2008–2024

Institut national de recherche en informatique et en automatique2010–2020

University of Illinois Urbana-Champaign2015–2017

Top Works

Introduction to Runtime Verification

Ezio Bartocci,Ylìès Falcone,et al.

2018247 citations

Security and Verification in Computing

Distributed systems and fault tolerance

What can you verify and enforce at runtime?

Ylìès Falcone,Jean-Claude Fernandez,et al.

2011151 citations

Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors

Howard Barringer,Ylìès Falcone,et al.

2012142 citations

Runtime enforcement monitors: composition, synthesis, and enforcement abilities

Ylìès Falcone,Laurent Mounier,et al.

2011128 citations

A Tutorial on Runtime Verification

Ylìès Falcone,Klaus Havelund,et al.

2013125 citations

A taxonomy for classifying runtime verification tools

Ylìès Falcone,Srđan Krstić,et al.

2021106 citations

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

Ylìès Falcone,Hervé Marchand

201499 citations

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

César Sánchez,Gerardo Schneider,et al.

201998 citations

Decentralised LTL Monitoring

Andreas Bauer,Ylìès Falcone

201296 citations