8h00

Registration

9h00

Keynote speech (chair: Borzoo Bonakdarpour)

Jeannette Wing: Formal Methods: An Industrial Perspective

10h00

Coffee break

10h30

Session 1 - Monitoring distributed systems (Chair: Neeraj Mittal)

• Pierre Fraigniaud, Sergio Rajsbaum and Corentin Travers: On the Number of Opinions Needed for Fault-Tolerant Run-Time Monitoring in Distributed Systems

• Christian Colombo and Yliès Falcone: Organising LTL Monitors over Distributed Systems with a Global Clock

• Aravind Sukumaran-Rajam, Juan Martinez Caamaño, Willy Wolff, Alexandra Jimborean, Phillippe Clauss: Speculative Program Parallelization with Scalable and Decentralized Runtime Verification

12h00

Lunch break

14h00

Session 2 - Monitoring embedded systems (Chair: Oleg Sokolsky)

• Adel Dokhanchi, Bardh Hoxha and Georgios Fainekos: On-Line Monitoring for Temporal Logic Robustness
  

• Johannes Geist, Kristin Y. Rozier and Johann Schumann: Runtime Observer Pairs and Bayesian Network Reasoners On-board FPGAs: Flight-Certifiable System Health Management for Embedded Systems

• Kim Lavoie, Corentin Leplongeon, Simon Varvaressos, Sebastien Gaboury and Sylvain Hallé: Portable Runtime Verification with Smartphones and Optical Codes (short paper)

• Jeff Huang, Cansu Erdogan, Yi Zhang, Brandon Moore, Qingzhou Luo, Aravind Sundaresan and Grigore Rosu: ROSRV: Runtime Verification for Robots (Tool paper)

15h30

Coffee break

16h00

First International Competition on Software Runtime Verification (CSRV’14)

17h00

RV Business meeting