|
Program committee member for RV 2024.
|
|
|
Program Chair for FORTE 2024 with Valentina Castiglioni
|
|
Jan 24
|
Journal paper A monitoring tool for linear-time muHML
has been accepted in
Science of Computer
Programming.
|
|
Nov 23
|
Program committee member for SEFM 2023.
|
|
Oct 23
|
Journal paper ElixirST: A session-based type system for Elixir modules
has been accepted in
Journal of
Logical and Algebraic Methods in Programming.
|
|
Oct 23
|
Program committee member for RV 2023.
|
|
Aug 23
|
Journal paper On first-order runtime enforcement of branching-time properties
has been accepted in
Acta Informatica.
|
|
Jun 23
|
Program committee member for Coordination 2023.
|
|
Jun 23
|
Program committee member for MFPS 2023.
|
|
Jun 23
|
Program committee member for FORTE 2023.
|
|
May 23
|
Program committee member for FSEN 2023.
|
|
Mar 23
|
Program committee member for FM 2023.
|
|
Feb 23
|
Journal paper Bidirectional Runtime Enforcement of First-Order Branching-Time
Properties
has been accepted in
Logical Methods in Computer Science.
|
|
Dec 22
|
Program committee member for FTSCS 2022.
|
|
Oct 22
|
Journal paper PSTMonitor: Monitor synthesis from probabilistic session types
has been accepted in
Science of Computer
Programming.
|
|
Sep 22
|
Program committee member for GANDALF 2022.
|
|
Sep 22
|
Program committee member for RV 2022.
|
|
Jul 22
|
Paper On Probabilistic Monitorability
has been accepted at
Principles of Systems Design.
|
|
Jun 22
|
Conference paper Complexity through Translations for Modal Logic with Recursion
has been accepted at
GandALF 2022.
|
|
Jun 22
|
Conference paper Session Fidelity for ElixirST
has been accepted at
ICE 2022 (co-located with DisCoTec 2022).
|
|
Jun 22
|
Conference paper A Monitoring Tool for the Linear-Time muHML
has been accepted at
Coordination 2022.
The paper also won best paper at
DisCoTec 2022. The accompanying tool can be accessed from
here.
|
|
Jun 22
|
Conference paper A Synthesis Tool for Optimal Monitors in a Branching-Time Setting
has been accepted at
Coordination 2022.
|
|
Jun 22
|
Conference paper Monitoring Hyper-properties with Circuits
has been accepted at
FORTE 2022.
|
|
Jun 22
|
Program chair for the 5th International Workshop on Verification and mOnitoring at Runtime EXecution (VORTEX) colocated with ECOOP 2022.
|
|
Jun 22
|
Program committee member for Coordination 2022.
|
|
Jun 22
|
Program committee member for FORTE 2022.
|
|
Oct 21
|
Conference paper Session types in Elixir
has been accepted at
Agere 2021 (co-located with SPLASH 2021).
|
|
Oct 21
|
Program committee member for RV 2021.
|
|
Sep 21
|
Program committee member for CONCUR 2021.
|
|
Sep 21
|
Program committee member for ICTAC 2021.
|
|
Aug 21
|
Conference paper Graft: General Purpose Raft Consensus in Elixir
has been accepted at
Erlang 2021 (co-located with ICFP 2021).
|
|
Aug 21
|
Program committee member for EURO-PAR 2021.
|
|
Jul 21
|
Conference paper On the Monitorability of Session Types, in Theory and Practice
has been accepted at
ECOOP 2021. Supporting artefact instructions and binaries available.
|
|
Jul 21
|
Session Type Monitor tool website updated.
|
|
Jul 21
|
Program chair for the 4th International Workshop on Verification and mOnitoring at Runtime EXecution (VORTEX) colocated with ECOOP 2021 and ISSTA 2021.
|
|
Jul 21
|
Journal paper A Theory of Monitors
has been accepted in the Journal on
Information and Computation (I&C).
|
|
Jun 21
|
Conference paper Towards Probabilistic Session-Type Monitoring
has been accepted at
Coordination 2021.
|
|
Jun 21
|
Conference paper Better Late Than Never or: Verifying Asynchronous Components at Runtime
has been accepted at
FORTE 2021.
|
|
Jun 21
|
Conference paper On Bidirectional Runtime Enforcement
has been accepted at
FORTE 2021.
|
|
Jun 21
|
General Chair for the 16th International Federated Conference on Distributed Computing Techniques (DisCoTec 2021).
|
|
May 21
|
DetectEr tool website updated.
|
|
Apr 21
|
Conference paper On Benchmarking for Concurrent Runtime Verification
has been accepted at
FASE 2021.
|
|
Feb 21
|
Journal paper An Operational Guide to Monitorability with Applications to Regular Properties
has been accepted in the Journal on
Software and Systems Modeling (SoSyM).
|
|
Jan 21
|
Journal paper Computer Says No:
Verdict Explainability for Runtime Monitors using a Local Proof System
has been accepted in the Journal of
Logical and Algebraic Methods in Programming (JLAMP).
|
|
Jan 21
|
Conference paper The Best a Monitor Can Do
has been accepted at
CLS 2021.
|
|
Dec 20
|
Conference paper Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language
has been accepted at
APLAS 2020.
|
|
Nov 20
|
Program committee member for FSEN 2021.
|
|
Oct 20
|
Journal paper Comparing Controlled System Synthesis and Suppression Enforcement
has been accepted in the Journal on
Software Tools for Technology Transfer (STTT).
|
|
Sep 20
|
Program committee member for Runtime Verification (RV) 2020.
|
|
Jun 20
|
Conference paper On Implementing Symbolic Controllability
has been accepted at
Coordination 2020.
|
|
Jun 20
|
Conference paper Towards a Hybrid Verification Methodology for Communication Protocols
has been accepted at
FORTE 2020.
|
|
Jun 20
|
General Chair for the 15th International Federated Conference on Distributed Computing Techniques (DisCoTec 2020).
|
|
May 20
|
Book Chapter
Towards Choreographic-Based Monitoring
has been accepted as part of Reversible Computation - Extending Horizons of Computing.
|
|
Mar 20
|
Journal paper
The Complexity of Identifying Characteristic Formulae
has been accepted in the Journal of
Logical and Algebraic Methods in Programming (JLAMP).
|
|
Feb 20
|
Journal paper
Determinizing monitors for HML with recursion
has been accepted in the Journal of
Logical and Algebraic Methods in Programming (JLAMP).
|
|
Nov 19
|
Journal paper A Survey on Challenges for Runtime Verification from Advanced Application Domains (beyond software) has been published in the Journal of Formal Methods in System Design (FMSD)
|
|
Nov 19
|
Program committee member for ICTAC 2019.
|
|
Oct 19
|
Conference paper Comparing Controlled System Synthesis and Suppression Enforcement
has been accepted at
Runtime Verification (RV).
|
|
Oct 19
|
Program committee member for Runtime Verification (RV) 2019.
|
|
Sep 19
|
Conference paper
An Operational Guide to Monitorability
has been accepted at
SEFM 2019.
|
|
Sep 19
|
Program committee member for CONCUR 2019.
|
|
Sep 19
|
Program committee member for EXPRESS/SOS @ CONCUR 2019.
|
|
Sep 19
|
Program committee member for RADICAL @ CONCUR 2019.
|
|
Aug 19
|
Program chair for Erlang Workshop (EW) @ ICFP 2019.
|
|
Jul 19
|
Conference paper
The Cost of Monitoring Alone
has been accepted at
From Reactive Systems to Cyber-Physical Systems.
|
|
Jun 19
|
Program chair for the 3rd International Workshop on Verification of Objects at Runtime Execution (VORTEX) @ ECOOP 2019.
|
|
Jun 19
|
Conference paper
Testing Equivalence Vs. Runtime Monitoring
has been accepted at
Models, Languages, and Tools for Concurrent and Distributed Programming.
|
|
Mar 19
|
Program committee member for PLACES 2019 @ ETAPS.
|
|
Jan 19
|
Journal paper
Adventures in Monitorability: From Branching to Linear Time and Back Again
has been accepted at
POPL 2019.
|
|
Jan 19
|
Program committee member for BEAT 2019 @ POPL.
|
|
Nov 18
|
Journal paper
Full-abstraction for client testing preorders
has been accepted to
Science of Computer Programming.
|
|
Oct 18
|
Program committee member for FSEN 2019.
|
|
Sep 18
|
Conference paper
On Runtime Enforcement via Suppressions
has been accepted at
CONCUR 2018.
|
|
Jul 18
|
Conference paper
Shooting from the Heap: Ultra-Scalable Static Analysis with Heap Snapshots
has been accepted at
ISSTA 2018.
|
|
Jun 18
|
Conference paper
Reversible Choreographies via Monitoring in Erlang
has been accepted at
DAIS 2018.
|
|
Sep 18
|
Program committee member for RV 2018.
|
|
Sep 18
|
Program committee member for YR-CONCUR 2018.
|
|
Sep 18
|
Invited Speaker at the 25th Workshop in Expressivness in Concurrency/Structural Operational Semantics
(EXPRESS/SOS)
2018, colocated with
CONCUR 2018.
|
|
Mar 18
|
Conference paper
A Framework for Parametrized Monitorability
has been accepted at
FoSSaCS 2018.
|
|
Jan 18
|
Two book chapters published in Lectures on Runtime Verification:
Introduction to Runtime Verification and
Runtime Verification for Decentralised and Distributed Systems.
|
|
Nov 17
|
Program Chair for Erlang 2018 colocated with
ICFP 2018
.
|
|
Nov 17
|
Program committee member for ICTAC 2018.
|
|
Dec 17
|
Conference paper Monitoring for Silent Actions has been accepted at
FSTTCS 2017.
|
|
Oct 17
|
Journal paper Heaps Don't Lie: Countering Unsoundness with Heap Snapshots has been accepted at
OOPSLA 2017.
|
|
Sep 17
|
Invited tutorial paper A Foundation for Runtime Monitoring has been presented at
RV 2017.
|
|
Sep 17
|
Conference paper Consistently-Detecting Monitors has been accepted at
CONCUR 2017.
|
|
Sep 17
|
Paper eAOP: an aspect oriented programming framework for Erlang has been accepted at
Erlang 2017.
|
|
Aug 17
|
The papers A Suite of Monitoring Tools for Erlang and
A Generic Instrumentation Tool for Erlang have been accepted at
RV-Cubes 2017.
|
|
Jul 17
|
Conference paper The Complexity of Identifying Characteristic Formulas for muHML has been accepted at
PLS 2017.
|
|
Jul 17
|
The papers A Survey of Runtime Monitoring Instrumentation Techniques and
Reliability and Fault-Tolerance by Choreographic Design have been accepted at
PrePost 2017.
|
|
Jul 17
|
Journal paper Monitorability for the Hennessy-Milner Logic with Recursion has been published in the Journal of Formal Methods in System Design (FMSD)
|
|
Jun 17
|
Program committee member for RV-CuBES 2017.
|
|
May 17
|
Conference paper Full-abstraction for Must Testing Preorders has been accepted at
Coordination 2017.
|
|
May 17
|
Conference paper On the Complexity of Determinizing Monitors has been accepted at
CIAA 2017.
|
|
May 17
|
Conference paper Trace Partitioning and Local Monitoring for Asynchronous Components has been accepted at
SEFM 2017.
|
|
Apr 17
|
Program Chair for PrePost 2017.
|
|
Apr 17
|
Program committee member for SEFM 2017.
|
|
Apr 17
|
Program committee member for VORTEX 2017.
|
|
Jan 17
|
Participant at the Dagstuhl Seminar on the Theory and Applications of Behavioural Types.
|
|
Jan 17
|
Technical report Determinizing Monitors for HML with Recursion is now available.
|
|
Jan 17
|
Book chapter A Runtime Monitoring Tool for Actor-Based Systems will appear as part of the book Behavioural Types: from Theory to Tools.
|
|
Oct 16
|
Program committee member for FSEN 2017.
|
|
Sep 16
|
Invited Lecturer at the ARVI International Summer School on Runtime Verification in Madrid, Spain.
|
|
Sep 16
|
Conference paper A Monitoring Tool for a Branching-Time Logic has been accepted at
RV 2016.
|
|
May 16
|
Workshop paper Preliminary Results Towards Contract Monitorability has been accepted at
PrePost 2016.
|
|
Apr 16
|
Conference paper
Using Gherkin to extract Tests and Monitors for Safer Medical Device Interaction Design has been accepted at
EICS 2016.
|
|
Mar 16
|
A co-proposed three year project titled Theoretical Foundations for Monitorability has been accepted by Rannis (The Icelandic Research Fund). The project is in collaboration with Luca Aceto and Anna Ingolfsdottir from Reykjavik University .
|
|
Mar 16
|
Conference paper On Implementing a Monitor-Oriented Programming Framework for Actor Systems has been accepted at iFM 2016.
|
|
Mar 16
|
BETTY COST Action Meeting: Valletta, Malta (local organiser).
|
|
Jan 16
|
Conference paper A Theory of Monitors has been accepted at FoSSaCS 2016.
|
|
Jan 16
|
Program committee member for RV 2016 .
|
|
Dec 15
|
Program committee co-chair for PREPOST 2016 .
|
|
Sep 15
|
Program Committee member for WSFM/BEAT 2015 .
|
|
Jun 15
|
Conference paper On Verifying Hennessy-Milner Logic with Recursion at Runtime has been accepted at RV 2015.
|
|
Jun 15
|
Conference paper Runtime Adaptation for Actor Systems has been accepted at RV 2015.
|
|
Apr 15
|
Conference paper Investigating Instrumentation Techniques for ESB Runtime Verification has been accepted at SEFM 2015.
|
|
Apr 15
|
Workshop paper Unlocking Blocked Communicating Processes has been accepted at WWV 2015.
|
|
Jan 15
|
Conference paper An LTL Proof System for Runtime Verification has been accepted at TACAS 2015.
|
|
Jan 15
|
Workshop paper Improving Runtime Overheads for detectEr has been accepted at FESCA 2015.
|
|
Nov 14
|
Journal paper Synthesising Correct Concurrent Runtime Monitors has been published in the Journal of Formal Methods in System Design (FMSD)
|
|
Sep 14
|
3 papers accepted in the journal Xjenza: Uniqueness Typing For A Higher-Order Language, Formal Proofs for Broadcast Algorithms and Monitoring Distributed Systems with Distributed PolyLarva.
|
|
Aug 14
|
DetectEr Project website launched, accompanying the tool development repository
|
|
Jul 14
|
Paper On Synchronous and Asynchronous Monitor Instrumentation for Actor-based systems has been accepted at FOCLASA 2014
|
|
Jun 14
|
Program Committee co-chair for BEAT 2014 .
|
|
Mar 14
|
Journal paper Compositional Reasoning for Explicit Resource Management in
Channel-Based Concurrency has been accepted at LMCS.
|
|
Sep 13
|
Paper Code Management Automation for Erlang Remote Actors has been accepted at Agere 2013.
|
|
Sep 13
|
A prototype implementation for automating migration and management of codebases in Distributed Erlang is available to download from here. It accompanies a paper discussing the underlying technology. |
|
Jul 13
|
Paper Towards an Abstraction for Remote Evaluation in Erlang has been accepted at Erlang Workshop 2013.
|
|
Jul 13
|
Conference paper Synthesising Correct Concurrent Runtime Monitors (Extended Abstract) has been accepted at RV2013.
|
|
May 13
|
Program Committee member for BEAT II 2013 .
|
|
Apr 13
|
The journal paper Distributed System Contract Monitoring superseding the extended abstract of the same name, has been accepted for publication in the Journal of Logic and Algebraic Programming (JLAP).
|
|
Feb 13
|
A new tool DetectEr, automating the synthesis of synchronous monitors, checking for safety property violations by Erlang systems, is available to download. It accompanies a technical report discussing the underlying theory.
|
|
Feb 13
|
The technical report Synthesising Correct Concurrent Runtime Monitors in Erlang is now available here.
|
|
Jan 13
|
The paper Extensible Technology Agnostic Runtime Verification has been accepted at FESCA2013 (in conjunction with ETAPS 2013).
|
|
Nov 12
|
The paper Reasoning about Explicit Resource Management is now superseded by the technical report Compositional Reasoning for Channel-Based Concurrent Resource Management available here.
|
|
Jul 12
|
Paper Simplifying Contract-Violating Traces has been accepted at FLACOS2012.
|
|
Jun 12
|
Program Committee member for SVARM/VERIFY 2012 .
|
|
May 12
|
Conference paper polyLarva: Runtime Verification with Configurable Resource-Aware Monitoring Boundaries has been accepted at SEFM2012.
|
|
Apr 12
|
Journal paper Uniqueness Typing for Resource Management in Message-Passing Concurrency has been accepted at Journal of Logic and Computation.
|
|
Sep 11
|
Paper Distributed System Contract Monitoring has been accepted at FLACOS 2011.
|
|
Aug 11
|
Paper Elarva: A Monitoring tool for Erlang has been accepted at RV 2011.
|
|
Jun 11
|
Journal paper Permission-based Separation Logic for Message-Passing Concurrency has been accepted at LMCS.
|