24. – 29. August 2014, Dagstuhl Seminar 14352
Letzte Aktualisierung: 09. Dezember 2014

Next Generation Static Software Analysis Tools

Participants

  • Roberto Bagnara (BUGSENG – Parma, IT & University of Parma, IT) [dblp]
  • Dirk Beyer (Universität Passau, DE) [dblp]
  • Mehdi Bouaziz (ENS – Paris, FR) [dblp]
  • Patrick Cousot (ENS – Paris, FR) [dblp]
  • Tomasz Dudziak (Universität des Saarlandes, DE) [dblp]
  • David Faragó (KIT – Karlsruher Institut für Technologie, DE) [dblp]
  • Christian Ferdinand (AbsInt – Saarbrücken, DE) [dblp]
  • Jérôme Feret (ENS – Paris, FR) [dblp]
  • Marcelo Frias (University of Buenos Aires, AR) [dblp]
  • Vijay Ganesh (University of Waterloo, CA) [dblp]
  • Roberto Giacobazzi (University of Verona, IT) [dblp]
  • Christoph Gladisch (KIT – Karlsruher Institut für Technologie, DE) [dblp]
  • Udo Gleich (Daimler R&D – Ulm, DE)
  • Manuel Hermenegildo (IMDEA Software – Madrid, ES) [dblp]
  • Ralf Huuck (Data61 / NICTA – Sydney, AU) [dblp]
  • Daniel Kroening (University of Oxford, GB) [dblp]
  • K. Rustan M. Leino (Microsoft Corporation – Redmond, US) [dblp]
  • Francesco Logozzo (Microsoft Corporation – Redmond, US) [dblp]
  • Peter Müller (ETH Zürich, CH) [dblp]
  • Filip Niksic (MPI-SWS – Kaiserslautern, DE) [dblp]
  • Andreas Podelski (Universität Freiburg, DE) [dblp]
  • Hendrik Post (Robert Bosch GmbH – Stuttgart, DE) [dblp]
  • Francesco Ranzato (University of Padova, IT) [dblp]
  • Xavier Rival (ENS – Paris, FR) [dblp]
  • Helmut Seidl (TU München, DE) [dblp]
  • Carsten Sinz (KIT – Karlsruher Institut für Technologie, DE) [dblp]
  • Michael Tautschnig (Queen Mary University of London, GB) [dblp]
  • Shmuel Tyszberowicz (Academic College of Tel Aviv, IL) [dblp]
  • Caterina Urban (ENS – Paris, FR) [dblp]
  • Tomas Vojnar (Brno University of Technology, CZ) [dblp]
  • Milena Vujosevic-Janicic (University of Belgrade, RS) [dblp]
  • Reinhard Wilhelm (Universität des Saarlandes, DE) [dblp]


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