October 8 – 13 , 2006, Dagstuhl Seminar 06411

Specification, Verification and Test of Open Systems

Participants

  • Thomas Agotnes (Bergen University College, NO)
  • Dietmar Berwanger (University of Bordeaux, FR)
  • Kirill Bogdanov (Sheffield University, GB)
  • Bernard Boigelot (University of Liège, BE)
  • Mads Dam (KTH Royal Institute of Technology, SE)
  • Dirk Fahland (HU Berlin, DE)
  • Pascal Fontaine (LORIA – Nancy, FR)
  • Valentin Goranko (University of the Witwatersrand – Johannesburg, ZA)
  • Wolfgang Grieskamp (Microsoft Research – Redmond, US)
  • Radu Grosu (SUNY – Stony Brook, US)
  • Yuri Gurevich (Microsoft Research – Redmond, US)
  • Robert M. Hierons (Brunel University – London, GB)
  • Wojtek Jamroga (TU Clausthal, DE)
  • Joost-Pieter Katoen (RWTH Aachen, DE)
  • Axel Legay (University of Liège, BE)
  • Martin Leucker (TU München, DE)
  • Alessio R. Lomuscio (Imperial College London, GB)
  • Stephan Merz (LORIA – Nancy, FR)
  • David Monniaux (CNRS / ENS – Paris, FR)
  • Patrice Moreaux (University of Savoie, FR)
  • Aniello Murano (University of Naples, IT)
  • Brian Nielsen (Aalborg University, DK)
  • Wojciech Penczek (IPI PAN & University of Podlasie, PL)
  • Sophie Pinchinat (IRISA / CNRS, FR)
  • Wishnu Prasetya (Utrecht University, NL)
  • Jean-Francois Raskin (Free University of Brussels, BE)
  • Holger Schlingloff (Fraunhofer Institut – Berlin, DE)
  • Renate Schmidt (University of Manchester, GB)
  • Pierre-Yves Schobbens (University of Namur, BE)
  • Wolfgang Thomas (RWTH Aachen, DE)
  • Ron van der Meyden (UNSW – Sydney, AU)
  • Govert van Drimmelen (University of the Witwatersrand – Johannesburg, ZA)
  • Mahesh Viswanathan (University of Illinois – Urbana-Champaign, US)
  • Dirk Walther (University of Liverpool, GB)
  • Stephan Weißleder (Fraunhofer Institut – Berlin, DE)