| Introduction to runtime verification E Bartocci, Y Falcone, A Francalanza, G Reger Lectures on Runtime Verification: Introductory and Advanced Topics, 1-33, 2018 | 322 | 2018 |
| A tutorial on runtime verification Y Falcone, K Havelund, G Reger Engineering dependable software systems, 141-175, 2013 | 229 | 2013 |
| What can you verify and enforce at runtime? Y Falcone, JC Fernandez, L Mounier International Journal on Software Tools for Technology Transfer 14, 349-382, 2012 | 209 | 2012 |
| 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 | 201 | 2012 |
| 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 | 152 | 2011 |
| Lectures on runtime verification E Bartocci, Y Falcone Springer International Publishing, 2018 | 145 | 2018 |
| Decentralised LTL monitoring A Bauer, Y Falcone International Symposium on Formal Methods, 85-100, 2012 | 142 | 2012 |
| 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 | 137 | 2021 |
| Runtime verification of safety-progress properties Y Falcone, JC Fernandez, L Mounier International Workshop on Runtime Verification, 40-59, 2009 | 128 | 2009 |
| You should better enforce than verify Y Falcone International Conference on Runtime Verification, 89-105, 2010 | 107 | 2010 |
| 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 | 102 | 2019 |
| Enforcement and validation (at runtime) of various notions of opacity Y Falcone, H Marchand Discrete Event Dynamic Systems 25, 531-570, 2015 | 102 | 2015 |
| 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 | 94 | 2019 |
| Decentralised LTL monitoring A Bauer, Y Falcone Formal Methods in System Design 48, 46-93, 2016 | 84 | 2016 |
| 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 | 76 | 2011 |
| Organising LTL monitors over distributed systems with a global clock C Colombo, Y Falcone Formal Methods in System Design 49, 109-158, 2016 | 74 | 2016 |
| 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 | 57 | 2017 |
| 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 | 57 | 2013 |
| 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 | 55 | 2015 |
| Runtime failure prevention and reaction Y Falcone, L Mariani, A Rollet, S Saha Lectures on Runtime Verification: Introductory and Advanced Topics, 103-134, 2018 | 54 | 2018 |
Laurent MounierVERIMAG University of Grenoble Alpes在 univ-grenoble-alpes.fr 的电子邮件经过验证
