Ian Cassar

20 papers B 5C 1Journal 7Unranked 7
YearRankTypeTitle / Venue / Authors
2023 J jnl
Bidirectional Runtime Enforcement of First-Order Branching-Time Properties.
Log. Methods Comput. Sci.
Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingólfsdóttir
2023 J jnl
On first-order runtime enforcement of branching-time properties.
Acta Informatica
Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingólfsdóttir
2022 J jnl
Bidirectional Runtime Enforcement of First-Order Branching-Time Properties.
CoRR
Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingólfsdóttir
2021 J jnl
Comparing controlled system synthesis and suppression enforcement.
Int. J. Softw. Tools Technol. Transf.
Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingólfsdóttir
2021 C conf
On Bidirectional Runtime Enforcement.
FORTE
Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingólfsdóttir
2019 B conf
Comparing Controlled System Synthesis and Suppression Enforcement.
RV
Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingólfsdóttir
2018 J jnl
Developing Theoretical Foundations for Runtime Enforcement.
CoRR
Ian Cassar, Adrian Francalanza, Luca Aceto, Anna Ingólfsdóttir
2018 B conf
On Runtime Enforcement via Suppressions.
CONCUR
Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingólfsdóttir
2018 J jnl
On Runtime Enforcement via Suppressions.
CoRR
Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingólfsdóttir
2017 B conf
A Foundation for Runtime Monitoring.
RV
Adrian Francalanza, Luca Aceto, Antonis Achilleos, Duncan Paul Attard, Ian Cassar, Dario Della Monica, Anna Ingólfsdóttir
2017 — conf
A Generic Instrumentation Tool for Erlang.
RV-CuBES
Ian Cassar, Adrian Francalanza, Duncan Paul Attard, Luca Aceto, Anna Ingólfsdóttir
2017 — conf
A Suite of Monitoring Tools for Erlang.
RV-CuBES
Ian Cassar, Adrian Francalanza, Duncan Paul Attard, Luca Aceto, Anna Ingólfsdóttir
2017 — conf
A Survey of Runtime Monitoring Instrumentation Techniques.
PrePost@iFM
Ian Cassar, Adrian Francalanza, Luca Aceto, Anna Ingólfsdóttir
2017 — conf
Reliability and Fault-Tolerance by Choreographic Design.
PrePost@iFM
Ian Cassar, Adrian Francalanza, Claudio Antares Mezzina, Emilio Tuosto
2017 J jnl
Towards Runtime Adaptation of Actor Systems.
CoRR
Ian Cassar
2017 — conf
eAOP: an aspect oriented programming framework for Erlang.
Erlang Workshop
Ian Cassar, Adrian Francalanza, Luca Aceto, Anna Ingólfsdóttir
2016 B conf
On Implementing a Monitor-Oriented Programming Framework for Actor Systems.
IFM
Ian Cassar, Adrian Francalanza
2015 — conf
Improving Runtime Overheads for detectEr.
FESCA
Ian Cassar, Adrian Francalanza, Simon Said
2015 B conf
Runtime Adaptation for Actor Systems.
RV
Ian Cassar, Adrian Francalanza
2014 — conf
On Synchronous and Asynchronous Monitor Instrumentation for Actor-based systems.
FOCLASA
Ian Cassar, Adrian Francalanza