Adrian Francalanza
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
48
Venues
18
Active years
2005–2026
Best venue rank
A*
Where they publish
Papers
48 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | FORTE | Soundness of Typed Transitions in the Linear π-Calculus. | Adrian Francalanza, Marco Giunti, Antnio Ravara |
| 2025 | CONCUR | Monitorability for the Modal Mu-Calculus over Systems with Data: From Practice to Theory. | Luca Aceto, Antonis Achilleos, Duncan Paul Attard, Lo Exibard, Adrian Francalanza, Anna Inglfsdttir, Karoliina Lehtinen |
| 2025 | ECOOP | A Theory of (Linear-Time) Timed Monitors. | Mouloud Amara, Giovanni Bernardi, Mohammed Aristide Foughali, Adrian Francalanza |
| 2025 | LICS | If At First You Don't Succeed: Extended Monitorability through Multiple Executions. | Antonis Achilleos, Adrian Francalanza, Jasmine Xuereb |
| 2024 | CONCUR | Centralized vs Decentralized Monitors for Hyperproperties. | Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, Daniele Gorla, Jana Wagemaker |
| 2024 | Coordination | COTS: Connected OpenAPI Test Synthesis for RESTful Applications. | Christian Bartolo Burl, Adrian Francalanza, Alceste Scalas, Emilio Tuosto |
| 2024 | Coordination | Implementing a Message-Passing Interpretation of the Semi-Axiomatic Sequent Calculus (Sax). | Adrian Francalanza, Gerard Tabone, Frank Pfenning |
| 2024 | ECOOP | Runtime Instrumentation for Reactive Components. | Luca Aceto, Duncan Paul Attard, Adrian Francalanza, Anna Inglfsdttir |
| 2022 | Coordination | A Monitoring Tool for Linear-Time μHML. | Luca Aceto, Antonis Achilleos, Duncan Paul Attard, Lo Exibard, Adrian Francalanza, Anna Inglfsdttir |
| 2022 | Coordination | A Synthesis Tool for Optimal Monitors in a Branching-Time Setting. | Antonis Achilleos, Lo Exibard, Adrian Francalanza, Karoliina Lehtinen, Jasmine Xuereb |
| 2022 | FORTE | Monitoring Hyperproperties with Circuits. | Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza |
| 2021 | Coordination | Towards Probabilistic Session-Type Monitoring. | Christian Bartolo Burl, Adrian Francalanza, Alceste Scalas, Catia Trubiani, Emilio Tuosto |
| 2021 | CSL | The Best a Monitor Can Do. | Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Inglfsdttir, Karoliina Lehtinen |
| 2021 | ECOOP | On the Monitorability of Session Types, in Theory and Practice. | Christian Bartolo Burl, Adrian Francalanza, Alceste Scalas |
| 2021 | FASE | On Benchmarking for Concurrent Runtime Verification. | Luca Aceto, Duncan Paul Attard, Adrian Francalanza, Anna Inglfsdttir |
| 2021 | FORTE | On Bidirectional Runtime Enforcement. | Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Inglfsdttir |
| 2021 | FORTE | Better Late Than Never or: Verifying Asynchronous Components at Runtime. | Duncan Paul Attard, Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Inglfsdttir, Karoliina Lehtinen |
| 2020 | APLAS | Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language. | Mario Bravetti, Adrian Francalanza, Iaroslav Golovanov, Hans Httel, Mathias Jakobsen, Mikkel Kettunen, Antnio Ravara |
| 2020 | Coordination | On Implementing Symbolic Controllability. | Adrian Francalanza, Jasmine Xuereb |
| 2020 | FORTE | Towards a Hybrid Verification Methodology for Communication Protocols (Short Paper). | Christian Bartolo Burl, Adrian Francalanza, Alceste Scalas |
| 2019 | RV | Comparing Controlled System Synthesis and Suppression Enforcement. | Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Inglfsdttir |
| 2019 | SEFM | An Operational Guide to Monitorability. | Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Inglfsdttir, Karoliina Lehtinen |
| 2018 | CONCUR | On Runtime Enforcement via Suppressions. | Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Inglfsdttir |
| 2018 | DAIS | Reversible Choreographies via Monitoring in Erlang. | Adrian Francalanza, Claudio Antares Mezzina, Emilio Tuosto |
| 2018 | FOSSACS | A Framework for Parameterized Monitorability. | Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Inglfsdttir |
| 2018 | ISSTA | Shooting from the heap: ultra-scalable static analysis with heap snapshots. | Neville Grech, George Fourtounis, Adrian Francalanza, Yannis Smaragdakis |
| 2017 | CONCUR | Consistently-Detecting Monitors. | Adrian Francalanza |
| 2017 | Coordination | Full-Abstraction for Must Testing Preorders - (Extended Abstract). | Giovanni Bernardi, Adrian Francalanza |
| 2017 | RV | A Suite of Monitoring Tools for Erlang. | Ian Cassar, Adrian Francalanza, Duncan Paul Attard, Luca Aceto, Anna Inglfsdttir |
| 2017 | RV | A Generic Instrumentation Tool for Erlang. | Ian Cassar, Adrian Francalanza, Duncan Paul Attard, Luca Aceto, Anna Inglfsdttir |
| 2017 | RV | A Foundation for Runtime Monitoring. | Adrian Francalanza, Luca Aceto, Antonis Achilleos, Duncan Paul Attard, Ian Cassar, Dario Della Monica, Anna Inglfsdttir |
| 2017 | SEFM | Trace Partitioning and Local Monitoring for Asynchronous Components. | Duncan Paul Attard, Adrian Francalanza |
| 2016 | EICS | Using gherkin to extract tests and monitors for safer medical device interaction design. | Abigail Cauchi, Christian Colombo, Adrian Francalanza, Mark Micallef, Gordon J. Pace |
| 2016 | FOSSACS | A Theory of Monitors - (Extended Abstract). | Adrian Francalanza |
| 2016 | IFM | On Implementing a Monitor-Oriented Programming Framework for Actor Systems. | Ian Cassar, Adrian Francalanza |
| 2016 | RV | A Monitoring Tool for a Branching-Time Logic. | Duncan Paul Attard, Adrian Francalanza |
| 2015 | RV | Runtime Adaptation for Actor Systems. | Ian Cassar, Adrian Francalanza |
| 2015 | RV | On Verifying Hennessy-Milner Logic with Recursion at Runtime. | Adrian Francalanza, Luca Aceto, Anna Inglfsdttir |
| 2015 | SEFM | Investigating Instrumentation Techniques for ESB Runtime Verification. | Christian Colombo, Gabriel Dimech, Adrian Francalanza |
| 2015 | TACAS | An LTL Proof System for Runtime Verification. | Clare Cini, Adrian Francalanza |
| 2013 | RV | Synthesising Correct Concurrent Runtime Monitors - (Extended Abstract). | Adrian Francalanza, Aldrin Seychell |
| 2012 | SEFM | polyLarva: Runtime Verification with Configurable Resource-Aware Monitoring Boundaries. | Christian Colombo, Adrian Francalanza, Ruth Mizzi, Gordon J. Pace |
| 2011 | RV | Elarva: A Monitoring Tool for Erlang. | Christian Colombo, Adrian Francalanza, Rudolph Gatt |
| 2009 | FAST | A Formal Model of Provenance in Distributed Systems. | Issam Souilah, Adrian Francalanza, Vladimiro Sassone |
| 2008 | ECOOP | A Unified Framework for Verification Techniques for Object Invariants. | Sophia Drossopoulou, Adrian Francalanza, Peter Mller, Alexander J. Summers |
| 2007 | ESOP | A Fault Tolerance Bisimulation Proof for Consensus (Extended Abstract). | Adrian Francalanza, Matthew Hennessy |
| 2006 | FOSSACS | A Theory for Observational Fault Tolerance. | Adrian Francalanza, Matthew Hennessy |
| 2005 | CONCUR | A Theory of System Behaviour in the Presence of Node and Link Failures. | Adrian Francalanza, Matthew Hennessy |