Folgen
Ian Cassar
Ian Cassar
Bestätigte E-Mail-Adresse bei um.edu.mt
Titel
Zitiert von
Zitiert von
Jahr
A survey of runtime monitoring instrumentation techniques
I Cassar, A Francalanza, L Aceto, A Ingólfsdóttir
arXiv preprint arXiv:1708.07229, 2017
722017
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
682017
On implementing a monitor-oriented programming framework for actor systems
I Cassar, A Francalanza
Integrated Formal Methods: 12th International Conference, IFM 2016 …, 2016
482016
On runtime enforcement via suppressions
L Aceto, I Cassar, A Francalanza, A Ingólfsdóttir
arXiv preprint arXiv:1807.01004, 2018
432018
On synchronous and asynchronous monitor instrumentation for actor-based systems
I Cassar, A Francalanza
arXiv preprint arXiv:1502.03514, 2015
372015
Runtime adaptation for actor systems
I Cassar, A Francalanza
Runtime Verification: 6th International Conference, RV 2015, Vienna, Austria …, 2015
302015
The economic impact of Covid-19 pandemic in Sardinia
S Deriu, IP Cassar, R Pretaroli, C Socci
Research in Transportation Economics 93, 101090, 2022
192022
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
192017
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
182017
Improving runtime overheads for detecter
I Cassar, A Francalanza, S Said
arXiv preprint arXiv:1503.04912, 2015
172015
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
162017
Reliability and fault-tolerance by choreographic design
I Cassar, A Francalanza, CA Mezzina, E Tuosto
arXiv preprint arXiv:1708.07233, 2017
152017
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
112019
Developing theoretical foundations for runtime enforcement
I Cassar, A Francalanza, L Aceto, A Ingolfsdottir
arXiv preprint arXiv:1804.08917, 2018
82018
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 23 (4), 601-614, 2021
72021
On bidirectional runtime enforcement
L Aceto, I Cassar, A Francalanza, A Ingólfsdóttir
International Conference on Formal Techniques for Distributed Objects …, 2021
72021
Estimates of Output, Income, Value Added and Employment Multipliers for the Maltese Economy. Published by the Central Bank of Malta
IP Cassar
WP/03, 2015
52015
Bidirectional runtime enforcement of first-order branching-time properties
L Aceto, I Cassar, A Francalanza, A Ingolfsdottir
Logical Methods in Computer Science 19, 2023
32023
On bidirectional enforcement
L Aceto, I Cassar, A Francalanza, A Ingólfsdóttir
Technical report Reykjavik University, 2020
22020
The impact of a high influx of foreign workers on the Beveridge curve relation–evidence for Malta from an ARDL approach
D Baldacchino, IP Cassar
International Journal of Economics and Business Research 24 (4), 490-519, 2022
12022
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20