Yliès Falcone
Yliès Falcone
Univ. Grenoble Alpes, Inria
Adresse e-mail validée de univ-grenoble-alpes.fr - Page d'accueil
TitreCitée parAnnée
Quantified event automata: Towards expressive and efficient runtime monitors
H Barringer, Y Falcone, K Havelund, G Reger, D Rydeheard
International Symposium on Formal Methods, 68-84, 2012
1142012
Decentralised LTL monitoring
A Bauer, Y Falcone
International Symposium on Formal Methods, 85-100, 2012
1012012
A Tutorial on Runtime Verification.
Y Falcone, K Havelund, G Reger
Engineering dependable software systems 34, 141-175, 2013
992013
What can you verify and enforce at runtime?
Y Falcone, JC Fernandez, L Mounier
International Journal on Software Tools for Technology Transfer 14 (3), 349-382, 2012
982012
Runtime verification of safety-progress properties
Y Falcone, JC Fernandez, L Mounier
Runtime Verification, 40-59, 2009
92*2009
Runtime enforcement monitors: composition, synthesis, and enforcement abilities
Y Falcone, L Mounier, JC Fernandez, JL Richier
Formal Methods in System Design 38 (3), 223-262, 2011
752011
You should better enforce than verify
Y Falcone
International Conference on Runtime Verification, 89-105, 2010
662010
Runtime verification of component-based systems
Y Falcone, M Jaber, TH Nguyen, M Bozga, S Bensalem
International Conference on Software Engineering and Formal Methods, 204-220, 2011
512011
First international competition on runtime verification: rules, benchmarks, tools, and final results of CRV 2014
E Bartocci, Y Falcone, B Bonakdarpour, C Colombo, N Decker, ...
International journal on software tools for technology transfer 21 (1), 31-70, 2019
442019
Runtime verification of component-based systems in the BIP framework with formally-proved sound and complete instrumentation
Y Falcone, M Jaber, TH Nguyen, M Bozga, S Bensalem
Software & Systems Modeling 14 (1), 173-199, 2015
392015
First international competition on software for runtime verification
E Bartocci, B Bonakdarpour, Y Falcone
International Conference on Runtime Verification, 1-9, 2014
382014
Runtime verification and enforcement for Android applications with RV-Droid
Y Falcone, S Currea, M Jaber
International Conference on Runtime Verification, 88-95, 2012
382012
Introduction to runtime verification
E Bartocci, Y Falcone, A Francalanza, G Reger
Lectures on Runtime Verification, 1-33, 2018
332018
Second international competition on runtime verification
Y Falcone, D Ničković, G Reger, D Thoma
Runtime Verification, 405-422, 2015
332015
Enforcement and validation (at runtime) of various notions of opacity
Y Falcone, H Marchand
Discrete Event Dynamic Systems 25 (4), 531-570, 2015
322015
Runtime Verification-First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010
H Barringer, Y Falcone, B Finkbeiner, K Havelund, I Lee, GJ Pace, ...
Proceedings 6418, 2010
31*2010
Third international competition on runtime verification
G Reger, S Hallé, Y Falcone
International Conference on Runtime Verification, 21-37, 2016
292016
Organising LTL monitors over distributed systems with a global clock
C Colombo, Y Falcone
Formal Methods in System Design 49 (1-2), 109-158, 2016
272016
Runtime enforcement of timed properties revisited
S Pinisetty, Y Falcone, T Jéron, H Marchand, A Rollet, ON Timo
Formal Methods in System Design 45 (3), 381-422, 2014
242014
Efficient and generalized decentralized monitoring of regular languages
Y Falcone, T Cornebize, JC Fernandez
International Conference on Formal Techniques for Distributed Objects …, 2014
242014
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20