Recent drafts

• Xin Zhang and Franck van Breugel. Measuring Progress of Java PathFinder. July 2008.
• Sergey Kulikov, Nastaran Shafiei, Franck van Breugel and Willem Visser. Detecting Data Races with Java PathFinder. July 2008.
• Franck van Breugel and Hamzeh Roumani. Let Numbers Point Students the Way: Address-Based Memory Diagrams for OOP. August 2007.
• Franck van Breugel and Maria Koshkina. Models and Verification of BPEL. September 2006.
• Franck van Breugel. The Metric Monad for Probabilistic Nondeterminism. April 2005.