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

Falcone Keynote

Yliès Falcone

Francalanza Keynote

Adrian Francalanza

Scalas Keynote

Alceste Scalas

Accepted Papers

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.

More recent VORTEX publications

• proceedings of VORTEX 2024
• proceedings of VORTEX 2023
• special issue of VORTEX 2022
• proceedings of VORTEX 2021