Adrian Francalanza

Gerard Tabone

J. Log. Algebraic Methods Program., October, 2023

Bidirectional Runtime Enforcement of First-Order Branching-Time Properties.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2023

Complexity results for modal logic with recursion via translations and tableaux.

[BibT_eX]

[DOI]

CoRR, 2023

If At First You Don't Succeed: Extended Monitorability through Multiple Executions.

[BibT_eX]

[DOI]

Antonis Achilleos

Jasmine Xuereb

CoRR, 2023

2022

PSTMonitor: Monitor synthesis from probabilistic session types.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2022

Preface to the JOT special issue on ECOOP 2021: selected workshop papers.

[BibT_eX]

[DOI]

J. Object Technol., 2022

Complexity through Translations for Modal Logic with Recursion.

[BibT_eX]

[DOI]

Proceedings of the 13th International Symposium on Games, 2022

Session Fidelity for ElixirST: A Session-Based Type System for Elixir Modules.

[BibT_eX]

[DOI]

Gerard Tabone

Mathias Ruggaard Pedersen

Proceedings of the Proceedings 15th Interaction and Concurrency Experience, 2022

Monitoring Hyperproperties with Circuits.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2022

A Synthesis Tool for Optimal Monitors in a Branching-Time Setting.

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages, 2022

A Monitoring Tool for Linear-Time μHML.

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages, 2022

On Probabilistic Monitorability.

[BibT_eX]

[DOI]

Proceedings of the Principles of Systems Design, 2022

2021

Comparing controlled system synthesis and suppression enforcement.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2021

An operational guide to monitorability with applications to regular properties.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2021

Computer says no: Verdict explainability for runtime monitors using a local proof system.

[BibT_eX]

[DOI]

Clare Cini

J. Log. Algebraic Methods Program., 2021

A theory of monitors.

[BibT_eX]

[DOI]

Inf. Comput., 2021

On the Monitorability of Session Types, in Theory and Practice (Artifact).

[BibT_eX]

[DOI]

Dagstuhl Artifacts Ser., 2021

On the Monitorability of Session Types, in Theory and Practice (Extended Version).

[BibT_eX]

[DOI]

CoRR, 2021

A Choreographed Outline Instrumentation Algorithm for Asynchronous Components.

[BibT_eX]

[DOI]

CoRR, 2021

Better Late Than Never or: Verifying Asynchronous Components at Runtime.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2021

On Bidirectional Runtime Enforcement.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2021

On Benchmarking for Concurrent Runtime Verification.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2021

Graft: general purpose raft consensus in Elixir.

[BibT_eX]

[DOI]

Matthew Alan Le Brun

Duncan Paul Attard

Proceedings of the 20th ACM SIGPLAN International Workshop on Erlang, 2021

On the Monitorability of Session Types, in Theory and Practice.

[BibT_eX]

[DOI]

Proceedings of the 35th European Conference on Object-Oriented Programming, 2021

The Best a Monitor Can Do.

[BibT_eX]

[DOI]

Proceedings of the 29th EACSL Annual Conference on Computer Science Logic, 2021

Towards Probabilistic Session-Type Monitoring.

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages, 2021

Session types in Elixir.

[BibT_eX]

[DOI]

Gerard Tabone

Proceedings of the AGERE 2021: Proceedings of the 11th ACM SIGPLAN International Workshop on Programming Based on Actors, 2021

2020

Towards Choreographic-Based Monitoring.

[BibT_eX]

[DOI]

Claudio Antares Mezzina

Emilio Tuosto

Proceedings of the Reversible Computation: Extending Horizons of Computing, 2020

Determinizing monitors for HML with recursion.

[BibT_eX]

[DOI]

Sævar Örn Kjartansson

J. Log. Algebraic Methods Program., 2020

The complexity of identifying characteristic formulae.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2020

Towards a Hybrid Verification Methodology for Communication Protocols (Short Paper).

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2020

On Implementing Symbolic Controllability.

[BibT_eX]

[DOI]

Jasmine Xuereb

Proceedings of the Coordination Models and Languages, 2020

Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems - 18th Asian Symposium, 2020

2019

Adventures in monitorability: from branching to linear time and back again.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2019

Correction to: A survey of challenges for runtime verification from advanced application domains (beyond software).

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2019

A survey of challenges for runtime verification from advanced application domains (beyond software).

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2019

An Operational Guide to Monitorability.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods - 17th International Conference, 2019

The Cost of Monitoring Alone.

[BibT_eX]

[DOI]

