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
3472018
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
1122019
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
902018
A survey of runtime monitoring instrumentation techniques
I Cassar, A Francalanza, L Aceto, A Ingólfsdóttir
arXiv preprint arXiv:1708.07229, 2017
792017
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
772017
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
742019
A foundation for runtime monitoring
A Francalanza, L Aceto, A Achilleos, DP Attard, I Cassar, D Della Monica, ...
International Conference on Runtime Verification, 8-29, 2017
732017
Synthesising correct concurrent runtime monitors
A Francalanza, A Seychell
Formal Methods in System Design 46 (3), 226-261, 2015
732015
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
662008
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
612008
A monitoring tool for a branching-time logic
DP Attard, A Francalanza
International Conference on Runtime Verification, 473-481, 2016
512016
On implementing a monitor-oriented programming framework for actor systems
I Cassar, A Francalanza
Integrated Formal Methods: 12th International Conference, IFM 2016 …, 2016
492016
A theory of monitors
A Francalanza
Foundations of Software Science and Computation Structures: 19th …, 2016
472016
Distributed system contract monitoring
A Francalanza, A Gauci, GJ Pace
The Journal of Logic and Algebraic Programming 82 (5-7), 186-215, 2013
462013
On runtime enforcement via suppressions
L Aceto, I Cassar, A Francalanza, A Ingólfsdóttir
arXiv preprint arXiv:1807.01004, 2018
452018
Elarva: A monitoring tool for erlang
C Colombo, A Francalanza, R Gatt
Runtime Verification: Second International Conference, RV 2011, San …, 2012
432012
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
422009
Heaps don't lie: countering unsoundness with heap snapshots
N Grech, G Fourtounis, A Francalanza, Y Smaragdakis
Proceedings of the ACM on Programming Languages 1 (OOPSLA), 1-27, 2017
412017
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
402012
A framework for parameterized monitorability
A Ingólfsdóttir
Foundations of Software Science and Computation Structures LNCS 10803, 203, 2018
392018
The system can't perform the operation now. Try again later.
Articles 1–20