Blogs (28) >>
ECOOP 2016
Sun 17 - Fri 22 July 2016 Rome, Italy

Welcome to the 1st VORTEX Workshop on Runtime Verification

Runtime verification (RV) is an approach to software verification which is concerned with monitoring and analysis of software and hardware system executions.

In recent years RV has gained more and more consensus as an effective and promising approach to ensure software reliability, bridging a gap between formal verification, and conventional testing; furthermore, monitoring a system during runtime execution offers additional opportunities for addressing error recovery, self-adaptation, and other issues that go beyond software reliability. The goal of the first edition of this workshop is to bring together researchers working on RV for object-oriented languages, and systems, on topics covering either theoretical, or practical aspects, or, preferably, both. More specifically, topics of interest include, but are not limited to, the following ones:

  • combination of static and dynamic analyses
  • industrial applications
  • monitor construction and synthesis techniques
  • monitoring concurrent/distributed systems
  • program adaptation
  • runtime enforcement, fault detection, recovery and repair
  • RV for safety and security
  • specification formalisms and formal underpinning of RV
  • specification mining
  • tool development

Depending on the quality and the overall number of accepted papers, after the workshop authors of selected papers will be invited to submit an extended version for a special issue hosted by the online open-access Journal Frontiers in ICT (Specialty Formal Methods, http://journal.frontiersin.org/journal/all/section/formal-methods).

Accepted Papers

Title
Extracting Runtime Monitors from Tests: An Overview and a way forward
VORTEX
Runtime Verification of Safe Advisories in the Next-Generation Airborne Collision Avoidance System
VORTEX
Runtime Verification with Data
VORTEX
Runtime checks as nominal types
VORTEX
StaRVOOrS: A framework for static and runtime verification of data and control properties.
VORTEX
The Early Bird Catches the Worm: first Verify, then Monitor!
VORTEX

Call for Papers

Contributions are solicited on Runtime Verification in the context of Object-Oriented Programming addressing open questions covering theoretical and/or practical aspects, presenting new implemented tools, proposing interesting new applications, or describing real case studies.

Submissions suggesting speculative new approaches, raising challenging issues, or focusing on problems deemed to be crucial for the research community are also welcome, as well as all contributions covering topics suitable for lively discussion at the workshop.

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

  • combination of static and dynamic analyses
  • industrial applications
  • monitor construction and synthesis techniques
  • monitoring concurrent/distributed systems
  • program adaptation
  • runtime enforcement, fault detection, recovery and repair
  • RV for safety and security
  • specification formalisms and formal underpinning of RV
  • specification mining
  • tool development

Contributions will be formally reviewed by at least three reviewers, and selection will be based on originality, relevance, technical accuracy, and the potential to generate interesting discussions.

Submission Instructions

Submissions must be in English, in PDF format, and are limited to 6 pages in the ACM Proceedings Format. Papers must be submitted electronically via Easy Chair. PC members, except for the chairs, are allowed to submit papers, and any conflict of interest will be properly managed by excluding the involved PC members from the review and evaluation process.

Proceedings and Special Issue

Accepted papers will have the option of being published in the ACM Digital Library. Depending on the quality and the overall number of accepted papers, authors of selected papers will be invited after the workshop to submit an extended version for a special issue hosted by the online open-access Journal Frontiers in ICT Specialty Formal Methods.

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

Mon 18 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:05 - 12:25
Session 1VORTEX at Saba
10:05
5m
Day opening
Opening Remarks
VORTEX
Davide Ancona University of Genova, Frank S. de Boer Centrum Wiskunde & Informatica, Leiden University
10:10
30m
StaRVOOrS: A framework for static and runtime verification of data and control properties.
VORTEX
Gerardo Schneider University of Gothenburg
10:40
30m
Runtime Verification with Data
VORTEX
Martin Leucker University of Lübeck
11:10
30m
Runtime Verification of Safe Advisories in the Next-Generation Airborne Collision Avoidance System
VORTEX
Jean-Baptiste Jeannin Carnegie Mellon University
13:50 - 15:20
Session 2VORTEX at Saba
13:50
30m
Extracting Runtime Monitors from Tests: An Overview and a way forward
VORTEX
14:20
30m
Runtime checks as nominal types
VORTEX
Paola Giannini , Elena Zucca University of Genova, Marco Servetto Victoria University of Wellington
14:50
29m
The Early Bird Catches the Worm: first Verify, then Monitor!
VORTEX
15:19
1m
Day closing
Closing Remarks
VORTEX
Davide Ancona University of Genova, Frank S. de Boer Centrum Wiskunde & Informatica, Leiden University

Not scheduled yet

Not scheduled yet
Cancelled: Monitoring JavaScript Programs with Jalangi
VORTEX
Koushik Sen University of California, Berkeley