======================
CALL FOR PARTICIPATION
RUNTIME VERIFICATION 2016 (RV'16)
The 16th International Conference on Runtime Verification, September 23-30 2016, Madrid, Spain
======================
======================
OVERVIEW
======================
Runtime verification is concerned with monitoring and analysis of software and hardware system executions. Runtime verification techniques are crucial for system correctness, reliability, and robustness; they are significantly more powerful and versatile than 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
======================
INVITED TALKS
======================
= Gul Agha, University of Illinois at Urbana-Champaign, USA
Building Dependable Concurrent Systems through Probabilistic Inference, Predictive Monitoring and Self-Adaptation
= Oded Maler, CNRS and University of Grenoble-Alpes (UGA), France
Monitoring: Qualitative and Quantitative, Real and Virtual, Online and Offline
= Fred B. Schneider, Cornell University, USA
Why Tags Could Be It
======================
TUTORIALS
======================
= Borzoo Bonakdarpour and Bernd Finkbeiner.
Runtime Verification for HyperLTL
= Nikolai Kosmatov and Julien Signoles.
Frama-C, a Collaborative Framework for C Code Verification
= Doron Peled.
Using Genetic Programming for Software Reliability
= Sylvain Hallé.
When RV meets CEP
= Philip Daian, Dwight Guth, Chris Hathhorn, Yilong Li, Edgar Pek, Manasvi Saxena, Traian Florin Serbanuta and Grigore Rosu.
Runtime Verification at Work: A Tutorial
======================
ACCEPTED PAPERS
======================
= Regular Papers
- Jean Goubault-Larrecq and Jean-Philippe Lachance. On the Complexity of Monitoring Orchids Signatures
- Jeffery Hansen, Sagar Chaki, Scott Hissam, James Edmondson, Gabriel Moreno and David Kyle. Input Attribution for Statistical Model Checking using Logistic Regression
- Jinghao Shi, Shuvendu Lahiri, Geoffrey Challen and Ranveer Chandra. Wireless Protocol Validation Under Uncertainty
- Stefan Jaksic, Ezio Bartocci, Radu Grosu and Dejan Nickovic. Quantitative Monitoring of STL with Edit Distance
- Yoriyuki Yamagata, Cyrille Valentin Artho, Masami Hagiya, Jun Inoue, Lei Ma, Yoshinori Tanabe and Mitsuharu Yamamoto. Runtime monitoring for concurrent systems
- Lee Pike, Patrick Hickey, Trevor Elliott, Eric Mertens and Aaron Tomb. TrackOS: A Security-Aware Real-Time Operating System
- Carlos Moreno and Sebastian Fischmeister. Non-Intrusive Runtime Monitoring Through Power Consumption: A Signals and System Analysis Approach to Reconstruct the Trace
- Sorrachai Yingchareonthawornchai, Duong Nguyen, Vidhya Tekken Valapil, Sandeep Kulkarni and Murat Demirbas. Precision, Recall, and Sensitivity of Monitoring Partially Synchronous Distributed Systems
- David Cerna, Wolfgang Schreiner and Temur Kutsia. Predicting Space Requirements for a Stream Monitor Specification Language
- Ramy Medhat, Borzoo Bonakdarpour, Sebastian Fischmeister and Yogi Joshi. Accelerated Runtime Verification of LTL Specifications with Counting Semantics
- Raúl Pardo, Christian Colombo, Gerardo Schneider and Gordon Pace. An Automata-based Approach to Evolving Privacy Policies for Social Networks
- Rishi Surendran and Vivek Sarkar. Dynamic Determinacy Race Detection for Task Parallelism with Futures
- Omar Javed, Yudi Zheng, Andrea Rosa, Haiyang Sun and Walter Binder. Extended Code Coverage for AspectJ-based Runtime Verification Tools
- Bernd Finkbeiner, Peter Faymonville, Hazem Torfah and Sebastian Schirmer. Network Monitoring with Streams
- Sean Kauffman, Rajeev Joshi and Klaus Havelund. Nfer – A Logic and Infrastructure for Inferring Event Stream Properties
- Andrey Yavolovsky, Milos Zefran and Prasad Sistla. Decision-Theoretic Monitoring of Cyber-Physical Systems
- Carl Martin Rosenberg, Volker Stolz and Martin Steffen. Leveraging DTrace for Runtime Verification
- Grigore Rosu. Finite-Trace Linear Temporal Logic: Coinductive Completeness
= Short and Position Papers
- Nicolas Rapin. Reactive Property Monitoring of Hybrid Systems with Aggregation
- Konstantin Selyunin, Thang Nguyen, Ezio Bartocci and Radu Grosu. Applying Runtime Monitoring for Automotive Electronic Development
- Takumi Akazaki. Falsification of Conditional Safety Properties for Cyber-Physical Systems with Gaussian Process Regression
- Torben Scheffel, Malte Schmitz, Fernando Macias and Rui Wang. Integration of Runtime Verification into Metamodeling for Simulation and Code Generation (Position Paper)
= Regular Tool Papers
- Lukasz Ziarek, Bharat Jayaraman, Demian Lessa and J. Swaminathan. Runtime Visualization and Verification in JIVE
- Teng Zhang, Peter Gebhard and Oleg Sokolsky. SMEDL: Combining Synchronous and Asynchronous Monitoring
- Duncan Attard and Adrian Francalanza. A Monitoring Tool for a Branching-Time Logic
= Tool Exhibition Papers
- Johann Schumann, Patrick Moosbrugger and Kristin Rozier. Runtime Analysis with R2U2: A Tool Exhibition Report
- Giles Reger. An Overview of MarQ
======================
VENUE
======================
The 16th International Conference on Runtime Verification will be held in theResidencia de Estudiantes of CSIC (Consejo Superior de Investigaciones Científicas), in Calle Pinar, 21, which is in the neighborhood of El Viso, in a very centric location in Madrid. The Residencia is located right next to the Museo Nacional de Ciencias Naturales.
The Residencia is a “European Heritage Label” site, granted by the significant role that it has played in the history and culture of Europe. It is an internationally renowned institution which encourages exchange, dialogue and understanding among different generations and cultures in disciplines such as the arts, humanities and sciences.
======================
REGISTRATION
======================
Registration is now available using the web-based registration form, with online payment on a secure website. Please use one form per attendee. All fees are VAT included. Early registration means on or before August 19, 2016. Late registration means after August 20, 2016.
Different possibilities of registration are available:
• Full registration: (Tutorials + Conference). From Sept., Tuesday 27 to Friday 30, 2016. Fees per person include: admission to the tutorials, the conference sessions, provided lunches, breaks and social events (reception and banquet).
• Regular: 570 EUR (early), 670 EUR (late)
• Student(*): 370 EUR (early), 540 EUR (late)
• Conference Registration: From Sept., Wednesday 28 to Friday 30, 2016. Fees per person include: admission to the tutorials, the conference sessions, provided lunches, breaks and social events (reception and banquet).
• Regular: 510 EUR (early), 595 EUR (late)
• Student(*):340 EUR (early), 420 EUR (late)
• Tutorials Registration (Tutorials): only Sept., Tuesday 27, 2016. Fees per person include: admission to the tutorials and the breaks, and the social reception.
• 160 EUR (early), 200 EUR (late)
Registration link:
======================
CHAIRS AND ORGANIZERS
======================
Program Committee Chairs
• Yliès Falcone, Univ. Grenoble-Alpes and Inria, France
• Cesar Sanchez, IMDEA Madrid, Spain
Tool Committee Chair
• Klaus Havelund, Nasa Jet Propulsion Laboratory, USA
Local Organization Committee
• Juan E. Tapiador, Universidad Carlos III de Madrid, Spain
======================
FUTHER INFORMATION
======================
More information on RV 2016 can be found on the conference Website:
