Duncan Paul Attard

Orcid: 0000-0002-2448-5394

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
A monitoring tool for linear-time <i>μ</i>HML.
Sci. Comput. Program., January, 2024

Runtime Instrumentation for Reactive Components (Artifact).
Dagstuhl Artifacts Ser., 2024

Runtime Instrumentation for Reactive Components (Extended Version).
CoRR, 2024

Runtime Instrumentation for Reactive Components.
Proceedings of the 38th European Conference on Object-Oriented Programming, 2024

2023
Special Delivery: Programming with Mailbox Types.
Proc. ACM Program. Lang., August, 2023

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

2022
A Monitoring Tool for Linear-Time μHML.
Proceedings of the Coordination Models and Languages, 2022

2021
A Choreographed Outline Instrumentation Algorithm for Asynchronous Components.
CoRR, 2021

Better Late Than Never or: Verifying Asynchronous Components at Runtime.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2021

On Benchmarking for Concurrent Runtime Verification.
Proceedings of the Fundamental Approaches to Software Engineering, 2021

Graft: general purpose raft consensus in Elixir.
Proceedings of the 20th ACM SIGPLAN International Workshop on Erlang, 2021

2017
Trace Partitioning and Local Monitoring for Asynchronous Components.
Proceedings of the Software Engineering and Formal Methods - 15th International Conference, 2017

A Foundation for Runtime Monitoring.
Proceedings of the Runtime Verification - 17th International Conference, 2017

A Generic Instrumentation Tool for Erlang.
Proceedings of the RV-CuBES 2017. An International Workshop on Competitions, 2017

A Suite of Monitoring Tools for Erlang.
Proceedings of the RV-CuBES 2017. An International Workshop on Competitions, 2017

2016
A Monitoring Tool for a Branching-Time Logic.
Proceedings of the Runtime Verification - 16th International Conference, 2016


  Loading...