Get started
Author

Ylìès Falcone

Observed names: FALCONE, Yliès Carlo, Falcone Yliès, Falcone, Yli\'es, Falcone, Ylies, Falcone, Yliès, Falcone, Yliès, Falcone, Yliès, Falcone, Ylies, Y. Falcone, YLIÈS FALCONE, Ylies Falcone, Yliès Falcone A, Yliès C. Falcone, Yliès Falcone, Yliés Falcone
Observed institutions: Institut polytechnique de Grenoble, Centre National de la Recherche Scientifique, Institut national de recherche en sciences et technologies du numérique, University of Illinois Urbana-Champaign, Université Joseph Fourier, University of Malta, TU Dortmund University, Centre Inria de l'Université Grenoble Alpes, Laboratoire d'Informatique de Grenoble, Centre Inria de l'Université de Rennes, Institut Néel, Verimag, IMDEA Software Institute, CORSE: Compiler Optimization and Run-time SystEms, Université Grenoble Alpes
ORCID: 0000-0002-0114-0641
Observed ORCID: 0000-0002-0114-0641
OpenAlex ID: A5037726232
Introduction to Runtime Verification
2018 · Ezio Bartocci, Yliès Falcone, et al. · Lecture notes in computer science · 263
What can you verify and enforce at runtime?
2011 · Yliès Falcone, Jean-Claude Fernandez, et al. · International Journal on Software Tools for Technology Transfer · 153
Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors
2012 · Howard Barringer, Yliès Falcone, et al. · Lecture notes in computer science · 151
PDF
A Tutorial on Runtime Verification
2013 · Falcone Yliès, Havelund Klaus, et al. · NATO science for peace and security series. D, Information and communication security · 135
Runtime enforcement monitors: composition, synthesis, and enforcement abilities
2011 · Yliès Falcone, Laurent Mounier, et al. · Formal Methods in System Design · 134
A taxonomy for classifying runtime verification tools
2021 · Yliès Falcone, Srđan Krstić, et al. · International Journal on Software Tools for Technology Transfer · 115
A survey of challenges for runtime verification from advanced application domains (beyond software)
2019 · César Sánchez, Gerardo Schneider, et al. · Formal Methods in System Design · 106
PDF
Decentralised LTL Monitoring
2012 · Andreas Bauer, Yliès Falcone · Lecture notes in computer science · 102
PDF
Enforcement and validation (at runtime) of various notions of opacity
2014 · Yliès Falcone, Hervé Marchand · Discrete Event Dynamic Systems · 98
Runtime Verification of Safety-Progress Properties
2009 · Yliès Falcone, Jean-Claude Fernandez, et al. · Lecture notes in computer science · 89
You Should Better Enforce Than Verify
2010 · Yliès Falcone · Lecture notes in computer science · 84
Decentralised LTL monitoring
2016 · Andreas Bauer, Yliès Falcone · Formal Methods in System Design · 71
First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014
2017 · Ezio Bartocci, Yliès Falcone, et al. · International Journal on Software Tools for Technology Transfer · 67
PDF
Runtime Verification of Component-Based Systems
2011 · Yliès Falcone, Mohamad Jaber, et al. · Lecture notes in computer science · 58
Predictive runtime verification of timed properties
2017 · Srinivas Pinisetty, Thierry Jéron, et al. · Journal of Systems and Software · 55
Runtime enforcement of timed properties revisited
2014 · Srinivas Pinisetty, Yliès Falcone, et al. · Formal Methods in System Design · 53
Organising LTL monitors over distributed systems with a global clock
2016 · Christian Colombo, Yliès Falcone · Formal Methods in System Design · 47
First International Competition on Software for Runtime Verification
2014 · Ezio Bartocci, Borzoo Bonakdarpour, et al. · Lecture notes in computer science · 46
Runtime Failure Prevention and Reaction
2018 · Yliès Falcone, Leonardo Mariani, et al. · Lecture notes in computer science · 44
A Taxonomy for Classifying Runtime Verification Tools
2018 · Yliès Falcone, Srđan Krstić, et al. · Lecture notes in computer science · 44
Runtime verification of component-based systems in the BIP framework with formally-proved sound and complete instrumentation
2013 · Yliès Falcone, Mohamad Jaber, et al. · Software & Systems Modeling · 43
Lectures on Runtime Verification. Introductory and Advanced Topics
2018 · Bartocci, Ezio, Falcone, Yliès · HAL (Le Centre pour la Communication Scientifique Directe) · 41
Runtime Verification and Enforcement for Android Applications with RV-Droid
2013 · Yliès Falcone, Sebastian Currea, et al. · Lecture notes in computer science · 39
Second International Competition on Runtime Verification
2015 · Yliès Falcone, Dejan Ničković, et al. · Lecture notes in computer science · 35
Towards Certified Runtime Verification
2012 · Jan Olaf Blech, Yliès Falcone, et al. · Lecture notes in computer science · 33
Works count: 234
Citation count: 3,056
H-index: 29
I10-index: 64
Year
Topic
Type