Browsing by Author Attard, Duncan Paul
Showing results 1 to 12 of 12
| Issue Date | Title | Author(s) |
| 2021 | Better late than never or : verifying asynchronous components at runtime | Attard, Duncan Paul; Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Lehtinen, Karoliina |
| 2021-04 | A choreographed outline instrumentation approach for asynchronous components | Aceto, Luca; Attard, Duncan Paul; Francalanza, Adrian; Ingólfsdóttir, Anna |
| 2017 | A foundation for runtime monitoring | Francalanza, Adrian; Aceto, Luca; Achilleos, Antonis; Attard, Duncan Paul; Cassar, Ian; Della Monica, Dario; Ingólfsdóttir, Anna |
| 2021 | Graft : general purpose raft consensus in Elixir | Le Brun, Matthew Alan; Attard, Duncan Paul; Francalanza, Adrian |
| 2006 | MLRS : a resource server for the Maltese language | Rosner, Michael; Fabri, Ray; Attard, Duncan Paul; Gatt, Albert |
| 2016 | A monitoring tool for a branching-time logic | Attard, Duncan Paul; Francalanza, Adrian |
| 2024 | A monitoring tool for linear-time 𝜇HML | Aceto, Luca; Achilleos, Antonis; Attard, Duncan Paul; Exibard, Léo; Francalanza, Adrian; Ingólfsdóttir, Anna |
| 2021 | On benchmarking for concurrent runtime verification | Aceto, Luca; Attard, Duncan Paul; Francalanza, Adrian; Ingólfsdóttir, Anna |
| 2024 | Runtime instrumentation for reactive components (artifact) | Aceto, Luca; Attard, Duncan Paul; Francalanza, Adrian; Ingólfsdóttir, Anna |
| 2017 | A runtime monitoring tool for actor-based systems | Attard, Duncan Paul; Cassar, Ian; Francalanza, Adrian; Aceto, Luca; Ingólfsdóttir, Anna |
| 2016 | Towards modular monitoring for concurrent systems | Attard, Duncan Paul |
| 2017 | Trace partitioning and local monitoring for asynchronous components | Attard, Duncan Paul; Francalanza, Adrian |
