On Synchronous and Asynchronous Monitor Instrumentation for Actor-based systems. - Ian Cassar; Adrian Francalanza (FOCLASA, 2014)

Runtime Adaptation for Actor Systems. - Ian Cassar; Adrian Francalanza (RV, 2015)

Improving Runtime Overheads for detectEr. - Ian Cassar; Adrian Francalanza; Simon Said (FESCA, 2015)

On Implementing a Monitor-Oriented Programming Framework for Actor Systems. - Ian Cassar; Adrian Francalanza (IFM, 2016)

eAOP: an aspect oriented programming framework for Erlang. - Ian Cassar; Adrian Francalanza; Luca Aceto; Anna Ingólfsdóttir (Erlang Workshop, 2017)

A Suite of Monitoring Tools for Erlang. - Ian Cassar; Adrian Francalanza; Duncan Paul Attard; Luca Aceto; Anna Ingólfsdóttir (RV-CuBES, 2017)

A Generic Instrumentation Tool for Erlang. - Ian Cassar; Adrian Francalanza; Duncan Paul Attard; Luca Aceto; Anna Ingólfsdóttir (RV-CuBES, 2017)

A Foundation for Runtime Monitoring. - Adrian Francalanza; Luca Aceto; Antonis Achilleos; Duncan Paul Attard; Ian Cassar; Dario Della Monica; Anna Ingólfsdóttir (RV, 2017)

A Survey of Runtime Monitoring Instrumentation Techniques. - Ian Cassar; Adrian Francalanza; Luca Aceto; Anna Ingólfsdóttir (PrePost@iFM, 2017)

Reliability and Fault-Tolerance by Choreographic Design. - Ian Cassar; Adrian Francalanza; Claudio Antares Mezzina; Emilio Tuosto (PrePost@iFM, 2017)

Towards Runtime Adaptation of Actor Systems. - Ian Cassar (CoRR, 2017)

On Runtime Enforcement via Suppressions. - Luca Aceto; Ian Cassar; Adrian Francalanza; Anna Ingólfsdóttir (CONCUR, 2018)

Developing Theoretical Foundations for Runtime Enforcement. - Ian Cassar; Adrian Francalanza; Luca Aceto; Anna Ingólfsdóttir (CoRR, 2018)

On Bidirectional Runtime Enforcement. - Luca Aceto; Ian Cassar; Adrian Francalanza; Anna Ingólfsdóttir (FORTE, 2021)

Comparing controlled system synthesis and suppression enforcement. - Luca Aceto; Ian Cassar; Adrian Francalanza; Anna Ingólfsdóttir (Int. J. Softw. Tools Technol. Transf., 2021)

Bidirectional Runtime Enforcement of First-Order Branching-Time Properties. - Luca Aceto; Ian Cassar; Adrian Francalanza; Anna Ingólfsdóttir (Log. Methods Comput. Sci., 2023)

On first-order runtime enforcement of branching-time properties. - Luca Aceto; Ian Cassar; Adrian Francalanza; Anna Ingólfsdóttir (Acta Informatica, 2023)