Program Committee

  • Andy Chou (Coverity)
  • Byron Cook (Microsoft Research Cambridge)
  • Dennis Dams (Alcatel-Lucent)
  • Ansgar Fehnker (NICTA)
  • David Hardin (Rockwell Collins)
  • Joost-Pieter Katoen (RWTH Aachen University)
  • Thomas Kropf (Robert Bosch GmbH)
  • Gerald Lüttgen (York)
  • John Matthews (Galois)
  • Tobias Nipkow (TUM)
  • Michael Norrish (NICTA)
  • Wolfgang Paul (Saarbrücken)
  • Jan Peleska (University of Bremen)
  • Alexander Pretschner (ETH Zürich)
  • Kai Richter (Symtavision GmbH)
  • Zhong Shao (Yale)
  • Hendrik Tews (Nijmegen)
  • Stavros Tripakis (Cadence Research Labs)
  • Carsten Weise (RWTH Aachen University)
Paper at Coogee Beach