A Theory of System Behaviour in the Presence of Node and Link Failures. - Adrian Francalanza; Matthew Hennessy (CONCUR, 2005)

A study of failure in a distributed pi-calculus. - Adrian Francalanza (2005)

A Fault Tolerance Bisimulation Proof for Consensus (Extended Abstract). - Adrian Francalanza; Matthew Hennessy (ESOP, 2007)

Universe Types for Topology and Encapsulation. - Dave Cunningham; Werner Dietl; Sophia Drossopoulou; Adrian Francalanza; Peter Müller 001; Alexander J. Summers (FMCO, 2007)

A theory for observational fault tolerance. - Adrian Francalanza; Matthew Hennessy (J. Log. Algebraic Methods Program., 2007)

A Unified Framework for Verification Techniques for Object Invariants. - Sophia Drossopoulou; Adrian Francalanza; Peter Müller 001; Alexander J. Summers (Types, Logics and Semantics for State, 2008)

A theory of system behaviour in the presence of node and link failure. - Adrian Francalanza; Matthew Hennessy (Inf. Comput., 2008)

A Formal Model of Provenance in Distributed Systems. - Issam Souilah; Adrian Francalanza; Vladimiro Sassone (Workshop on the Theory and Practice of Provenance, 2009)

Elarva: A Monitoring Tool for Erlang. - Christian Colombo 001; Adrian Francalanza; Rudolph Gatt (RV, 2011)

Permission-Based Separation Logic for Message-Passing Concurrency - Adrian Francalanza; Julian Rathke; Vladimiro Sassone (Log. Methods Comput. Sci., 2011)

Distributed System Contract Monitoring - Adrian Francalanza; Andrew Gauci; Gordon J. Pace (FLACOS, 2011)

polyLarva: Runtime Verification with Configurable Resource-Aware Monitoring Boundaries. - Christian Colombo 001; Adrian Francalanza; Ruth Mizzi; Gordon J. Pace (SEFM, 2012)

Simplifying Contract-Violating Traces - Christian Colombo 001; Adrian Francalanza; Ian Grima (FLACOS, 2012)

Code management automation for Erlang remote actors. - Adrian Francalanza; Tyron Zerafa (AGERE!@SPLASH, 2013)

Towards an abstraction for remote evaluation in Erlang. - Adrian Francalanza; Tyron Zerafa (Erlang Workshop, 2013)

Synthesising Correct Concurrent Runtime Monitors - (Extended Abstract). - Adrian Francalanza; Aldrin Seychell (RV, 2013)

Extensible Technology-Agnostic Runtime Verification - Christian Colombo 001; Adrian Francalanza; Ruth Mizzi; Gordon J. Pace (FESCA, 2013)

On Synchronous and Asynchronous Monitor Instrumentation for Actor-based systems. - Ian Cassar; Adrian Francalanza (FOCLASA, 2014)

Compositional Reasoning for Explicit Resource Management in Channel-Based Concurrency. - Adrian Francalanza; Edsko de Vries; Matthew Hennessy (Log. Methods Comput. Sci., 2014)

Uniqueness typing for resource management in message-passing concurrency. - Edsko de Vries; Adrian Francalanza; Matthew Hennessy (J. Log. Comput., 2014)

Runtime Adaptation for Actor Systems. - Ian Cassar; Adrian Francalanza (RV, 2015)

On Verifying Hennessy-Milner Logic with Recursion at Runtime. - Adrian Francalanza; Luca Aceto; Anna Ingólfsdóttir (RV, 2015)

Investigating Instrumentation Techniques for ESB Runtime Verification. - Christian Colombo 001; Gabriel Dimech; Adrian Francalanza (SEFM, 2015)

An LTL Proof System for Runtime Verification. - Clare Cini; Adrian Francalanza (TACAS, 2015)

Improving Runtime Overheads for detectEr. - Ian Cassar; Adrian Francalanza; Simon Said (FESCA, 2015)

Unlocking Blocked Communicating Processes. - Adrian Francalanza; Marco Giunti; António Ravara (WWV, 2015)

