Drafts

• Xin Zhang and Franck van Breugel. A Progress Measure for Explicit-State Probabilistic Model-Checkers. January 2010.
• Xin Zhang and Franck van Breugel. Probabilistic Model Checking with Java PathFinder. January 2010.
• Sergey Kulikov, Nastaran Shafiei, Franck van Breugel and Willem Visser. Detecting Data Races with Java PathFinder. January 2010.
• 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.
• Kien Huynh and Franck van Breugel. Analysis through Reflection, Walking the EMF model of BPEL4WS. June 2004.
• Franck van Breugel. A Note on the Hutchinson Metric. July 1999.
• Franck van Breugel. Quantitative Bisimulation for Probabilistic Processes: a counterexample (note). September 1998.
• Richard Banach and Franck van Breugel. Mobility and Modularity: expressing π-calculus in CCS. March 1998.