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
402017
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
A survey of runtime monitoring instrumentation techniques
I Cassar, A Francalanza, L Aceto, A Ingólfsdóttir
arXiv preprint arXiv:1708.07229, 2017
302017
Runtime adaptation for actor systems
I Cassar, A Francalanza
Runtime Verification, 38-54, 2015
252015
On runtime enforcement via suppressions
L Aceto, I Cassar, A Francalanza, A Ingólfsdóttir
arXiv preprint arXiv:1807.01004, 2018
222018
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
132017
Reliability and fault-tolerance by choreographic design
I Cassar, A Francalanza, CA Mezzina, E Tuosto
arXiv preprint arXiv:1708.07233, 2017
102017
Improving runtime overheads for detecter
I Cassar, A Francalanza, S Said
arXiv preprint arXiv:1503.04912, 2015
102015
A suite of monitoring tools for Erlang
I Cassar, A Francalanza, D Attard, L Aceto, A Ingolfsdottir
Kalpa Publications in Computing 3, 41-47, 2017
92017
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
82017
Does absence of charismatic species impact the ecotourism potential of Central Mediterranean islands?
K Agius, N Theuma, A Deidun
Malta Chamber of Scientists, 2018
62018
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
42019
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
22019
Developing Theoretical Foundations for Runtime Enforcement
I Cassar, A Francalanza, L Aceto, A Ingolfsdottir
arXiv preprint arXiv:1804.08917, 2018
12018
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
Typing Adaptation Monitors for Actor Systems
I Cassar
2016
Towards achieving efficient runtime enforcement for component based systems
I Cassar, A Francalanza
University of Malta. Faculty of ICT, 2014
2014
The system can't perform the operation now. Try again later.
Articles 1–20