default search action
Adrian Francalanza
Person information
- affiliation: University of Malta, Malta
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 2005
- [b1]Adrian Francalanza:
A study of failure in a distributed pi-calculus. University of Sussex, UK, 2005
Journal Articles
- 2024
- [j29]Luca Aceto, Duncan Paul Attard, Adrian Francalanza, Anna Ingólfsdóttir:
Runtime Instrumentation for Reactive Components (Artifact). Dagstuhl Artifacts Ser. 10(2): 1:1-1:4 (2024) - [j28]Davide Ancona, Adrian Francalanza:
Preface to the JOT special issue on VORTEX at ECOOP 2022: selected papers. J. Object Technol. 23(2): 1 (2024) - [j27]Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, Anna Ingólfsdóttir:
Complexity results for modal logic with recursion via translations and tableaux. Log. Methods Comput. Sci. 20(3) (2024) - [j26]Luca Aceto, Antonis Achilleos, Duncan Paul Attard, Léo Exibard, Adrian Francalanza, Anna Ingólfsdóttir:
A monitoring tool for linear-time μHML. Sci. Comput. Program. 232: 103031 (2024) - 2023
- [j25]Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingólfsdóttir:
On first-order runtime enforcement of branching-time properties. Acta Informatica 60(4): 385-451 (2023) - [j24]Adrian Francalanza, Gerard Tabone:
ElixirST: A session-based type system for Elixir modules. J. Log. Algebraic Methods Program. 135: 100891 (2023) - [j23]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) - 2022
- [j22]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) - [j21]Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas, Catia Trubiani, Emilio Tuosto:
PSTMonitor: Monitor synthesis from probabilistic session types. Sci. Comput. Program. 222: 102847 (2022) - 2021
- [j20]Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas:
On the Monitorability of Session Types, in Theory and Practice (Artifact). Dagstuhl Artifacts Ser. 7(2): 02:1-02:3 (2021) - [j19]Adrian Francalanza:
A theory of monitors. Inf. Comput. 281: 104704 (2021) - [j18]Adrian Francalanza, Clare Cini:
Computer says no: Verdict explainability for runtime monitors using a local proof system. J. Log. Algebraic Methods Program. 119: 100636 (2021) - [j17]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): 335-361 (2021) - [j16]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): 601-614 (2021) - 2020
- [j15]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: 100515 (2020) - [j14]Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir:
The complexity of identifying characteristic formulae. J. Log. Algebraic Methods Program. 112: 100529 (2020) - 2019
- [j13]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): 279-335 (2019) - [j12]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): 72 (2019) - [j11]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): 52:1-52:29 (2019) - 2018
- [j10]Giovanni Tito Bernardi, Adrian Francalanza:
Full-abstraction for client testing preorders. Sci. Comput. Program. 168: 94-117 (2018) - 2017
- [j9]Adrian Francalanza, Luca Aceto, Anna Ingólfsdóttir:
Monitorability for the Hennessy-Milner logic with recursion. Formal Methods Syst. Des. 51(1): 87-116 (2017) - [j8]Neville Grech, George Fourtounis, Adrian Francalanza, Yannis Smaragdakis:
Heaps don't lie: countering unsoundness with heap snapshots. Proc. ACM Program. Lang. 1(OOPSLA): 68:1-68:27 (2017) - 2015
- [j7]Adrian Francalanza, Aldrin Seychell:
Synthesising correct concurrent runtime monitors. Formal Methods Syst. Des. 46(3): 226-261 (2015) - 2014
- [j6]Adrian Francalanza, Edsko de Vries, Matthew Hennessy:
Compositional Reasoning for Explicit Resource Management in Channel-Based Concurrency. Log. Methods Comput. Sci. 10(2) (2014) - [j5]Edsko de Vries, Adrian Francalanza, Matthew Hennessy:
Uniqueness typing for resource management in message-passing concurrency. J. Log. Comput. 24(3): 531-556 (2014) - 2013
- [j4]Adrian Francalanza, Andrew Gauci, Gordon J. Pace:
Distributed system contract monitoring. J. Log. Algebraic Methods Program. 82(5-7): 186-215 (2013) - 2011
- [j3]Adrian Francalanza, Julian Rathke, Vladimiro Sassone:
Permission-Based Separation Logic for Message-Passing Concurrency. Log. Methods Comput. Sci. 7(3) (2011) - 2008
- [j2]Adrian Francalanza, Matthew Hennessy:
A theory of system behaviour in the presence of node and link failure. Inf. Comput. 206(6): 711-759 (2008) - 2007
- [j1]Adrian Francalanza, Matthew Hennessy:
A theory for observational fault tolerance. J. Log. Algebraic Methods Program. 73(1-2): 22-50 (2007)
Conference and Workshop Papers
- 2024
- [c68]Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, Daniele Gorla, Jana Wagemaker:
Centralized vs Decentralized Monitors for Hyperproperties. CONCUR 2024: 4:1-4:19 - [c67]Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas, Emilio Tuosto:
COTS: Connected OpenAPI Test Synthesis for RESTful Applications. COORDINATION 2024: 75-92 - [c66]Adrian Francalanza, Gerard Tabone, Frank Pfenning:
Implementing a Message-Passing Interpretation of the Semi-Axiomatic Sequent Calculus (Sax). COORDINATION 2024: 295-313 - [c65]Luca Aceto, Duncan Paul Attard, Adrian Francalanza, Anna Ingólfsdóttir:
Runtime Instrumentation for Reactive Components. ECOOP 2024: 2:1-2:33 - 2022
- [c64]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: 325-342 - [c63]Antonis Achilleos, Léo Exibard, Adrian Francalanza, Karoliina Lehtinen, Jasmine Xuereb:
A Synthesis Tool for Optimal Monitors in a Branching-Time Setting. COORDINATION 2022: 181-199 - [c62]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: 200-219 - [c61]Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza:
Monitoring Hyperproperties with Circuits. FORTE 2022: 1-10 - [c60]Gerard Tabone, Adrian Francalanza:
Session Fidelity for ElixirST: A Session-Based Type System for Elixir Modules. ICE 2022: 17-36 - [c59]Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, Anna Ingólfsdóttir:
Complexity through Translations for Modal Logic with Recursion. GandALF 2022: 34-48 - 2021
- [c58]Gerard Tabone, Adrian Francalanza:
Session types in Elixir. AGERE!@SPLASH 2021: 12-23 - [c57]Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas, Catia Trubiani, Emilio Tuosto:
Towards Probabilistic Session-Type Monitoring. COORDINATION 2021: 106-120 - [c56]Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen:
The Best a Monitor Can Do. CSL 2021: 7:1-7:23 - [c55]Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas:
On the Monitorability of Session Types, in Theory and Practice. ECOOP 2021: 20:1-20:30 - [c54]Matthew Alan Le Brun, Duncan Paul Attard, Adrian Francalanza:
Graft: general purpose raft consensus in Elixir. Erlang Workshop 2021: 2-14 - [c53]Luca Aceto, Duncan Paul Attard, Adrian Francalanza, Anna Ingólfsdóttir:
On Benchmarking for Concurrent Runtime Verification. FASE 2021: 3-23 - [c52]Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingólfsdóttir:
On Bidirectional Runtime Enforcement. FORTE 2021: 3-21 - [c51]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: 207-225 - 2020
- [c50]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: 105-124 - [c49]Adrian Francalanza, Jasmine Xuereb:
On Implementing Symbolic Controllability. COORDINATION 2020: 350-369 - [c48]Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas:
Towards a Hybrid Verification Methodology for Communication Protocols (Short Paper). FORTE 2020: 227-235 - 2019
- [c47]Dario Della Monica, Adrian Francalanza:
Pushing Runtime Verification to the Limit: May Process Semantics Be With Us. OVERLAY@AI*IA 2019: 47-52 - [c46]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: 28-44 - [c45]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: 259-275 - [c44]Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingólfsdóttir:
Comparing Controlled System Synthesis and Suppression Enforcement. RV 2019: 148-164 - [c43]Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen:
An Operational Guide to Monitorability. SEFM 2019: 433-453 - 2018
- [c42]Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingólfsdóttir:
On Runtime Enforcement via Suppressions. CONCUR 2018: 34:1-34:17 - [c41]Adrian Francalanza, Claudio Antares Mezzina, Emilio Tuosto:
Reversible Choreographies via Monitoring in Erlang. DAIS 2018: 75-92 - [c40]Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir:
A Framework for Parameterized Monitorability. FoSSaCS 2018: 203-220 - [c39]Neville Grech, George Fourtounis, Adrian Francalanza, Yannis Smaragdakis:
Shooting from the heap: ultra-scalable static analysis with heap snapshots. ISSTA 2018: 198-208 - 2017
- [c38]Adrian Francalanza:
Consistently-Detecting Monitors. CONCUR 2017: 8:1-8:19 - [c37]Giovanni Bernardi, Adrian Francalanza:
Full-Abstraction for Must Testing Preorders - (Extended Abstract). COORDINATION 2017: 237-255 - [c36]Ian Cassar, Adrian Francalanza, Luca Aceto, Anna Ingólfsdóttir:
eAOP: an aspect oriented programming framework for Erlang. Erlang Workshop 2017: 20-30 - [c35]Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir:
Monitoring for Silent Actions. FSTTCS 2017: 7:1-7:14 - [c34]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: 8-29 - [c33]Ian Cassar, Adrian Francalanza, Duncan Paul Attard, Luca Aceto, Anna Ingólfsdóttir:
A Suite of Monitoring Tools for Erlang. RV-CuBES 2017: 41-47 - [c32]Ian Cassar, Adrian Francalanza, Duncan Paul Attard, Luca Aceto, Anna Ingólfsdóttir:
A Generic Instrumentation Tool for Erlang. RV-CuBES 2017: 48-54 - [c31]Duncan Paul Attard, Adrian Francalanza:
Trace Partitioning and Local Monitoring for Asynchronous Components. SEFM 2017: 219-235 - [c30]Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Sævar Örn Kjartansson:
On the Complexity of Determinizing Monitors. CIAA 2017: 1-13 - [c29]Ian Cassar, Adrian Francalanza, Luca Aceto, Anna Ingólfsdóttir:
A Survey of Runtime Monitoring Instrumentation Techniques. PrePost@iFM 2017: 15-28 - [c28]Ian Cassar, Adrian Francalanza, Claudio Antares Mezzina, Emilio Tuosto:
Reliability and Fault-Tolerance by Choreographic Design. PrePost@iFM 2017: 69-80 - 2016
- [c27]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: 275-280 - [c26]Adrian Francalanza:
A Theory of Monitors - (Extended Abstract). FoSSaCS 2016: 145-161 - [c25]Ian Cassar, Adrian Francalanza:
On Implementing a Monitor-Oriented Programming Framework for Actor Systems. IFM 2016: 176-192 - [c24]Duncan Paul Attard, Adrian Francalanza:
A Monitoring Tool for a Branching-Time Logic. RV 2016: 473-481 - [c23]Annalizz Vella, Adrian Francalanza:
Preliminary Results Towards Contract Monitorability. PrePost@IFM 2016: 54-63 - 2015
- [c22]Ian Cassar, Adrian Francalanza:
Runtime Adaptation for Actor Systems. RV 2015: 38-54 - [c21]Adrian Francalanza, Luca Aceto, Anna Ingólfsdóttir:
On Verifying Hennessy-Milner Logic with Recursion at Runtime. RV 2015: 71-86 - [c20]Christian Colombo, Gabriel Dimech, Adrian Francalanza:
Investigating Instrumentation Techniques for ESB Runtime Verification. SEFM 2015: 99-107 - [c19]Clare Cini, Adrian Francalanza:
An LTL Proof System for Runtime Verification. TACAS 2015: 581-595 - [c18]Ian Cassar, Adrian Francalanza, Simon Said:
Improving Runtime Overheads for detectEr. FESCA 2015: 1-8 - [c17]Adrian Francalanza, Marco Giunti, António Ravara:
Unlocking Blocked Communicating Processes. WWV 2015: 23-32 - 2014
- [c16]Ian Cassar, Adrian Francalanza:
On Synchronous and Asynchronous Monitor Instrumentation for Actor-based systems. FOCLASA 2014: 54-68 - 2013
- [c15]Adrian Francalanza, Tyron Zerafa:
Code management automation for Erlang remote actors. AGERE!@SPLASH 2013: 13-18 - [c14]Adrian Francalanza, Tyron Zerafa:
Towards an abstraction for remote evaluation in Erlang. Erlang Workshop 2013: 75-76 - [c13]Adrian Francalanza, Aldrin Seychell:
Synthesising Correct Concurrent Runtime Monitors - (Extended Abstract). RV 2013: 112-129 - [c12]Christian Colombo, Adrian Francalanza, Ruth Mizzi, Gordon J. Pace:
Extensible Technology-Agnostic Runtime Verification. FESCA 2013: 1-15 - 2012
- [c11]Christian Colombo, Adrian Francalanza, Ruth Mizzi, Gordon J. Pace:
polyLarva: Runtime Verification with Configurable Resource-Aware Monitoring Boundaries. SEFM 2012: 218-232 - [c10]Christian Colombo, Adrian Francalanza, Ian Grima:
Simplifying Contract-Violating Traces. FLACOS 2012: 11-20 - 2011
- [c9]Christian Colombo, Adrian Francalanza, Rudolph Gatt:
Elarva: A Monitoring Tool for Erlang. RV 2011: 370-374 - [c8]Adrian Francalanza, Andrew Gauci, Gordon J. Pace:
Distributed System Contract Monitoring. FLACOS 2011: 23-37 - 2009
- [c7]Issam Souilah, Adrian Francalanza, Vladimiro Sassone:
A Formal Model of Provenance in Distributed Systems. Workshop on the Theory and Practice of Provenance 2009 - [c6]Edsko de Vries, Adrian Francalanza, Matthew Hennessy:
Uniqueness Typing for Resource Management in Message-Passing Concurrency. LINEARITY 2009: 26-37 - 2008
- [c5]Sophia Drossopoulou, Adrian Francalanza, Peter Müller, Alexander J. Summers:
A Unified Framework for Verification Techniques for Object Invariants. ECOOP 2008: 412-437 - 2007
- [c4]Adrian Francalanza, Matthew Hennessy:
A Fault Tolerance Bisimulation Proof for Consensus (Extended Abstract). ESOP 2007: 395-410 - [c3]Dave Cunningham, Werner Dietl, Sophia Drossopoulou, Adrian Francalanza, Peter Müller, Alexander J. Summers:
Universe Types for Topology and Encapsulation. FMCO 2007: 72-112 - 2006
- [c2]Adrian Francalanza, Matthew Hennessy:
A Theory for Observational Fault Tolerance. FoSSaCS 2006: 16-31 - 2005
- [c1]Adrian Francalanza, Matthew Hennessy:
A Theory of System Behaviour in the Presence of Node and Link Failures. CONCUR 2005: 368-382
Parts in Books or Collections
- 2020
- [p3]Adrian Francalanza, Claudio Antares Mezzina, Emilio Tuosto:
Towards Choreographic-Based Monitoring. Selected Results of the COST Action IC1405 2020: 128-150 - 2018
- [p2]Ezio Bartocci, Yliès Falcone, Adrian Francalanza, Giles Reger:
Introduction to Runtime Verification. Lectures on Runtime Verification 2018: 1-33 - [p1]Adrian Francalanza, Jorge A. Pérez, César Sánchez:
Runtime Verification for Decentralised and Distributed Systems. Lectures on Runtime Verification 2018: 176-210
Editorship
- 2024
- [e6]Valentina Castiglioni, Adrian Francalanza:
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. Lecture Notes in Computer Science 14678, Springer 2024, ISBN 978-3-031-62644-9 [contents] - 2021
- [e5]Wolfgang Ahrendt, Davide Ancona, Adrian Francalanza:
VORTEX 2021: Proceedings of the 5th ACM International Workshop on Verification and mOnitoring at Runtime EXecution, Virtual Event, Denmark, 12 July 2021. ACM 2021, ISBN 978-1-4503-8546-6 [contents] - 2019
- [e4]Adrian Francalanza, Viktória Fördós:
Proceedings of the 18th ACM SIGPLAN International Workshop on Erlang, Erlang@ICFP 2019, Berlin, Germany, August 18, 2019. ACM 2019, ISBN 978-1-4503-6810-0 [contents] - 2018
- [e3]Natalia Chechina, Adrian Francalanza:
Proceedings of the 17th ACM SIGPLAN International Workshop on Erlang, ICFP 2018, St. Louis, MO, USA, September 23-29, 2018. ACM 2018 [contents] - 2017
- [e2]Adrian Francalanza, Gordon J. Pace:
Proceedings Second International Workshop on Pre- and Post-Deployment Verification Techniques, PrePost@iFM 2017, Torino, Italy, 19 September 2017. EPTCS 254, 2017 [contents] - 2016
- [e1]Luca Aceto, Adrian Francalanza, Anna Ingólfsdóttir:
Proceedings First Workshop on Pre- and Post-Deployment Verification Techniques, PrePost@IFM 2016, Reykjavík, Iceland, 4th June 2016. EPTCS 208, 2016 [contents]
Informal and Other Publications
- 2024
- [i21]Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas, Emilio Tuosto:
COTS: Connected OpenAPI Test Synthesis for RESTful Applications. CoRR abs/2404.19614 (2024) - [i20]Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, Daniele Gorla, Jana Wagemaker:
Centralized vs Decentralized Monitors for Hyperproperties. CoRR abs/2405.12882 (2024) - [i19]Luca Aceto, Duncan Paul Attard, Adrian Francalanza, Anna Ingólfsdóttir:
Runtime Instrumentation for Reactive Components (Extended Version). CoRR abs/2406.19904 (2024) - 2023
- [i18]Antonis Achilleos, Adrian Francalanza, Jasmine Xuereb:
If At First You Don't Succeed: Extended Monitorability through Multiple Executions. CoRR abs/2306.05229 (2023) - [i17]Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, Anna Ingólfsdóttir:
Complexity results for modal logic with recursion via translations and tableaux. CoRR abs/2306.16881 (2023) - 2022
- [i16]Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingólfsdóttir:
Bidirectional Runtime Enforcement of First-Order Branching-Time Properties. CoRR abs/2201.03108 (2022) - [i15]Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza:
Monitoring hyperproperties with circuits. CoRR abs/2202.11570 (2022) - [i14]Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas, Catia Trubiani, Emilio Tuosto:
PSTMonitor: Monitor Synthesis from Probabilistic Session Types. CoRR abs/2212.07329 (2022) - 2021
- [i13]Luca Aceto, Duncan Paul Attard, Adrian Francalanza, Anna Ingólfsdóttir:
A Choreographed Outline Instrumentation Algorithm for Asynchronous Components. CoRR abs/2104.09433 (2021) - [i12]Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas:
On the Monitorability of Session Types, in Theory and Practice (Extended Version). CoRR abs/2105.06291 (2021) - [i11]Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas, Catia Trubiani, Emilio Tuosto:
Towards Probabilistic Session-Type Monitoring. CoRR abs/2107.08729 (2021) - 2020
- [i10]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 abs/2002.12793 (2020) - 2019
- [i9]Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen:
Adventures in Monitorability: From Branching to Linear Time and Back Again. CoRR abs/1902.00435 (2019) - [i8]Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen:
The Cost of Monitoring Alone. CoRR abs/1902.05152 (2019) - [i7]Neville Grech, George Fourtounis, Adrian Francalanza, Yannis Smaragdakis:
Heaps Don't Lie: Countering Unsoundness with Heap Snapshots. CoRR abs/1905.02088 (2019) - [i6]Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen:
An Operational Guide to Monitorability. CoRR abs/1906.00766 (2019) - 2018
- [i5]Ian Cassar, Adrian Francalanza, Luca Aceto, Anna Ingólfsdóttir:
Developing Theoretical Foundations for Runtime Enforcement. CoRR abs/1804.08917 (2018) - [i4]Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingólfsdóttir:
On Runtime Enforcement via Suppressions. CoRR abs/1807.01004 (2018) - [i3]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 abs/1811.06740 (2018) - 2016
- [i2]Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Sævar Örn Kjartansson:
Determinizing Monitors for HML with Recursion. CoRR abs/1611.10212 (2016) - 2008
- [i1]Sophia Drossopoulou, Adrian Francalanza, Peter Müller, Alexander J. Summers:
A Unified Framework for Verification Techniques for Object Invariants. Types, Logics and Semantics for State 2008
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-14 02:06 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint