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
712017
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
662017
On implementing a monitor-oriented programming framework for actor systems
I Cassar, A Francalanza
Integrated Formal Methods: 12th International Conference, IFM 2016 …, 2016
472016
On runtime enforcement via suppressions
L Aceto, I Cassar, A Francalanza, A Ingólfsdóttir
arXiv preprint arXiv:1807.01004, 2018
422018
On synchronous and asynchronous monitor instrumentation for actor-based systems
I Cassar, A Francalanza
arXiv preprint arXiv:1502.03514, 2015
362015
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
182022
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
182017
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
172017
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
Improving runtime overheads for detecter
I Cassar, A Francalanza, S Said
arXiv preprint arXiv:1503.04912, 2015
162015
Reliability and fault-tolerance by choreographic design
I Cassar, A Francalanza, CA Mezzina, E Tuosto
arXiv preprint arXiv:1708.07233, 2017
142017
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
102019
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
22023
On bidirectional enforcement
L Aceto, I Cassar, A Francalanza, A Ingólfsdóttir
Technical report Reykjavik University, 2020
22020
Malta competitiveness report 2020
P von Brockdorff, S Fabri, IP Cassar
National Productivity Board, 2020
12020
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20