January 6 – 11 , 2013, Dagstuhl Seminar 13021
Last update: March 1 2013

Symbolic Methods in Testing

Participants

  • Sébastien Bardin (CEA – Gif sur Yvette, FR)
  • Axel Belinfante (University of Twente, NL)
  • Nikolaj S. Bjørner (Microsoft Corporation – Redmond, US)
  • Jasmin Christian Blanchette (TU München, DE)
  • Achim D. Brucker (University of Karlskrona Ronneby, SE)
  • Lukas A. Brügger (ETH Zürich, CH)
  • Cristian Cadar (Imperial College London, GB)
  • Maria Christakis (ETH Zürich, CH)
  • Sylvain Conchon (University of Paris South XI, FR)
  • Wilkerson de Lucena Andrade (Universidade Federal – Campina Grande, BR)
  • Catherine Dubois (ENSIIE – Evry, FR)
  • Juhan Ernits (Tallinn University of Technology, EE)
  • Abderrahmane Feliachi (University of Paris South XI, FR)
  • Christophe Gaston (CEA – Gif sur Yvette, FR)
  • Arnaud Gotlieb (Simula Research Laboratory – Lysaker, NO)
  • Wolfgang Grieskamp (Google – Sammamish, US)
  • Robert M. Hierons (Brunel University, GB)
  • Thierry Jéron (INRIA Rennes – Bretagne Atlantique, FR)
  • René Just (University of Washington – Seattle, US)
  • Marko Kääramees (Tallinn University of Technology, EE)
  • Pascale Le Gall (Ecole Centrale Paris, FR)
  • Martin Leucker (Universität Lübeck, DE)
  • Delphine Longuet (University of Paris South XI, FR)
  • Dominique Méry (LORIA – Nancy, FR)
  • David Molnar (Microsoft Corporation – Redmond, US)
  • Brian Nielsen (Aalborg University, DK)
  • Grgur Petric Maretic (ETH Zürich, CH)
  • Frank Rogin (Biotronik – Berlin, DE)
  • Michel Rueher (University of Nice, FR)
  • Nikolai Tillmann (Microsoft Corporation – Redmond, US)
  • Jan Tretmans (Embedded Systems Institute – Eindhoven, NL)
  • Jaco van de Pol (University of Twente, NL)
  • Margus Veanes (Microsoft Corporation – Redmond, US)
  • Luca Vigano (University of Verona, IT)
  • Sabrina von Styp (RWTH Aachen, DE)
  • Helene Waeselynck (LAAS – Toulouse, FR)
  • Burkhart Wolff (University of Paris South XI, FR)
  • Fatiha Zaidi (University of Paris South XI, FR)