| Issue Date | Title | Author(s) |
| 2023 | Bidirectional runtime enforcement of first-order branching-time properties | Aceto, Luca; Cassar, Ian; Francalanza, Adrian; Ingólfsdóttir, Anna |
| 2021 | Comparing controlled system synthesis and suppression enforcement | Aceto, Luca; Cassar, Ian; Francalanza, Adrian; Ingólfsdóttir, Anna |
| 2017 | eAOP : an aspect oriented programming framework for Erlang | Cassar, Ian; Francalanza, Adrian; Aceto, Luca; 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 |
| 2015 | Improving runtime overheads for detectEr | Cassar, Ian; Francalanza, Adrian; Said, Simon |
| 2014 | Monitoring distributed systems with distributed polyLarva | Cassar, Ian; Francalanza, Adrian; Colombo, Christian |
| 2021 | On bidirectional runtime enforcement | Aceto, Luca; Cassar, Ian; Francalanza, Adrian; Ingólfsdóttir, Anna |
| 2023 | On first-order runtime enforcement of branching-time properties | Aceto, Luca; Cassar, Ian; Francalanza, Adrian; Ingólfsdóttir, Anna |
| 2016 | On implementing a monitor-oriented programming framework for actor systems | Cassar, Ian; Francalanza, Adrian |
| 2018 | On runtime enforcement via suppressions | Aceto, Luca; Cassar, Ian; Francalanza, Adrian; Ingólfsdóttir, Anna |
| 2014 | On synchronous and asynchronous monitor instrumentation for actor-based systems | Cassar, Ian; Francalanza, Adrian |
| 2017 | Reliability and fault-tolerance by choreographic design | Cassar, Ian; Francalanza, Adrian; Mezzina, Claudio Antares; Tuosto, Emilio |
| 2015 | Runtime adaptation for actor systems | Cassar, Ian; Francalanza, Adrian |
| 2017 | A runtime monitoring tool for actor-based systems | Attard, Duncan Paul; Cassar, Ian; Francalanza, Adrian; Aceto, Luca; Ingólfsdóttir, Anna |
| 2017 | A survey of runtime monitoring instrumentation techniques | Cassar, Ian; Francalanza, Adrian; Aceto, Luca; Ingólfsdóttir, Anna |
| 2014-11 | Towards achieving efficient runtime enforcement for component based systems | Cassar, Ian; Francalanza, Adrian |
| 2013-11 | The way forward for DETECTER | Francalanza, Adrian; Seychell, Aldrin; Cassar, Ian; Cutajar, Kurt; Said, Simon; Schembri, Blanche |
