| 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 | 55 | 2017 |
| A survey of runtime monitoring instrumentation techniques I Cassar, A Francalanza, L Aceto, A Ingólfsdóttir arXiv preprint arXiv:1708.07229, 2017 | 48 | 2017 |
| On implementing a monitor-oriented programming framework for actor systems I Cassar, A Francalanza International Conference on Integrated Formal Methods, 176-192, 2016 | 41 | 2016 |
| On runtime enforcement via suppressions L Aceto, I Cassar, A Francalanza, A Ingólfsdóttir arXiv preprint arXiv:1807.01004, 2018 | 35 | 2018 |
| On synchronous and asynchronous monitor instrumentation for actor-based systems I Cassar, A Francalanza arXiv preprint arXiv:1502.03514, 2015 | 34 | 2015 |
| Runtime adaptation for actor systems I Cassar, A Francalanza Runtime Verification, 38-54, 2015 | 29 | 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 | 16 | 2017 |
| Improving runtime overheads for detecter I Cassar, A Francalanza, S Said arXiv preprint arXiv:1503.04912, 2015 | 14 | 2015 |
| Reliability and fault-tolerance by choreographic design I Cassar, A Francalanza, CA Mezzina, E Tuosto arXiv preprint arXiv:1708.07233, 2017 | 13 | 2017 |
| 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 | 13 | 2017 |
| 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 | 12 | 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 | 7 | 2019 |
| Developing theoretical foundations for runtime enforcement I Cassar, A Francalanza, L Aceto, A Ingolfsdottir arXiv preprint arXiv:1804.08917, 2018 | 6 | 2018 |
| Comparing controlled system synthesis and suppression enforcement L Aceto, I Cassar, A Francalanza, A Ingólfsdóttir International Conference on Runtime Verification, 148-164, 2019 | 5 | 2019 |
| Estimates of output, income value added and employment multipliers for the Maltese economy. Central Bank of Malta Working Paper, No IP Cassar WP/03, 2015 | 5 | 2015 |
| On bidirectional runtime enforcement L Aceto, I Cassar, A Francalanza, A Ingólfsdóttir International Conference on Formal Techniques for Distributed Objects …, 2021 | 3 | 2021 |
| On bidirectional enforcement L Aceto, I Cassar, A Francalanza, A Ingólfsdóttir Technical report Reykjavik University, 2020 | 1 | 2020 |
| Bidirectional Runtime Enforcement of First-Order Branching-Time Properties L Aceto, I Cassar, A Francalanza, A Ingolfsdottir arXiv preprint arXiv:2201.03108, 2022 | | 2022 |
| Does the Ricardian Equivalence Theorem capture the consumption behaviour of Maltese households? IP Cassar, K Davison, C Xuereb International Journal of Economics and Finance 10 (12), 1-77, 2018 | | 2018 |
| Towards Runtime Adaptation of Actor Systems I Cassar arXiv preprint arXiv:1709.02346, 2017 | | 2017 |
Adrian FrancalanzaUniversity of MaltaVerified email at um.edu.mt
