CALL FOR PARTICIPATION
RV’17 - RUNTIME VERIFICATION 2017
The 17th International Conference on Runtime Verification, September
13-16 2017, Seattle, WA, USA
http://rv2017.cs.manchester.ac.uk
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 Hotelsituated 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 --
_______________________________________________
curry mailing list
curry_at_lists.rwth-aachen.de
https://mailman.rwth-aachen.de/mailman/listinfo/curry
Received on Do Jul 20 2017 - 12:42:29 CEST