Seguir
Adrian Francalanza
Título
Citado por
Citado por
Ano
Introduction to runtime verification
E Bartocci, Y Falcone, A Francalanza, G Reger
Lectures on Runtime Verification: Introductory and Advanced Topics, 1-33, 2018
3152018
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
932019
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
802018
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
762017
A survey of runtime monitoring instrumentation techniques
I Cassar, A Francalanza, L Aceto, A Ingólfsdóttir
arXiv preprint arXiv:1708.07229, 2017
712017
Synthesising correct concurrent runtime monitors
A Francalanza, A Seychell
Formal Methods in System Design 46 (3), 226-261, 2015
692015
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
662019
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
662017
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
652008
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
602008
A monitoring tool for a branching-time logic
DP Attard, A Francalanza
International Conference on Runtime Verification, 473-481, 2016
492016
A theory of monitors
A Francalanza
Foundations of Software Science and Computation Structures: 19th …, 2016
472016
On implementing a monitor-oriented programming framework for actor systems
I Cassar, A Francalanza
Integrated Formal Methods: 12th International Conference, IFM 2016 …, 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
452013
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
432009
On runtime enforcement via suppressions
L Aceto, I Cassar, A Francalanza, A Ingólfsdóttir
arXiv preprint arXiv:1807.01004, 2018
422018
Elarva: A monitoring tool for erlang
C Colombo, A Francalanza, R Gatt
Runtime Verification: Second International Conference, RV 2011, San …, 2012
412012
A framework for parameterized monitorability
A Ingólfsdóttir
Foundations of Software Science and Computation Structures LNCS 10803, 203, 2018
392018
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
392017
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
392015
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20