[TYPES/announce] RV 2015: Call for Participation

Mon Jul 13 04:51:51 EDT 2015

******************************************************************

CALL FOR PARTICIPATION

RV 2015: 15th International Conference on Runtime Verification September 22 - September 25, 2015, Vienna, Austria

http://rv2015.conf.tuwien.ac.at/

******************************************************************

*****************

OVERVIEW

*****************

Runtime verification is concerned with monitoring and analysis of software and hardware system executions. Runtime verification techniques are important for system correctness, reliability, and robustness; they are complementary to conventional testing, and more practical than exhaustive formal verification. Runtime verification can be used prior to deployment, for testing, verification, and debugging purposes, and after deployment for ensuring reliability, safety, and security and for providing fault containment and recovery as well as online system repair. Topics of interest to the conference include:

- specification languages

- specification mining

- program instrumentation

- monitor construction techniques

- logging, recording, and replay

- fault detection, localization, containment, recovery and repair

- program steering and adaptation

- metrics and statistical information gathering

- combination of static and dynamic analyses

- program execution visualization

- monitoring techniques for safety/mission-critical systems

- monitoring distributed systems, cloud services, and big data applications

- monitoring security and privacy policies

Application areas of runtime verification include safety/mission-critical systems, enterprise and systems software, autonomous and reactive control systems, health management and diagnosis systems, and system security and privacy.

*****************

INVITED TALKS

*****************

- Patrice Godefroid, Microsoft Research, USA

   20 Years of Dynamic Software Model Checking

- Sriram Sankaranarayanan, University of Colorado Boulder, USA

   Simulation-Based Falsification of Cyber-Physical Systems

- Georg Weissenbacher, Vienna University of Technology, Austria

   Heisenbugs - When Programs Fail

*****************

TUTORIALS

*****************

  - M. Isberner, B. Steffen, F. Howar

    LearnLib - An Open Source Java Library for Active Automata Learning

  - P. Daian, Y. Falcone, P. Meredith, T. F. Serbanuta, S. Shiriashi, A. Iwai, G. Rosu

    RV-Android: Efficient Parametric Android Runtime Verification

  - D. Nickovic

    Monitoring and Measuring Hybrid Behaviors

  - L. Bortolussi, D. Milos, G. Sanguinetti

    Machine Learning Methods in Statistical Model Checking and System Design

*****************

VENUE

*****************

Vienna University of Technology

Prechtlsaal, Karlsplatz 13, 1040 Vienna, Austria

http://rv2015.conf.tuwien.ac.at/?page_id=36

*****************

REGISTRATION

*****************

- Tutorials + RERS Challenge fees 187 Euro, after Aug. 20 231 Euro

- Full Regular Registration fees 649 Euro, after Aug. 20 759 Euro

- Only Conference Registration fees 594 Euro, after Aug, 20 704 Euro

- Student Full Regular Registration fees 440 Euro, after Aug. 20 550 Euro

- Student Only Conference Registration fees 396 Euro, after Aug, 20 506 Euro

Registration link:

http://rv2015.conf.tuwien.ac.at/?page_id=522

*****************

ACCEPTED PAPERS

*****************

Regular Papers