Synthesising correct concurrent runtime monitors. - Adrian Francalanza; Aldrin Seychell (Formal Methods Syst. Des., 2015)

Using gherkin to extract tests and monitors for safer medical device interaction design. - Abigail Cauchi; Christian Colombo 001; Adrian Francalanza; Mark Micallef; Gordon J. Pace (EICS, 2016)

A Theory of Monitors - (Extended Abstract). - Adrian Francalanza (FoSSaCS, 2016)

On Implementing a Monitor-Oriented Programming Framework for Actor Systems. - Ian Cassar; Adrian Francalanza (IFM, 2016)

A Monitoring Tool for a Branching-Time Logic. - Duncan Paul Attard; Adrian Francalanza (RV, 2016)

Preliminary Results Towards Contract Monitorability. - Annalizz Vella; Adrian Francalanza (PrePost@IFM, 2016)

Consistently-Detecting Monitors. - Adrian Francalanza (CONCUR, 2017)

Full-Abstraction for Must Testing Preorders - (Extended Abstract). - Giovanni Bernardi 001; Adrian Francalanza (COORDINATION, 2017)

eAOP: an aspect oriented programming framework for Erlang. - Ian Cassar; Adrian Francalanza; Luca Aceto; Anna Ingólfsdóttir (Erlang Workshop, 2017)

Monitoring for Silent Actions. - Luca Aceto; Antonis Achilleos; Adrian Francalanza; Anna Ingólfsdóttir (FSTTCS, 2017)

A Suite of Monitoring Tools for Erlang. - Ian Cassar; Adrian Francalanza; Duncan Paul Attard; Luca Aceto; Anna Ingólfsdóttir (RV-CuBES, 2017)

A Generic Instrumentation Tool for Erlang. - Ian Cassar; Adrian Francalanza; Duncan Paul Attard; Luca Aceto; Anna Ingólfsdóttir (RV-CuBES, 2017)

A Foundation for Runtime Monitoring. - Adrian Francalanza; Luca Aceto; Antonis Achilleos; Duncan Paul Attard; Ian Cassar; Dario Della Monica; Anna Ingólfsdóttir (RV, 2017)

Trace Partitioning and Local Monitoring for Asynchronous Components. - Duncan Paul Attard; Adrian Francalanza (SEFM, 2017)

On the Complexity of Determinizing Monitors. - Luca Aceto; Antonis Achilleos; Adrian Francalanza; Anna Ingólfsdóttir; Sævar Örn Kjartansson (CIAA, 2017)

A Survey of Runtime Monitoring Instrumentation Techniques. - Ian Cassar; Adrian Francalanza; Luca Aceto; Anna Ingólfsdóttir (PrePost@iFM, 2017)

Reliability and Fault-Tolerance by Choreographic Design. - Ian Cassar; Adrian Francalanza; Claudio Antares Mezzina; Emilio Tuosto (PrePost@iFM, 2017)

Monitorability for the Hennessy-Milner logic with recursion. - Adrian Francalanza; Luca Aceto; Anna Ingólfsdóttir (Formal Methods Syst. Des., 2017)

Heaps don't lie: countering unsoundness with heap snapshots. - Neville Grech; George Fourtounis; Adrian Francalanza; Yannis Smaragdakis (Proc. ACM Program. Lang., 2017)

On Runtime Enforcement via Suppressions. - Luca Aceto; Ian Cassar; Adrian Francalanza; Anna Ingólfsdóttir (CONCUR, 2018)

Reversible Choreographies via Monitoring in Erlang. - Adrian Francalanza; Claudio Antares Mezzina; Emilio Tuosto (DAIS, 2018)

A Framework for Parameterized Monitorability. - Luca Aceto; Antonis Achilleos; Adrian Francalanza; Anna Ingólfsdóttir (FoSSaCS, 2018)

Shooting from the heap: ultra-scalable static analysis with heap snapshots. - Neville Grech; George Fourtounis; Adrian Francalanza; Yannis Smaragdakis (ISSTA, 2018)

Developing Theoretical Foundations for Runtime Enforcement. - Ian Cassar; Adrian Francalanza; Luca Aceto; Anna Ingólfsdóttir (CoRR, 2018)

