Paul H. B. Gardiner

15 papers A 1B 1Journal 9Unranked 4
YearRankTypeTitle / Venue / Authors
2003 — conf
A Methodology for Model-Checking Ad-hoc Networks.
SPIN
Irfan Zakiuddin, Michael Goldsmith, Paul Whittaker, Paul H. B. Gardiner
2003 J jnl
Power simulation and its relation to traces and failures refinement.
Theor. Comput. Sci.
Paul H. B. Gardiner
1999 — conf
Power Simulation and its Relation to Traces and Failures Refinement.
Workshop on Secure Architectures and Information Flow
Paul H. B. Gardiner
1996 J jnl
A Tactic Calculus-Abridged Version.
Formal Aspects Comput.
Andrew P. Martin, Paul H. B. Gardiner, Jim Woodcock
1996 J jnl
Structured Development of a Virtual Shared Memory System.
Formal Aspects Comput.
Karen Seidel, Paul H. B. Gardiner
1995 J jnl
Algebraic Proofs of Consistency and Completeness.
Theor. Comput. Sci.
Paul H. B. Gardiner
1995 A conf
Hierarchical Compression for Model-Checking CSP or How to Check 10
TACAS
A. W. Roscoe, Paul H. B. Gardiner, Michael Goldsmith, J. R. Hulance, D. M. Jackson, J. Bryan Scattergood
1994 J jnl
An Algebraic Construction of Predicate Transformers.
Sci. Comput. Program.
Paul H. B. Gardiner, Clare E. Martin, Oege de Moor
1994 — conf
The Formal Specification in Z of Defence Standard 00-56.
Z User Workshop
Jim Woodcock, Paul H. B. Gardiner, J. R. Hulance
1993 J jnl
A Single Complete Rule for Data Refinement.
Formal Aspects Comput.
Paul H. B. Gardiner, Carroll Morgan
1992 B conf
An Algebraic Construction of Predicate Transformers.
MPC
Paul H. B. Gardiner, Clare E. Martin, Oege de Moor
1992 J jnl
Reasoning Algebraically about Recursion.
Sci. Comput. Program.
Paul H. B. Gardiner, Paritosh K. Pandya
1991 J jnl
Data Refinement of Predicate Transformers.
Theor. Comput. Sci.
Paul H. B. Gardiner, Carroll Morgan
1990 — conf
A Simpler Semantics for Z.
Z User Workshop
Paul H. B. Gardiner, P. J. Lupton, Jim Woodcock
1990 J jnl
Data Refinement by Calculation.
Acta Informatica
Carroll Morgan, Paul H. B. Gardiner