Ian Cassar

Publication Activity (10 Years)

Years Active: 2014-2023
Publications (10 Years): 19

Top Topics

Temporal Reasoning

Quantifier Elimination

Oriented Programming

Top Venues

Publications

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