Refining Logic Programs Using Types. - Robert Colvin; Ian J. Hayes; Paul A. Strooper (ACSC, 2000)

Modular Logic Program Refinement. - Robert Colvin; Ian J. Hayes; Paul A. Strooper (LOPSTR, 2000)

A Technique for Modular Logic Program Refinement. - Robert Colvin; Ian J. Hayes; Paul A. Strooper (LOPSTR (LNCS 2042: Selected Papers), 2000)

Translating Refined Logic Programs to Mercury. - Robert Colvin; Ian J. Hayes; David Hemer; Paul A. Strooper (ACSC, 2002)

Refinement of Higher-Order Logic Programs. - Robert Colvin; Ian J. Hayes; David Hemer; Paul A. Strooper (LOPSTR, 2002)

Don't Care Non-determinism in Logic Program Refinement. - David Hemer; Ian J. Hayes; Paul A. Strooper; Robert Colvin (CATS, 2002)

A refinement calculus for logic programs. - Ian J. Hayes; Robert Colvin; David Hemer; Paul A. Strooper; Ray Nickson (Theory Pract. Log. Program., 2002)

Contextual and data refinement for the refinement calculus for logic programs - Robert Colvin (2002)

Developing Logic Programs from Specifications Using Stepwise Refinement. - Robert Colvin; Lindsay Groves; Ian J. Hayes; David Hemer; Ray Nickson; Paul A. Strooper (Program Development in Computational Logic, 2004)

Formal Verification of an Array-Based Nonblocking Queue. - Robert Colvin; Lindsay Groves (ICECCS, 2005)

Verifying Concurrent Data Structures by Simulation. - Robert Colvin; Simon Doherty; Lindsay Groves (REFINE, 2005)

Formal Verification of a Lazy Concurrent List-Based Set Algorithm. - Robert Colvin; Lindsay Groves; Victor Luchangco; Mark Moir (CAV, 2006)

Derivation of a Scalable Lock-Free Stack Algorithm. - Lindsay Groves; Robert Colvin (Refine@ICFEM, 2006)

Early Validation and Verification of a Distributed Role-Based Access Control Model. - Saad Zafar; Robert Colvin; Kirsten Winter; Nisansala Yatapanage; R. Geoff Dromey (APSEC, 2007)

Timed Behavior Trees and Their Application to Verifying Real-Time Systems. - Lars Grunske; Kirsten Winter; Robert Colvin (ASWEC, 2007)

"Integrare", a Collaborative Environment for Behavior-Oriented Design. - Lian Wen; Robert Colvin; Kai Lin; John Seagrott; Nisansala Yatapanage; R. Geoff Dromey (CDVE, 2007)

Verifying Lock-Freedom Using Well-Founded Orders. - Robert Colvin; Brijesh Dongol (ICTAC, 2007)

Probabilistic Timed Behavior Trees. - Robert Colvin; Lars Grunske; Kirsten Winter (IFM, 2007)

Probabilistic Model-Checking Support for FMEA. - Lars Grunske; Robert Colvin; Kirsten Winter (QEST, 2007)

A Scalable Lock-Free Stack Algorithm and its Verification. - Robert Colvin; Lindsay Groves (SEFM, 2007)

Timed Behavior Trees for Failure Mode and Effects Analysis of time-critical systems. - Robert Colvin; Lars Grunske; Kirsten Winter (J. Syst. Softw., 2008)

Calculating modules in contextual logic program refinement. - Robert Colvin; Ian J. Hayes; Paul A. Strooper (Theory Pract. Log. Program., 2008)

Dynamic Relational Behaviour for Large-Scale Systems. - Kirsten Winter; Robert Colvin; R. Geoff Dromey (Australian Software Engineering Conference, 2009)

CSP with Hierarchical State. - Robert Colvin; Ian J. Hayes (IFM, 2009)

Trace-based derivation of a scalable lock-free stack algorithm. - Lindsay Groves; Robert Colvin (Formal Aspects Comput., 2009)

