| Probabilistic modelling and verification using RoboChart and PRISM | 0 | 0.34 | 2022 |
| Finite complete suites for CSP refinement testing | 0 | 0.34 | 2019 |
| Fault-based refinement-testing for CSP | 0 | 0.34 | 2019 |
| RoboChart: modelling and verification of the functional behaviour of robotic applications | 2 | 0.37 | 2019 |
| Unifying Theories of Timed with Generalised Reactive Processes. | 0 | 0.34 | 2018 |
| Safety-Critical Java: level 2 in practice. | 1 | 0.36 | 2018 |
| Modelling and Verification of Timed Robotic Controllers. | 4 | 0.40 | 2017 |
| Fault-Based Testing for Refinement in CSP. | 1 | 0.35 | 2017 |
| Local Analysis of Determinism for CSP. | 0 | 0.34 | 2017 |
| Formal Methods for Robotics: RoboChart, RoboSim, and More. | 0 | 0.34 | 2017 |
| Modelling timed reactive systems from natural-language requirements. | 2 | 0.41 | 2016 |
| Towards A Utp Semantics For Modelica | 0 | 0.34 | 2016 |
| Checking SysML Models for Co-simulation. | 2 | 0.36 | 2016 |
| Behavioural Models for FMI Co-simulations. | 1 | 0.35 | 2016 |
| A Stepwise Approach To Linking Theories | 0 | 0.34 | 2016 |
| From Formalised State Machines to Implementations of Robotic Controllers | 3 | 0.38 | 2016 |
| Local Livelock Analysis of Component-Based Models. | 3 | 0.43 | 2016 |
| Refinement Strategies for Safety-Critical Java. | 0 | 0.34 | 2015 |
| CSP and Kripke Structures. | 1 | 0.35 | 2015 |
| Angelicism in the Theory of Reactive Processes. | 2 | 0.37 | 2014 |
| Designs with Angelic Nondeterminism | 3 | 0.41 | 2013 |
| Formal Models of SysML Blocks. | 4 | 0.47 | 2013 |
| Unifying classes and processes | 21 | 0.96 | 2005 |
| Algebraic reasoning for object-oriented programming | 46 | 1.83 | 2004 |
| A framework for specification and validation of real-time systems using circus actions | 11 | 0.76 | 2004 |
| ArcAngel: a Tactic Language for Refinement | 20 | 1.11 | 2003 |
| A Refinement Strategy for Circus | 75 | 3.52 | 2003 |
| A Strategy for Compiling Classes, Inheritance, and Dynamic Binding | 3 | 0.43 | 2003 |
| Refactoring by Transformation | 7 | 0.62 | 2002 |
| Refinement of Actions in Circus, | 12 | 1.15 | 2002 |
