May 1, 2013 Comments Off on Participants
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