Runtime verification (RV) is an approach to software verification which is concerned with monitoring and analysis of software and hardware system executions. Recently, RV has gained more consensus as an approach to ensure software reliability, bridging the gap between formal verification and testing; monitoring a system at runtime 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 working on all aspects of RV with emphasis on integration with formal verification and testing.

Accepted Papers

Title
A Field Calculus Implementation of Spatial Logic
VORTEX
Pre-print
Efficient Run-time Method for Detecting and Resolving Deadlocks in Java Programs
VORTEX
Pre-print
Empowering Multilevel DSMLs with Integrated Runtime Verification
VORTEX
Pre-print
Invited talk: Fast Runtime Verification via Slow Program Analysis
VORTEX
Invited talk: Monitoring Asynchronous Communications (in Clojure)
VORTEX
Invited talk: Runtime Verification and Objects: Are we doing it wrong?
VORTEX
RML: Runtime Monitoring Language, a System-Agnostic DSL for Runtime Verification
VORTEX
Pre-print

Call for Papers

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 of RV
  • specification mining
  • monitoring concurrent/distributed systems
  • RV for safety and security
  • RV for the Internet of Things
  • industrial applications
  • integrating RV, formal verification, and testing
  • tool development

Submission Instructions

Submissions must be unpublished work, in English, between 6 and 12 pages formatted in PDF with eptcs style. Papers of the following categories can be submitted:

  • Technical papers, presenting novel results
  • Surveys on different tools, formal frameworks or methodologies
  • Experience papers or tool presentations: the former should report on experience of the use of tools, formal frameworks or methodologies on specific domains, while the latter should provide a practical account on the use of a specific tool

Papers must be submitted electronically via EasyChair; the submission deadline is May 31st AoE.

Review Process

  • 1st round: before the early registration deadline, authors will receive a binary verdict “accepted/rejected for presentation”, with short motivations

  • 2nd round: after the workshop, authors invited to contribute to the post-proceedings will receive a complete review whose purpose is to provide guidelines for enhancing the extended version of their paper

  • 3rd round: final notifications for publications in the post-proceedings will be sent. Papers will be accepted only if reviewers are satisfied with the modifications requested in their guidelines, and only minor changes are required. No other review rounds will be planned

Proceedings and Special Issue

Electronic Proceedings in Theoretical Computer Science (EPTCS) is being considered for the publication of the post-proceedings.

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

Fri 19 Jul

Displayed time zone: Belfast change

09:00 - 10:00
OpeningVORTEX at Bouzy
09:00
60m
Day opening
Opening at 10:25
VORTEX
Davide Ancona University of Genova
10:30 - 12:10
Session 1VORTEX at Bouzy
Chair(s): Sung-Shik Jongmans Open University of the Netherlands
10:30
45m
Talk
Invited talk: Runtime Verification and Objects: Are we doing it wrong?
VORTEX
Giles Reger University of Manchester
11:15
30m
Talk
Efficient Run-time Method for Detecting and Resolving Deadlocks in Java Programs
VORTEX
P: Eman Aldakheel University of Illinois at Chicago & Princess Nourah bint Abdulrahman University, Ugo Buy
Pre-print
11:45
30m
Talk
RML: Runtime Monitoring Language, a System-Agnostic DSL for Runtime Verification
VORTEX
P: Luca Franceschini DIBRIS, University of Genova, Italy
Pre-print
13:30 - 15:10
Session 2VORTEX at Bouzy
Chair(s): Radu Grigore University of Kent
13:30
45m
Talk
Invited talk: Monitoring Asynchronous Communications (in Clojure)
VORTEX
Sung-Shik Jongmans Open University of the Netherlands
14:15
30m
Talk
A Field Calculus Implementation of Spatial Logic
VORTEX
P: Giorgio Audrito Università di Torino, Ferruccio Damiani University of Turin, Volker Stolz Høgskulen på Vestlandet, Mirko Viroli University of Bologna
Pre-print