Using Dafny, an Automatic Program Verifier. - Luke Herbert; K. Rustan M. Leino; Jose Quaresma (LASER Summer School, 2011)

Using Stochastic Model Checking to Provision Complex Business Services. - Luke Herbert; Robin Sharp (HASE, 2012)

Precise Quantitative Analysis of Probabilistic Business Process Model and Notation Workflows. - Luke Herbert; Robin Sharp (J. Comput. Inf. Sci. Eng., 2013)