Adrian Francalanza

Cited by

	All	Since 2018
Citations	2013	1456
h-index	28	21
i10-index	49	39

440

220

110

330

20052006200720082009201020112012201320142015201620172018201920202021202220235 11 19 20 27 19 20 46 43 42 56 69 151 210 240 219 430 292 65

Public access

View all

48 articles

1 article

available

not available

Based on funding mandates

Co-authors

Anna IngolfsdottirProfessor of Computer Science, Reykjavík UniversityVerified email at ru.is
Luca AcetoDepartment of Computer Science, Reykjavik University, and Gran Sasso Science Institute, L'AquilaVerified email at ru.is
Antonis AchilleosReykjavik UniversityVerified email at ru.is
Ian CassarUniversity of MaltaVerified email at um.edu.mt
Christian ColomboUniversity of MaltaVerified email at um.edu.mt
Gordon J. PaceDepartment of Computer Science, University of MaltaVerified email at um.edu.mt
matthew hennessyProfessor of Computer ScienceVerified email at cs.tcd.ie
Duncan Paul AttardUniversity of Malta and Reykjavík UniversityVerified email at um.edu.mt
Karoliina LehtinenCNRS, Aix-Marseille Université, LISVerified email at lis-lab.fr
Yliès FalconeUniv. Grenoble Alpes and InriaVerified email at univ-grenoble-alpes.fr
Sophia DrossopoulouProfessor, Imperial College LondonVerified email at imperial.ac.uk
Peter MüllerETH ZurichVerified email at inf.ethz.ch
Emilio TuostoGran Sasso Science InstituteVerified email at gssi.it
Alceste ScalasAssociate Professor in Computer Science, DTU Compute, Technical University of DenmarkVerified email at dtu.dk
Alexander J. SummersThe University of British ColumbiaVerified email at ubc.ca
Christian Bartolo BurlòPhD Student, Gran Sasso Science InstituteVerified email at gssi.it
Cesar SanchezAssociate Research Professor, IMDEA Software InstituteVerified email at imdea.org
Dejan NickovicAustrian Institute of TechnologyVerified email at ait.ac.at
Dario Della MonicaUniversity of Udine (Italy)Verified email at uniud.it
Giles RegerAmazon and University of ManchesterVerified email at manchester.ac.uk

Adrian Francalanza

University of Malta

Verified email at um.edu.mt - Homepage

Static and Runtime Verification Concurrency Programming Language Semantics


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Introduction to runtime verification E Bartocci, Y Falcone, A Francalanza, G Reger Lectures on Runtime Verification: Introductory and Advanced Topics, 1-33, 2018	224	2018
Monitorability for the Hennessy–Milner logic with recursion A Francalanza, L Aceto, A Ingólfsdóttir Formal Methods in System Design 51 (1), 87-116, 2017	72	2017
A survey of challenges for runtime verification from advanced application domains (beyond software) C Sánchez, G Schneider, W Ahrendt, E Bartocci, D Bianculli, C Colombo, ... Formal Methods in System Design 54, 279-335, 2019	69	2019
A unified framework for verification techniques for object invariants S Drossopoulou, A Francalanza, P Müller, AJ Summers ECOOP 2008–Object-Oriented Programming: 22nd European Conference Paphos …, 2008	64	2008
Runtime verification for decentralised and distributed systems A Francalanza, JA Pérez, C Sánchez Lectures on Runtime Verification: Introductory and Advanced Topics, 176-210, 2018	63	2018
Synthesising correct concurrent runtime monitors A Francalanza, A Seychell Formal Methods in System Design 46 (3), 226-261, 2015	63	2015
A foundation for runtime monitoring A Francalanza, L Aceto, A Achilleos, DP Attard, I Cassar, D Della Monica, ... Runtime Verification: 17th International Conference, RV 2017, Seattle, WA …, 2017	61	2017
A survey of runtime monitoring instrumentation techniques I Cassar, A Francalanza, L Aceto, A Ingólfsdóttir arXiv preprint arXiv:1708.07229, 2017	59	2017
A theory of system behaviour in the presence of node and link failure A Francalanza, M Hennessy Information and Computation 206 (6), 711-759, 2008	59	2008
Adventures in monitorability: from branching to linear time and back again L Aceto, A Achilleos, A Francalanza, A Ingólfsdóttir, K Lehtinen Proceedings of the ACM on Programming Languages 3 (POPL), 1-29, 2019	58	2019
A monitoring tool for a branching-time logic DP Attard, A Francalanza Runtime Verification: 16th International Conference, RV 2016, Madrid, Spain …, 2016	46	2016
A theory of monitors A Francalanza Foundations of Software Science and Computation Structures: 19th …, 2016	46	2016
A Formal Model of Provenance in Distributed Systems. I Souilah, A Francalanza, V Sassone Workshop on the Theory and Practice of Provenance, 1-11, 2009	44	2009
Distributed system contract monitoring A Francalanza, A Gauci, GJ Pace The Journal of Logic and Algebraic Programming 82 (5-7), 186-215, 2013	42	2013
On implementing a monitor-oriented programming framework for actor systems I Cassar, A Francalanza Integrated Formal Methods: 12th International Conference, IFM 2016 …, 2016	41	2016
On runtime enforcement via suppressions L Aceto, I Cassar, A Francalanza, A Ingólfsdóttir arXiv preprint arXiv:1807.01004, 2018	38	2018
Elarva: A monitoring tool for erlang C Colombo, A Francalanza, R Gatt Runtime Verification: Second International Conference, RV 2011, San …, 2012	38	2012
polyLarva: Runtime Verification with Configurable Resource-Aware Monitoring Boundaries C Colombo, A Francalanza, R Mizzi, GJ Pace Software Engineering and Formal Methods: 10th International Conference, SEFM …, 2012	37	2012
A framework for parameterized monitorability A Ingólfsdóttir Foundations of Software Science and Computation Structures LNCS 10803, 203, 2018	36	2018
Consistently-detecting monitors A Francalanza 28th International Conference on Concurrency Theory (CONCUR 2017), 2017	36	2017

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors