Ian Cassar - RankMe

20 papers B 5C 1Journal 7Unranked 7

Year	Rank	Type	Title / Venue / Authors
2023	J	`jnl`	Bidirectional Runtime Enforcement of First-Order Branching-Time Properties. Log. Methods Comput. Sci. Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingólfsdóttir
2023	J	`jnl`	On first-order runtime enforcement of branching-time properties. Acta Informatica Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingólfsdóttir
2022	J	`jnl`	Bidirectional Runtime Enforcement of First-Order Branching-Time Properties. CoRR Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingólfsdóttir
2021	J	`jnl`	Comparing controlled system synthesis and suppression enforcement. Int. J. Softw. Tools Technol. Transf. Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingólfsdóttir
2021	C	`conf`	On Bidirectional Runtime Enforcement. FORTE Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingólfsdóttir
2019	B	`conf`	Comparing Controlled System Synthesis and Suppression Enforcement. RV Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingólfsdóttir
2018	J	`jnl`	Developing Theoretical Foundations for Runtime Enforcement. CoRR Ian Cassar, Adrian Francalanza, Luca Aceto, Anna Ingólfsdóttir
2018	B	`conf`	On Runtime Enforcement via Suppressions. CONCUR Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingólfsdóttir
2018	J	`jnl`	On Runtime Enforcement via Suppressions. CoRR Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingólfsdóttir
2017	B	`conf`	A Foundation for Runtime Monitoring. RV Adrian Francalanza, Luca Aceto, Antonis Achilleos, Duncan Paul Attard, Ian Cassar, Dario Della Monica, Anna Ingólfsdóttir
2017	—	`conf`	A Generic Instrumentation Tool for Erlang. RV-CuBES Ian Cassar, Adrian Francalanza, Duncan Paul Attard, Luca Aceto, Anna Ingólfsdóttir
2017	—	`conf`	A Suite of Monitoring Tools for Erlang. RV-CuBES Ian Cassar, Adrian Francalanza, Duncan Paul Attard, Luca Aceto, Anna Ingólfsdóttir
2017	—	`conf`	A Survey of Runtime Monitoring Instrumentation Techniques. PrePost@iFM Ian Cassar, Adrian Francalanza, Luca Aceto, Anna Ingólfsdóttir
2017	—	`conf`	Reliability and Fault-Tolerance by Choreographic Design. PrePost@iFM Ian Cassar, Adrian Francalanza, Claudio Antares Mezzina, Emilio Tuosto
2017	J	`jnl`	Towards Runtime Adaptation of Actor Systems. CoRR Ian Cassar
2017	—	`conf`	eAOP: an aspect oriented programming framework for Erlang. Erlang Workshop Ian Cassar, Adrian Francalanza, Luca Aceto, Anna Ingólfsdóttir
2016	B	`conf`	On Implementing a Monitor-Oriented Programming Framework for Actor Systems. IFM Ian Cassar, Adrian Francalanza
2015	—	`conf`	Improving Runtime Overheads for detectEr. FESCA Ian Cassar, Adrian Francalanza, Simon Said
2015	B	`conf`	Runtime Adaptation for Actor Systems. RV Ian Cassar, Adrian Francalanza
2014	—	`conf`	On Synchronous and Asynchronous Monitor Instrumentation for Actor-based systems. FOCLASA Ian Cassar, Adrian Francalanza