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 A monitoring tool for a branching-time logic DP Attard, A Francalanza
International Conference on Runtime Verification, 473-481, 2016
51 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
22 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 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 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
17 2021 A Monitoring Tool for Linear-Time L Aceto, A Achilleos, DP Attard, L Exibard, A Francalanza, A Ingólfsdóttir
International Conference on Coordination Languages and Models, 200-219, 2022
10 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
7 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
5 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
2 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 MaltaBestätigte E-Mail-Adresse bei um.edu.mt