Full-abstraction for client testing preorders. - Giovanni Tito Bernardi; Adrian Francalanza (Sci. Comput. Program., 2018)

Introduction to Runtime Verification. - Ezio Bartocci; Yliès Falcone; Adrian Francalanza; Giles Reger (Lectures on Runtime Verification, 2018)

Runtime Verification for Decentralised and Distributed Systems. - Adrian Francalanza; Jorge A. Pérez 001; César Sánchez 001 (Lectures on Runtime Verification, 2018)

Pushing Runtime Verification to the Limit: May Process Semantics Be With Us. - Dario Della Monica; Adrian Francalanza (OVERLAY@AI*IA, 2019)

Testing Equivalence vs. Runtime Monitoring. - Luca Aceto; Antonis Achilleos; Adrian Francalanza; Anna Ingólfsdóttir; Karoliina Lehtinen (Models, Languages, and Tools for Concurrent and Distributed Programming, 2019)

The Cost of Monitoring Alone. - Luca Aceto; Antonis Achilleos; Adrian Francalanza; Anna Ingólfsdóttir; Karoliina Lehtinen (From Reactive Systems to Cyber-Physical Systems, 2019)

An Operational Guide to Monitorability. - Luca Aceto; Antonis Achilleos; Adrian Francalanza; Anna Ingólfsdóttir; Karoliina Lehtinen (SEFM, 2019)

A survey of challenges for runtime verification from advanced application domains (beyond software). - César Sánchez 001; Gerardo Schneider; Wolfgang Ahrendt; Ezio Bartocci; Domenico Bianculli; Christian Colombo 001; Yliès Falcone; Adrian Francalanza; Srdan Krstic; João M. Lourenço; Dejan Nickovic; Gordon J. Pace; et al. (Formal Methods Syst. Des., 2019)

Correction to: A survey of challenges for runtime verification from advanced application domains (beyond software). - César Sánchez 001; Gerardo Schneider; Wolfgang Ahrendt; Ezio Bartocci; Domenico Bianculli; Christian Colombo 001; Yliès Falcone; Adrian Francalanza; Srdan Krstic; João M. Lourenço; Dejan Nickovic; Gordon J. Pace; et al. (Formal Methods Syst. Des., 2019)

Adventures in monitorability: from branching to linear time and back again. - Luca Aceto; Antonis Achilleos; Adrian Francalanza; Anna Ingólfsdóttir; Karoliina Lehtinen (Proc. ACM Program. Lang., 2019)

Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language. - Mario Bravetti; Adrian Francalanza; Iaroslav Golovanov; Hans Hüttel; Mathias Jakobsen; Mikkel Kettunen; António Ravara (APLAS, 2020)

On Implementing Symbolic Controllability. - Adrian Francalanza; Jasmine Xuereb (COORDINATION, 2020)

Towards a Hybrid Verification Methodology for Communication Protocols (Short Paper). - Christian Bartolo Burlò; Adrian Francalanza; Alceste Scalas (FORTE, 2020)

The complexity of identifying characteristic formulae. - Luca Aceto; Antonis Achilleos; Adrian Francalanza; Anna Ingólfsdóttir (J. Log. Algebraic Methods Program., 2020)

Determinizing monitors for HML with recursion. - Luca Aceto; Antonis Achilleos; Adrian Francalanza; Anna Ingólfsdóttir; Sævar Örn Kjartansson (J. Log. Algebraic Methods Program., 2020)

Towards Choreographic-Based Monitoring. - Adrian Francalanza; Claudio Antares Mezzina; Emilio Tuosto (Selected Results of the COST Action IC1405, 2020)

Session types in Elixir. - Gerard Tabone; Adrian Francalanza (AGERE!@SPLASH, 2021)

Towards Probabilistic Session-Type Monitoring. - Christian Bartolo Burlò; Adrian Francalanza; Alceste Scalas; Catia Trubiani; Emilio Tuosto (COORDINATION, 2021)

The Best a Monitor Can Do. - Luca Aceto; Antonis Achilleos; Adrian Francalanza; Anna Ingólfsdóttir; Karoliina Lehtinen (CSL, 2021)

