Ian Cassar

According to our database, Ian Cassar authored at least 17 papers between 2014 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

On first-order runtime enforcement of branching-time properties.

Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingólfsdóttir

Acta Informatica, December, 2023

Bidirectional Runtime Enforcement of First-Order Branching-Time Properties.

Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingólfsdóttir

Log. Methods Comput. Sci., 2023

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

On Bidirectional Runtime Enforcement.

Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingólfsdóttir

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2021

2018

Developing Theoretical Foundations for Runtime Enforcement.

Ian Cassar, Adrian Francalanza, Luca Aceto, Anna Ingólfsdóttir

CoRR, 2018

On Runtime Enforcement via Suppressions.

Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingólfsdóttir

Proceedings of the 29th International Conference on Concurrency Theory, 2018

2017

Towards Runtime Adaptation of Actor Systems.

Ian Cassar

CoRR, 2017

Reliability and Fault-Tolerance by Choreographic Design.

Ian Cassar, Adrian Francalanza, Claudio Antares Mezzina, Emilio Tuosto

Proceedings of the Proceedings Second International Workshop on Pre- and Post-Deployment Verification Techniques, 2017

A Survey of Runtime Monitoring Instrumentation Techniques.

Ian Cassar, Adrian Francalanza, Luca Aceto, Anna Ingólfsdóttir

Proceedings of the Proceedings Second International Workshop on Pre- and Post-Deployment Verification Techniques, 2017

A Foundation for Runtime Monitoring.

Adrian Francalanza, Luca Aceto, Antonis Achilleos, Duncan Paul Attard, Ian Cassar, Dario Della Monica, Anna Ingólfsdóttir

Proceedings of the Runtime Verification - 17th International Conference, 2017

A Generic Instrumentation Tool for Erlang.

Ian Cassar, Adrian Francalanza, Duncan Paul Attard, Luca Aceto, Anna Ingólfsdóttir

Proceedings of the RV-CuBES 2017. An International Workshop on Competitions, 2017

A Suite of Monitoring Tools for Erlang.

Ian Cassar, Adrian Francalanza, Duncan Paul Attard, Luca Aceto, Anna Ingólfsdóttir

Proceedings of the RV-CuBES 2017. An International Workshop on Competitions, 2017

eAOP: an aspect oriented programming framework for Erlang.

Ian Cassar, Adrian Francalanza, Luca Aceto, Anna Ingólfsdóttir

Proceedings of the 16th ACM SIGPLAN International Workshop on Erlang, 2017

2016

On Implementing a Monitor-Oriented Programming Framework for Actor Systems.

Ian Cassar, Adrian Francalanza

Proceedings of the Integrated Formal Methods - 12th International Conference, 2016

2015

Improving Runtime Overheads for detectEr.

Ian Cassar, Adrian Francalanza, Simon Said

Proceedings of the Proceedings 12th International Workshop on Formal Engineering approaches to Software Components and Architectures, 2015

Runtime Adaptation for Actor Systems.

Ian Cassar, Adrian Francalanza

Proceedings of the Runtime Verification - 6th International Conference, 2015

2014

On Synchronous and Asynchronous Monitor Instrumentation for Actor-based systems.

Ian Cassar, Adrian Francalanza

Proceedings of the Proceedings 13th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems, 2014