=================

  - Adrian Francalanza, Luca Aceto and Anna Ingolfsdottir,

    On Verifying The Hennessy-Milner Logic with Recursion at Runtime

  - Johann Schumann, Patrick Moosbrugger and Kristin Rozier,

    R2U2: Monitoring and Diagnosis of Security Threats for Unmanned Aerial Systems

  - Jyotirmoy Deshmukh, Alexandre Donzé, Shromona Ghosh, Xiaoqing Jin, Garvit Juniwal and Sanjit A. Seshia,

    Robust Online Monitoring of Signal Temporal Logic

  - Samaneh Navabpour, Borzoo Bonakdarpour and Sebastian Fischmeister,

    Time-triggered Runtime Verification of Component-Based Multi-core Systems

  - Ali Kassem, Ylies Falcone and Pascal Lafourcade,

    Monitoring Electronic Exams

  - Ian Cassar and Adrian Francalanza,

    Runtime Adaptation for Actor Systems

  - Alwyn Goodloe, Jonathan Laurent and Lee Pike,

    Assuring the Guardians

  - Giles Reger and David Rydeheard,

    From First-Order Temporal Logic to Parametric Trace Slicing

  - Jan-Christoph Kuester and Andreas Bauer,

    Monitoring real Android malware

  - Alan Perotti, Artur D'Avila Garcez and Guido Boella,

    Runtime Verification Through Forward Chaining

  - André De Matos Pedro, David Pereira, Luis Miguel Pinho and Jorge Sousa Pinto,

    Monitoring for a decidable fragment of MTLD

  - Aaron Kane, Omar Chowdhury, Anupam Datta and Phil Koopman,

    A Case Study on Runtime Monitoring of an Autonomous Research Vehicle (ARV) System

  - Dung Phan, Junxing Yang, Denise Ratasich, Radu Grosu, Scott A. Smolka and Scott Stoller,

    Collision Avoidance for Mobile Robots with Limited Sensing in Unknown Environments

  - Shaohui Wang, Yoann Geoffroy, Gregor Goessler, Oleg Sokolsky and Insup Lee,

    A Hybrid Approach to Causality Analysis

  - Luca Bortolussi, Michele Loreti, Laura Nenzi, Vincenzo Ciancia and Mieke Massink,

    Qualitative and Quantitative Monitoring of Spatio-Temporal Properties

Short Papers

=================

   - Giles Reger,

     Suggesting Edits to Explain Failing Traces

   - David Kyle, Jeffery Hansen and Sagar Chaki,

     Statistical Model Checking of Distributed Adaptive Real-Time Software

   - Luan Nguyen, Christian Schilling, Sergiy Bogomolov and Taylor T Johnson,

     Runtime Verification of Model-based Development Environments

   - Athanasios Naskos, Panagiotis Katsaros and Anastasios Gounaris,

     Probabilistic Model Checking at Runtime for the Provisioning of Cloud Resources

Tool Papers

=================

    - Jesus Mauricio Chimento, Wolfgang Ahrendt, Gordon Pace and Gerardo Schneider,

      StaRVOOrS - A Tool for Combined Static and Runtime Verification of Java

    - Srinivas Pinisetty, Ylies Falcone, Thierry Jéron and Hervé Marchand,

      TIPEX: a tool chain for Timed Property Enforcement during eXecution

*****************

CHAIRS AND ORGANIZERS

*****************

  General Chair: Radu Grosu (Vienna University of Technology, Austria).

  PC co-Chairs:

      Ezio Bartocci (Vienna University of Technology, Austria)

      Rupak Majumdar (Max Planck Institute, Germany)

  Tools Track Chair: Dejan Nickovic (Austrian Institute of Technology, Austria)

  Runtime Monitoring Competition Co-Chairs:

      Yliès Falcone (Université Joseph Fourier, France)

      Dejan Nickovic (AIT Austrian Institute of Technology GmbH, Austria)

     Giles Reger (University of Manchester, UK)

      Daniel Thoma (University of Luebeck, Germany)

  Publicity Chair: Dejan Nickovic (Austrian Institute of Technology, Austria)

*****************

FURTHER INFORMATION

*****************

More information about RV2015 is available from the conference web site:

http://rv2015.conf.tuwien.ac.at/

Dejan Nickovic
Senior Scientist
Department Safety and Security
Business Unit Safe and Autonomous Systems
AIT Austrian Institute of Technology GmbH
Donau-City-Straße 1  |  1220 Vienna  | Austria
T +43(0) 50550-4021 | M +43(0) 66488-390038  |  F +43(0) 50550-4150
dejan.nickovic at ait.ac.at<mailto:dejan.nickovic at ait.ac.at>  |  http://www.ait.ac.at<http://www.ait.ac.at/>

FN: 115980 i HG Wien  |  UID: ATU14703506
This email and any attachments thereto, is intended only for use by the addressee(s) named herein and may contain legally privileged and/or confidential information. If you are not the intended recipient, please notify the sender by return e-mail or by telephone and delete this message from your system and any printout thereof. Any unauthorized use, reproduction, or dissemination of this message is strictly prohibited. Please note that e-mails are susceptible to change. AIT Austrian Institute of Technology GmbH shall not be liable for the improper or incomplete transmission of the information contained in this communication, nor shall it be liable for any delay in its receipt.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20150713/fe8b8f07/attachment-0001.html>