Adrian Francalanza

141 papers A* 1A 7B 23C 14Misc 1Journal 56Unranked 28
YearRankTypeTitle / Venue / Authors
2026 J jnl
Centralized vs. Decentralized Monitors for Hyperproperties.
ACM Trans. Comput. Log.
Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, Daniele Gorla, Jana Wagemaker
2026 J jnl
Grits: A message-passing programming language based on the semi-axiomatic sequent calculus.
Sci. Comput. Program.
Adrian Francalanza, Gerard Tabone, Frank Pfenning
2026 — conf
Reversible Computation vs. Runtime Adaptation in Industrial IoT Systems.
Components Operationally: Reversibility and System Engineering: Essays Dedicated to Jean-Bernard Stefani on the Occasion of His 65th Birthday
Duncan Paul Attard, Keith Bugeja, Adrian Francalanza, Marietta Galea, Gerard Tabone, Gianluca Zahra
2025 J jnl
A Theory of (Linear-Time) Timed Monitors (Artifact).
Dagstuhl Artifacts Ser.
Mouloud Amara, Giovanni Bernardi, Mohammed Aristide Foughali, Adrian Francalanza
2025 A conf
A Theory of (Linear-Time) Timed Monitors.
ECOOP
Mouloud Amara, Giovanni Bernardi, Mohammed Aristide Foughali, Adrian Francalanza
2025 J jnl
Correct Black-Box Monitors for Distributed Deadlock Detection: Formalisation and Implementation (Technical Report).
CoRR
Radoslaw Jan Rowicki, Adrian Francalanza, Alceste Scalas
2025 J jnl
Correct Black-Box Monitors for Distributed Deadlock Detection: Formalisation and Implementation.
Proc. ACM Program. Lang.
Radoslaw Jan Rowicki, Adrian Francalanza, Alceste Scalas
2025 A* conf
If At First You Don't Succeed: Extended Monitorability through Multiple Executions.
LICS
Antonis Achilleos, Adrian Francalanza, Jasmine Xuereb
2025 B conf
Monitorability for the Modal Mu-Calculus over Systems with Data: From Practice to Theory.
CONCUR
Luca Aceto, Antonis Achilleos, Duncan Paul Attard, Léo Exibard, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen
2025 J jnl
Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory.
CoRR
Luca Aceto, Antonis Achilleos, Duncan Paul Attard, Léo Exibard, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen
2025 — ed.
Proceedings of the Sixteenth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2025, Valletta, Malta, 16-17th September 2025.
GandALF
Giorgio Bacci, Adrian Francalanza
2025 J jnl
Role, cost, and complexity of software in the real-world: a case for formal methods.
CoRR
Giovanni Tito Bernardi, Adrian Francalanza, Marco Peressotti, Mohammad Reza Mousavi
2024 J jnl
A monitoring tool for linear-time
Sci. Comput. Program.
Luca Aceto, Antonis Achilleos, Duncan Paul Attard, Léo Exibard, Adrian Francalanza, Anna Ingólfsdóttir
2024 C conf
COTS: Connected OpenAPI Test Synthesis for RESTful Applications.
COORDINATION
Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas, Emilio Tuosto
2024 J jnl
COTS: Connected OpenAPI Test Synthesis for RESTful Applications.
CoRR
Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas, Emilio Tuosto
2024 B conf
Centralized vs Decentralized Monitors for Hyperproperties.
CONCUR
Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, Daniele Gorla, Jana Wagemaker
2024 J jnl
Centralized vs Decentralized Monitors for Hyperproperties.
CoRR
Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, Daniele Gorla, Jana Wagemaker
2024 J jnl
Complexity results for modal logic with recursion via translations and tableaux.
Log. Methods Comput. Sci.
Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, Anna Ingólfsdóttir
2024 C ed.
Formal Techniques for Distributed Objects, Components, and Systems - 44th IFIP WG 6.1 International Conference, FORTE 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17-21, 2024, Proceedings
FORTE
Valentina Castiglioni, Adrian Francalanza
2024 C conf
Implementing a Message-Passing Interpretation of the Semi-Axiomatic Sequent Calculus (Sax).
COORDINATION
Adrian Francalanza, Gerard Tabone, Frank Pfenning
2024 J jnl
Preface to the JOT special issue on VORTEX at ECOOP 2022: selected papers.
J. Object Technol.
Davide Ancona, Adrian Francalanza
2024 — ed.
Proceedings Fifteenth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2024, Reykjavik, Iceland, 19-21 June 2024.
GandALF
Antonis Achilleos, Adrian Francalanza
2024 J jnl
Runtime Instrumentation for Reactive Components (Artifact).
Dagstuhl Artifacts Ser.
Luca Aceto, Duncan Paul Attard, Adrian Francalanza, Anna Ingólfsdóttir
2024 J jnl
Runtime Instrumentation for Reactive Components (Extended Version).
CoRR
Luca Aceto, Duncan Paul Attard, Adrian Francalanza, Anna Ingólfsdóttir
2024 A conf
Runtime Instrumentation for Reactive Components.
ECOOP
Luca Aceto, Duncan Paul Attard, Adrian Francalanza, Anna Ingólfsdóttir
2023 J jnl
Bidirectional Runtime Enforcement of First-Order Branching-Time Properties.
Log. Methods Comput. Sci.
Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingólfsdóttir
2023 J jnl
Complexity results for modal logic with recursion via translations and tableaux.
CoRR
Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, Anna Ingólfsdóttir
2023 J jnl
ElixirST: A session-based type system for Elixir modules.
J. Log. Algebraic Methods Program.
Adrian Francalanza, Gerard Tabone
2023 J jnl
If At First You Don't Succeed: Extended Monitorability through Multiple Executions.
CoRR
Antonis Achilleos, Adrian Francalanza, Jasmine Xuereb
2023 J jnl
On first-order runtime enforcement of branching-time properties.
Acta Informatica
Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingólfsdóttir
2022 C conf
A Monitoring Tool for Linear-Time μHML.
COORDINATION
Luca Aceto, Antonis Achilleos, Duncan Paul Attard, Léo Exibard, Adrian Francalanza, Anna Ingólfsdóttir
2022 C conf
A Synthesis Tool for Optimal Monitors in a Branching-Time Setting.
COORDINATION
Antonis Achilleos, Léo Exibard, Adrian Francalanza, Karoliina Lehtinen, Jasmine Xuereb
2022 J jnl
Bidirectional Runtime Enforcement of First-Order Branching-Time Properties.
CoRR
Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingólfsdóttir
2022 — conf
Complexity through Translations for Modal Logic with Recursion.
GandALF
Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, Anna Ingólfsdóttir
2022 C conf
Monitoring Hyperproperties with Circuits.
FORTE
Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza
2022 J jnl
Monitoring hyperproperties with circuits.
CoRR
Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza
2022 — conf
On Probabilistic Monitorability.
Principles of Systems Design
Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen, Mathias Ruggaard Pedersen
2022 J jnl
PSTMonitor: Monitor Synthesis from Probabilistic Session Types.
CoRR
Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas, Catia Trubiani, Emilio Tuosto
2022 J jnl
PSTMonitor: Monitor synthesis from probabilistic session types.
Sci. Comput. Program.
Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas, Catia Trubiani, Emilio Tuosto
2022 J jnl
Preface to the JOT special issue on ECOOP 2021: selected workshop papers.
J. Object Technol.
Davide Ancona, Olivier Flückiger, Adrian Francalanza, Robert Hirschfeld, Atsushi Igarashi, Yu David Liu, Hidehiko Masuhara, Chris Seaton, Harumi Watanabe
2022 — conf
Session Fidelity for ElixirST: A Session-Based Type System for Elixir Modules.
ICE
Gerard Tabone, Adrian Francalanza
2021 J jnl
A Choreographed Outline Instrumentation Algorithm for Asynchronous Components.
CoRR
Luca Aceto, Duncan Paul Attard, Adrian Francalanza, Anna Ingólfsdóttir
2021 J jnl
A theory of monitors.
Inf. Comput.
Adrian Francalanza
2021 J jnl
An operational guide to monitorability with applications to regular properties.
Softw. Syst. Model.
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen
2021 C conf
Better Late Than Never or: Verifying Asynchronous Components at Runtime.
FORTE
Duncan Paul Attard, Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen
2021 J jnl
Comparing controlled system synthesis and suppression enforcement.
Int. J. Softw. Tools Technol. Transf.
Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingólfsdóttir
2021 J jnl
Computer says no: Verdict explainability for runtime monitors using a local proof system.
J. Log. Algebraic Methods Program.
Adrian Francalanza, Clare Cini
2021 — conf
Graft: general purpose raft consensus in Elixir.
Erlang Workshop
Matthew Alan Le Brun, Duncan Paul Attard, Adrian Francalanza
2021 B conf
On Benchmarking for Concurrent Runtime Verification.
FASE
Luca Aceto, Duncan Paul Attard, Adrian Francalanza, Anna Ingólfsdóttir
2021 C conf
On Bidirectional Runtime Enforcement.
FORTE
Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingólfsdóttir
2021 J jnl
On the Monitorability of Session Types, in Theory and Practice (Artifact).
Dagstuhl Artifacts Ser.
Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas
2021 J jnl
On the Monitorability of Session Types, in Theory and Practice (Extended Version).
CoRR
Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas
2021 A conf
On the Monitorability of Session Types, in Theory and Practice.
ECOOP
Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas
2021 — conf
Session types in Elixir.
AGERE!@SPLASH
Gerard Tabone, Adrian Francalanza
2021 B conf
The Best a Monitor Can Do.
CSL
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen
2021 C conf
Towards Probabilistic Session-Type Monitoring.
COORDINATION
Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas, Catia Trubiani, Emilio Tuosto
2021 J jnl
Towards Probabilistic Session-Type Monitoring.
CoRR
Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas, Catia Trubiani, Emilio Tuosto
2021 — ed.
VORTEX 2021: Proceedings of the 5th ACM International Workshop on Verification and mOnitoring at Runtime EXecution, Virtual Event, Denmark, 12 July 2021.
VORTEX@ISSTA
Wolfgang Ahrendt, Davide Ancona, Adrian Francalanza
2020 B conf
Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language.
APLAS
Mario Bravetti, Adrian Francalanza, Iaroslav Golovanov, Hans Hüttel, Mathias Jakobsen, Mikkel Kettunen, António Ravara
2020 J jnl
Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language.
CoRR
Mario Bravetti, Adrian Francalanza, Iaroslav Golovanov, Hans Hüttel, Mathias Jakobsen, Mikkel Kettunen, António Ravara
2020 J jnl
Determinizing monitors for HML with recursion.
J. Log. Algebraic Methods Program.
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Sævar Örn Kjartansson
2020 C conf
On Implementing Symbolic Controllability.
COORDINATION
Adrian Francalanza, Jasmine Xuereb
2020 J jnl
The complexity of identifying characteristic formulae.
J. Log. Algebraic Methods Program.
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir
2020 — ch.
Towards Choreographic-Based Monitoring.
Selected Results of the COST Action IC1405
Adrian Francalanza, Claudio Antares Mezzina, Emilio Tuosto
2020 C conf
Towards a Hybrid Verification Methodology for Communication Protocols (Short Paper).
FORTE
Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas
2019 J jnl
A survey of challenges for runtime verification from advanced application domains (beyond software).
Formal Methods Syst. Des.
César Sánchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci, Domenico Bianculli, Christian Colombo, Yliès Falcone, Adrian Francalanza, Srdan Krstic, João M. Lourenço, Dejan Nickovic, Gordon J. Pace, José Rufino, Julien Signoles, Dmitriy Traytel, Alexander Weiss
2019 J jnl
Adventures in Monitorability: From Branching to Linear Time and Back Again.
CoRR
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen
2019 J jnl
Adventures in monitorability: from branching to linear time and back again.
Proc. ACM Program. Lang.
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen
2019 B conf
An Operational Guide to Monitorability.
SEFM
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen
2019 J jnl
An Operational Guide to Monitorability.
CoRR
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen
2019 B conf
Comparing Controlled System Synthesis and Suppression Enforcement.
RV
Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingólfsdóttir
2019 J jnl
Correction to: A survey of challenges for runtime verification from advanced application domains (beyond software).
Formal Methods Syst. Des.
César Sánchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci, Domenico Bianculli, Christian Colombo, Yliès Falcone, Adrian Francalanza, Srdan Krstic, João M. Lourenço, Dejan Nickovic, Gordon J. Pace, José Rufino, Julien Signoles, Dmitriy Traytel, Alexander Weiss
2019 J jnl
Heaps Don't Lie: Countering Unsoundness with Heap Snapshots.
CoRR
Neville Grech, George Fourtounis, Adrian Francalanza, Yannis Smaragdakis
2019 — ed.
Proceedings of the 18th ACM SIGPLAN International Workshop on Erlang, Erlang@ICFP 2019, Berlin, Germany, August 18, 2019
Erlang Workshop
Adrian Francalanza, Viktória Fördós
2019 — conf
Pushing Runtime Verification to the Limit: May Process Semantics Be With Us.
OVERLAY@AI*IA
Dario Della Monica, Adrian Francalanza
2019 — conf
Testing Equivalence vs. Runtime Monitoring.
Models, Languages, and Tools for Concurrent and Distributed Programming
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen
2019 — conf
The Cost of Monitoring Alone.
From Reactive Systems to Cyber-Physical Systems
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen
2019 J jnl
The Cost of Monitoring Alone.
CoRR
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen
2018 B conf
A Framework for Parameterized Monitorability.
FoSSaCS
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir
2018 J jnl
A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software).
CoRR
César Sánchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci, Domenico Bianculli, Christian Colombo, Yliès Falcone, Adrian Francalanza, Srdan Krstic, João M. Lourenço, Dejan Nickovic, Gordon J. Pace, José Rufino, Julien Signoles, Dmitriy Traytel, Alexander Weiss
2018 J jnl
Developing Theoretical Foundations for Runtime Enforcement.
CoRR
Ian Cassar, Adrian Francalanza, Luca Aceto, Anna Ingólfsdóttir
2018 J jnl
Full-abstraction for client testing preorders.
Sci. Comput. Program.
Giovanni Tito Bernardi, Adrian Francalanza
2018 — ch.
Introduction to Runtime Verification.
Lectures on Runtime Verification
Ezio Bartocci, Yliès Falcone, Adrian Francalanza, Giles Reger
2018 B conf
On Runtime Enforcement via Suppressions.
CONCUR
Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingólfsdóttir
2018 J jnl
On Runtime Enforcement via Suppressions.
CoRR
Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingólfsdóttir
2018 — ed.
Proceedings of the 17th ACM SIGPLAN International Workshop on Erlang, ICFP 2018, St. Louis, MO, USA, September 23-29, 2018
Erlang Workshop
Natalia Chechina, Adrian Francalanza
2018 C conf
Reversible Choreographies via Monitoring in Erlang.
DAIS
Adrian Francalanza, Claudio Antares Mezzina, Emilio Tuosto
2018 — ch.
Runtime Verification for Decentralised and Distributed Systems.
Lectures on Runtime Verification
Adrian Francalanza, Jorge A. Pérez, César Sánchez
2018 A conf
Shooting from the heap: ultra-scalable static analysis with heap snapshots.
ISSTA
Neville Grech, George Fourtounis, Adrian Francalanza, Yannis Smaragdakis
2017 B conf
A Foundation for Runtime Monitoring.
RV
Adrian Francalanza, Luca Aceto, Antonis Achilleos, Duncan Paul Attard, Ian Cassar, Dario Della Monica, Anna Ingólfsdóttir
2017 — conf
A Generic Instrumentation Tool for Erlang.
RV-CuBES
Ian Cassar, Adrian Francalanza, Duncan Paul Attard, Luca Aceto, Anna Ingólfsdóttir
2017 — conf
A Suite of Monitoring Tools for Erlang.
RV-CuBES
Ian Cassar, Adrian Francalanza, Duncan Paul Attard, Luca Aceto, Anna Ingólfsdóttir
2017 — conf
A Survey of Runtime Monitoring Instrumentation Techniques.
PrePost@iFM
Ian Cassar, Adrian Francalanza, Luca Aceto, Anna Ingólfsdóttir
2017 B conf
Consistently-Detecting Monitors.
CONCUR
Adrian Francalanza
2017 C conf
Full-Abstraction for Must Testing Preorders - (Extended Abstract).
COORDINATION
Giovanni Bernardi, Adrian Francalanza
2017 J jnl
Heaps don't lie: countering unsoundness with heap snapshots.
Proc. ACM Program. Lang.
Neville Grech, George Fourtounis, Adrian Francalanza, Yannis Smaragdakis
2017 J jnl
Monitorability for the Hennessy-Milner logic with recursion.
Formal Methods Syst. Des.
Adrian Francalanza, Luca Aceto, Anna Ingólfsdóttir
2017 — conf
Monitoring for Silent Actions.
FSTTCS
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir
2017 C conf
On the Complexity of Determinizing Monitors.
CIAA
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Sævar Örn Kjartansson
2017 — ed.
Proceedings Second International Workshop on Pre- and Post-Deployment Verification Techniques, PrePost@iFM 2017, Torino, Italy, 19 September 2017.
PrePost@iFM
Adrian Francalanza, Gordon J. Pace
2017 — conf
Reliability and Fault-Tolerance by Choreographic Design.
PrePost@iFM
Ian Cassar, Adrian Francalanza, Claudio Antares Mezzina, Emilio Tuosto
2017 B conf
Trace Partitioning and Local Monitoring for Asynchronous Components.
SEFM
Duncan Paul Attard, Adrian Francalanza
2017 — conf
eAOP: an aspect oriented programming framework for Erlang.
Erlang Workshop
Ian Cassar, Adrian Francalanza, Luca Aceto, Anna Ingólfsdóttir
2016 B conf
A Monitoring Tool for a Branching-Time Logic.
RV
Duncan Paul Attard, Adrian Francalanza
2016 B conf
A Theory of Monitors - (Extended Abstract).
FoSSaCS
Adrian Francalanza
2016 J jnl
Determinizing Monitors for HML with Recursion.
CoRR
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Sævar Örn Kjartansson
2016 B conf
On Implementing a Monitor-Oriented Programming Framework for Actor Systems.
IFM
Ian Cassar, Adrian Francalanza
2016 — conf
Preliminary Results Towards Contract Monitorability.
PrePost@IFM
Annalizz Vella, Adrian Francalanza
2016 — ed.
Proceedings First Workshop on Pre- and Post-Deployment Verification Techniques, PrePost@IFM 2016, Reykjavík, Iceland, 4th June 2016.
PrePost@IFM
Luca Aceto, Adrian Francalanza, Anna Ingólfsdóttir
2016 Misc conf
Using gherkin to extract tests and monitors for safer medical device interaction design.
EICS
Abigail Cauchi, Christian Colombo, Adrian Francalanza, Mark Micallef, Gordon J. Pace
2015 A conf
An LTL Proof System for Runtime Verification.
TACAS
Clare Cini, Adrian Francalanza
2015 — conf
Improving Runtime Overheads for detectEr.
FESCA
Ian Cassar, Adrian Francalanza, Simon Said
2015 B conf
Investigating Instrumentation Techniques for ESB Runtime Verification.
SEFM
Christian Colombo, Gabriel Dimech, Adrian Francalanza
2015 B conf
On Verifying Hennessy-Milner Logic with Recursion at Runtime.
RV
Adrian Francalanza, Luca Aceto, Anna Ingólfsdóttir
2015 B conf
Runtime Adaptation for Actor Systems.
RV
Ian Cassar, Adrian Francalanza
2015 J jnl
Synthesising correct concurrent runtime monitors.
Formal Methods Syst. Des.
Adrian Francalanza, Aldrin Seychell
2015 — conf
Unlocking Blocked Communicating Processes.
WWV
Adrian Francalanza, Marco Giunti, António Ravara
2014 J jnl
Compositional Reasoning for Explicit Resource Management in Channel-Based Concurrency.
Log. Methods Comput. Sci.
Adrian Francalanza, Edsko de Vries, Matthew Hennessy
2014 — conf
On Synchronous and Asynchronous Monitor Instrumentation for Actor-based systems.
FOCLASA
Ian Cassar, Adrian Francalanza
2014 J jnl
Uniqueness typing for resource management in message-passing concurrency.
J. Log. Comput.
Edsko de Vries, Adrian Francalanza, Matthew Hennessy
2013 — conf
Code management automation for Erlang remote actors.
AGERE!@SPLASH
Adrian Francalanza, Tyron Zerafa
2013 J jnl
Distributed system contract monitoring.
J. Log. Algebraic Methods Program.
Adrian Francalanza, Andrew Gauci, Gordon J. Pace
2013 — conf
Extensible Technology-Agnostic Runtime Verification
FESCA
Christian Colombo, Adrian Francalanza, Ruth Mizzi, Gordon J. Pace
2013 B conf
Synthesising Correct Concurrent Runtime Monitors - (Extended Abstract).
RV
Adrian Francalanza, Aldrin Seychell
2013 — conf
Towards an abstraction for remote evaluation in Erlang.
Erlang Workshop
Adrian Francalanza, Tyron Zerafa
2012 — conf
Simplifying Contract-Violating Traces
FLACOS
Christian Colombo, Adrian Francalanza, Ian Grima
2012 B conf
polyLarva: Runtime Verification with Configurable Resource-Aware Monitoring Boundaries.
SEFM
Christian Colombo, Adrian Francalanza, Ruth Mizzi, Gordon J. Pace
2011 — conf
Distributed System Contract Monitoring
FLACOS
Adrian Francalanza, Andrew Gauci, Gordon J. Pace
2011 B conf
Elarva: A Monitoring Tool for Erlang.
RV
Christian Colombo, Adrian Francalanza, Rudolph Gatt
2011 J jnl
Permission-Based Separation Logic for Message-Passing Concurrency
Log. Methods Comput. Sci.
Adrian Francalanza, Julian Rathke, Vladimiro Sassone
2009 — conf
A Formal Model of Provenance in Distributed Systems.
Workshop on the Theory and Practice of Provenance
Issam Souilah, Adrian Francalanza, Vladimiro Sassone
2009 — conf
Uniqueness Typing for Resource Management in Message-Passing Concurrency
LINEARITY
Edsko de Vries, Adrian Francalanza, Matthew Hennessy
2008 — conf
A Unified Framework for Verification Techniques for Object Invariants.
Types, Logics and Semantics for State
Sophia Drossopoulou, Adrian Francalanza, Peter Müller, Alexander J. Summers
2008 A conf
A Unified Framework for Verification Techniques for Object Invariants.
ECOOP
Sophia Drossopoulou, Adrian Francalanza, Peter Müller, Alexander J. Summers
2008 J jnl
A theory of system behaviour in the presence of node and link failure.
Inf. Comput.
Adrian Francalanza, Matthew Hennessy
2007 A conf
A Fault Tolerance Bisimulation Proof for Consensus (Extended Abstract).
ESOP
Adrian Francalanza, Matthew Hennessy
2007 J jnl
A theory for observational fault tolerance.
J. Log. Algebraic Methods Program.
Adrian Francalanza, Matthew Hennessy
2007 — conf
Universe Types for Topology and Encapsulation.
FMCO
Dave Cunningham, Werner Dietl, Sophia Drossopoulou, Adrian Francalanza, Peter Müller, Alexander J. Summers
2006 B conf
A Theory for Observational Fault Tolerance.
FoSSaCS
Adrian Francalanza, Matthew Hennessy
2005 B conf
A Theory of System Behaviour in the Presence of Node and Link Failures.
CONCUR
Adrian Francalanza, Matthew Hennessy
2005 — —
A study of failure in a distributed pi-calculus.
Adrian Francalanza