Concepedia

Ian Cassar

IC

8

Publications

161

Citations

8

H-Index

2014

Active since

Affiliations

University of Malta(Current)

Reykjavík University

Gran Sasso Science Institute

Ian Cassar is an author at University of Malta specializing in program analysis, formal methods, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationVerificationSystem SoftwareSystems EngineeringComputer Engineering

Publications per year

2014–2021

8

Publications

8

A Survey of Runtime Monitoring Instrumentation Techniques

Ian Cassar, Adrian Francalanza, Luca Aceto et al. · Electronic Proceedings in Theoretical Computer Science · 2017 · 55 citations · Full text

Software Maintenance, Engineering, Verification +21

On Synchronous and Asynchronous Monitor Instrumentation for Actor-based systems

Ian Cassar, Adrian Francalanza · Electronic Proceedings in Theoretical Computer Science · 2015 · 21 citations · Full text

Engineering, Runtime Overheads, Verification +21

On Runtime Enforcement via Suppressions

Luca Aceto, Ian Cassar, Adrian Francalanza et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2018 · 19 citations · Full text

Engineering, Information Security, Verification +20

The economic impact of Covid-19 pandemic in Sardinia

Stefano Deriu, Ian Cassar, Rosita Pretaroli et al. · Research in Transportation Economics · 2021 · 18 citations · Full text

Health Economics, Global Health Crisis, Covid-19 Pandemic +7

Estimates of output, income value added and employment multipliers for the Maltese economy

Ian Cassar · OAR@UM (University of Malta) · 2015 · 15 citations · Full text

Rows per page

1–5 of 8