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
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.
Tue 17 Jul Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
11:00 - 11:45 Talk | Stream-based runtime verification with hardware supportKeynote VORTEX | ||
11:45 - 12:30 Talk | Who is to Blame? - Runtime Verification of Distributed Objects with Active MonitorsKeynote VORTEX |
14:00 - 15:30: Session 2VORTEX at Bangkok Chair(s): Frank S. de BoerCentrum Wiskunde & Informatica, Leiden University | |||
14:00 - 14:30 Talk | SNITCH: dynamic dependent Information flow for independent Java bytecode VORTEX | ||
14:30 - 15:00 Talk | Implementing security protocol monitors VORTEX | ||
15:00 - 15:30 Talk | On Distributed runtime verification by aggregate computing VORTEX Giorgio AudritoUniversità di Torino, P: Ferruccio DamianiUniversity of Turin, Volker StolzHøgskulen på Vestlandet, Mirko ViroliUniversity of Bologna |
16:00 - 16:45 Talk | Run-time checking of data- and protocol-oriented properties of Java programsKeynote VORTEX | ||
16:45 - 17:15 Talk | Analysis of SLA Compliance in the Cloud VORTEX Frank S. de BoerCentrum Wiskunde & Informatica, Leiden University, Elena Giachino, P: Stijn De Gouw, Reiner HähnleTechnical University of Darmstadt, Einar Broch JohnsenUniversity of Oslo, Cosimo Laneve, Violet Ka I Pun, Gianluigi Zavattaro |