8:00 – 9:00 Registration
8:45 – 9:00 Opening
9:00 – 10:00 Invited talk 1: Oded Maler (CNRS, France)

Monitoring: Qualitative,and Quantitative, Real and Virtual, Online and Offline

10:00 – 10:30 Coffee Break
10:30 – 12:15 Session 1: Cyber Physical Systems

Jinghao Shi, Shuvendu Lahiri, Geoffrey Challen and Ranveer Chandra.
Wireless Protocol Validation Under Uncertainty

Carlos Moreno and Sebastian Fischmeister.
Non-Intrusive Runtime Monitoring Through Power Consumption: A Signals and System Analysis Approach to Reconstruct the Trace

Andrey Yavolovsky, Milos Zefran and Prasad Sistla.
Decision-Theoretic Monitoring of Cyber-Physical Systems

Takumi Okazaki.
Falsification of Conditional Safety Properties for Cyber-Physical Systems with Gaussian Process Regression

12:15 – 14:00 Lunch
14:00 – 15:45 Session 2: Specification and theory

David Cerna, Wolfgang Schreiner and Timur Kutsia.
Predicting Space Requirements for a Stream Monitor Specification Language

Ramy Medhat, Borzoo Bonakdarpour, Sebastian Fischmeister and Yogi Joshi.
Accelerated Runtime Verification of LTL Specifications with Counting Semantics

Bernd Finkbeiner, Peter Faymonville, Hazem Torfah and Sebastian Schirmer.
Network Monitoring with Streams

Nicolas Rapin.
Reactive Property Monitoring of Hybrid Systems with Aggregation

15:45 – 16:15 Coffee Break
16:15 – 18:00 Session 3: Toolkits and infrastructures

Omar Javed, Yudi Zheng, Andrea Rosa, Haiyang Sun and Walter Binder.
Extended Code Coverage for AspectJ-based Runtime Verification Tools

Sean Kauffman, Rajeev Joshi and Klaus Havelund.
Nfer – A Logic and Infrastructure for Inferring Event Stream Properties

Carl Martin Rosenberg, Volker Stolz and Martin Steffen.
Leveraging DTrace for Runtime Verification

Konstantin Selyunin, Thang Nguyen, Ezio Bartocci and Radu Grosu.
Applying Runtime Monitoring for Automotive Electronic Development

18:00 – 18:15 Break
18:15 – 18:45 3rd International Competition on Runtime Verification