Följ
Adrian Francalanza
Titel
Citeras av
Citeras av
År
Introduction to runtime verification
E Bartocci, Y Falcone, A Francalanza, G Reger
Lectures on Runtime Verification: Introductory and Advanced Topics, 1-33, 2018
3722018
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
1222019
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
972018
A survey of runtime monitoring instrumentation techniques
I Cassar, A Francalanza, L Aceto, A Ingólfsdóttir
arXiv preprint arXiv:1708.07229, 2017
832017
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
782017
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
762019
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
752017
Synthesising correct concurrent runtime monitors
A Francalanza, A Seychell
Formal Methods in System Design 46 (3), 226-261, 2015
742015
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
672008
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
532016
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
472013
Elarva: A monitoring tool for erlang
C Colombo, A Francalanza, R Gatt
Runtime Verification: Second International Conference, RV 2011, San …, 2012
462012
On runtime enforcement via suppressions
L Aceto, I Cassar, A Francalanza, A Ingólfsdóttir
arXiv preprint arXiv:1807.01004, 2018
452018
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
422017
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
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
412015
On synchronous and asynchronous monitor instrumentation for actor-based systems
I Cassar, A Francalanza
arXiv preprint arXiv:1502.03514, 2015
402015
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20