26. – 29. April 2015, Dagstuhl Seminar 15182
Letzte Aktualisierung: 17. Dezember 2015

Qualification of Formal Methods Tools

Participants

  • June Andronick (UNSW – Sydney, AU) [dblp]
  • Rob Arthan (Lemma 1 Ltd. – Twyford, GB) [dblp]
  • Jasmin Christian Blanchette (INRIA Lorraine – Nancy, FR) [dblp]
  • Sandrine Blazy (IRISA – Rennes, FR) [dblp]
  • Matteo Bordin (AdaCore – Paris, FR) [dblp]
  • Darren Cofer (Rockwell Collins – Bloomington, US) [dblp]
  • David Cok (GrammaTech Inc. – Ithaca, US) [dblp]
  • Rémi Delmas (ONERA – Toulouse, FR) [dblp]
  • Michael Dierkes (Rockwell Collins France – Toulouse, FR) [dblp]
  • Eric Engstrom (SIFT – Minneapolis, US) [dblp]
  • Gerwin Klein (Data61 / NICTA – Sydney, AU) [dblp]
  • Ramana Kumar (University of Cambridge, GB) [dblp]
  • Mark Lawford (McMaster University – Hamilton, CA) [dblp]
  • Xavier Leroy (INRIA – Le Chesnay, FR) [dblp]
  • Stefan Leue (Universität Konstanz, DE) [dblp]
  • Alain Mebsout (University of Iowa – Iowa City, US) [dblp]
  • Stephan Merz (INRIA Lorraine – Nancy, FR) [dblp]
  • César A. Muñoz (NASA Langley ASDC – Hampton, US) [dblp]
  • Magnus Myreen (University of Cambridge, GB) [dblp]
  • Scott Owens (University of Kent, GB) [dblp]
  • Marc Pantel (University of Toulouse, FR) [dblp]
  • Markus Pister (AbsInt – Saarbrücken, DE) [dblp]
  • Werner Schütz (Thales – Wien, AT) [dblp]
  • Konrad Slind (Rockwell Collins – Bloomington, US) [dblp]
  • Nick Tudor (D-RisQ Limited – Malvern, GB) [dblp]
  • Lucas Wagner (Rockwell Collins – Cedar Rapids, US) [dblp]
  • Michael W. Whalen (University of Minnesota – Minneapolis, US) [dblp]
  • Virginie Wiels (ONERA – Toulouse, FR) [dblp]


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