Follow
Adrian Francalanza
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
2212018
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
702017
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
652019
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
642008
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
612018
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
612017
Synthesising correct concurrent runtime monitors
A Francalanza, A Seychell
Formal Methods in System Design 46 (3), 226-261, 2015
612015
A survey of runtime monitoring instrumentation techniques
I Cassar, A Francalanza, L Aceto, A Ingólfsdóttir
arXiv preprint arXiv:1708.07229, 2017
592017
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
592008
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
562019
A theory of monitors
A Francalanza
Foundations of Software Science and Computation Structures: 19th …, 2016
462016
A monitoring tool for a branching-time logic
DP Attard, A Francalanza
Runtime Verification: 16th International Conference, RV 2016, Madrid, Spain …, 2016
452016
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
442009
Distributed system contract monitoring
A Francalanza, A Gauci, GJ Pace
The Journal of Logic and Algebraic Programming 82 (5-7), 186-215, 2013
422013
On implementing a monitor-oriented programming framework for actor systems
I Cassar, A Francalanza
Integrated Formal Methods: 12th International Conference, IFM 2016 …, 2016
412016
Elarva: A monitoring tool for erlang
C Colombo, A Francalanza, R Gatt
Runtime Verification: Second International Conference, RV 2011, San …, 2012
382012
On runtime enforcement via suppressions
L Aceto, I Cassar, A Francalanza, A Ingólfsdóttir
arXiv preprint arXiv:1807.01004, 2018
372018
On verifying Hennessy-Milner logic with recursion at runtime
A Francalanza, L Aceto, A Ingólfsdóttir
Runtime Verification: 6th International Conference, RV 2015, Vienna, Austria …, 2015
362015
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
362012
A framework for parameterized monitorability
A Ingólfsdóttir
Foundations of Software Science and Computation Structures LNCS 10803, 203, 2018
352018
The system can't perform the operation now. Try again later.
Articles 1–20