24. Februar – 01. März 2013, Dagstuhl Seminar 13091
Letzte Aktualisierung: 25. März 2013

Analysis, Test and Verification in The Presence of Variability

Participants

  • Vander Alves (University of Brasilia, BR)
  • Sven Apel (Universität Passau, DE)
  • Joanne M. Atlee (University of Waterloo, CA)
  • Kacper Bak (University of Waterloo, CA)
  • Don Batory (University of Texas – Austin, US)
  • Thorsten Berger (IT University of Copenhagen, DK)
  • Eric Bodden (TU Darmstadt, DE)
  • Paulo Borba (Federal University of Pernambuco – Recife, BR)
  • Claus Brabrand (IT University of Copenhagen, DK)
  • Dave Clarke (KU Leuven, BE)
  • Andreas Classen (University of Namur, BE)
  • Roberta Coelho (Federal University of Rio Grande do Norte, BR)
  • Myra B. Cohen (University of Nebraska – Lincoln, US)
  • Maxime Cordy (Facultés Universitaires Notre-Dame de la Paix, BE)
  • Krzysztof Czarnecki (University of Waterloo, CA)
  • Sabrina de Figueirêdo Souto (Federal University of Pernambuco – Recife, BR)
  • Martin Erwig (Oregon State University, US)
  • Alessandro Fantechi (University of Florence, IT)
  • Brady J. Garvin (University of Nebraska – Lincoln, US)
  • Rohit Gheyi (Universidade Federal – Campina Grande, BR)
  • Stefania Gnesi (CNR – Pisa, IT)
  • Reiner Hähnle (TU Darmstadt, DE)
  • Øystein Haugen (SINTEF – Oslo, NO)
  • Martin Fagereng Johansen (University of Oslo, NO)
  • Christian Kästner (Carnegie Mellon University – Pittsburgh, US)
  • Shriram Krishnamurthi (Brown University – Providence, US)
  • Kim Lauenroth (adesso AG – Dortmund, DE)
  • Axel Legay (INRIA Rennes – Bretagne Atlantique, FR)
  • Martin Leucker (Universität Lübeck, DE)
  • Tiziana Margaria (Universität Potsdam, DE)
  • Dusica Marijan (Simula Research Laboratory – Lysaker, NO)
  • Jean-Vivien Millo (INRIA Sophia Antipolis – Méditerranée, FR)
  • Gilles Perrouin (University of Namur, BE)
  • Márcio Ribeiro (Federal University of Pernambuco – Recife, BR)
  • Ina Schaefer (TU Braunschweig, DE)
  • Holger Schlingloff (HU Berlin, DE)
  • Sergio Segura (University of Sevilla, ES)
  • Vanessa Stricker (Universität Duisburg – Essen, DE)
  • Leopoldo Teixeira (Federal University of Pernambuco – Recife, BR)
  • Maurice H. ter Beek (CNR – Pisa, IT)
  • Thomas Thüm (Universität Magdeburg, DE)
  • Társis Tolêdo (Federal University of Pernambuco – Recife, BR)
  • Salvador Trujillo (Ikerlan Research Centre – Arrasate-Mondragón, ES)
  • Eric Walkingshaw (Oregon State University, US)
  • Andrzej Wasowski (IT University of Copenhagen, DK)
  • Cemal Yilmaz (Sabanci University – Istanbul, TR)