Browsing by Author Attard, Duncan Paul
Showing results 1 to 10 of 10
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 |
2021 | On benchmarking for concurrent runtime verification | 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 |