On the Monitorability of Session Types, in Theory and Practice. - Christian Bartolo Burlò; Adrian Francalanza; Alceste Scalas (ECOOP, 2021)

Graft: general purpose raft consensus in Elixir. - Matthew Alan Le Brun; Duncan Paul Attard; Adrian Francalanza (Erlang Workshop, 2021)

On Benchmarking for Concurrent Runtime Verification. - Luca Aceto; Duncan Paul Attard; Adrian Francalanza; Anna Ingólfsdóttir (FASE, 2021)

On Bidirectional Runtime Enforcement. - Luca Aceto; Ian Cassar; Adrian Francalanza; Anna Ingólfsdóttir (FORTE, 2021)

Better Late Than Never or: Verifying Asynchronous Components at Runtime. - Duncan Paul Attard; Luca Aceto; Antonis Achilleos; Adrian Francalanza; Anna Ingólfsdóttir; Karoliina Lehtinen (FORTE, 2021)

A Choreographed Outline Instrumentation Algorithm for Asynchronous Components. - Luca Aceto; Duncan Paul Attard; Adrian Francalanza; Anna Ingólfsdóttir (CoRR, 2021)

On the Monitorability of Session Types, in Theory and Practice (Extended Version). - Christian Bartolo Burlò; Adrian Francalanza; Alceste Scalas (CoRR, 2021)

On the Monitorability of Session Types, in Theory and Practice (Artifact). - Christian Bartolo Burlò; Adrian Francalanza; Alceste Scalas (Dagstuhl Artifacts Ser., 2021)

A theory of monitors. - Adrian Francalanza (Inf. Comput., 2021)

Computer says no: Verdict explainability for runtime monitors using a local proof system. - Adrian Francalanza; Clare Cini (J. Log. Algebraic Methods Program., 2021)

An operational guide to monitorability with applications to regular properties. - Luca Aceto; Antonis Achilleos; Adrian Francalanza; Anna Ingólfsdóttir; Karoliina Lehtinen (Softw. Syst. Model., 2021)

Comparing controlled system synthesis and suppression enforcement. - Luca Aceto; Ian Cassar; Adrian Francalanza; Anna Ingólfsdóttir (Int. J. Softw. Tools Technol. Transf., 2021)

On Probabilistic Monitorability. - Luca Aceto; Antonis Achilleos; Elli Anastasiadi; Adrian Francalanza; Anna Ingólfsdóttir; Karoliina Lehtinen; Mathias Ruggaard Pedersen (Principles of Systems Design, 2022)

A Monitoring Tool for Linear-Time μHML. - Luca Aceto; Antonis Achilleos; Duncan Paul Attard; Léo Exibard; Adrian Francalanza; Anna Ingólfsdóttir (COORDINATION, 2022)

A Synthesis Tool for Optimal Monitors in a Branching-Time Setting. - Antonis Achilleos; Léo Exibard; Adrian Francalanza; Karoliina Lehtinen; Jasmine Xuereb (COORDINATION, 2022)

Monitoring Hyperproperties with Circuits. - Luca Aceto; Antonis Achilleos; Elli Anastasiadi; Adrian Francalanza (FORTE, 2022)

Session Fidelity for ElixirST: A Session-Based Type System for Elixir Modules. - Gerard Tabone; Adrian Francalanza (ICE, 2022)

Complexity through Translations for Modal Logic with Recursion. - Luca Aceto; Antonis Achilleos; Elli Anastasiadi; Adrian Francalanza; Anna Ingólfsdóttir (GandALF, 2022)

Preface to the JOT special issue on ECOOP 2021: selected workshop papers. - Davide Ancona; Olivier Flückiger; Adrian Francalanza; Robert Hirschfeld; Atsushi Igarashi; Yu David Liu; Hidehiko Masuhara; Chris Seaton; Harumi Watanabe (J. Object Technol., 2022)

PSTMonitor: Monitor synthesis from probabilistic session types. - Christian Bartolo Burlò; Adrian Francalanza; Alceste Scalas; Catia Trubiani; Emilio Tuosto (Sci. Comput. Program., 2022)

