Program

10:30	Jun Inoue and Yoriyuki Yamagata Operational Semantics of Process Monitors ( abstract )
10:45	Daisuke Ishii and Alexandre Goldsztejn HySIA: Tool for Simulating and Monitoring Hybrid Automata Based on Interval Analysis ( abstract )
11:00	Vidhya Tekken Valapil, Sorrachai Yingchareonthawornchai, Sandeep Kulkarni, Eric Torng and Murat Demirbas Monitoring Partially Synchronous Distributed Systems using SMT Solvers ( abstract )
11:30	Kostyantyn Vorobyov, Nikolai Kosmatov, Julien Signoles and Arvid Jakobsson Runtime Detection of Temporal Memory Errors ( abstract )

12:00-13:30Lunch Break

13:30-15:00 Session 9: Certification

Chair:

Bernd Finkbeiner

13:30	Kim Völlinger Verifying the Output of a Distributed Algorithm using Certification ( abstract )
13:45	Chaoqiang Deng and Kedar Namjoshi Witnessing Network Transformations ( abstract )
14:15	Aaron Paulos, Partha Pal, Shane Clark, Kyle Usbeck and Patrick Hurley Trusted Mission Operation - Concept and Implementation ( abstract )
14:30	Oliviero Riganelli, Daniela Micucci, Leonardo Mariani and Yliès Falcone Verifying Policy Enforcers ( abstract )

15:00-15:30Coffee Break

15:30-16:30 Session 10: New Applications

Chair:

Julien Signoles

15:30	Shuo Chen SVAuth – A Single-Sign-On Integration Solution with Runtime Verification ( abstract )
15:45	Chafik Meniar, Florence Opalvens and Sylvain Hallé Runtime Verification of User Interface Guidelines in Mobile Devices ( abstract )
16:00	Prashanth Nayak, Mike Hibler, David Johnson and Eric Eide A Wingman for Virtual Appliances ( abstract )

16:30-17:30 Session 11: Business Meeting

Friday, September 15th

View this program: with abstracts session overview talk overview

09:00-10:00 Session 12: Invited Talk

Chair:

Klaus Havelund

09:00

Andreas Zeller

Learning Input Languages for Runtime Verification ( abstract )

10:00-10:30Coffee Break

10:30-12:00 Session 13: Learning

Chair:

Martin Leucker

10:30	Susmit Jha, Ashish Tiwari, Sanjit A. Seshia, Natarajan Shankar and Tuhin Sahai TeLEx: Passive STL Learning Using Only Positive Examples ( abstract )
11:00	Giuseppe Bombara and Calin Belta Signal Clustering using Temporal Logics ( abstract )
11:30	Bernhard K. Aichernig and Martin Tappler Probabilistic Black-Box Reachability Checking ( abstract )

12:00-13:30Lunch Break

13:30-15:00 Session 14: Monitoring 2

Chair:

Sylvain Hallé

13:30	Bernd Finkbeiner, Christopher Hahn, Marvin Stenger and Leander Tentrup Monitoring Hyperproperties ( abstract )
14:00	Teng Zhang, John Wiegley, Insup Lee and Oleg Sokolsky Monitoring Time Intervals ( abstract )
14:30	David Basin, Srđan Krstić and Dmitriy Traytel Almost Event-Rate Independent Monitoring of Metric Dynamic Logic ( abstract )

15:00-15:30Coffee Break

15:30-17:00 Session 15: RV-CuBES

See separate program.

18:00-22:00 Session : Banquet (@Museum of Flight)

Museum of flight
9404 East Marginal Way S.
Seattle, WA 98108
Buses depart in front of Sheraton at 5.30pm.

Saturday, September 16th

View this program: with abstracts session overview talk overview

09:00-10:00 Session 16: Invited Talk

Chair:

Giles Reger

09:00

Rodrigo Fonseca

The Design and Applications for a Tracing Plane for Distributed Systems ( abstract )

10:00-10:30Coffee Break

10:30-12:00 Session 17: Cyber-Physical Systems

Chair:

Oleg Sokolsky

10:30	Bjorn Andersson, Sagar Chaki and Dionisio De Niz Combining Symbolic Runtime Enforcers for Cyber-Physical Systems ( abstract )
11:00	Florian-Michael Adolf, Peter Faymonville, Bernd Finkbeiner, Sebastian Schirmer and Christoph Torens Stream Runtime Monitoring on UAS ( abstract )
11:30	Minjun Seo and Roman Lysecky Hierarchical Non-Intrusive In-Situ Requirements Monitoring for Embedded Systems ( abstract )

12:00-13:30Lunch Break

13:30-15:00 Session 18: Program Analysis

Chair:

Grigory Fedyukovich

13:30	Babak Yadegari and Saumya Debray Control Dependencies in Interpretive Systems ( abstract )
14:00	Ankush Desai, Tommaso Dreossi and Sanjit A. Seshia Combining Model Checking and Runtime Verification for Safe Robotics ( abstract )
14:30	Katarína Kejstová, Petr Ročkai and Jiri Barnat From Model Checking to Runtime Verification and Back ( abstract )

15:00-15:30Coffee Break

15:30-17:00 Session 19: Concurrency

Chair:

Rahul Kumar

15:30	Zachary Benavides, Rajiv Gupta and Xiangyu Zhang Annotation Guided Collection of Context-Sensitive Parallel Execution Profiles ( abstract )
16:00	Raphael Khoury, Sebastien Gaboury and Sylvain Hallé Event Stream Processing with Multiple Threads ( abstract )
16:15	Hassan Salehe Matar and Serdar Tasiran EmbedSanitizer: Runtime Race Detection Tool for 32-bit Embedded ARM ( abstract )
16:30	Himanshu Chauhan and Vijay Garg Space Efficient Breadth-First and Level Traversals of Consistent Global States of Parallel Programs ( abstract )

17:00-17:15 Session 20: Closing