July 12 – 17 , 2009, Dagstuhl Seminar 09292
Last update: January 26 2011

The Java Modeling Language (JML)

Participants

  • Bernhard Beckert (Universität Koblenz-Landau, DE)
  • Richard Bubel (Chalmers UT – Göteborg, SE)
  • Patrice Chalin (Concordia University – Montreal, CA)
  • Curtis Clifton (Rose-Hulman Inst. of Technology – Terre Haute, US)
  • David Cok (Eastman Kodak Comp. – Rochester, US)
  • Cormac Flanagan (University of California – Santa Cruz, US)
  • Reiner Hähnle (Chalmers UT – Göteborg, SE)
  • John Hatcliff (Kansas State University, US)
  • Görel Hedin (Lund University, SE)
  • Marieke Huisman (University of Twente, NL)
  • James J. Hunt (aicas GmbH – Karlsruhe, DE)
  • Joseph Roland Kiniry (University College Dublin, IE)
  • Gary T. Leavens (University of Central Florida – Orlando, US)
  • Jooyong Lee (Kansas State University, US)
  • K. Rustan M. Leino (Microsoft Corporation – Redmond, US)
  • Rosemary Monahan (NUI Maynooth, IE)
  • Wojciech Mostowski (Radboud University Nijmegen, NL)
  • Peter Müller (ETH Zürich, CH)
  • David A. Naumann (Stevens Institute of Technology, US)
  • Frank Piessens (KU Leuven, BE)
  • Erik Poll (Radboud University Nijmegen, NL)
  • Robby (Kansas State University, US)
  • Peter H. Schmitt (KIT – Karlsruher Institut für Technologie, DE)
  • Isabel Tonin (aicas GmbH – Karlsruhe, DE)
  • Mattias Ulbrich (KIT – Karlsruher Institut für Technologie, DE)
  • Ronny Wichers Schreur (Radboud University Nijmegen, NL)
  • Daniel Zimmerman (University of Washington – Tacoma, US)