Proceedings of the From Reactive Systems to Cyber-Physical Systems, 2019

Testing Equivalence vs. Runtime Monitoring.

[BibT_eX]

[DOI]

Proceedings of the Models, Languages, and Tools for Concurrent and Distributed Programming, 2019

Pushing Runtime Verification to the Limit: May Process Semantics Be With Us.

[BibT_eX]

[DOI]

Dario Della Monica

Proceedings of the 1st Workshop on Artificial Intelligence and Formal Verification, 2019

2018

Runtime Verification for Decentralised and Distributed Systems.

[BibT_eX]

[DOI]

Jorge A. Pérez

César Sánchez

Proceedings of the Lectures on Runtime Verification - Introductory and Advanced Topics, 2018

Introduction to Runtime Verification.

[BibT_eX]

[DOI]

Proceedings of the Lectures on Runtime Verification - Introductory and Advanced Topics, 2018

Full-abstraction for client testing preorders.

[BibT_eX]

[DOI]

Giovanni Tito Bernardi

Sci. Comput. Program., 2018

Developing Theoretical Foundations for Runtime Enforcement.

[BibT_eX]

[DOI]

CoRR, 2018

Shooting from the heap: ultra-scalable static analysis with heap snapshots.

[BibT_eX]

[DOI]

Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2018

A Framework for Parameterized Monitorability.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Science and Computation Structures, 2018

Reversible Choreographies via Monitoring in Erlang.

[BibT_eX]

[DOI]

Claudio Antares Mezzina

Emilio Tuosto

Proceedings of the Distributed Applications and Interoperable Systems, 2018

On Runtime Enforcement via Suppressions.

[BibT_eX]

[DOI]

Proceedings of the 29th International Conference on Concurrency Theory, 2018

2017

Heaps don't lie: countering unsoundness with heap snapshots.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2017

Monitorability for the Hennessy-Milner logic with recursion.

[BibT_eX]

[DOI]

Luca Aceto

Anna Ingólfsdóttir

Formal Methods Syst. Des., 2017

Reliability and Fault-Tolerance by Choreographic Design.

[BibT_eX]

[DOI]

Claudio Antares Mezzina

Emilio Tuosto

Proceedings of the Proceedings Second International Workshop on Pre- and Post-Deployment Verification Techniques, 2017

A Survey of Runtime Monitoring Instrumentation Techniques.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Second International Workshop on Pre- and Post-Deployment Verification Techniques, 2017

On the Complexity of Determinizing Monitors.

[BibT_eX]

[DOI]

Sævar Örn Kjartansson

Proceedings of the Implementation and Application of Automata, 2017

Trace Partitioning and Local Monitoring for Asynchronous Components.

[BibT_eX]

[DOI]

Duncan Paul Attard

Proceedings of the Software Engineering and Formal Methods - 15th International Conference, 2017

A Foundation for Runtime Monitoring.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - 17th International Conference, 2017

A Generic Instrumentation Tool for Erlang.

[BibT_eX]

[DOI]

Proceedings of the RV-CuBES 2017. An International Workshop on Competitions, 2017

A Suite of Monitoring Tools for Erlang.

[BibT_eX]

[DOI]

Proceedings of the RV-CuBES 2017. An International Workshop on Competitions, 2017

Monitoring for Silent Actions.

[BibT_eX]

[DOI]

Proceedings of the 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2017

eAOP: an aspect oriented programming framework for Erlang.

[BibT_eX]

[DOI]

Proceedings of the 16th ACM SIGPLAN International Workshop on Erlang, 2017

Full-Abstraction for Must Testing Preorders - (Extended Abstract).

[BibT_eX]

[DOI]

Giovanni Bernardi

Proceedings of the Coordination Models and Languages, 2017

Consistently-Detecting Monitors.

[BibT_eX]

[DOI]

Proceedings of the 28th International Conference on Concurrency Theory, 2017

2016

Preliminary Results Towards Contract Monitorability.

[BibT_eX]

[DOI]

Annalizz Vella

Proceedings of the Proceedings First Workshop on Pre- and Post-Deployment Verification Techniques, 2016

A Monitoring Tool for a Branching-Time Logic.

[BibT_eX]

[DOI]

Duncan Paul Attard

Proceedings of the Runtime Verification - 16th International Conference, 2016

On Implementing a Monitor-Oriented Programming Framework for Actor Systems.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods - 12th International Conference, 2016

