Duncan Paul Attard

According to our database, Duncan Paul Attard authored at least 13 papers between 2016 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

A monitoring tool for linear-time <i>μ</i>HML.

Luca Aceto, Antonis Achilleos, Duncan Paul Attard, Léo Exibard, Adrian Francalanza, Anna Ingólfsdóttir

Sci. Comput. Program., January, 2024

2023

Special Delivery: Programming with Mailbox Types.

Simon Fowler, Duncan Paul Attard, Franciszek Sowul, Simon J. Gay, Phil Trinder

Proc. ACM Program. Lang., August, 2023

Special Delivery: Programming with Mailbox Types (Extended Version).

Simon Fowler, Duncan Paul Attard, Franciszek Sowul, Simon J. Gay, Phil Trinder

CoRR, 2023

2022

A Monitoring Tool for Linear-Time μHML.

Luca Aceto, Antonis Achilleos, Duncan Paul Attard, Léo Exibard, Adrian Francalanza, Anna Ingólfsdóttir

Proceedings of the Coordination Models and Languages, 2022

2021

A Choreographed Outline Instrumentation Algorithm for Asynchronous Components.

Luca Aceto, Duncan Paul Attard, Adrian Francalanza, Anna Ingólfsdóttir

CoRR, 2021

Better Late Than Never or: Verifying Asynchronous Components at Runtime.

Duncan Paul Attard, Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2021

On Benchmarking for Concurrent Runtime Verification.

Luca Aceto, Duncan Paul Attard, Adrian Francalanza, Anna Ingólfsdóttir

Proceedings of the Fundamental Approaches to Software Engineering, 2021

Graft: general purpose raft consensus in Elixir.

Matthew Alan Le Brun, Duncan Paul Attard, Adrian Francalanza

Proceedings of the 20th ACM SIGPLAN International Workshop on Erlang, 2021

2017

Trace Partitioning and Local Monitoring for Asynchronous Components.

Duncan Paul Attard, Adrian Francalanza

Proceedings of the Software Engineering and Formal Methods - 15th International Conference, 2017

A Foundation for Runtime Monitoring.

Adrian Francalanza, Luca Aceto, Antonis Achilleos, Duncan Paul Attard, Ian Cassar, Dario Della Monica, Anna Ingólfsdóttir

Proceedings of the Runtime Verification - 17th International Conference, 2017

A Generic Instrumentation Tool for Erlang.

Ian Cassar, Adrian Francalanza, Duncan Paul Attard, Luca Aceto, Anna Ingólfsdóttir

Proceedings of the RV-CuBES 2017. An International Workshop on Competitions, 2017

A Suite of Monitoring Tools for Erlang.

Ian Cassar, Adrian Francalanza, Duncan Paul Attard, Luca Aceto, Anna Ingólfsdóttir

Proceedings of the RV-CuBES 2017. An International Workshop on Competitions, 2017

2016

A Monitoring Tool for a Branching-Time Logic.

Duncan Paul Attard, Adrian Francalanza

Proceedings of the Runtime Verification - 16th International Conference, 2016