| Introduction to runtime verification E Bartocci, Y Falcone, A Francalanza, G Reger Lectures on Runtime Verification: Introductory and Advanced Topics, 1-33, 2018 | 434 | 2018 |
| 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 (3), 279-335, 2019 | 152 | 2019 |
| Runtime verification for decentralised and distributed systems A Francalanza, JA Pérez, C Sánchez Lectures on Runtime Verification: Introductory and Advanced Topics, 176-210, 2018 | 109 | 2018 |
| A survey of runtime monitoring instrumentation techniques I Cassar, A Francalanza, L Aceto, A Ingólfsdóttir arXiv preprint arXiv:1708.07229, 2017 | 99 | 2017 |
| Monitorability for the Hennessy–Milner logic with recursion A Francalanza, L Aceto, A Ingólfsdóttir Formal Methods in System Design 51 (1), 87-116, 2017 | 86 | 2017 |
| Adventures in monitorability: from branching to linear time and back again L Aceto, A Achilleos, A Francalanza, A Ingólfsdóttir, K Lehtinen Proceedings of the ACM on Programming Languages 3 (POPL), 1-29, 2019 | 81 | 2019 |
| A foundation for runtime monitoring A Francalanza, L Aceto, A Achilleos, DP Attard, I Cassar, D Della Monica, ... International Conference on Runtime Verification, 8-29, 2017 | 81 | 2017 |
| Synthesising correct concurrent runtime monitors A Francalanza, A Seychell Formal Methods in System Design 46 (3), 226-261, 2015 | 75 | 2015 |
| A unified framework for verification techniques for object invariants S Drossopoulou, A Francalanza, P Müller, AJ Summers European Conference on Object-Oriented Programming, 412-437, 2008 | 72 | 2008 |
| A theory of system behaviour in the presence of node and link failure A Francalanza, M Hennessy Information and Computation 206 (6), 711-759, 2008 | 64 | 2008 |
| A monitoring tool for a branching-time logic DP Attard, A Francalanza International Conference on Runtime Verification, 473-481, 2016 | 57 | 2016 |
| On implementing a monitor-oriented programming framework for actor systems I Cassar, A Francalanza International Conference on Integrated Formal Methods, 176-192, 2016 | 52 | 2016 |
| A theory of monitors A Francalanza International Conference on Foundations of Software Science and Computation …, 2016 | 50 | 2016 |
| On runtime enforcement via suppressions L Aceto, I Cassar, A Francalanza, A Ingólfsdóttir arXiv preprint arXiv:1807.01004, 2018 | 49 | 2018 |
| Elarva: A monitoring tool for erlang C Colombo, A Francalanza, R Gatt International Conference on Runtime Verification, 370-374, 2011 | 48 | 2011 |
| Distributed system contract monitoring A Francalanza, A Gauci, GJ Pace The Journal of Logic and Algebraic Programming 82 (5-7), 186-215, 2013 | 47 | 2013 |
| Heaps don't lie: countering unsoundness with heap snapshots N Grech, G Fourtounis, A Francalanza, Y Smaragdakis Proceedings of the ACM on Programming Languages 1 (OOPSLA), 1-27, 2017 | 44 | 2017 |
| A Formal Model of Provenance in Distributed Systems. I Souilah, A Francalanza, V Sassone Workshop on the Theory and Practice of Provenance, 1-11, 2009 | 44 | 2009 |
| Consistently-detecting monitors A Francalanza 28th International Conference on Concurrency Theory (CONCUR 2017), 8: 1-8: 19, 2017 | 43 | 2017 |
| On verifying Hennessy-Milner logic with recursion at runtime A Francalanza, L Aceto, A Ingólfsdóttir Runtime Verification: 6th International Conference, RV 2015, Vienna, Austria …, 2015 | 43 | 2015 |
Luca AcetoDepartment of Computer Science, Reykjavik University, and Gran Sasso Science Institute, L'AquilaVerified email at ru.is
