A Monitoring Tool for a Branching-Time Logic. - Duncan Paul Attard; Adrian Francalanza (RV, 2016)

A Suite of Monitoring Tools for Erlang. - Ian Cassar; Adrian Francalanza; Duncan Paul Attard; Luca Aceto; Anna Ingólfsdóttir (RV-CuBES, 2017)

A Generic Instrumentation Tool for Erlang. - Ian Cassar; Adrian Francalanza; Duncan Paul Attard; Luca Aceto; Anna Ingólfsdóttir (RV-CuBES, 2017)

A Foundation for Runtime Monitoring. - Adrian Francalanza; Luca Aceto; Antonis Achilleos; Duncan Paul Attard; Ian Cassar; Dario Della Monica; Anna Ingólfsdóttir (RV, 2017)

Trace Partitioning and Local Monitoring for Asynchronous Components. - Duncan Paul Attard; Adrian Francalanza (SEFM, 2017)

Graft: general purpose raft consensus in Elixir. - Matthew Alan Le Brun; Duncan Paul Attard; Adrian Francalanza (Erlang Workshop, 2021)

On Benchmarking for Concurrent Runtime Verification. - Luca Aceto; Duncan Paul Attard; Adrian Francalanza; Anna Ingólfsdóttir (FASE, 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 (FORTE, 2021)

A Choreographed Outline Instrumentation Algorithm for Asynchronous Components. - Luca Aceto; Duncan Paul Attard; Adrian Francalanza; Anna Ingólfsdóttir (CoRR, 2021)

A Monitoring Tool for Linear-Time μHML. - Luca Aceto; Antonis Achilleos; Duncan Paul Attard; Léo Exibard; Adrian Francalanza; Anna Ingólfsdóttir (COORDINATION, 2022)

Special Delivery: Programming with Mailbox Types (Extended Version). - Simon Fowler 001; Duncan Paul Attard; Franciszek Sowul; Simon J. Gay; Phil Trinder (CoRR, 2023)

Special Delivery: Programming with Mailbox Types. - Simon Fowler 001; Duncan Paul Attard; Franciszek Sowul; Simon J. Gay; Phil Trinder (Proc. ACM Program. Lang., 2023)

Runtime Instrumentation for Reactive Components. - Luca Aceto; Duncan Paul Attard; Adrian Francalanza; Anna Ingólfsdóttir (ECOOP, 2024)

Runtime Instrumentation for Reactive Components (Extended Version). - Luca Aceto; Duncan Paul Attard; Adrian Francalanza; Anna Ingólfsdóttir (CoRR, 2024)

Runtime Instrumentation for Reactive Components (Artifact). - Luca Aceto; Duncan Paul Attard; Adrian Francalanza; Anna Ingólfsdóttir (Dagstuhl Artifacts Ser., 2024)

A monitoring tool for linear-time μHML. - Luca Aceto; Antonis Achilleos; Duncan Paul Attard; Léo Exibard; Adrian Francalanza; Anna Ingólfsdóttir (Sci. Comput. Program., 2024)

Monitorability for the Modal Mu-Calculus over Systems with Data: From Practice to Theory. - Luca Aceto; Antonis Achilleos; Duncan Paul Attard; Léo Exibard; Adrian Francalanza; Anna Ingólfsdóttir; Karoliina Lehtinen (CONCUR, 2025)