On Verifying Hennessy-Milner Logic with Recursion at Runtime
Adrian Francalanza, Luca Aceto, Anna Ingolfsdottir
RV'15 Extended Abstract, Runtime Adaptation for Actor Systems
Ian Cassar, Adrian Francalanza RV'15 Extended Abstract, Investigating Instrumentation Techniques for ESB Runtime Verification
Christian Colombo, Gabriel Dimech, Adrian Francalanza SEFM'15 Extended Abstract, Unlocking Blocked Communicating Processes
Adrian Francalanza, Marco Giunti, Antonio RavaraWWV'15 Extended Abstract,
An LTL Proof System for Runtime Verification
Clare Cini, Adrian FrancalanzaTACAS'15 Extended Abstract , bib TeX entry
Improving Runtime Overheads for Erlang
Ian Cassar, Adrian Francalanza, Simon SaidFESCA'15 Paper , bib TeX entry
Prototype implementation available here.
Formal Proofs for Broadcast Algorithms
Mandy Zammit, Adrian FrancalanzaXJENZA'14 Paper
Monitoring Distributed Systems with Distributed PolyLarva
Ian Cassar, Christian Colombo, Adrian FrancalanzaXJENZA'14 Paper
Uniqueness Typing For A Higher-Order Language
Melanie Zammit, Adrian FrancalanzaXJENZA'14 Paper
On Synchronous and Asynchronous Monitor Instrumentation for Actor-based systems
Ian Cassar, Adrian FrancalanzaFOCLASA'14 Paper , bib TeX entry
Prototype implementation available here.
Code Management Automation for Erlang Remote Actors
Adrian Francalanza, Tyron ZerafaErlang Workshop Position paper , bib TeX entry
Agere'13 Paper , bib TeX entry
Prototype implementation available here.
Synthesising Correct Concurrent Runtime Monitors in Erlang
Adrian Francalanza, Aldrin SeychellTechnical Report , bib TeX entry
RV'13 Extended abstract , bib TeX entry
FMSD'14 Journal Paper.
DetectEr Tool Available here
Extensible Technology Agnostic Runtime Verification
Cristian Colombo, Adrian Francalanza, Ruth Mizzi, Gordon PaceFESCA'12 Extended abstract , bib TeX entry
Simplifying Contract-Violating Traces
Cristian Colombo, Adrian Francalanza, Ian GrimaFLACOS'12 Extended abstract , bib TeX entry
polyLarva: Runtime Verification with Configurable Resource-Aware Monitoring Boundaries
Cristian Colombo, Adrian Francalanza, Ruth Mizzi, Gordon PaceSEFM'12 Extended abstract , bib TeX entry
Towards a Formalisation of Erlang Failure and Failure Detection
Audrianne Farrugia, Adrian FrancalanzaWICT'12 Extended abstract , bib TeX entry
Towards a Specification-Based Correctness of Erlang Systems Through Asynchronous Monitoring
Christian Colombo, Adrian FrancalanzaWICT'12 Extended abstract , bib TeX entry
Considerations for Monitoring Highly Concurrent Systems
Ruth Mizzi, Christian Colombo, Adrian Francalanza, Gordon PaceWICT'12 Extended abstract, bib TeX entry
Elarva: A Monitoring tool for Erlang
Cristian Colombo, Adrian Francalanza, Rudolph GattRV'11 Extended abstract , bib TeX entry
Distributed System Contract Monitoring
Adrian Francalanza, Andrew Gauci, Gordon PaceFLACOS'11 Extended abstract , bib TeX entry
JLAP Journal Paper, bib TeX entry
Compositional Reasoning about Explicit Resource Management
Edsko De Vries, Adrian Francalanza, Matthew HennessyPLACES'11 Extended abstract , bib TeX entry
Technical Report
LMCS'14 Journal Paper , bib TeX entry
Permission-based Separation Logic for Message-Passing Concurrency
Adrian Francalanza, Julian Rathke, Vladimiro SassoneLMCS'11 Journal Paper , bib TeX entry
Distributed Protocols as Behaviours in Erlang
Darren Demicoli, Adrian FrancalanzaWICT'10 Extended abstract , bib TeX entry
Runtime Monitoring of Distributed Systems
Andrew Gauci, Adrian Francalanza, Gordon PaceWICT'10 Extended abstract , bib TeX entry
Compensations in an Imperative Programming Language
Lydia Vella, Adrian Francalanza, Gordon PaceWICT'10 Extended abstract , bib TeX entry
Assessing Design Patterns for Concurrency
Fikre Leguesse, Adrian FrancalanzaWICT'09 Extended abstract , bib TeX entry
Uniqueness Typing for Resource Management in Message-Passing Concurrency
Edsko De Vries, Adrian Francalanza, Matthew HennessyLinearity'09 Extended abstract , bib TeX entry
J.Log.Comp.'12 Journal Paper, bib TeX entry
A Formal Model of Provenance in Distributed Systems
Issam Souilah, Adrian Francalanza, Vladimiro SassoneTaPP 2009 Extended abstract , bib TeX entry
A Unified Framework for Verification Techniques for Object Invariants
Sophia Drossopoulou, Adrian Francalanza, Peter Mueller, Alex SummersFOOL 2008 Workshop extended abstract ,
ECOOP 2008 Conference Paper , Full Paper , bib TeX entry
Universe Types for Topology and Encapsulation
Dave Cunningham, Werner Dietl, Sophia Drossopoulou, Adrian Francalanza, Peter Mueller and Alex SummersFMCO'08 Journal Paper , bib TeX entry
A Fault-Tolerance Bisimulation Proof for Consensus
Adrian Francalanza, Matthew HennessyESOP 2007 Extended abstract , bib TeX entry
A Theory of Observational Fault Tolerance
Adrian Francalanza, Matthew HennessyFoSSaCS 2006 Extended abstract , bib TeX entry,
JLAP 2007 Journal Paper, bib TeX entry
A Theory of System Behaviour in the Presence of Node and Link Failures
Adrian Francalanza, Matthew HennessySussex Technical Report cs01:2005, ps.gz,
CONCUR 2005 Extended abstract , bib TeX entry,
Information and Computation 2008 Journal Paper, bib TeX entry
A Study of Failure in a Distributed Pi-calculus
Adrian FrancalanzaD.Phil Thesis, University of Sussex, 2006 pdf, bib TeX entry