Short works
- Probabilistic invariants for probabilistic machines. 2003. (In ZB 2003 )
- Probabilistic termination in B. 2003. (In ZB 2003 )
- Development via refinement in Probabilistic B -- foundation and case study. 2005. (In ZB 2005 )
- The challenge of probabilistic Event B. 2005. (In ZB 2005 )