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
652017
A monitoring tool for a branching-time logic
DP Attard, A Francalanza
International Conference on Runtime Verification, 473-481, 2016
492016
Trace partitioning and local monitoring for asynchronous components
DP Attard, A Francalanza
Software Engineering and Formal Methods: 15th International Conference, SEFM …, 2017
252017
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
182017
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
172021
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
152017
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
142021
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
52021
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
A Runtime Monitoring Tool for Actor-Based Systems., chapter 3
DP Attard, I Cassar, A Francalanza, L Aceto, A Ingolfsdottir
River Publishers, 2017
52017
Mlrs: a resource server for the maltese language
M Rosner, R Fabri, DP Attard, A Gatt
University of Malta. Faculty of ICT, 2006
52006
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
42022
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
22023
Artifact for" Special Delivery: Programming with Mailbox Types"
S Fowler, DP Attard, F Sowul, S Gay, P Trinder
22023
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 monitoring tool for linear-time µhml
L Aceto, A Achilleos, DP Attard, L Exibard, A Francalanza, A Ingólfsdóttir
Coordination Models and Languages: 24th IFIP WG 6.1 International Conference …, 2022
22022
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
The system can't perform the operation now. Try again later.
Articles 1–20