9h00

Keynote speech (Chair: Sebastian Fischmeister)

Kevin Driscoll: Murphy Strikes Again

10h00

Coffee break

10h30

Session 3 - Inference and learning (Chair: Klaus Havelund)

• Ayoub Nouri, Balaji Raman, Marius Bozga, Axel Legay and Saddek Bensalem: Faster Statistical Model Checking by Means of Abstraction and Learning

• Malte Isberner, Falk Howar and Bernhard Steffen: The TTT Algorithm: A Redundancy-Free Approach to Active Automata Learning

• Duc Hiep Chu, Joxan Jaffar and Vijayaraghavan Murali: Lazy Symbolic Execution for Enhanced Learning

12h00

Lunch break

14h00

Session 4 - Best papers (Chair: Borzoo Bonakdarpour)

• Stefan Mitsch and André Platzer: ModelPlex: Verified Runtime Validation of Verified Cyber-Physical System Models

• Mitra Tabaei Befrouei, Chao Wang and Georg Weissenbacher: Abstraction and Mining of Traces to Explain Concurrency-Bugs

• David Basin, Germano Caronni, Sarah Ereth, Matúš Harvan, Felix Klaedtke and Heiko Mantel: Scalable Offline Monitoring

15h30

Coffee break

16h00

Session 5 - Monitoring real-time systems (Chair: Cesar Sanchez)

• Hsi-Ming Ho, Joel Ouaknine and James Worrell: Online Monitoring of Metric Temporal Logic

• David Basin, Felix Klaedtke, Srdjan Marinovic and Eugen Zalinescu: On Real-time Monitoring with Imprecise Timestamps (Short paper)

16h45

Panel discussion

Challenges in Monitoring Distributed Applications

(Moderator: Oleg Sokolsky)

19h00

Conference banquet

Lisbon by night, 802 Dundas St W