| A survey of runtime monitoring instrumentation techniques I Cassar, A Francalanza, L Aceto, A Ingólfsdóttir arXiv preprint arXiv:1708.07229, 2017 | 80 | 2017 |
| 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 | 73 | 2017 |
| On implementing a monitor-oriented programming framework for actor systems I Cassar, A Francalanza Integrated Formal Methods: 12th International Conference, IFM 2016 …, 2016 | 49 | 2016 |
| On runtime enforcement via suppressions L Aceto, I Cassar, A Francalanza, A Ingólfsdóttir arXiv preprint arXiv:1807.01004, 2018 | 45 | 2018 |
| On synchronous and asynchronous monitor instrumentation for actor-based systems I Cassar, A Francalanza arXiv preprint arXiv:1502.03514, 2015 | 40 | 2015 |
| Runtime adaptation for actor systems I Cassar, A Francalanza Runtime Verification: 6th International Conference, RV 2015, Vienna, Austria …, 2015 | 30 | 2015 |
| A suite of monitoring tools for Erlang I Cassar, A Francalanza, D Attard, L Aceto, A Ingólfsdóttir Kalpa Publications in Computing 3, 41-47, 2017 | 22 | 2017 |
| The economic impact of Covid-19 pandemic in Sardinia S Deriu, IP Cassar, R Pretaroli, C Socci Research in Transportation Economics 93, 101090, 2022 | 21 | 2022 |
| A runtime monitoring tool for actor-based systems DP Attard, I Cassar, A Francalanza, L Aceto, A Ingolfsdottir Behavioural Types: from Theory to Tools, 49-76, 2017 | 19 | 2017 |
| Improving runtime overheads for detecter I Cassar, A Francalanza, S Said arXiv preprint arXiv:1503.04912, 2015 | 19 | 2015 |
| eAOP: an aspect oriented programming framework for Erlang I Cassar, A Francalanza, L Aceto, A Ingólfsdóttir Proceedings of the 16th ACM SIGPLAN International Workshop on Erlang, 20-30, 2017 | 17 | 2017 |
| Reliability and fault-tolerance by choreographic design I Cassar, A Francalanza, CA Mezzina, E Tuosto arXiv preprint arXiv:1708.07233, 2017 | 17 | 2017 |
| Measuring the economic impact of tourism in Malta using the Tourism Satellite Account B Sacco, IP Cassar European Journal of Tourism Research 23, 86-111, 2019 | 14 | 2019 |
| On bidirectional runtime enforcement L Aceto, I Cassar, A Francalanza, A Ingólfsdóttir International Conference on Formal Techniques for Distributed Objects …, 2021 | 8 | 2021 |
| Developing theoretical foundations for runtime enforcement I Cassar, A Francalanza, L Aceto, A Ingolfsdottir arXiv preprint arXiv:1804.08917, 2018 | 8 | 2018 |
| Comparing controlled system synthesis and suppression enforcement L Aceto, I Cassar, A Francalanza, A Ingólfsdóttir International Journal on Software Tools for Technology Transfer 23 (4), 601-614, 2021 | 7 | 2021 |
| Estimates of Output, Income, Value Added and Employment Multipliers for the Maltese Economy. Published by the Central Bank of Malta IP Cassar WP/03, 2015 | 5 | 2015 |
| Introduction to Runtime Verification DP Attard, I Cassar, A Francalanza, L Aceto, A Ingólfsdóttir Behavioural Types: from Theory to Tools, 49-76, 0 | 5 | |
| Bidirectional runtime enforcement of first-order branching-time properties L Aceto, I Cassar, A Francalanza, A Ingolfsdottir Logical Methods in Computer Science 19, 2023 | 4 | 2023 |
| On bidirectional enforcement L Aceto, I Cassar, A Francalanza, A Ingólfsdóttir Technical report Reykjavik University, 2020 | 2 | 2020 |
Adrian FrancalanzaUniversity of MaltaVerified email at um.edu.mt
