16. – 20. Mai 2016, Dagstuhl Seminar 16201
Letzte Aktualisierung: 08. August 2016

Synergies among Testing, Verification, and Repair for Concurrent Programs

Participants

  • Mike Dodds (University of York, GB) [dblp]
  • Julian Dolby (IBM TJ Watson Research Center – Yorktown Heights, US) [dblp]
  • Derek Dreyer (MPI-SWS – Saarbrücken, DE) [dblp]
  • Philippa Gardner (Imperial College London, GB) [dblp]
  • Orna Grumberg (Technion – Haifa, IL) [dblp]
  • Arie Gurfinkel (Carnegie Mellon University – Pittsburgh, US) [dblp]
  • Cliff B. Jones (University of Newcastle, GB) [dblp]
  • K. Rustan M. Leino (Microsoft Corporation – Redmond, US) [dblp]
  • Ben Liblit (University of Wisconsin – Madison, US) [dblp]
  • Andreas Lochbihler (ETH Zürich, CH) [dblp]
  • Peter Müller (ETH Zürich, CH) [dblp]
  • Anders Møller (Aarhus University, DK) [dblp]
  • Wytse Oortwijn (University of Twente, NL) [dblp]
  • Corina Pasareanu (NASA – Moffett Field, US) [dblp]
  • Wolfgang J. Paul (Universität des Saarlandes, DE) [dblp]
  • Arnd Poetzsch-Heffter (TU Kaiserslautern, DE) [dblp]
  • Murali Krishna Ramanathan (Indian Institute of Science – Bangalore, IN) [dblp]
  • Malavika Samak (Indian Institute of Science – Bangalore, IN) [dblp]
  • Ilya Sergey (University College London, GB) [dblp]
  • Natasha Sharygina (University of Lugano, CH) [dblp]
  • Sharon Shoham Buchbinder (Tel Aviv University, IL) [dblp]
  • Alexander J. Summers (ETH Zürich, CH) [dblp]
  • Michael Tautschnig (Queen Mary University of London, GB) [dblp]
  • Omer Tripp (IBM TJ Watson Research Center – Yorktown Heights, US) [dblp]
  • Caterina Urban (ETH Zürich, CH) [dblp]
  • Yakir Vizel (Princeton University, US) [dblp]
  • Thomas Wahl (Northeastern University – Boston, US) [dblp]


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