Robert Colvin

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

Robert Colvin, Ian J. Hayes: Structural operational semantics through context-dependent behaviour. J. Log. Algebr. Program. 80(7): 392-426 (2011)

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

Kirsten Winter, Ian J. Hayes, Robert Colvin: Integrating Requirements: The Behavior Tree Philosophy. SEFM 2010: 41-50

Lindsay Groves, Robert Colvin: Trace-based derivation of a scalable lock-free stack algorithm. Formal Asp. Comput. 21(1-2): 187-223 (2009)

Robert Colvin, Brijesh Dongol: A general technique for proving lock-freedom. Sci. Comput. Program. 74(3): 143-165 (2009)

Kirsten Winter, Robert Colvin, R. Geoff Dromey: Dynamic Relational Behaviour for Large-Scale Systems. Australian Software Engineering Conference 2009: 173-182

Robert Colvin, Ian J. Hayes: CSP with Hierarchical State. IFM 2009: 118-135

Robert Colvin, Lars Grunske, Kirsten Winter: Timed Behavior Trees for Failure Mode and Effects Analysis of time-critical systems. Journal of Systems and Software 81(12): 2163-2182 (2008)

Robert Colvin, Ian J. Hayes, Paul A. Strooper: Calculating modules in contextual logic program refinement. TPLP 8(1): 1-31 (2008)

Lindsay Groves, Robert Colvin: Derivation of a Scalable Lock-Free Stack Algorithm. Electr. Notes Theor. Comput. Sci. 187: 55-74 (2007)

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

Lars Grunske, Kirsten Winter, Robert Colvin: Timed Behavior Trees and Their Application to Verifying Real-Time Systems. ASWEC 2007: 211-222

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

Robert Colvin, Brijesh Dongol: Verifying Lock-Freedom Using Well-Founded Orders. ICTAC 2007: 124-138

Robert Colvin, Lars Grunske, Kirsten Winter: Probabilistic Timed Behavior Trees. IFM 2007: 156-175

Lars Grunske, Robert Colvin, Kirsten Winter: Probabilistic Model-Checking Support for FMEA. QEST 2007: 119-128

Robert Colvin, Lindsay Groves: A Scalable Lock-Free Stack Algorithm and its Verification. SEFM 2007: 339-348

Robert Colvin, Lindsay Groves, Victor Luchangco, Mark Moir: Formal Verification of a Lazy Concurrent List-Based Set Algorithm. CAV 2006: 475-488

Robert Colvin, Ian J. Hayes, Paul A. Strooper: Calculating modules in contextual logic program refinement. CoRR abs/cs/0608110 (2006)

Robert Colvin, Simon Doherty, Lindsay Groves: Verifying Concurrent Data Structures by Simulation. Electr. Notes Theor. Comput. Sci. 137(2): 93-110 (2005)

Robert Colvin, Lindsay Groves: Formal Verification of an Array-Based Nonblocking Queue. ICECCS 2005: 507-516

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

David Hemer, Ian J. Hayes, Paul A. Strooper, Robert Colvin: Don't Care Non-determinism in Logic Program Refinement. Electr. Notes Theor. Comput. Sci. 61: 101-121 (2002)

Ian J. Hayes, Robert Colvin, David Hemer, Paul A. Strooper, Ray Nickson: A refinement calculus for logic programs. TPLP 2(4-5): 425-460 (2002)

Robert Colvin, Ian J. Hayes, David Hemer, Paul A. Strooper: Translating Refined Logic Programs to Mercury. ACSC 2002: 33-40

Robert Colvin, Ian J. Hayes, David Hemer, Paul A. Strooper: Refinement of Higher-Order Logic Programs. LOPSTR 2002: 126-143

Ian J. Hayes, Robert Colvin, David Hemer, Paul A. Strooper, Ray Nickson: A Refinement Calculus for Logic Programs. CoRR cs.SE/0202002 (2002)

Robert Colvin, Ian J. Hayes, Paul A. Strooper: Refining Logic Programs Using Types. ACSC 2000: 43-50

Robert Colvin, Ian J. Hayes, Paul A. Strooper: Modular Logic Program Refinement. LOPSTR 2000

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