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
462017
A survey of runtime monitoring instrumentation techniques
I Cassar, A Francalanza, L Aceto, A Ingólfsdóttir
arXiv preprint arXiv:1708.07229, 2017
382017
On implementing a monitor-oriented programming framework for actor systems
I Cassar, A Francalanza
International Conference on Integrated Formal Methods, 176-192, 2016
362016
On synchronous and asynchronous monitor instrumentation for actor-based systems
I Cassar, A Francalanza
arXiv preprint arXiv:1502.03514, 2015
322015
On runtime enforcement via suppressions
L Aceto, I Cassar, A Francalanza, A Ingólfsdóttir
arXiv preprint arXiv:1807.01004, 2018
292018
Runtime adaptation for actor systems
I Cassar, A Francalanza
Runtime Verification, 38-54, 2015
252015
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, 2017
122017
Improving runtime overheads for detecter
I Cassar, A Francalanza, S Said
arXiv preprint arXiv:1503.04912, 2015
122015
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
112017
Reliability and fault-tolerance by choreographic design
I Cassar, A Francalanza, CA Mezzina, E Tuosto
arXiv preprint arXiv:1708.07233, 2017
102017
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
92017
Does absence of charismatic species impact the ecotourism potential of Central Mediterranean islands?
K Agius, N Theuma, A Deidun
Malta Chamber of Scientists, 2018
82018
Measuring the economic impact of tourism in Malta using the Tourism Satellite Account
B Sacco, I Cassar
European Journal of Tourism Research 23 (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
52018
Comparing controlled system synthesis and suppression enforcement
L Aceto, I Cassar, A Francalanza, A Ingólfsdóttir
International Journal on Software Tools for Technology Transfer, 1-14, 2021
32021
On bidirectional enforcement
L Aceto, I Cassar, A Francalanza, A Ingólfsdóttir
Technical report Reykjavik University, 2020
12020
On Bidirectional Runtime Enforcement
L Aceto, I Cassar, A Francalanza, A Ingólfsdóttir
International Conference on Formal Techniques for Distributed Objects …, 2021
2021
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
MOP Framework For Actor Systems
I Cassar, A Francalanza
2016
The system can't perform the operation now. Try again later.
Articles 1–20