VORTEX 2026

9th Workshop on Verification and Monitoring at Runtime Execution

Runtime Monitoring (RM) is concerned with the runtime analysis of software and hardware system executions in order to infer properties relating to system behaviour. Example applications include telemetry, log aggregation, threshold alerting, performance monitoring and adherence to correctness properties (more commonly referred to as runtime verification). RM has gained popularity as a solution to ensure software reliability, bridging the gap between formal verification and testing: on the one hand, the notion of event trace abstracts over system executions, thus favoring system agnosticism to better support reuse and interoperability; on the other hand, monitoring a system offers more opportunities for addressing error recovery, self-adaptation, and issues that go beyond software reliability. The goal of VORTEX is to bring together researchers contributing on all aspects of RM covering and possibly integrating both theoretical and practical aspects, with particular focus on hybrid approaches inspired by formal methods, program analysis, testing, and artificial intelligence.

Keynote

Testing ERC Tokens at Scale — Approaches, foundations, mutation testing, and analytics

Yliès Falcone

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

Adrian Francalanza

Between static and run-time verification of message-passing systems with behavioural types

Alceste Scalas

Time Zone

The program is currently displayed in (GMT+02:00) Brussels, Copenhagen, Madrid, Paris.

Use conference time zone: (GMT+02:00) Brussels, Copenhagen, Madrid, ParisSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

You're viewing the program in a time zone which is different from your device's time zone change time zone

Tue 30 Jun
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

08:30 - 17:00	Coffee available throughout the dayCatering at Coffee corner (Atrium 0)

08:30 8h30m Break		Coffee available throughout the day Catering

09:00 - 10:30	Morning Session 1 (keynote, talk)VORTEX at I.1.07 Chair(s): Davide Ancona DIBRIS, University of Genova, Italy

09:00 5m Day opening		Welcome to VORTEX 2026 VORTEX Davide Ancona DIBRIS, University of Genova, Italy, Giorgio Audrito
09:05 60m Keynote		If At First You Don’t Succeed: Extended Monitorability through Multiple Executions VORTEX K: Adrian Francalanza VELOCiTY Research Group, Department of Computer Science, University of Malta
10:05 25m Talk		Property Grouping and Context-Aware Runtime Enforcement VORTEX Saumya Shankar International Institute of Information Technology Bangalore, Srinivas Pinisetty Indian Institute of Technology Bhubaneswar, Thierry Jéron INRIA, Srishti Gupta Indian Institute of Technology Bhubaneswar

10:30 - 11:00	Coffee breakCatering at Atrium 0

10:30 30m Coffee break		Break Catering

11:00 - 12:30	Morning Session 2 (keynote, talk)VORTEX at I.1.07 Chair(s): Giorgio Audrito Università di Torino

11:00 60m Keynote		Between static and run-time verification of message-passing systems with behavioural types VORTEX K: Alceste Scalas Technical University of Denmark
12:00 25m Talk		Autonomous Runtime Management of Cloud Performance Anomalies Using End-to-End Service Topology VORTEX Dhanya R Mathews India Indian Institute of Science, Bangalore, Jagarlamudi Lakshmi Indian Institute of Science, Bangalore,

12:30 - 14:00	LunchCatering at VUB Restaurant

12:30 90m Lunch		Lunch Catering

14:00 - 15:30	Afternoon Session 1 (keynote, talk)VORTEX at I.1.07

14:00 60m Keynote		Testing ERC Tokens at Scale — Approaches, foundations, mutation testing, and analytics VORTEX K: Yliès Falcone Univ. Grenoble Alpes, Inria
15:00 25m Talk		RV-TEE for Post-Quantum Digital Signatures: Trustworthy Dilithium Deployment VORTEX Adriano d'Alessandro , Angelo Ferrando , Christian Colombo University of Malta

15:30 - 16:00	Coffee breakCatering at Atrium 0

15:30 30m Coffee break		Break Catering

16:00 - 17:30	Afternoon Session 2 (talks)VORTEX at I.1.07

