| 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 | 67 | 2017 |
| A monitoring tool for a branching-time logic DP Attard, A Francalanza International Conference on Runtime Verification, 473-481, 2016 | 49 | 2016 |
| Trace partitioning and local monitoring for asynchronous components DP Attard, A Francalanza Software Engineering and Formal Methods: 15th International Conference, SEFM …, 2017 | 26 | 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 | 19 | 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 | 18 | 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 | 17 | 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 | 16 | 2021 |
| 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 | 7* | 2022 |
| 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 |
| 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 |
| 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 | 5 | 2023 |
| Mlrs: a resource server for the maltese language M Rosner, R Fabri, DP Attard, A Gatt University of Malta. Faculty of ICT, 2006 | 5 | 2006 |
| 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 |
| 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 DP Attard, A Francalanza, L Aceto, A Ingólfsdóttir | | 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 | | 2024 |
| Runtime monitoring for asynchronous reactive components DP Attard University of Malta and Reykjavik University, 2023 | | 2023 |
| Special Delivery S FOWLER, DP ATTARD, F SOWUL, SJ GAY, P TRINDER | | 2023 |
| A choreographed outline instrumentation approach for asynchronous components L Aceto, DP Attard, A Francalanza, A Ingólfsdóttir Reykjavik University. Department of Computer Science, 2021 | | 2021 |
| Towards Ensuring Correctness in Component-Based Systems DP Attard, A Francalanza Computer Science Annual Workshop, 2, 2019 | | 2019 |
Adrian FrancalanzaUniversity of Malta在 um.edu.mt 的电子邮件经过验证
