Ricerca | Uncategorized

VORTEX 2025, 8th Workshop on Verification and Monitoring at Runtime Execution

Commenta



Aprile 7, 2025



Comments (0)



By Davide Ancona

8th 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.

Important Dates (AoE, UTC-12h)

Sun 4 May 2025
Extended paper submission deadline
Fri 16 May 2025
Author notification
Wed 28 May 2025
Early registration deadline
Fri 4 Jul 2025
Workshop

Call for Papers

Submissions are expected to be in English and to belong to one of the following two categories:

long paper, page limit 12 in jot style: unpublished self-contained work
short paper, page limit 6 in jot style: original contribution, 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 deadlines are April 25th AoE (abstract) and May 2nd AoE (paper). Authors should use the jot style.

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

Proceedings and special issue

Authors of selected papers will be invited to contribute with extended versions to be included in a special issue of the Journal of Object Technology – JOT.

More recent VORTEX publications

Organizing Committee

Davide Ancona, DIBRIS, University of Genova, Italy
Giorgio Audrito, University of Torino, Italy

Program Committee

Antonis Achilleos, Reykjavik University, Iceland
Diana Benjumea Hernandez, University of Manchester, UK
Silvia Bonfanti, University of Bergamo, Italy
Daniela Briola, University of Milano Bicocca, Italy
Einar Broch Johnsen, University of Oslo, Norway
Michele Chiari, Technical University of Vienn, Austria
Christian Colombo, University of Malta, Malta
Angelo Ferrando, University of Modena-Reggio, Italy
Carla Ferreira, NOVA University Lisbon, Portugal
João F. Ferreira, University of Lisbon, Portugal
Hannah Gommerstadt, Vassar College, USA
Sung-Shik Jongmans, Swat.engineering, Netherlands
Doron Peled, Bar Ilan University, Israel
Srinivas Pinisetty, Indian Institute of Technology Bhubaneswar, India
Kristin Yvonne Rozier, Iowa State University, USA
Alceste Scalas, DTU Compute – Technical University of Denmark, Denmark
Gerardo Schneider, University of Gothenburg, Sweden
Gianluca Torta, Università di Torino, Italy