Duncan Paul Attard

19 papers A 1B 5C 2Journal 7Unranked 4
YearRankTypeTitle / Venue / Authors
2026 — conf
Reversible Computation vs. Runtime Adaptation in Industrial IoT Systems.
Components Operationally: Reversibility and System Engineering: Essays Dedicated to Jean-Bernard Stefani on the Occasion of His 65th Birthday
Duncan Paul Attard, Keith Bugeja, Adrian Francalanza, Marietta Galea, Gerard Tabone, Gianluca Zahra
2025 B conf
Monitorability for the Modal Mu-Calculus over Systems with Data: From Practice to Theory.
CONCUR
Luca Aceto, Antonis Achilleos, Duncan Paul Attard, Léo Exibard, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen
2025 J jnl
Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory.
CoRR
Luca Aceto, Antonis Achilleos, Duncan Paul Attard, Léo Exibard, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen
2024 J jnl
A monitoring tool for linear-time
Sci. Comput. Program.
Luca Aceto, Antonis Achilleos, Duncan Paul Attard, Léo Exibard, Adrian Francalanza, Anna Ingólfsdóttir
2024 J jnl
Runtime Instrumentation for Reactive Components (Artifact).
Dagstuhl Artifacts Ser.
Luca Aceto, Duncan Paul Attard, Adrian Francalanza, Anna Ingólfsdóttir
2024 J jnl
Runtime Instrumentation for Reactive Components (Extended Version).
CoRR
Luca Aceto, Duncan Paul Attard, Adrian Francalanza, Anna Ingólfsdóttir
2024 A conf
Runtime Instrumentation for Reactive Components.
ECOOP
Luca Aceto, Duncan Paul Attard, Adrian Francalanza, Anna Ingólfsdóttir
2023 J jnl
Special Delivery: Programming with Mailbox Types (Extended Version).
CoRR
Simon Fowler, Duncan Paul Attard, Franciszek Sowul, Simon J. Gay, Phil Trinder
2023 J jnl
Special Delivery: Programming with Mailbox Types.
Proc. ACM Program. Lang.
Simon Fowler, Duncan Paul Attard, Franciszek Sowul, Simon J. Gay, Phil Trinder
2022 C conf
A Monitoring Tool for Linear-Time μHML.
COORDINATION
Luca Aceto, Antonis Achilleos, Duncan Paul Attard, Léo Exibard, Adrian Francalanza, Anna Ingólfsdóttir
2021 J jnl
A Choreographed Outline Instrumentation Algorithm for Asynchronous Components.
CoRR
Luca Aceto, Duncan Paul Attard, Adrian Francalanza, Anna Ingólfsdóttir
2021 C conf
Better Late Than Never or: Verifying Asynchronous Components at Runtime.
FORTE
Duncan Paul Attard, Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen
2021 — conf
Graft: general purpose raft consensus in Elixir.
Erlang Workshop
Matthew Alan Le Brun, Duncan Paul Attard, Adrian Francalanza
2021 B conf
On Benchmarking for Concurrent Runtime Verification.
FASE
Luca Aceto, Duncan Paul Attard, Adrian Francalanza, Anna Ingólfsdóttir
2017 B conf
A Foundation for Runtime Monitoring.
RV
Adrian Francalanza, Luca Aceto, Antonis Achilleos, Duncan Paul Attard, Ian Cassar, Dario Della Monica, Anna Ingólfsdóttir
2017 — conf
A Generic Instrumentation Tool for Erlang.
RV-CuBES
Ian Cassar, Adrian Francalanza, Duncan Paul Attard, Luca Aceto, Anna Ingólfsdóttir
2017 — conf
A Suite of Monitoring Tools for Erlang.
RV-CuBES
Ian Cassar, Adrian Francalanza, Duncan Paul Attard, Luca Aceto, Anna Ingólfsdóttir
2017 B conf
Trace Partitioning and Local Monitoring for Asynchronous Components.
SEFM
Duncan Paul Attard, Adrian Francalanza
2016 B conf
A Monitoring Tool for a Branching-Time Logic.
RV
Duncan Paul Attard, Adrian Francalanza