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, 1-33, 2018
1152018
A unified framework for verification techniques for object invariants
S Drossopoulou, A Francalanza, P Müller, AJ Summers
European Conference on Object-Oriented Programming, 412-437, 2008
562008
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
552008
Synthesising correct concurrent runtime monitors
A Francalanza, A Seychell
Formal Methods in System Design 46 (3), 226-261, 2015
462015
Monitorability for the Hennessy–Milner logic with recursion
A Francalanza, L Aceto, A Ingolfsdottir
Formal Methods in System Design 51 (1), 87-116, 2017
442017
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
Runtime verification for decentralised and distributed systems
A Francalanza, JA Pérez, C Sánchez
Lectures on Runtime Verification, 176-210, 2018
402018
A theory of monitors
A Francalanza
Information and Computation, 104704, 2021
382021
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
372017
On implementing a monitor-oriented programming framework for actor systems
I Cassar, A Francalanza
International Conference on Integrated Formal Methods, 176-192, 2016
342016
Distributed system contract monitoring
A Francalanza, A Gauci, GJ Pace
The Journal of Logic and Algebraic Programming 82 (5-7), 186-215, 2013
342013
Universe types for topology and encapsulation
D Cunningham, W Dietl, S Drossopoulou, A Francalanza, P Müller, ...
International Symposium on Formal Methods for Components and Objects, 72-112, 2007
342007
Elarva: A monitoring tool for erlang
C Colombo, A Francalanza, R Gatt
International Conference on Runtime Verification, 370-374, 2011
332011
On synchronous and asynchronous monitor instrumentation for actor-based systems
I Cassar, A Francalanza
arXiv preprint arXiv:1502.03514, 2015
312015
A monitoring tool for a branching-time logic
DP Attard, A Francalanza
International Conference on Runtime Verification, 473-481, 2016
302016
polyLarva: Runtime Verification with Configurable Resource-Aware Monitoring Boundaries
C Colombo, A Francalanza, R Mizzi, GJ Pace
International Conference on Software Engineering and Formal Methods, 218-232, 2012
302012
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
282019
A survey of runtime monitoring instrumentation techniques
I Cassar, A Francalanza, L Aceto, A Ingólfsdóttir
arXiv preprint arXiv:1708.07229, 2017
282017
On verifying hennessy-milner logic with recursion at runtime
A Francalanza, L Aceto, A Ingólfsdóttir
Runtime Verification, 71-86, 2015
272015
Runtime adaptation for actor systems
I Cassar, A Francalanza
Runtime Verification, 38-54, 2015
252015
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20