| Test selection for traces refinement. | 0 | 0.34 | 2015 |
| Unifying theories in ProofPower-Z | 20 | 1.10 | 2013 |
| Mechanised support for sound refinement tactics | 3 | 0.38 | 2012 |
| Testing for refinement in Circus | 6 | 0.49 | 2011 |
| The safety-critical Java memory model: a formal account | 16 | 0.84 | 2011 |
| Specification coverage for testing in circus | 1 | 0.36 | 2010 |
| An algebraic approach to the design of compilers for object-oriented languages | 3 | 0.39 | 2010 |
| A process algebraic framework for specification and validation of real-time systems | 30 | 1.07 | 2010 |
| A UTP semantics for Circus | 50 | 1.71 | 2009 |
| A note on traces refinement and the conf relation in the unifying theories of programming | 7 | 0.48 | 2008 |
| State-rich model checking | 4 | 0.52 | 2006 |