16:00 25m Talk		Runtime Semantic Discovery for Evolving Action Alphabets VORTEX Pietro Bernabei Scuola IMT Alti Studi Lucca, University of Florence, Rosario Pugliese University of Florence
16:25 25m Talk		A New Syntax and Semantics for Probabilistic Trace Expressions VORTEX Davide Ancona DIBRIS, University of Genova, Italy, Angelo Ferrando , Viviana Mascardi DIBRIS, University of Genova, Italy
16:50 25m Talk		Spatial Logic of Directed Graphs VORTEX Giorgio Audrito Università di Torino, Gianluca Aguzzi Alma Mater Studiorum - Università di Bologna, Ferruccio Damiani University of Turin, Gianluca Torta giatorta@gmail.com, Volker Stolz Høgskulen på Vestlandet

Accepted Papers

	Title
	A New Syntax and Semantics for Probabilistic Trace Expressions VORTEX Davide Ancona, Angelo Ferrando, Viviana Mascardi
	Autonomous Runtime Management of Cloud Performance Anomalies Using End-to-End Service Topology VORTEX Dhanya R Mathews, Jagarlamudi Lakshmi
	Property Grouping and Context-Aware Runtime Enforcement VORTEX Saumya Shankar, Srinivas Pinisetty, Thierry Jéron, Srishti Gupta
	Runtime Semantic Discovery for Evolving Action Alphabets VORTEX Pietro Bernabei, Rosario Pugliese
	RV-TEE for Post-Quantum Digital Signatures: Trustworthy Dilithium Deployment VORTEX Adriano d'Alessandro, Angelo Ferrando, Christian Colombo
	Spatial Logic of Directed Graphs VORTEX Giorgio Audrito, Gianluca Aguzzi, Ferruccio Damiani, Gianluca Torta, Volker Stolz

Call for Papers

Submissions must be non-anonymous, written in English, and formatted using the acmart sigconf style. They must fall into one of the following categories:

Long Papers (up to 10 pages): Unpublished, self-contained research.
Short Papers (up to 5 pages): Original contributions representing work-in-progress or not yet fully developed.

Authors of submissions that clearly fall within the topics of interest will be invited to present their work at the workshop.

Topics of interest include, but are not limited to, the following ones:

monitor construction and synthesis techniques
program adaptation
monitoring oriented programming
runtime enforcement, fault detection, recovery and repair
combination of static and dynamic analyses
specification formalisms for RM
specification mining
monitoring concurrent/distributed systems
RM for safety and security
RM for the Internet of Things
industrial applications
integrating RM, formal verification, testing, and artificial intelligence
tool development
instrumentation techniques for RM
surveys on different RM tools, formal frameworks or methodologies
presentations of RM tools
techniques for enhancing code coverage in offline RM

Papers must be submitted electronically via EasyChair; the submission deadline is April 10th AoE (extended deadline). Authors should use the official ACM Master article template, which can be obtained from the ACM Proceedings Template pages.

Remark: Attendance should be in person, on line presentations at the workshop will be supported only in case of compelling circumstances.

Proceedings: see the specific page

Following the tradition of VORTEX, a selection of extended versions of the works presented at the workshop is planned to be published.

9th Workshop on Verification and Monitoring at Runtime Execution

Keynote

Testing ERC Tokens at Scale — Approaches, foundations, mutation testing, and analytics

Yliès Falcone

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

Adrian Francalanza

Between static and run-time verification of message-passing systems with behavioural types

Alceste Scalas

Program Display Configuration

Tue 30 JunDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change

Accepted Papers

Call for Papers

Proceedings and special issue

More recent VORTEX publications

Davide AnconaCo-chair

DIBRIS, University of Genova, Italy

Italy

Giorgio AudritoCo-chair

Università di Torino

Italy

Davide AnconaCo-chair

DIBRIS, University of Genova, Italy

Italy

Giorgio AudritoCo-chair

Università di Torino

Italy

Diana Carolina Benjumea Hernandez

The University of Manchester, UK

United Kingdom

Silvia Bonfanti

University of Bergamo

Italy

Michele Chiari

TU Wien and AIT Austrian Institute of Technology

Austria

Christian Colombo

University of Malta

Malta

Marie Farrell

Maynooth University

Ireland

Angelo Ferrando

Carla Ferreira

NOVA University Lisbon

Portugal

Hannah Gommerstadt

Vassar College

Klaus Havelund

Jet Propulsion Laboratory, California Institute of Technology

United States

Sung-Shik Jongmans

University of Groningen

Netherlands

Srinivas Pinisetty

Indian Institute of Technology Bhubaneswar

César Sánchez

IMDEA Software Institute

Spain

Volker Stolz

Høgskulen på Vestlandet

Norway

Tue 30 Jun
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change