Get started
Author

Ian Cassar

Observed name: Cassar, Ian
ORCID: 0000-0002-5845-3753
Observed ORCID: 0000-0002-5845-3753
OpenAlex ID: A5083551381
A Survey of Runtime Monitoring Instrumentation Techniques
2017 · Ian Cassar, Adrian Francalanza, et al. · Electronic Proceedings in Theoretical Computer Science · 76
A Foundation for Runtime Monitoring
2017 · Adrian Francalanza, Luca Aceto, et al. · Lecture notes in computer science · 49
On Implementing a Monitor-Oriented Programming Framework for Actor Systems
2016 · Ian Cassar, Adrian Francalanza · Lecture notes in computer science · 42
Runtime Adaptation for Actor Systems
2015 · Ian Cassar, Adrian Francalanza · Lecture notes in computer science · 29
On Synchronous and Asynchronous Monitor Instrumentation for Actor-based systems
2015 · Ian Cassar, Adrian Francalanza · Electronic Proceedings in Theoretical Computer Science · 23
On Runtime Enforcement via Suppressions
2018 · Aceto, Luca, Cassar, Ian, et al. · OAR@UM (University of Malta) · 22
Estimates of output, income value added and employment multipliers for the Maltese economy
2015 · Ian Cassar · OAR@UM (University of Malta) · 15
eAOP: an aspect oriented programming framework for Erlang
2017 · Ian Cassar, Adrian Francalanza, et al. · ACM SIGPLAN Workshop on Erlang (Erlang) · 13
A Runtime Monitoring Tool for Actor-Based Systems
2022 · Duncan Paul Attard, Ian Cassar, et al. · River Publishers eBooks · 12
PDF
On Synchronous and Asynchronous Monitor Instrumentation for Actor-based systems
2014 · Cassar, Ian, Francalanza, Adrian · OAR@UM (University of Malta) · 12
Reliability and Fault-Tolerance by Choreographic Design
2017 · Ian Cassar, Adrian Francalanza, et al. · Electronic Proceedings in Theoretical Computer Science · 11
A Suite of Monitoring Tools for Erlang
2018 · Ian Cassar, Adrian Francalanza, et al. · Kalpa publications in computing · 10
PDF
Improving runtime overheads for detectEr
2015 · Cassar, Ian, Francalanza, Adrian, et al. · OAR@UM (University of Malta) · 9
Bidirectional Runtime Enforcement of First-Order Branching-Time Properties
2023 · Luca Aceto, Ian Cassar, et al. · Logical Methods in Computer Science · 8
PDF
Developing Theoretical Foundations for Runtime Enforcement
2018 · Cassar, Ian, Francalanza, Adrian, et al. · arXiv (Cornell University) · 7
PDF
Comparing controlled system synthesis and suppression enforcement
2021 · Luca Aceto, Ian Cassar, et al. · International Journal on Software Tools for Technology Transfer · 4
On Bidirectional Runtime Enforcement
2021 · Luca Aceto, Ian Cassar, et al. · Lecture notes in computer science · 4
On first-order runtime enforcement of branching-time properties
2023 · Luca Aceto, Ian Cassar, et al. · Acta Informatica · 3
Comparing Controlled System Synthesis and Suppression Enforcement
2019 · Luca Aceto, Ian Cassar, et al. · Lecture notes in computer science · 2
A study of the production structure of the Maltese economy : an input-output approach
2013 · Ian Cassar · 1
A Generic Instrumentation Tool for Erlang
2018 · Ian Cassar, Adrian Francalanza, et al. · Kalpa publications in computing
PDF
Towards Runtime Adaptation of Actor Systems
2017 · Cassar, Ian · arXiv (Cornell University)
PDF
Towards achieving efficient runtime enforcement for component based systems
2014 · Ian Cassar, Adrian Francalanza · OAR@UM (University of Malta)
Monitoring distributed systems with distributed polyLarva
2014 · Ian Cassar, Adrian Francalanza, et al.
The way forward for DETECTER
2013 · Adrian Francalanza, Aldrin Seychell, et al. · OAR@UM (University of Malta)
Works count: 29
Citation count: 352
H-index: 11
I10-index: 12
Year
Topic
Type