Obserwuj
Yliès Falcone
Yliès Falcone
Univ. Grenoble Alpes and Inria
Zweryfikowany adres z univ-grenoble-alpes.fr - Strona główna
Tytuł
Cytowane przez
Cytowane przez
Rok
Introduction to runtime verification
E Bartocci, Y Falcone, A Francalanza, G Reger
Lectures on Runtime Verification: Introductory and Advanced Topics, 1-33, 2018
3812018
A tutorial on runtime verification
Y Falcone, K Havelund, G Reger
Engineering dependable software systems, 141-175, 2013
2522013
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
2202012
Quantified event automata: Towards expressive and efficient runtime monitors
H Barringer, Y Falcone, K Havelund, G Reger, D Rydeheard
FM 2012: Formal Methods: 18th International Symposium, Paris, France, August …, 2012
2112012
Lectures on runtime verification
E Bartocci, Y Falcone
Springer International Publishing, 2018
1602018
Runtime enforcement monitors: composition, synthesis, and enforcement abilities
Y Falcone, L Mounier, JC Fernandez, JL Richier
Formal Methods in System Design 38, 223-262, 2011
1602011
A taxonomy for classifying runtime verification tools
Y Falcone, S Krstić, G Reger, D Traytel
International Journal on Software Tools for Technology Transfer 23 (2), 255-284, 2021
1572021
Decentralised LTL monitoring
A Bauer, Y Falcone
International Symposium on Formal Methods, 85-100, 2012
1522012
Runtime verification of safety-progress properties
Y Falcone, JC Fernandez, L Mounier
International Workshop on Runtime Verification, 40-59, 2009
1342009
A survey of challenges for runtime verification from advanced application domains (beyond software)
C Sánchez, G Schneider, W Ahrendt, E Bartocci, D Bianculli, C Colombo, ...
Formal Methods in System Design 54, 279-335, 2019
1272019
Enforcement and validation (at runtime) of various notions of opacity
Y Falcone, H Marchand
Discrete Event Dynamic Systems 25, 531-570, 2015
1112015
You should better enforce than verify
Y Falcone
International Conference on Runtime Verification, 89-105, 2010
1112010
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, 31-70, 2019
942019
Decentralised LTL monitoring
A Bauer, Y Falcone
Formal Methods in System Design 48, 46-93, 2016
912016
Organising LTL monitors over distributed systems with a global clock
C Colombo, Y Falcone
Formal Methods in System Design 49, 109-158, 2016
832016
Runtime verification of component-based systems
Y Falcone, M Jaber, TH Nguyen, M Bozga, S Bensalem
Software Engineering and Formal Methods: 9th International Conference, SEFM …, 2011
782011
Predictive runtime verification of timed properties
S Pinisetty, T Jéron, S Tripakis, Y Falcone, H Marchand, V Preoteasa
Journal of Systems and Software 132, 353-365, 2017
682017
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, 173-199, 2015
582015
Runtime failure prevention and reaction
Y Falcone, L Mariani, A Rollet, S Saha
Lectures on Runtime Verification: Introductory and Advanced Topics, 103-134, 2018
562018
Runtime verification and enforcement for Android applications with RV-Droid
Y Falcone, S Currea, M Jaber
Runtime Verification: Third International Conference, RV 2012, Istanbul …, 2013
562013
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20