A Theory of Monitors - (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Science and Computation Structures, 2016

Using gherkin to extract tests and monitors for safer medical device interaction design.

[BibT_eX]

[DOI]

Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2016

2015

Synthesising correct concurrent runtime monitors.

[BibT_eX]

[DOI]

Aldrin Seychell

Formal Methods Syst. Des., 2015

Unlocking Blocked Communicating Processes.

[BibT_eX]

[DOI]

Marco Giunti

António Ravara

Proceedings of the Proceedings 11th International Workshop on Automated Specification and Verification of Web Systems, 2015

Improving Runtime Overheads for detectEr.

[BibT_eX]

[DOI]

Simon Said

Proceedings of the Proceedings 12th International Workshop on Formal Engineering approaches to Software Components and Architectures, 2015

An LTL Proof System for Runtime Verification.

[BibT_eX]

[DOI]

Clare Cini

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

Investigating Instrumentation Techniques for ESB Runtime Verification.

[BibT_eX]

[DOI]

Christian Colombo

Gabriel Dimech

Proceedings of the Software Engineering and Formal Methods - 13th International Conference, 2015

On Verifying Hennessy-Milner Logic with Recursion at Runtime.

[BibT_eX]

[DOI]

Luca Aceto

Anna Ingólfsdóttir

Proceedings of the Runtime Verification - 6th International Conference, 2015

Runtime Adaptation for Actor Systems.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - 6th International Conference, 2015

2014

Compositional Reasoning for Explicit Resource Management in Channel-Based Concurrency.

[BibT_eX]

[DOI]

Edsko de Vries

Log. Methods Comput. Sci., 2014

On Synchronous and Asynchronous Monitor Instrumentation for Actor-based systems.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 13th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems, 2014

2013

Distributed system contract monitoring.

[BibT_eX]

[DOI]

Andrew Gauci

Gordon J. Pace

J. Log. Algebraic Methods Program., 2013

Extensible Technology-Agnostic Runtime Verification

[BibT_eX]

[DOI]

Proceedings of the Proceedings 10th International Workshop on Formal Engineering Approaches to Software Components and Architectures, 2013

Synthesising Correct Concurrent Runtime Monitors - (Extended Abstract).

[BibT_eX]

[DOI]

Aldrin Seychell

Proceedings of the Runtime Verification - 4th International Conference, 2013

Towards an abstraction for remote evaluation in Erlang.

[BibT_eX]

[DOI]

Tyron Zerafa

Proceedings of the Twelfth ACM SIGPLAN Erlang Workshop, 2013

Code management automation for Erlang remote actors.

[BibT_eX]

[DOI]

Tyron Zerafa

Proceedings of the 2013 Workshop on Programming based on Actors, 2013

2012

Simplifying Contract-Violating Traces

[BibT_eX]

[DOI]

Christian Colombo

Ian Grima

Proceedings of the Proceedings Sixth Workshop on Formal Languages and Analysis of Contract-Oriented Software, 2012

polyLarva: Runtime Verification with Configurable Resource-Aware Monitoring Boundaries.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods - 10th International Conference, 2012

2011

Permission-Based Separation Logic for Message-Passing Concurrency

[BibT_eX]

[DOI]

Julian Rathke

Vladimiro Sassone

Log. Methods Comput. Sci., 2011

Elarva: A Monitoring Tool for Erlang.

[BibT_eX]

[DOI]

Christian Colombo

Rudolph Gatt

Proceedings of the Runtime Verification - Second International Conference, 2011

2009

Uniqueness Typing for Resource Management in Message-Passing Concurrency

[BibT_eX]

[DOI]

Edsko de Vries

Proceedings of the Proceedings First International Workshop on Linearity, 2009

A Formal Model of Provenance in Distributed Systems.

[BibT_eX]

[DOI]

Issam Souilah

Vladimiro Sassone

Proceedings of the First Workshop on the Theory and Practice of Provenance, 2009

2008

A theory of system behaviour in the presence of node and link failure.

[BibT_eX]

[DOI]

Inf. Comput., 2008

A Unified Framework for Verification Techniques for Object Invariants.

[BibT_eX]

[DOI]

Proceedings of the Types, Logics and Semantics for State, 03.02. - 08.02.2008, 2008

2007

A theory for observational fault tolerance.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2007

Universe Types for Topology and Encapsulation.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Components and Objects, 6th International Symposium, 2007

A Fault Tolerance Bisimulation Proof for Consensus (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2007

2005

A study of failure in a distributed pi-calculus.

[BibT_eX]

[DOI]

PhD thesis, 2005

A Theory of System Behaviour in the Presence of Node and Link Failures.

[BibT_eX]

[DOI]