Home
Research
   
Overview
   
Publications
      
Books (authored)
      
Books (edited)
      
Journal papers
      
Book chapters
      
Conference papers
      
Theses
      
Reports
   
Students
   
Events
Teaching
Contact
Unpublished drafts
Nastaran Shafiei and Franck van Breugel.
State Space Reduction of Distributed Multithreaded Applications.
May 2015.
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.
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.