Duncan Paul Attard
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
7
Active years
2016–2025
Best venue rank
B
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CONCUR | Monitorability for the Modal Mu-Calculus over Systems with Data: From Practice to Theory. | Luca Aceto, Antonis Achilleos, Duncan Paul Attard, Lo Exibard, Adrian Francalanza, Anna Inglfsdttir, Karoliina Lehtinen |
| 2024 | ECOOP | Runtime Instrumentation for Reactive Components. | Luca Aceto, Duncan Paul Attard, Adrian Francalanza, Anna Inglfsdttir |
| 2022 | Coordination | A Monitoring Tool for Linear-Time μHML. | Luca Aceto, Antonis Achilleos, Duncan Paul Attard, Lo Exibard, Adrian Francalanza, Anna Inglfsdttir |
| 2021 | FASE | On Benchmarking for Concurrent Runtime Verification. | Luca Aceto, Duncan Paul Attard, Adrian Francalanza, Anna Inglfsdttir |
| 2021 | FORTE | Better Late Than Never or: Verifying Asynchronous Components at Runtime. | Duncan Paul Attard, Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Inglfsdttir, Karoliina Lehtinen |
| 2017 | RV | A Suite of Monitoring Tools for Erlang. | Ian Cassar, Adrian Francalanza, Duncan Paul Attard, Luca Aceto, Anna Inglfsdttir |
| 2017 | RV | A Generic Instrumentation Tool for Erlang. | Ian Cassar, Adrian Francalanza, Duncan Paul Attard, Luca Aceto, Anna Inglfsdttir |
| 2017 | RV | A Foundation for Runtime Monitoring. | Adrian Francalanza, Luca Aceto, Antonis Achilleos, Duncan Paul Attard, Ian Cassar, Dario Della Monica, Anna Inglfsdttir |
| 2017 | SEFM | Trace Partitioning and Local Monitoring for Asynchronous Components. | Duncan Paul Attard, Adrian Francalanza |
| 2016 | RV | A Monitoring Tool for a Branching-Time Logic. | Duncan Paul Attard, Adrian Francalanza |