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
742017
A monitoring tool for a branching-time logic
DP Attard, A Francalanza
International Conference on Runtime Verification, 473-481, 2016
532016
Trace partitioning and local monitoring for asynchronous components
DP Attard, A Francalanza
Software Engineering and Formal Methods: 15th International Conference, SEFM …, 2017
272017
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
232021
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
222017
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
192021
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
192017
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
112022
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
82023
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
A choreographed outline instrumentation algorithm for asynchronous components
L Aceto, DP Attard, A Francalanza, A Ingólfsdóttir
arXiv preprint arXiv:2104.09433, 2021
62021
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
32024
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
22024
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
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
12024
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
The system can't perform the operation now. Try again later.
Articles 1–20