TAV-CPS/IoT 2018
Mon 16 - Sat 21 July 2018 Amsterdam, Netherlands
co-located with ECOOP and ISSTA 2018

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 effective and promising approach to ensure software reliability, bridging a gap between formal verification, and conventional testing; 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 VORTEX (Verification of Objects at Runtime EXecution) is to bring together researchers working on runtime verification for topics covering either theoretical, or practical aspects, or, preferably, both, with emphasis on object-oriented languages, and systems.

Invited talks and papers accepted for presentation

Title
Analysis of SLA Compliance in the Cloud
VORTEX
Implementing security protocol monitors
VORTEX
On Distributed runtime verification by aggregate computing
VORTEX
Run-time checking of data- and protocol-oriented properties of Java programsKeynote
VORTEX
SNITCH: dynamic dependent Information flow for independent Java bytecode
VORTEX
Stream-based runtime verification with hardware supportKeynote
VORTEX
Who is to Blame? - Runtime Verification of Distributed Objects with Active MonitorsKeynote
VORTEX

Call for Papers

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

  • behavioural types for RV
  • combination of static and dynamic analyses
  • industrial applications
  • language support for RV
  • monitor construction and synthesis techniques
  • monitoring concurrent/distributed systems
  • monitoring oriented programming
  • program adaptation
  • runtime enforcement, fault detection, recovery and repair
  • RV for safety and security
  • RV for the Internet of Things
  • 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 unpublished work, in English, formatted in PDF with acmart sigplan style, and are allowed to be position papers or surveys (max 6 pages), short papers (max 3 pages) presenting preliminary ongoing scientific work, or long papers (max 6 pages) providing more consolidated research contributions.

Papers must be submitted electronically via EasyChair.

Proceedings and Special Issue

Post-proceedings will be published in EPTCS.

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

Tue 17 Jul

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

11:00 - 12:30
Session 1VORTEX at Bangkok
Chair(s): Davide Ancona University of Genova
11:00
45m
Talk
Stream-based runtime verification with hardware supportKeynote
VORTEX
K: Martin Leucker University of Lübeck
11:45
45m
Talk
Who is to Blame? - Runtime Verification of Distributed Objects with Active MonitorsKeynote
VORTEX
K: Wolfgang Ahrendt Chalmers University of Technology
14:00 - 15:30
Session 2VORTEX at Bangkok
Chair(s): Frank S. de Boer Centrum Wiskunde & Informatica, Leiden University
14:00
30m
Talk
SNITCH: dynamic dependent Information flow for independent Java bytecode
VORTEX
P: Eduardo Geraldo , João Costa Seco NOVA LINCS -- Universidade Nova de Lisboa
14:30
30m
Talk
Implementing security protocol monitors
VORTEX
15:00
30m
Talk
On Distributed runtime verification by aggregate computing
VORTEX
Giorgio Audrito Università di Torino, P: Ferruccio Damiani University of Turin, Volker Stolz Høgskulen på Vestlandet, Mirko Viroli University of Bologna
16:00 - 18:00
Session 3VORTEX at Bangkok
Chair(s): Martin Leucker University of Lübeck
16:00
45m
Talk
Run-time checking of data- and protocol-oriented properties of Java programsKeynote
VORTEX
K: Frank S. de Boer Centrum Wiskunde & Informatica, Leiden University
16:45
30m
Talk
Analysis of SLA Compliance in the Cloud
VORTEX
Frank S. de Boer Centrum Wiskunde & Informatica, Leiden University, Elena Giachino , P: Stijn De Gouw , Reiner Hähnle Technical University of Darmstadt, Einar Broch Johnsen University of Oslo, Cosimo Laneve , Violet Ka I Pun , Gianluigi Zavattaro