Adrian Francalanza

ORCID

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 85

Top Venues

CoRR

COORDINATION

J. Log. Algebraic Methods Program.

University of Sussex, UK (PHD)

Education History

University of Sussex, UK

PHD

Publications

Luca Aceto, Antonis Achilleos, Duncan Paul Attard, Léo Exibard, Adrian Francalanza, Anna Ingólfsdóttir
HML. Sci. Comput. Program. 232 (2024)
Antonis Achilleos, Adrian Francalanza, Jasmine Xuereb
If At First You Don't Succeed: Extended Monitorability through Multiple Executions. CoRR (2023)
Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, Anna Ingólfsdóttir
Complexity results for modal logic with recursion via translations and tableaux. CoRR (2023)
Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingólfsdóttir
On first-order runtime enforcement of branching-time properties. Acta Informatica 60 (4) (2023)
Adrian Francalanza, Gerard Tabone
ElixirST: A session-based type system for Elixir modules. J. Log. Algebraic Methods Program. 135 (2023)
Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingólfsdóttir
Bidirectional Runtime Enforcement of First-Order Branching-Time Properties. Log. Methods Comput. Sci. 19 (1) (2023)
Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza
Monitoring Hyperproperties with Circuits. FORTE (2022)
Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas, Catia Trubiani, Emilio Tuosto
PSTMonitor: Monitor Synthesis from Probabilistic Session Types. CoRR (2022)
Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas, Catia Trubiani, Emilio Tuosto
PSTMonitor: Monitor synthesis from probabilistic session types. Sci. Comput. Program. 222 (2022)
Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, Anna Ingólfsdóttir
Complexity through Translations for Modal Logic with Recursion. GandALF (2022)
Gerard Tabone, Adrian Francalanza
Session Fidelity for ElixirST: A Session-Based Type System for Elixir Modules. ICE (2022)
Antonis Achilleos, Léo Exibard, Adrian Francalanza, Karoliina Lehtinen, Jasmine Xuereb
A Synthesis Tool for Optimal Monitors in a Branching-Time Setting. COORDINATION (2022)
Luca Aceto, Antonis Achilleos, Duncan Paul Attard, Léo Exibard, Adrian Francalanza, Anna Ingólfsdóttir
A Monitoring Tool for Linear-Time μHML. COORDINATION (2022)
Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza
Monitoring hyperproperties with circuits. CoRR (2022)
Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingólfsdóttir
Bidirectional Runtime Enforcement of First-Order Branching-Time Properties. CoRR (2022)
Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen, Mathias Ruggaard Pedersen
On Probabilistic Monitorability. Principles of Systems Design (2022)
Davide Ancona, Olivier Flückiger, Adrian Francalanza, Robert Hirschfeld, Atsushi Igarashi, Yu David Liu, Hidehiko Masuhara, Chris Seaton, Harumi Watanabe
Preface to the JOT special issue on ECOOP 2021: selected workshop papers. J. Object Technol. 21 (2) (2022)
Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas, Catia Trubiani, Emilio Tuosto
Towards Probabilistic Session-Type Monitoring. COORDINATION (2021)
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen
The Best a Monitor Can Do. CSL (2021)
Gerard Tabone, Adrian Francalanza
Session types in Elixir. AGERE!@SPLASH (2021)
Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingólfsdóttir
On Bidirectional Runtime Enforcement. FORTE (2021)
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen
An operational guide to monitorability with applications to regular properties. Softw. Syst. Model. 20 (2) (2021)
Matthew Alan Le Brun, Duncan Paul Attard, Adrian Francalanza
Graft: general purpose raft consensus in Elixir. Erlang Workshop (2021)
Adrian Francalanza, Clare Cini
Computer says no: Verdict explainability for runtime monitors using a local proof system. J. Log. Algebraic Methods Program. 119 (2021)
Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas
On the Monitorability of Session Types, in Theory and Practice (Artifact). Dagstuhl Artifacts Ser. 7 (2) (2021)
Luca Aceto, Duncan Paul Attard, Adrian Francalanza, Anna Ingólfsdóttir
On Benchmarking for Concurrent Runtime Verification. FASE (2021)
Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas
On the Monitorability of Session Types, in Theory and Practice (Extended Version). CoRR (2021)
Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas, Catia Trubiani, Emilio Tuosto
Towards Probabilistic Session-Type Monitoring. CoRR (2021)
Luca Aceto, Duncan Paul Attard, Adrian Francalanza, Anna Ingólfsdóttir
A Choreographed Outline Instrumentation Algorithm for Asynchronous Components. CoRR (2021)
Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingólfsdóttir
Comparing controlled system synthesis and suppression enforcement. Int. J. Softw. Tools Technol. Transf. 23 (4) (2021)
Duncan Paul Attard, Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen
Better Late Than Never or: Verifying Asynchronous Components at Runtime. FORTE (2021)
Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas
On the Monitorability of Session Types, in Theory and Practice. ECOOP (2021)
Adrian Francalanza
A theory of monitors. Inf. Comput. 281 (2021)
Adrian Francalanza, Jasmine Xuereb
On Implementing Symbolic Controllability. COORDINATION (2020)
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir
The complexity of identifying characteristic formulae. J. Log. Algebraic Methods Program. 112 (2020)
Mario Bravetti, Adrian Francalanza, Iaroslav Golovanov, Hans Hüttel, Mathias Jakobsen, Mikkel Kettunen, António Ravara
Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language. CoRR (2020)
Mario Bravetti, Adrian Francalanza, Iaroslav Golovanov, Hans Hüttel, Mathias Jakobsen, Mikkel Kettunen, António Ravara
Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language. APLAS (2020)
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Sævar Örn Kjartansson
Determinizing monitors for HML with recursion. J. Log. Algebraic Methods Program. 111 (2020)
Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas
Towards a Hybrid Verification Methodology for Communication Protocols (Short Paper). FORTE (2020)
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen
Adventures in monitorability: from branching to linear time and back again. Proc. ACM Program. Lang. 3 (POPL) (2019)
Neville Grech, George Fourtounis, Adrian Francalanza, Yannis Smaragdakis
Heaps Don't Lie: Countering Unsoundness with Heap Snapshots. CoRR (2019)
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
A survey of challenges for runtime verification from advanced application domains (beyond software). Formal Methods Syst. Des. 54 (3) (2019)
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen
An Operational Guide to Monitorability. SEFM (2019)
Dario Della Monica, Adrian Francalanza
Pushing Runtime Verification to the Limit: May Process Semantics Be With Us. OVERLAY@AI*IA (2019)
Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingólfsdóttir
Comparing Controlled System Synthesis and Suppression Enforcement. RV (2019)
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen
An Operational Guide to Monitorability. CoRR (2019)
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen
Testing Equivalence vs. Runtime Monitoring. Models, Languages, and Tools for Concurrent and Distributed Programming (2019)
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen
The Cost of Monitoring Alone. From Reactive Systems to Cyber-Physical Systems (2019)
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
Correction to: A survey of challenges for runtime verification from advanced application domains (beyond software). Formal Methods Syst. Des. 55 (1) (2019)
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen
The Cost of Monitoring Alone. CoRR (2019)
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen
Adventures in Monitorability: From Branching to Linear Time and Back Again. CoRR (2019)
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir
A Framework for Parameterized Monitorability. FoSSaCS (2018)
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
A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software). CoRR (2018)
Giovanni Tito Bernardi, Adrian Francalanza
Full-abstraction for client testing preorders. Sci. Comput. Program. 168 (2018)
Adrian Francalanza, Claudio Antares Mezzina, Emilio Tuosto
Reversible Choreographies via Monitoring in Erlang. DAIS (2018)
Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingólfsdóttir
On Runtime Enforcement via Suppressions. CoRR (2018)
Ian Cassar, Adrian Francalanza, Luca Aceto, Anna Ingólfsdóttir
Developing Theoretical Foundations for Runtime Enforcement. CoRR (2018)
Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingólfsdóttir
On Runtime Enforcement via Suppressions. CONCUR (2018)
Neville Grech, George Fourtounis, Adrian Francalanza, Yannis Smaragdakis
Shooting from the heap: ultra-scalable static analysis with heap snapshots. ISSTA (2018)
Ian Cassar, Adrian Francalanza, Luca Aceto, Anna Ingólfsdóttir
eAOP: an aspect oriented programming framework for Erlang. Erlang Workshop (2017)
Ian Cassar, Adrian Francalanza, Duncan Paul Attard, Luca Aceto, Anna Ingólfsdóttir
A Generic Instrumentation Tool for Erlang. RV-CuBES (2017)
Neville Grech, George Fourtounis, Adrian Francalanza, Yannis Smaragdakis
Heaps don't lie: countering unsoundness with heap snapshots. Proc. ACM Program. Lang. 1 (OOPSLA) (2017)
Ian Cassar, Adrian Francalanza, Luca Aceto, Anna Ingólfsdóttir
A Survey of Runtime Monitoring Instrumentation Techniques. PrePost@iFM (2017)
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir
Monitoring for Silent Actions. FSTTCS (2017)
Giovanni Bernardi, Adrian Francalanza
Full-Abstraction for Must Testing Preorders - (Extended Abstract). COORDINATION (2017)
Duncan Paul Attard, Adrian Francalanza
Trace Partitioning and Local Monitoring for Asynchronous Components. SEFM (2017)
Adrian Francalanza, Luca Aceto, Antonis Achilleos, Duncan Paul Attard, Ian Cassar, Dario Della Monica, Anna Ingólfsdóttir
A Foundation for Runtime Monitoring. RV (2017)
Adrian Francalanza, Luca Aceto, Anna Ingólfsdóttir
Monitorability for the Hennessy-Milner logic with recursion. Formal Methods Syst. Des. 51 (1) (2017)
Ian Cassar, Adrian Francalanza, Claudio Antares Mezzina, Emilio Tuosto
Reliability and Fault-Tolerance by Choreographic Design. PrePost@iFM (2017)
Ian Cassar, Adrian Francalanza, Duncan Paul Attard, Luca Aceto, Anna Ingólfsdóttir
A Suite of Monitoring Tools for Erlang. RV-CuBES (2017)
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Sævar Örn Kjartansson
On the Complexity of Determinizing Monitors. CIAA (2017)
Adrian Francalanza
Consistently-Detecting Monitors. CONCUR (2017)
Abigail Cauchi, Christian Colombo, Adrian Francalanza, Mark Micallef, Gordon J. Pace
Using gherkin to extract tests and monitors for safer medical device interaction design. EICS (2016)
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Sævar Örn Kjartansson
Determinizing Monitors for HML with Recursion. CoRR (2016)
Annalizz Vella, Adrian Francalanza
Preliminary Results Towards Contract Monitorability. PrePost@IFM (2016)
Adrian Francalanza
A Theory of Monitors - (Extended Abstract). FoSSaCS (2016)
Duncan Paul Attard, Adrian Francalanza
A Monitoring Tool for a Branching-Time Logic. RV (2016)
Ian Cassar, Adrian Francalanza
On Implementing a Monitor-Oriented Programming Framework for Actor Systems. IFM (2016)
Christian Colombo, Gabriel Dimech, Adrian Francalanza
Investigating Instrumentation Techniques for ESB Runtime Verification. SEFM (2015)
Ian Cassar, Adrian Francalanza, Simon Said
Improving Runtime Overheads for detectEr. FESCA (2015)
Clare Cini, Adrian Francalanza
An LTL Proof System for Runtime Verification. TACAS (2015)
Ian Cassar, Adrian Francalanza
Runtime Adaptation for Actor Systems. RV (2015)
Adrian Francalanza, Marco Giunti, António Ravara
Unlocking Blocked Communicating Processes. WWV (2015)
Adrian Francalanza, Aldrin Seychell
Synthesising correct concurrent runtime monitors. Formal Methods Syst. Des. 46 (3) (2015)
Adrian Francalanza, Luca Aceto, Anna Ingólfsdóttir
On Verifying Hennessy-Milner Logic with Recursion at Runtime. RV (2015)
Ian Cassar, Adrian Francalanza
On Synchronous and Asynchronous Monitor Instrumentation for Actor-based systems. FOCLASA (2014)
Adrian Francalanza, Edsko de Vries, Matthew Hennessy
Compositional Reasoning for Explicit Resource Management in Channel-Based Concurrency. Log. Methods Comput. Sci. 10 (2) (2014)
Edsko de Vries, Adrian Francalanza, Matthew Hennessy
Uniqueness typing for resource management in message-passing concurrency. J. Log. Comput. 24 (3) (2014)
Adrian Francalanza, Aldrin Seychell
Synthesising Correct Concurrent Runtime Monitors - (Extended Abstract). RV (2013)
Adrian Francalanza, Tyron Zerafa
Code management automation for Erlang remote actors. AGERE!@SPLASH (2013)
Adrian Francalanza, Tyron Zerafa
Towards an abstraction for remote evaluation in Erlang. Erlang Workshop (2013)
Adrian Francalanza, Andrew Gauci, Gordon J. Pace
Distributed system contract monitoring. J. Log. Algebraic Methods Program. 82 (5-7) (2013)
Christian Colombo, Adrian Francalanza, Ruth Mizzi, Gordon J. Pace
Extensible Technology-Agnostic Runtime Verification FESCA (2013)
Christian Colombo, Adrian Francalanza, Ruth Mizzi, Gordon J. Pace
polyLarva: Runtime Verification with Configurable Resource-Aware Monitoring Boundaries. SEFM (2012)
Christian Colombo, Adrian Francalanza, Ian Grima
Simplifying Contract-Violating Traces FLACOS (2012)
Adrian Francalanza, Andrew Gauci, Gordon J. Pace
Distributed System Contract Monitoring FLACOS (2011)
Christian Colombo, Adrian Francalanza, Rudolph Gatt
Elarva: A Monitoring Tool for Erlang. RV (2011)
Adrian Francalanza, Julian Rathke, Vladimiro Sassone
Permission-Based Separation Logic for Message-Passing Concurrency Log. Methods Comput. Sci. 7 (3) (2011)
Issam Souilah, Adrian Francalanza, Vladimiro Sassone
A Formal Model of Provenance in Distributed Systems. Workshop on the Theory and Practice of Provenance (2009)
Edsko de Vries, Adrian Francalanza, Matthew Hennessy
Uniqueness Typing for Resource Management in Message-Passing Concurrency LINEARITY (2009)

Adrian Francalanza.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Adrian Francalanza