CALL FOR PARTICIPATION

RV’17 - RUNTIME VERIFICATION 2017

The 17th International Conference on Runtime Verification, September 13-16 2017, Seattle, WA, USA

Affiliated Event:

RV-CuBES - An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools

=== OVERVIEW ===

Runtime verification is concerned with the monitoring and analysis of the runtime behaviour of software and hardware systems. Runtime verification techniques are crucial for system correctness, reliability, and robustness; they provide an additional level of rigor and effectiveness compared to conventional testing, and are generally 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

monitor construction techniques

program instrumentation

logging, recording, and replay

combination of static and dynamic analysis

specification mining and machine learning over runtime traces

monitoring techniques for concurrent and distributed systems

runtime checking of privacy and security policies

statistical model checking

metrics and statistical information gathering

program/system execution visualization

fault localization, containment, recovery and repair

integrated vehicle health management (IVHM)

Application areas of runtime verification include cyber-physical systems, 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 ===

Rodrigo Fonseca, Brown University, USA:

“The Design and Applications for a Tracing Plane for Distributed Systems”

Vlad Levin and Jakob Lichtenberg, Microsoft, USA:

“Windows Driver Verification Platform”

Andreas Zeller, Saarland University, Germany:

“Learning Input Languages for Runtime Verification”

=== TUTORIALS ===

Ankush Desai and Shaz Qadeer, UC Berkeley and Microsoft Research, USA:

“P : Modular and Safe Asynchronous Programming”

Madhusudan Parthasarathy, University of Illinois at Urbana-Champaign, USA:

“Machine-learning State Properties”

Adrian Francalanza, University of Malta, Malta:

“Foundations For Runtime Monitoring”

=== ACCEPTED PAPERS ===

=== Regular Papers

Bernhard K. Aichernig and Martin Tappler.

“Probabilistic Black-Box Reachability Checking”

Minjun Seo and Roman Lysecky.

“Hierarchical Non-Intrusive In-Situ Requirements Monitoring for Embedded Systems”

David Basin, Srđan Krstić and Dmitriy Traytel.

“Almost Event-Rate Independent Monitoring of Metric Dynamic Logic”

Kostyantyn Vorobyov, Nikolai Kosmatov, Julien Signoles and Arvid Jakobsson.

“Runtime Detection of Temporal Memory Errors”

Katarína Kejstová, Petr Ročkai and Jiri Barnat.

“From Model Checking to Runtime Verification and Back”

Zachary Benavides, Rajiv Gupta and Xiangyu Zhang.

“Annotation Guided Collection of Context-Sensitive Parallel Execution Profiles”

Oliviero Riganelli, Daniela Micucci, Leonardo Mariani and Yliès Falcone.

“Verifying Policy Enforcers”

Ankush Desai, Tommaso Dreossi and Sanjit A. Seshia.

“Combining Model Checking and Runtime Verification for Safe Robotics”

Vidhya Tekken Valapil, Sorrachai Yingchareonthawornchai, Sandeep Kulkarni, Eric Torng and Murat Demirbas.

“Monitoring Partially Synchronous Distributed Systems using SMT Solvers”

Chaoqiang Deng and Kedar Namjoshi.

“Witnessing Network Transformations”

Teng Zhang, John Wiegley, Insup Lee and Oleg Sokolsky.

“Monitoring Time Intervals”

Bjorn Andersson, Sagar Chaki and Dionisio De Niz.

“Combining Symbolic Runtime Enforcers for Cyber-Physical Systems”

Babak Yadegari and Saumya Debray.

“Control Dependencies in Interpretive Systems”

Himanshu Chauhan and Vijay Garg.

“Space Efficient Breadth-First and Level Traversals of Consistent Global States of Parallel Programs”

Giuseppe Bombara and Calin Belta.

“Signal Clustering using Temporal Logics”

Susmit Jha, Ashish Tiwari, Sanjit A. Seshia, Natarajan Shankar and Tuhin Sahai.

“TeLEx: Passive STL Learning Using Only Positive Examples”

Florian-Michael Adolf, Peter Faymonville, Bernd Finkbeiner, Sebastian Schirmer and Christoph Torens. “Stream Runtime Monitoring on UAVs”

Bernd Finkbeiner, Christopher Hahn, Marvin Stenger and Leander Tentrup.

“Monitoring Hyperproperties”

=== Tool Papers

Hassan Salehe Matar and Serdar Tasiran.

“EmbedSanitizer: Runtime Race Detection Tool for 32-bit Embedded ARM”

Prashanth Nayak, Mike Hibler, David Johnson and Eric Eide.

“A Wingman for Virtual Appliances”

Shuo Chen.

“SVAuth – A Single-Sign-On Integration Solution with Runtime Verification”

Raphael Khoury, Sebastien Gaboury and Sylvain Hallé.

“Event Stream Processing with Multiple Threads”

Daisuke Ishii and Alexandre Goldsztejn.

“HySIA: Tool for Simulating and Monitoring Hybrid Automata Based on Interval Analysis”

=== Short Papers

Kim Völlinger.

“Verifying the Output of a Distributed Algorithm using Certification”

Chafik Meniar, Florence Opalvens and Sylvain Hallé.

“Runtime Verification of User Interface Guidelines in Mobile Devices”

Aaron Paulos, Partha Pal, Shane Clark, Kyle Usbeck and Patrick Hurley.

“Trusted Mission Operation – Concept and Implementation”

Jun Inoue and Yoriyuki Yamagata.

“Operational Semantics of Process Monitors”

=== VENUE ===

The 17th International Conference on Runtime Verification will be held in the Sheraton Seattle Hotel situated in downtown Seattle. The venue is within walking distance of the famous Pike Place Market, Seattle Art Museum, Seattle Aquarium, and the Historic Seattle Waterfront. The weather in September still permits many open-air opportunities to shop, eat, and even sail in the Elliott Bay. Exceptionally well organized, Seattle’s public transport connects the conference venue with the Seattle Center, which is the home of popular attractions like the Space Needle, EMP Museum, and Chihuly Garden and Glass.

=== REGISTRATION ===

Registration is now available using the web-based registration form, with online payment on a secure website. Please use one form per attendee. Early registration means on or before August 13, 2017. Late registration means after August 13, 2017.

Different possibilities of registration are available:

Tutorial Day Only (13th September): 210 USD

Conference including tutorial day and RV-CuBES (13-16th September)

Full Registration

Early: 680 USD,

Late (after 13 August): 780 USD

Student Registration

Early: 480 USD,

Late (after 13 August): 580 USD

=== CHAIRS AND ORGANIZERS ===

General Chair

Klaus Havelund, NASA Jet Propulsion Laboratory, USA

Program Chairs

Shuvendu Lahiri, Microsoft Research, USA

Giles Reger, University of Manchester, UK

Finance Chair

Oleg Sokolsky, University of Pennsylvania, USA

Publicity Chair

Ayoub Nouri, University of Grenoble Alpes, France

Local Organisation Chairs

Grigory Fedyukovich, University of Washington, USA

Rahul Kumar, Microsoft Research, USA

RV-CuBES, PC chairs

Giles Reger, University of Manchester, UK

Klaus Havelund, NASA Jet Propulsion Laboratory, USA

=== SPONSORS ===

Microsoft

Springer

--- end --