Issue Date | Title | Author(s) |
2019-01 | Adventures in monitorability : from branching to linear time and back again | Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Lehtinen, Karoliina |
2021 | The best a monitor can do | Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Lehtinen, Karoliina |
2019 | The cost of monitoring alone | Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Lehtinen, Karoliina |
2018 | A framework for parameterized monitorability | Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna |
2021 | On bidirectional runtime enforcement | Aceto, Luca; Cassar, Ian; Francalanza, Adrian; Ingólfsdóttir, Anna |
2020 | On implementing symbolic controllability | Francalanza, Adrian; Xuereb, Jasmine |
2018 | On runtime enforcement via suppressions | Aceto, Luca; Cassar, Ian; Francalanza, Adrian; Ingólfsdóttir, Anna |
2019 | An operational guide to monitorability | Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Lehtinen, Karoliina |
2021 | An operational guide to monitorability with applications to regular properties | Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Lehtinen, Karoliina |
2015-11 | An overview of techniques aimed at automatically generating oracles from tests | Chircop, Luke; Colombo, Christian; Francalanza, Adrian; Micallef, Mark; Pace, Gordon J. |
2018 | Reversible choreographies via monitoring in Erlang | Francalanza, Adrian; Mezzina, Claudio Antares; Tuosto, Emilio |
2018 | Runtime verification for decentralised and distributed systems | Francalanza, Adrian; Pérez, Jorge A.; Sánchez, César |
2019 | Testing equivalence vs. runtime monitoring | Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Lehtinen, Karoliina |
2016 | A theory of monitors | Francalanza, Adrian |
2021 | A theory of monitors | Francalanza, Adrian |
2020 | Towards a hybrid verification methodology for communication protocols (short paper) | Bartolo Burlò, Christian; Francalanza, Adrian; Scalas, Alceste |
2020 | Towards choreographic-based monitoring | Francalanza, Adrian; Mezzina, Claudio Antares; Tuosto, Emilio |
2021 | Towards probabilistic session-type monitoring | Bartolo Burlò, Christian; Francalanza, Adrian; Scalas, Alceste; Trubiani, Catia; Tuosto, Emilio |
2013-11 | The way forward for DETECTER | Francalanza, Adrian; Seychell, Aldrin; Cassar, Ian; Cutajar, Kurt; Said, Simon; Schembri, Blanche |