RV 2017 - 1st Call for Participation

From: Ayoub Nouri <ayoub.nouri_at_univ-grenoble-alpes.fr>
Date: Wed, 19 Jul 2017 17:15:02 +0200


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 Thu Jul 20 2017 - 12:42:29 CEST

This archive was generated by hypermail 2.3.0 : Fri Sep 20 2019 - 07:15:09 CEST