No.016 The Java Modeling Language (JML)

Icon

NII Shonan Meeting Seminar 016

Participants

  • Bernhard Beckert, Karlsruhe Institute of Technology, Germany, Ghost Code and Algorithmic Specification in the Java Modeling Language
  • Stefan Blom, University of Twente, The Netherlands,?Generics: an annotation preserving type erasure
  • Daniel Bruns, Karlsruhe Institute of Technology, Germany, Proving Information Flow Security with JML and KeY
  • Richard Bubel, TU Darmstadt, Germany,?JML & Specifications involving abstract domains (Preliminary Ideas and Experiences)
  • Néstor Cataño, The University of Madeira, Portugal, The EventB2Java Tool for Generating JML-Specified Java Implementations of Event-B Models
  • Patrice Chalin, Kansas State University, US, JML Syntax and Assertion Semantics Revisited (Spark 2014 experiences)
  • David Cok, GrammaTech, Ithaca, NY, US, OpenJML: Status and Challenges
  • Werner Dietl, University of Washington, US, JSR 308, the Checker Framework, and JML
  • Reiner Hähnle, Technische Universität Darmstadt, Germany, Reuse in JML by Specification Deltas
  • Marieke Huisman, University of Twente, The Netherlands, Chair of “JML in academic education”
  • K. Rustan M. Leino, Microsoft Research, Redmond, US,?For programs and proofs: ?mo’ specs and mo’ math
  • Wojciech Mostowski, University of Twente, Netherland, A Case Study in Formal Verification using Multiple Explicit Heaps
  • David Naumann, Stevens Institute of Technology, US, Exploring info flow extensions in a project that targets Android apps
  • Erik Poll, Radboud University Nijmegen, The Netherlands,?Extracting models from code??(canceled for personal reasons)
  • Robby, Kansas State University, US, Explicating Symbolic Execution (xSymExe): An Evidence-Based?Verification Framework
  • Robert Wille, University of Bremen, Germany, Verification of JML Expressions Using UML/OCL-based Approaches
  • Daniel Zimmerman, University of Washington Tacoma, US, JMLUnitNG: Present and Future

Category: Participants

Tagged:

Comments are closed.