Lorentz Center - Two Decades of Probabilistic Verification — Reflections and Perspectives from 12 Nov 2007 through 16 Nov 2007
  Current Workshop  |   Overview   Back  |   Home   |   Search   |     

    Two Decades of Probabilistic Verification — Reflections and Perspectives
    from 12 Nov 2007 through 16 Nov 2007

 
Names listed in boldface are linked to the home pages of these participants

Christel Baier(Dresden, Germany)
Rena Bakhshi(Amsterdam, Netherlands)
Bernd Becker(Freiburg, Germany)
Jasper Berendsen(Nijmegen, Netherlands)
Henrik Bohnenkamp(Aachen, Germany)
Hichem Boudali(Enschede, Netherlands)
Kostas Chatzikokolakis(Palaiseau, France)
Gianfranco Ciardo(Riverside, CA, United States)
Frank Ciesinski(Dresden, Germany)
Lucia Cloth(Enschede, Netherlands)
Nicolas Coste(Grenoble, France)
Pepijn Crouzen(Saarbruecken, Germany)
Pedro Ruben Dargenio(Córdoba Capital, Argentina)
Wan Fokkink(Amsterdam, Netherlands)
Sergio Giro(Córdoba, Argentina)
Marcus Groesser(Dresden, Germany)
Tingting Han(Aachen, Germany)
Boudewijn Haverkort(Enschede, Netherlands)
Holger Hermanns(Saarbrücken, Germany)
David N. Jansen(Nijmegen, Netherlands)
Sven Johr(Saarbrücken, Germany)
Marijn Jongerden(Enschede, Netherlands)
Joost-Pieter Katoen(Aachen, Germany)
Daniel Klink(Aachen, Germany)
William Knottenbelt(London, United Kingdom)
Matthias Kuntz(Enschede, Netherlands)
Marta Kwiatkowska(Oxford, United Kingdom)
Kai Lampka(Zurich, Switzerland)
Mieke Massink(Pisa, Italy)
Maria Mateescu(Lausanne, Switzerland)
Annabelle McIver(Sydney, Australia)
Martin Richard Neuhäußer(Aachen, Germany)
Gethin Norman(Oxford, United Kingdom)
Joel Ouaknine(Oxford, United Kingdom)
David Parker(Oxford, United Kingdom)
Muhammad Reza Pulungan(Saarbruecken, Germany)
Anne Remke(Enschede, Netherlands)
Martin Riedl(Neubiberg, Germany)
Johann Schuster(Neubiberg, Germany)
Roberto Segala(Verona, Italy)
Markus Siegle(Muenchen-Neubiberg, Germany)
Marielle Stoelinga(Enschede, Netherlands)
Frits Vaandrager(Nijmegen, Netherlands)
Jaco van de Pol(Enschede, Netherlands)
Maarten van Steen(Amsterdam, Netherlands)
Björn Wachter(Saarbrücken, Germany)
Ralf Wimmer(Freiburg, Germany)
Dominik Wojtczak(Edinburgh, United Kingdom)
Verena Wolf(Mannheim, Germany)
Lijun Zhang(Saarbruecken, Germany)


   [Back]