If At First You Don't Succeed: Extended Monitorability through Multiple Executions. - Antonis Achilleos; Adrian Francalanza; Jasmine Xuereb (CoRR, 2023)

Bidirectional Runtime Enforcement of First-Order Branching-Time Properties. - Luca Aceto; Ian Cassar; Adrian Francalanza; Anna Ingólfsdóttir (Log. Methods Comput. Sci., 2023)

ElixirST: A session-based type system for Elixir modules. - Adrian Francalanza; Gerard Tabone (J. Log. Algebraic Methods Program., 2023)

On first-order runtime enforcement of branching-time properties. - Luca Aceto; Ian Cassar; Adrian Francalanza; Anna Ingólfsdóttir (Acta Informatica, 2023)

Centralized vs Decentralized Monitors for Hyperproperties. - Luca Aceto; Antonis Achilleos; Elli Anastasiadi; Adrian Francalanza; Daniele Gorla; Jana Wagemaker (CONCUR, 2024)

COTS: Connected OpenAPI Test Synthesis for RESTful Applications. - Christian Bartolo Burlò; Adrian Francalanza; Alceste Scalas; Emilio Tuosto (COORDINATION, 2024)

Implementing a Message-Passing Interpretation of the Semi-Axiomatic Sequent Calculus (Sax). - Adrian Francalanza; Gerard Tabone; Frank Pfenning (COORDINATION, 2024)

Runtime Instrumentation for Reactive Components. - Luca Aceto; Duncan Paul Attard; Adrian Francalanza; Anna Ingólfsdóttir (ECOOP, 2024)

Runtime Instrumentation for Reactive Components (Extended Version). - Luca Aceto; Duncan Paul Attard; Adrian Francalanza; Anna Ingólfsdóttir (CoRR, 2024)

Runtime Instrumentation for Reactive Components (Artifact). - Luca Aceto; Duncan Paul Attard; Adrian Francalanza; Anna Ingólfsdóttir (Dagstuhl Artifacts Ser., 2024)

Preface to the JOT special issue on VORTEX at ECOOP 2022: selected papers. - Davide Ancona; Adrian Francalanza (J. Object Technol., 2024)

Complexity results for modal logic with recursion via translations and tableaux. - Luca Aceto; Antonis Achilleos; Elli Anastasiadi; Adrian Francalanza; Anna Ingólfsdóttir (Log. Methods Comput. Sci., 2024)

A monitoring tool for linear-time μHML. - Luca Aceto; Antonis Achilleos; Duncan Paul Attard; Léo Exibard; Adrian Francalanza; Anna Ingólfsdóttir (Sci. Comput. Program., 2024)

Monitorability for the Modal Mu-Calculus over Systems with Data: From Practice to Theory. - Luca Aceto; Antonis Achilleos; Duncan Paul Attard; Léo Exibard; Adrian Francalanza; Anna Ingólfsdóttir; Karoliina Lehtinen (CONCUR, 2025)

A Theory of (Linear-Time) Timed Monitors. - Mouloud Amara; Giovanni Bernardi 001; Mohammed Aristide Foughali; Adrian Francalanza (ECOOP, 2025)

A Theory of (Linear-Time) Timed Monitors (Artifact). - Mouloud Amara; Giovanni Bernardi 001; Mohammed Aristide Foughali; Adrian Francalanza (Dagstuhl Artifacts Ser., 2025)

Role, cost, and complexity of software in the real-world: a case for formal methods. - Giovanni Tito Bernardi; Adrian Francalanza; Marco Peressotti; Mohammad Reza Mousavi 001 (CoRR, 2025)

Correct Black-Box Monitors for Distributed Deadlock Detection: Formalisation and Implementation (Technical Report). - Radoslaw Jan Rowicki; Adrian Francalanza; Alceste Scalas (CoRR, 2025)

Grits: A message-passing programming language based on the semi-axiomatic sequent calculus. - Adrian Francalanza; Gerard Tabone; Frank Pfenning (Sci. Comput. Program., 2026)