Concepedia
Statistics
Publications
24
Citations
629
H-Index
15
Active since
2007
Affiliations
University of Malta(Current)
Reykjavík University
Gran Sasso Science Institute
University of Southampton
National and Kapodistrian University of Athens
Adrian Francalanza is an author at University of Malta specializing in computing, computer science, and formal methods.
Publications per year
2007–2021
A survey of challenges for runtime verification from advanced application domains (beyond software)
César Sánchez, Gerardo Schneider, Wolfgang Ahrendt et al. · Chalmers Research (Chalmers University of Technology) · 2019 · 100 citations
Computing, Computer Engineering, Computer Science +12
A Survey of Runtime Monitoring Instrumentation Techniques
Ian Cassar, Adrian Francalanza, Luca Aceto et al. · Electronic Proceedings in Theoretical Computer Science · 2017 · 56 citations · Full text
Computing, Computer Engineering, Computer Science +13
Monitorability for the Hennessy–Milner logic with recursion
Adrian Francalanza, Luca Aceto, Anna Ingólfsdóttir · Formal Methods in System Design · 2017 · 54 citations
Computing, Computer Engineering, Computer Science +11
Synthesising correct concurrent runtime monitors
Adrian Francalanza, Aldrin Seychell · Formal Methods in System Design · 2014 · 49 citations · Full text
Distributed system contract monitoring
Adrian Francalanza, Andrew Gauci, Gordon J. Pace · The Journal of Logic and Algebraic Programming · 2013 · 34 citations · Full text
Computing, Computer Science, Computer Systems +8
1–5 of 24