| 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 | 74 | 2017 |
| A monitoring tool for a branching-time logic DP Attard, A Francalanza International Conference on Runtime Verification, 473-481, 2016 | 53 | 2016 |
| Trace partitioning and local monitoring for asynchronous components DP Attard, A Francalanza Software Engineering and Formal Methods: 15th International Conference, SEFM …, 2017 | 27 | 2017 |
| On benchmarking for concurrent runtime verification L Aceto, DP Attard, A Francalanza, A Ingólfsdóttir International Conference on Fundamental Approaches to Software Engineering, 3-23, 2021 | 23 | 2021 |
| 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 |
| Better late than never or: verifying asynchronous components at runtime DP Attard, L Aceto, A Achilleos, A Francalanza, A Ingólfsdóttir, K Lehtinen International Conference on Formal Techniques for Distributed Objects …, 2021 | 19 | 2021 |
| 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 |
| A Monitoring Tool for Linear-Time HML L Aceto, A Achilleos, DP Attard, L Exibard, A Francalanza, A Ingólfsdóttir International Conference on Coordination Languages and Models, 200-219, 2022 | 11 | 2022 |
| Special delivery: Programming with mailbox types S Fowler, DP Attard, F Sowul, SJ Gay, P Trinder Proceedings of the ACM on Programming Languages 7 (ICFP), 78-107, 2023 | 8 | 2023 |
| Graft: general purpose raft consensus in Elixir MA Le Brun, DP Attard, A Francalanza Proceedings of the 20th ACM SIGPLAN international workshop on Erlang, 2-14, 2021 | 7 | 2021 |
| Mlrs: a resource server for the maltese language M Rosner, R Fabri, DP Attard, A Gatt University of Malta. Faculty of ICT, 2006 | 7 | 2006 |
| A choreographed outline instrumentation algorithm for asynchronous components L Aceto, DP Attard, A Francalanza, A Ingólfsdóttir arXiv preprint arXiv:2104.09433, 2021 | 6 | 2021 |
| 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 | |
| A monitoring tool for linear-time 𝜇HML L Aceto, A Achilleos, DP Attard, L Exibard, A Francalanza, A Ingólfsdóttir Science of Computer Programming 232, 103031, 2024 | 3 | 2024 |
| A monitoring tool for linear-time μHML L Aceto, A Achilleos, DP Attard, L Exibard, A Francalanza, A Ingólfsdóttir Science of Computer Programming 232, 103031, 2024 | 2 | 2024 |
| Special Delivery: Programming with Mailbox Types (Extended Version) S Fowler, DP Attard, F Sowul, SJ Gay, P Trinder arXiv preprint arXiv:2306.12935, 2023 | 2 | 2023 |
| A lexicon server toolkit for Maltese DP Attard University of Malta, 2005 | 2 | 2005 |
| Runtime Instrumentation for Reactive Components L Aceto, DP Attard, A Francalanza, A Ingólfsdóttir 38th European Conference on Object-Oriented Programming (ECOOP 2024), 2024 | 1 | 2024 |
| Artifact for" Special Delivery: Programming with Mailbox Types" S Fowler, DP Attard, F Sowul, S Gay, P Trinder | 1 | 2023 |
| Runtime Instrumentation for Reactive Components (Extended Version) L Aceto, DP Attard, A Francalanza, A Ingólfsdóttir arXiv preprint arXiv:2406.19904, 2024 | | 2024 |
Adrian FrancalanzaUniversity of MaltaVerified email at um.edu.mt
