April 26 – 29 , 2015, Dagstuhl Seminar 15182
Last update: December 17 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]
In case of mistakes or questions regarding the links to dblp, please contact Michael Wagner