| Publication | Date of Publication | Type |
|---|
Bunch theory: axioms, logic, applications and model
Journal of Logical and Algebraic Methods in Programming | 2024-06-25 | Paper |
| UTP, \textsf{\textit{Circus}}, and Isabelle | 2024-02-28 | Paper |
BGSL: an imperative language for specification and refinement of backtracking programs
Journal of Logical and Algebraic Methods in Programming | 2022-11-16 | Paper |
Unifying theories of reactive design contracts
Theoretical Computer Science | 2019-11-22 | Paper |
Unifying theories of reactive design contracts
Theoretical Computer Science | 2019-11-22 | Paper |
Unifying theories of time with generalised reactive processes
Information Processing Letters | 2018-04-05 | Paper |
Unifying theories of time with generalised reactive processes
Information Processing Letters | 2018-04-05 | Paper |
An Axiomatic Value Model for Isabelle/UTP
Unifying Theories of Programming | 2017-04-04 | Paper |
Unifying heterogeneous state-spaces with lenses
Theoretical Aspects of Computing – ICTAC 2016 | 2016-12-21 | Paper |
Isabelle/UTP: a mechanised theory engineering framework
Unifying Theories of Programming | 2016-06-22 | Paper |
Higher-order UTP for a theory of methods
Unifying Theories of Programming | 2015-12-11 | Paper |
Laws of mission-based programming
Formal Aspects of Computing | 2015-07-23 | Paper |
Mechanical Reasoning about Families of UTP Theories
Electronic Notes in Theoretical Computer Science | 2015-03-19 | Paper |
Safety-critical Java programs from \textsf{Circus} models
Real-Time Systems | 2014-04-08 | Paper |
A unification of probabilistic choice within a design-based model of reversible computation
Formal Aspects of Computing | 2013-03-22 | Paper |
Mechanical reasoning about families of UTP theories
Science of Computer Programming | 2012-07-20 | Paper |
Mechanised support for sound refinement tactics
Formal Aspects of Computing | 2012-07-03 | Paper |
A tactic language for refinement of state-rich concurrent specifications
Science of Computer Programming | 2011-06-06 | Paper |
Automating refinement of Circus programs
Lecture Notes in Computer Science | 2011-05-12 | Paper |
Encoding Circus programs in ProofPower-Z
Unifying Theories of Programming | 2010-08-31 | Paper |
Preference and non-deterministic choice
Lecture Notes in Computer Science | 2010-08-31 | Paper |
A Design-Based Model of Reversible Computation
Unifying Theories of Programming | 2007-09-14 | Paper |
ZB 2005: Formal Specification and Development in Z and B
Lecture Notes in Computer Science | 2005-11-10 | Paper |
| scientific article; zbMATH DE number 2013584 (Why is no real title available?) | 2003-12-04 | Paper |
