Get started
Author

Duncan Paul Attard

Observed names: Attard, Duncan Paul, Duncan Paul Attard, Duncan Attard, Duncan P. Attard, Paul Attard
Institution: University of Malta
ORCID: 0000-0002-2448-5394
Observed ORCID: 0000-0002-2448-5394
OpenAlex ID: A5011666535
A Foundation for Runtime Monitoring
2017 · Adrian Francalanza, Luca Aceto, et al. · Lecture notes in computer science · 49
A Monitoring Tool for a Branching-Time Logic
2016 · Duncan Paul Attard, Adrian Francalanza · Lecture notes in computer science · 38
Trace Partitioning and Local Monitoring for Asynchronous Components
2017 · Duncan Paul Attard, Adrian Francalanza · Lecture notes in computer science · 22
On Benchmarking for Concurrent Runtime Verification
2021 · Luca Aceto, Duncan Paul Attard, et al. · Lecture notes in computer science · 18
PDF
Better Late Than Never or: Verifying Asynchronous Components at Runtime
2021 · Duncan Paul Attard, Luca Aceto, et al. · Lecture notes in computer science · 16
Special Delivery: Programming with Mailbox Types
2023 · Simon Fowler, Duncan Paul Attard, et al. · Proceedings of the ACM on Programming Languages · 15
PDF
A monitoring tool for linear-time μHML
2023 · Luca Aceto, Antonis Achilleos, et al. · Science of Computer Programming · 14
A Runtime Monitoring Tool for Actor-Based Systems
2022 · Duncan Paul Attard, Ian Cassar, et al. · River Publishers eBooks · 12
PDF
A Suite of Monitoring Tools for Erlang
2018 · Ian Cassar, Adrian Francalanza, et al. · Kalpa publications in computing · 10
PDF
A Monitoring Tool for Linear-Time $$\mu $$HML
2022 · Luca Aceto, Antonis Achilleos, et al. · Lecture notes in computer science · 5
A Choreographed Outline Instrumentation Algorithm for Asynchronous Components
2021 · Aceto, Luca, Attard, Duncan Paul, et al. · arXiv (Cornell University) · 5
PDF
Runtime Instrumentation for Reactive Components
2024 · Aceto, Luca, Attard, Duncan Paul, et al. · arXiv (Cornell University) · 4
PDF
Graft: general purpose raft consensus in Elixir
2021 · Matthew Alan Le Brun, Duncan Paul Attard, et al. · ACM SIGPLAN Workshop on Erlang (Erlang) · 4
PDF
Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory
2025 · Aceto, Luca, Achilleos, Antonis, et al. · arXiv (Cornell University) · 1
PDF
Bayesian Hierarchical Modelling of Basketball Team Performance: An NBA Regular Season Case Study
2023 · Paul Attard, David Suda, et al. · International Conference on Sport Sciences Research and Technology Support (icSPORTS) · 1
Foundations of Runtime Monitoring through the Lens of Concurrency Theory
2026 · Luca Aceto, Antonis Achilleos, et al. · IRIS Research product catalog (Sapienza University of Rome)
Formalising Runtime Adaptation and Reversible Computation in Industrial IoT Systems
2026 · Adrian Francalanza, Duncan Paul Attard, et al. · SSRN Electronic Journal
Foundations Of Runtime Monitoring Through The Lens Of Concurrency Theory
2026 · Miculan, Marino, Yoshida, Nobuko, et al. · Radboud Repository (Radboud University)
PDF
Preface for the special issue on selected software artifacts from DisCoTec 2024 – The 19th international federated conference on distributed computing techniques
2025 · Roberto Casadei, Duncan Paul Attard, et al. · Science of Computer Programming
A Generic Instrumentation Tool for Erlang
2018 · Ian Cassar, Adrian Francalanza, et al. · Kalpa publications in computing
PDF
Towards modular monitoring for concurrent systems
2016 · Duncan Paul Attard
Works count: 25
Citation count: 215
H-index: 9
I10-index: 9
Year
Topic
Type