A general technique for proving lock-freedom. - Robert Colvin; Brijesh Dongol (Sci. Comput. Program., 2009)

Integrating Requirements: The Behavior Tree Philosophy. - Kirsten Winter; Ian J. Hayes; Robert Colvin (SEFM, 2010)

Structural operational semantics through context-dependent behaviour. - Robert Colvin; Ian J. Hayes (J. Log. Algebraic Methods Program., 2011)

A semantics for Behavior Trees using CSP with specification commands. - Robert Colvin; Ian J. Hayes (Sci. Comput. Program., 2011)

Integrated Operational Semantics: Small-Step, Big-Step and Multi-step. - Ian J. Hayes; Robert Colvin (ABZ, 2012)

An operational semantics for object-oriented concepts based on the class hierarchy. - Robert Colvin (Formal Aspects Comput., 2014)

Balancing expressiveness in formal approaches to concurrency. - Cliff B. Jones; Ian J. Hayes; Robert J. Colvin (Formal Aspects Comput., 2015)

An Algebra of Synchronous Atomic Steps. - Ian J. Hayes; Robert J. Colvin; Larissa A. Meinicke; Kirsten Winter; Andrius Velykis (FM, 2016)

Modelling and analysing neural networks using a hybrid process algebra. - Robert J. Colvin (Theor. Comput. Sci., 2016)

Designing a semantic model for a wide-spectrum language with concurrency. - Robert J. Colvin; Ian J. Hayes; Larissa A. Meinicke (Formal Aspects Comput., 2017)

A Wide-Spectrum Language for Verification of Programs on Weak Memory Models. - Robert J. Colvin; Graeme Smith 001 (FM, 2018)

A sound and complete definition of linearizability on weak memory models. - Graeme Smith 001; Kirsten Winter; Robert J. Colvin (CoRR, 2018)

Correctness of Concurrent Objects under Weak Memory Models. - Graeme Smith 001; Kirsten Winter; Robert J. Colvin (Refine@FM, 2018)

A high-level operational semantics for hardware weak memory models. - Robert J. Colvin; Graeme Smith 001 (CoRR, 2018)

An Abstract Semantics of Speculative Execution for Reasoning About Security Vulnerabilities. - Robert J. Colvin; Kirsten Winter (FM Workshops (2), 2019)

A synchronous program algebra: a basis for reasoning about shared-memory and event-based concurrency. - Ian J. Hayes; Larissa A. Meinicke; Kirsten Winter; Robert J. Colvin (Formal Aspects Comput., 2019)

Linearizability on hardware weak memory models. - Graeme Smith 001; Kirsten Winter; Robert J. Colvin (Formal Aspects Comput., 2020)

Parallelized Sequential Composition and Hardware Weak Memory Models. - Robert J. Colvin (SEFM, 2021)

Parallelized sequential composition, pipelines, and hardware weak memory models. - Robert J. Colvin (CoRR, 2021)

Separation of Concerning Things: A Simpler Basis for Defining and Programming with the C/C++ Memory Model. - Robert J. Colvin (ICFEM, 2022)

Separation of concerning things: a simpler basis for defining and programming with the C/C++ memory model (extended version). - Robert J. Colvin (CoRR, 2022)

A Fine-Grained Semantics for Arrays and Pointers Under Weak Memory Models. - Robert J. Colvin (FM, 2023)

Practical Rely/Guarantee Verification of an Efficient Lock for seL4 on Multicore Architectures. - Robert J. Colvin; Ian J. Hayes; Scott Heiner; Peter Höfner; Larissa Meinicke; Roger C. Su (CoRR, 2024)

Practical Rely/Guarantee Verification of an Efficient Lock for seL4 on Multicore Architectures. - Robert J. Colvin; Ian J. Hayes; Scott Heiner; Peter Höfner; Larissa Meinicke; Roger C. Su (The Practice of Formal Methods (I), 2024)

Structural Operational Semantics for Functional and Security Verification of Pipelined Processors. - Robert J. Colvin; Roger C. Su (CAV (1), 2025)