02. – 06. Januar 2007, Dagstuhl Seminar 07011
Letzte Aktualisierung: 16. November 2010

Runtime Verification

Participants

  • Cyrille Artho (AIST – Tokyo, JP)
  • Pavel Avgustinov (University of Oxford, GB)
  • Howard Barringer (University of Manchester, GB)
  • Andreas Bauer (NICTA – Canberra, AU)
  • Eric Bodden (TU Darmstadt, DE)
  • Silvia Breu (University of Cambridge, GB)
  • Yaniv Eytani (University of Illinois – Urbana-Champaign, US)
  • Bernd Finkbeiner (Universität des Saarlandes, DE)
  • Wolfgang Grieskamp (Microsoft Research – Redmond, US)
  • Radu Grosu (SUNY – Stony Brook, US)
  • Klaus Havelund (NASA – Pasadena, US)
  • Sarfraz Khurshid (University of Texas – Austin, US)
  • Lars Kuhtz (Universität des Saarlandes, DE)
  • Kim Guldstrand Larsen (Aalborg University, DK)
  • Martin Leucker (Universität Lübeck, DE)
  • Benjamin Livshits (Microsoft Corporation – Redmond, US)
  • Brian Nielsen (Aalborg University, DK)
  • Doron A. Peled (Bar-Ilan University – Ramat Gan, IL)
  • Shaz Qadeer (Microsoft Research – Redmond, US)
  • Grigore Rosu (University of Illinois – Urbana-Champaign, US)
  • Sriram Sankaranarayanan (NEC Laboratories America, Inc. – Princeton, US)
  • Henny Sipma (Stanford University, US)
  • Oleg Sokolsky (University of Pennsylvania – Philadelphia, US)
  • Uffe Sorensen (Aalborg University, DK)
  • Volker Stolz (United Nations University – Macau, CN)
  • Serdar Tasiran (Koc University – Istanbul, TR)
  • Claus Thrane (Aalborg University, DK)
  • Julian Tibble (University of Oxford, GB)
  • Nikolai Tillmann (Microsoft Corporation – Redmond, US)
  • Stavros Tripakis (University of California – Berkeley, US)
  • Lenore D. Zuck (NSF – Arlington, US)