14th International Conference on Runtime Verification

September 22 - September 25, 2014 Toronto, Canada

700px-downtown-explore-toronto-top
700px-Toronto_skyline_sailboat
700px-Toronto_ON_Toronto_Skyline2_modified
700px-FuturebigToronto
700px-Skyline_of_Toronto_viewed_from_Harbour
700px_Downtown

 

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

 

< Previous Day - Next Day >