Follow
Ian Cassar
Title
Cited by
Cited by
Year
A foundation for runtime monitoring
A Francalanza, L Aceto, A Achilleos, DP Attard, I Cassar, D Della Monica, ...
International Conference on Runtime Verification, 8-29, 2017
552017
A survey of runtime monitoring instrumentation techniques
I Cassar, A Francalanza, L Aceto, A Ingólfsdóttir
arXiv preprint arXiv:1708.07229, 2017
482017
On implementing a monitor-oriented programming framework for actor systems
I Cassar, A Francalanza
International Conference on Integrated Formal Methods, 176-192, 2016
412016
On runtime enforcement via suppressions
L Aceto, I Cassar, A Francalanza, A Ingólfsdóttir
arXiv preprint arXiv:1807.01004, 2018
352018
On synchronous and asynchronous monitor instrumentation for actor-based systems
I Cassar, A Francalanza
arXiv preprint arXiv:1502.03514, 2015
342015
Runtime adaptation for actor systems
I Cassar, A Francalanza
Runtime Verification, 38-54, 2015
292015
A suite of monitoring tools for Erlang
I Cassar, A Francalanza, D Attard, L Aceto, A Ingólfsdóttir
Kalpa Publications in Computing 3, 41-47, 2017
162017
Improving runtime overheads for detecter
I Cassar, A Francalanza, S Said
arXiv preprint arXiv:1503.04912, 2015
142015
Reliability and fault-tolerance by choreographic design
I Cassar, A Francalanza, CA Mezzina, E Tuosto
arXiv preprint arXiv:1708.07233, 2017
132017
A runtime monitoring tool for actor-based systems
DP Attard, I Cassar, A Francalanza, L Aceto, A Ingolfsdottir
Behavioural Types: from Theory to Tools, 49-76, 2017
132017
eAOP: an aspect oriented programming framework for Erlang
I Cassar, A Francalanza, L Aceto, A Ingólfsdóttir
Proceedings of the 16th ACM SIGPLAN International Workshop on Erlang, 20-30, 2017
122017
Measuring the economic impact of tourism in Malta using the Tourism Satellite Account
B Sacco, IP Cassar
European Journal of Tourism Research 23, 86-111, 2019
72019
Developing theoretical foundations for runtime enforcement
I Cassar, A Francalanza, L Aceto, A Ingolfsdottir
arXiv preprint arXiv:1804.08917, 2018
62018
Comparing controlled system synthesis and suppression enforcement
L Aceto, I Cassar, A Francalanza, A Ingólfsdóttir
International Conference on Runtime Verification, 148-164, 2019
52019
Estimates of output, income value added and employment multipliers for the Maltese economy. Central Bank of Malta Working Paper, No
IP Cassar
WP/03, 2015
52015
On bidirectional runtime enforcement
L Aceto, I Cassar, A Francalanza, A Ingólfsdóttir
International Conference on Formal Techniques for Distributed Objects …, 2021
32021
On bidirectional enforcement
L Aceto, I Cassar, A Francalanza, A Ingólfsdóttir
Technical report Reykjavik University, 2020
12020
Bidirectional Runtime Enforcement of First-Order Branching-Time Properties
L Aceto, I Cassar, A Francalanza, A Ingolfsdottir
arXiv preprint arXiv:2201.03108, 2022
2022
Does the Ricardian Equivalence Theorem capture the consumption behaviour of Maltese households?
IP Cassar, K Davison, C Xuereb
International Journal of Economics and Finance 10 (12), 1-77, 2018
2018
Towards Runtime Adaptation of Actor Systems
I Cassar
arXiv preprint arXiv:1709.02346, 2017
2017
The system can't perform the operation now. Try again later.
Articles 1–20