Duncan Paul Attard

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 14

Top Topics

Partitioning Algorithm

General Purpose

Top Venues

Proc. ACM Program. Lang.

Publications

Luca Aceto, Duncan Paul Attard, Adrian Francalanza, Anna Ingólfsdóttir
Runtime Instrumentation for Reactive Components (Extended Version). CoRR (2024)
Luca Aceto, Antonis Achilleos, Duncan Paul Attard, Léo Exibard, Adrian Francalanza, Anna Ingólfsdóttir
HML. Sci. Comput. Program. 232 (2024)
Simon Fowler, Duncan Paul Attard, Franciszek Sowul, Simon J. Gay, Phil Trinder
Special Delivery: Programming with Mailbox Types (Extended Version). CoRR (2023)
Simon Fowler, Duncan Paul Attard, Franciszek Sowul, Simon J. Gay, Phil Trinder
Special Delivery: Programming with Mailbox Types. Proc. ACM Program. Lang. 7 (ICFP) (2023)
Luca Aceto, Antonis Achilleos, Duncan Paul Attard, Léo Exibard, Adrian Francalanza, Anna Ingólfsdóttir
A Monitoring Tool for Linear-Time μHML. COORDINATION (2022)
Matthew Alan Le Brun, Duncan Paul Attard, Adrian Francalanza
Graft: general purpose raft consensus in Elixir. Erlang Workshop (2021)
Luca Aceto, Duncan Paul Attard, Adrian Francalanza, Anna Ingólfsdóttir
On Benchmarking for Concurrent Runtime Verification. FASE (2021)
Luca Aceto, Duncan Paul Attard, Adrian Francalanza, Anna Ingólfsdóttir
A Choreographed Outline Instrumentation Algorithm for Asynchronous Components. CoRR (2021)
Duncan Paul Attard, Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen
Better Late Than Never or: Verifying Asynchronous Components at Runtime. FORTE (2021)
Ian Cassar, Adrian Francalanza, Duncan Paul Attard, Luca Aceto, Anna Ingólfsdóttir
A Generic Instrumentation Tool for Erlang. RV-CuBES (2017)
Duncan Paul Attard, Adrian Francalanza
Trace Partitioning and Local Monitoring for Asynchronous Components. SEFM (2017)
Adrian Francalanza, Luca Aceto, Antonis Achilleos, Duncan Paul Attard, Ian Cassar, Dario Della Monica, Anna Ingólfsdóttir
A Foundation for Runtime Monitoring. RV (2017)
Ian Cassar, Adrian Francalanza, Duncan Paul Attard, Luca Aceto, Anna Ingólfsdóttir
A Suite of Monitoring Tools for Erlang. RV-CuBES (2017)
Duncan Paul Attard, Adrian Francalanza
A Monitoring Tool for a Branching-Time Logic. RV (2016)