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
10:00-10:30Coffee Break
10:30-12:00 Session 8: Monitoring 1
Chair:
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
Chair:
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
Chair:
15:30 | SVAuth – A Single-Sign-On Integration Solution 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
Chair:
09:00 | Learning Input Languages for Runtime Verification ( abstract ) |
10:00-10:30Coffee Break
10:30-12:00 Session 13: Learning
Chair:
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
Chair:
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
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 abstractssession overviewtalk overview
09:00-10:00 Session 16: Invited Talk
Chair:
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
Chair:
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
Chair:
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
Chair:
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 ) |