PROGRAM
Friday, September 15th
View this program: with abstractssession overviewtalk overview
15:00-15:30 Session 1: Poster Session
15:00 | R2U2: Tool Overview ( abstract ) |
15:00 | The MonPoly Monitoring Tool ( abstract ) |
15:00 | Lola: A Tool for Stream-based Monitoring ( abstract ) |
15:00 | E-ACSL, a Runtime Verification Tool for Safety and Security of C Programs (tool paper) ( abstract ) |
15:00 | Aerial: Almost Event-Rate Independent Algorithms for Monitoring Metric Regular Properties ( abstract ) |
15:00 | Event Stream Processing with BeepBeep 3 ( abstract ) |
15:40-16:15 Session 3: Panel on "Making RV Useful"
Questions:
- How can we improve the applicability of RV in the industry?
- Does the RV community need a joint repository and a joint format?
- Should RV embrace the Open Data movement in Computer Science, and how?
15:40 | COEMS — open traces from the industry ( abstract ) |
15:40 | A Few Things We Heard About RV Tools (Position Paper) ( abstract ) |
16:15-16:50 Session 4: Panel on "The Future of CRV"
Questions:
- What does a RV hardware track benchmark look like?
- How should RV hardware tools be evaluated?
- What are the current issues and their possible solutions of online runtime verification competitions?
- Can we decrease the risk of tool over-tuning by only providing the specification (syntax and semantics) of the property languages as part of the benchmark?
16:15 | On the Evaluation and Comparison of Runtime Verification Tools for Hardware and Cyber-Physical Systems ( abstract ) |
16:15 | On the Risk of Tool Over-tuning in Run-time Verification Competitions (position paper) ( abstract ) |
16:15 | Online Runtime Verification Competitions: How To Possibly Deal With Their Issues (position paper) ( abstract ) |