AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Adrian Francalanza

Adrian Francalanza

University of Malta - Msida / Malta
Others
AD Scientific Index ID: 2005774
Università ta’ Malta
person_outline Adrian Francalanza's MOST POPULAR ARTICLES
1-) Introduction to runtime verification Lectures on Runtime Verification: Introductory and Advanced Topics, 1-33, 2018
2-) A survey of challenges for runtime verification from advanced application domains (beyond software) Formal Methods in System Design 54 (3), 279-335, 2019
3-) Runtime verification for decentralised and distributed systems Lectures on Runtime Verification: Introductory and Advanced Topics, 176-210, 2018
4-) A survey of runtime monitoring instrumentation techniques arXiv preprint arXiv:1708.07229, 2017
5-) Monitorability for the Hennessy–Milner logic with recursion Formal Methods in System Design 51 (1), 87-116, 2017