RV 2017: 17TH INTERNATIONAL CONFERENCE ON RUNTIME VERIFICATION
PROGRAM

Days: Wednesday, September 13th Thursday, September 14th Friday, September 15th Saturday, September 16th

Wednesday, September 13th

View this program: with abstractssession overviewtalk overview

09:00-10:00 Session 1: Tutorial
09:00
P : Modular and Safe Asynchronous Programming ( abstract )
10:00-10:30Coffee Break
10:30-11:30 Session 2: Tutorial
10:30
P : Modular and Safe Asynchronous Programming (Continued) ( abstract )
11:30-12:00 Session 3: Tutorial
11:30
Machine-learning State Properties ( abstract )
12:00-13:30Lunch Break
13:30-15:00 Session 4: Tutorial
13:30
Machine-learning State Properties (Continued) ( abstract )
15:00-15:30Coffee Break
15:30-17:00 Session 5: Tutorial
15:30
Foundations For Runtime Monitoring ( abstract )
Thursday, September 14th

View this program: with abstractssession overviewtalk overview

09:00-10:00 Session 7: Invited Talk
09:00
Windows Driver Verification Platform ( abstract )
10:00-10:30Coffee Break
10:30-12:00 Session 8: Monitoring 1
10:30
Operational Semantics of Process Monitors ( abstract )
10:45
HySIA: Tool for Simulating and Monitoring Hybrid Automata Based on Interval Analysis ( abstract )
11:00
Monitoring Partially Synchronous Distributed Systems using SMT Solvers ( abstract )
11:30
Runtime Detection of Temporal Memory Errors ( abstract )
12:00-13:30Lunch Break
13:30-15:00 Session 9: Certification
13:30
Verifying the Output of a Distributed Algorithm using Certification ( abstract )
13:45
Witnessing Network Transformations ( abstract )
14:15
Trusted Mission Operation - Concept and Implementation ( abstract )
14:30
Verifying Policy Enforcers ( abstract )
15:00-15:30Coffee Break
15:30-16:30 Session 10: New Applications
15:30
SVAuth – A Single-Sign-On Integration Solu-tion with Runtime Verification ( abstract )
15:45
Runtime Verification of User Interface Guidelines in Mobile Devices ( abstract )
16:00
A Wingman for Virtual Appliances ( abstract )
Friday, September 15th

View this program: with abstractssession overviewtalk overview

09:00-10:00 Session 12: Invited Talk
09:00
Learning Input Languages for Runtime Verification ( abstract )
10:00-10:30Coffee Break
10:30-12:00 Session 13: Learning
10:30
TeLEx: Passive STL Learning Using Only Positive Examples ( abstract )
11:00
Signal Clustering using Temporal Logics ( abstract )
11:30
Probabilistic Black-Box Reachability Checking ( abstract )
12:00-13:30Lunch Break
13:30-15:00 Session 14: Monitoring 2
13:30
Monitoring Hyperproperties ( abstract )
14:00
Monitoring Time Intervals ( abstract )
14:30
Almost Event-Rate Independent Monitoring of Metric Dynamic Logic ( abstract )
15:00-15:30Coffee Break
Saturday, September 16th

View this program: with abstractssession overviewtalk overview

09:00-10:00 Session 16: Invited Talk
09:00
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
10:30
Combining Symbolic Runtime Enforcers for Cyber-Physical Systems ( abstract )
11:00
Stream Runtime Monitoring on UAS ( abstract )
11:30
Hierarchical Non-Intrusive In-Situ Requirements Monitoring for Embedded Systems ( abstract )
12:00-13:30Lunch Break
13:30-15:00 Session 18: Program Analysis
13:30
Control Dependencies in Interpretive Systems ( abstract )
14:00
Combining Model Checking and Runtime Verification for Safe Robotics ( abstract )
14:30
From Model Checking to Runtime Verification and Back ( abstract )
15:00-15:30Coffee Break
15:30-17:00 Session 19: Concurrency
15:30
Annotation Guided Collection of Context-Sensitive Parallel Execution Profiles ( abstract )
16:00
Event Stream Processing with Multiple Threads ( abstract )
16:15
EmbedSanitizer: Runtime Race Detection Tool for 32-bit Embedded ARM ( abstract )
16:30
Space Efficient Breadth-First and Level Traversals of Consistent Global States of Parallel Programs ( abstract )