18. – 23. August 2013, Dagstuhl Seminar 13341
Letzte Aktualisierung: 15. September 2013

Verifiably Secure Process-Aware Information Systems

Participants

  • Rafael Accorsi (Universität Freiburg, DE)
  • Lujo Bauer (Carnegie Mellon University – Pittsburgh, US)
  • Anne Baumgraß (Hasso-Plattner-Institut – Potsdam, DE)
  • Nataliia Bielova (INRIA Rennes – Bretagne Atlantique, FR)
  • Achim D. Brucker (SAP SE – Karlsruhe, DE)
  • David Cohen (Royal Holloway University of London, GB)
  • Jason Crampton (Royal Holloway University of London, GB)
  • Christopher Dearlove (BAE Systems – Chelmsford, GB)
  • Guido Governatori (NICTA – Brisbane, AU)
  • Christian Günther (Fluxicon Process Laboratories – Eindhoven, NL)
  • Gregory Z. Gutin (Royal Holloway University of London, GB)
  • Michael Huth (Imperial College London, GB)
  • Fuyuki Ishikawa (National Institute of Informatics – Tokyo, JP)
  • Limin Jia (Carnegie Mellon University – Pittsburgh, US)
  • Mark Jones (Royal Holloway University of London, GB)
  • Günter Karjoth (Hochschule Luzern, CH)
  • Felix Klaedtke (ETH Zürich, CH)
  • Agnes Koschmider (KIT – Karlsruher Institut für Technologie, DE)
  • Jim Huan Pu Kuo (Imperial College London, GB)
  • Andreas Lehmann (Vattenfall Europe Netzservice GmbH, DE)
  • Niels Lohmann (Universität Rostock, DE)
  • Raimundas Matulevicius (University of Tartu, EE)
  • Marco Montali (Free University of Bozen-Bolzano, IT)
  • Charles Morisset (University of Newcastle, GB)
  • Alessandro Mosca (Free University of Bozen-Bolzano, IT)
  • Michael Norrish (NICTA – Canberra, AU)
  • Andreas Oberweis (KIT – Karlsruher Institut für Technologie, DE)
  • Alexander Paar (TWT GmbH – Stuttgart, DE)
  • Stefanie Rinderle-Ma (Universität Wien, AT)
  • Anne Rozinat (Fluxicon Process Laboratories – Eindhoven, NL)
  • Thomas Stocker (Universität Freiburg, DE)
  • Mark Strembeck (Wirtschaftsuniversität Wien, AT)
  • Meike Ullrich (KIT – Karlsruher Institut für Technologie, DE)
  • Matthias Weidlich (Technion – Haifa, IL)
  • Edgar Weippl (Secure Business Austria Research, AT)
  • Nicola Zannone (TU Eindhoven, NL)
  • Uwe Zdun (Universität Wien, AT)
  • Maria Zhdanova (Fraunhofer SIT – Darmstadt, DE)