Follow
Duncan Paul Attard
Duncan Paul Attard
University of Glasgow and Reykjavik University
Verified email at um.edu.mt - Homepage
Title
Cited by
Cited by
Year
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
682017
A monitoring tool for a branching-time logic
DP Attard, A Francalanza
International Conference on Runtime Verification, 473-481, 2016
502016
Trace partitioning and local monitoring for asynchronous components
DP Attard, A Francalanza
Software Engineering and Formal Methods: 15th International Conference, SEFM …, 2017
262017
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
202021
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
192017
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
182017
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
162021
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
92022
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
72021
Mlrs: a resource server for the maltese language
M Rosner, R Fabri, DP Attard, A Gatt
University of Malta. Faculty of ICT, 2006
72006
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
62023
A choreographed outline instrumentation algorithm for asynchronous components
L Aceto, DP Attard, A Francalanza, A Ingólfsdóttir
arXiv preprint arXiv:2104.09433, 2021
52021
Special Delivery: Programming with Mailbox Types (Extended Version)
S Fowler, DP Attard, F Sowul, SJ Gay, P Trinder
arXiv preprint arXiv:2306.12935, 2023
22023
A lexicon server toolkit for Maltese
DP Attard
University of Malta, 2005
22005
Artifact for" Special Delivery: Programming with Mailbox Types"
S Fowler, DP Attard, F Sowul, S Gay, P Trinder
12023
Runtime Instrumentation for Reactive Components (Extended Version)
L Aceto, DP Attard, A Francalanza, A Ingólfsdóttir
arXiv preprint arXiv:2406.19904, 2024
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 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
The system can't perform the operation now. Try again later.
Articles 1–20