21. – 25. April 2014, Dagstuhl Seminar 14171
Letzte Aktualisierung: 03. Juli 2014

Evaluating Software Verification Systems: Benchmarks and Competitions

Participants

  • Aws Albarghouthi (University of Toronto, CA) [dblp]
  • Ezio Bartocci (TU Wien, AT) [dblp]
  • Bernhard Beckert (KIT – Karlsruher Institut für Technologie, DE) [dblp]
  • Dirk Beyer (Universität Passau, DE) [dblp]
  • Marc Brockschmidt (Microsoft Research UK – Cambridge, GB) [dblp]
  • David Cok (GrammaTech Inc. – Ithaca, US) [dblp]
  • Gidon Ernst (Universität Augsburg, DE) [dblp]
  • Marie Farrell (NUI Maynooth, IE)
  • Jean-Christophe Filliâtre (University Paris-Sud, FR) [dblp]
  • Bernd Fischer (University of Stellenbosch, ZA) [dblp]
  • Alberto Griggio (Bruno Kessler Foundation – Trento, IT) [dblp]
  • Radu Grigore (University of Oxford, GB) [dblp]
  • Arie Gurfinkel (Carnegie Mellon University – Pittsburgh, US) [dblp]
  • Matthias Heizmann (Universität Freiburg, DE) [dblp]
  • Marieke Huisman (University of Twente, NL) [dblp]
  • Bart Jacobs (KU Leuven, BE) [dblp]
  • Alexey Khoroshilov (Russian Academy of Sciences – Moscow, RU) [dblp]
  • Joseph Roland Kiniry (Galois – Portland, US) [dblp]
  • Vladimir Klebanov (KIT – Karlsruher Institut für Technologie, DE) [dblp]
  • K. Rustan M. Leino (Microsoft Corporation – Redmond, US) [dblp]
  • Stefan Löwe (Universität Passau, DE) [dblp]
  • Antoine Miné (ENS – Paris, FR) [dblp]
  • Rosemary Monahan (NUI Maynooth, IE) [dblp]
  • Wojciech Mostowski (University of Twente, NL) [dblp]
  • Peter Müller (ETH Zürich, CH) [dblp]
  • Petr Müller (Brno University of Technology, CZ) [dblp]
  • Vadim Mutilin (Russian Academy of Sciences – Moscow, RU) [dblp]
  • Andrei Paskevich (University Paris-Sud, FR) [dblp]
  • Nadia Polikarpova (ETH Zürich, CH) [dblp]
  • Arend Rensink (University of Twente, NL) [dblp]
  • Philipp Rümmer (Uppsala University, SE) [dblp]
  • Andrey Rybalchenko (Microsoft Research UK – Cambridge, GB) [dblp]
  • Gerhard Schellhorn (Universität Augsburg, DE) [dblp]
  • Markus Schordan (LLNL – Livermore, US) [dblp]
  • Carsten Sinz (KIT – Karlsruher Institut für Technologie, DE) [dblp]
  • Bernhard Steffen (TU Dortmund, DE) [dblp]
  • Jan Strejcek (Masaryk University – Brno, CZ) [dblp]
  • Michael Tautschnig (Queen Mary University of London, GB) [dblp]
  • Mattias Ulbrich (KIT – Karlsruher Institut für Technologie, DE) [dblp]
  • Jaco van de Pol (University of Twente, NL) [dblp]
  • Angela Wallenburg (Altran UK – Bath, GB) [dblp]
  • Philipp Wendler (Universität Passau, DE) [dblp]
  • Thomas Wies (New York University, US) [dblp]


Im Falle von Fehlern oder Fragen bezüglich den Links zu dblp, kontaktieren Sie bitte Michael Wagner