RV19: INTERNATIONAL CONFERENCE ON RUNTIME VERIFICATION
PROGRAM

Days: Tuesday, October 8th Wednesday, October 9th Thursday, October 10th Friday, October 11th

Tuesday, October 8th

View this program: with abstractssession overviewtalk overview

09:00-10:00 Session 2: Keynote (Joint Session with UTP)
09:00
A Calculus for Concurrent and Sequential Programming (abstract)
10:00-10:30Coffee Break
10:30-12:30 Session 3A: Tutorial
10:30
Algorithms for Monitoring Hyperproperties (abstract)
10:30-12:30 Session 3B: Tutorial
10:30
Robustness of Specifications and its Applications to Falsification, Parameter Mining, and Runtime Monitoring with S-TaLiRo (abstract)
12:30-14:00Lunch Break
14:00-15:00 Session 4A: Tutorial
14:00
Stream-based Monitors for Real-time Properties (abstract)
14:00-15:00 Session 4B: Tutorial
14:00
On the Runtime Enforcement of Timed Properties (abstract)
15:00-15:30Coffee Break
15:30-16:30 Session 5A: Tutorial
15:30
Stream-based Monitors for Real-time Properties (abstract)
15:30-16:30 Session 5B: Tutorial
15:30
On the Runtime Enforcement of Timed Properties (abstract)
Wednesday, October 9th

View this program: with abstractssession overviewtalk overview

09:00-10:00 Session 6: Invited Talk
09:00
Can we Verify GDPR Compliance? (abstract)
10:00-10:30Coffee Break
10:30-12:30 Session 7: Specification and Monitoring
10:30
Shape Expressions for Specifying and Extracting Signal Features (abstract)
11:00
An Extension of LTL with Rules and its Application to Runtime Verification (abstract)
11:30
A Formally Verified Monitor for Metric First-Order Temporal Logic (abstract)
12:00
Explaining Violations of Properties in Control-Flow Temporal Logic (abstract)
12:30-14:00Lunch Break
14:00-15:00 Session 8: Tools and Benchmarks
14:00
AllenRV: an Extensible Monitor for Multiple Complex Specifications with High Reactivity (abstract)
14:20
NuRV: a nuXmv Extension for Runtime Verification (abstract)
14:40
Timescales: A Benchmark Generator for Metric Temporal Logic (abstract)
15:00-15:30Coffee Break
15:30-16:20 Session 9: Enforcement
15:30
Comparing Controlled System Synthesis and Suppression Enforcement (abstract)
16:00
Reactive Control Meets Runtime Verification: A Case Study of Navigation (abstract)
Thursday, October 10th

View this program: with abstractssession overviewtalk overview

09:00-10:00 Session 10: Invited Talk
09:00
Challenges and Opportunities in Design and Operation of Intelligent Cyber-Physical Systems (abstract)
10:00-10:30Coffee Break
10:30-12:30 Session 11: Runtime Verification with Partial Information
10:30
Monitorability Over Unreliable Channels (abstract)
11:00
Assumption-Based Runtime Verification with Partial Observability and Resets (abstract)
11:30
Runtime Verification For Timed Event Streams With Partial Information (abstract)
12:00
Decentralized Stream Runtime Verification (abstract)
12:30-14:00Lunch Break
14:00-15:00 Session 12: Test of Time Award
14:00
A Retrospective Look at the Monitoring and Checking (MaC) Framework (abstract)
Friday, October 11th

View this program: with abstractssession overviewtalk overview

09:00-10:00 Session 13: Invited Talk
09:00
Towards Verified Artificial Intelligence: A Run-Time Verification Perspective (abstract)
10:00-10:30Coffee Break
10:30-12:30 Session 14: Learning and Predictive Monitoring
10:30
Efficient Detection and Quantification of Timing Leaks with Neural Networks (abstract)
11:00
Neural Predictive Monitoring (abstract)
11:30
Accelerated Learning of Predictive Runtime Monitors for Rare Failure (abstract)
12:00
Predictive Runtime Monitoring for Linear Stochastic Systems and Applications to Geofence Enforcement for UAVs (abstract)
12:30-14:00Lunch Break
14:00-14:50 Session 15: Deployment
14:00
FastCFI: Real-Time Control Flow Integrity using FPGA without Code Instrumentation (abstract)
14:30
Overhead-Aware Deployment of Runtime Monitors (abstract)