Robert Colvin

Publication Activity (10 Years)

Years Active: 2000-2016
Publications (10 Years): 1

Top Topics

Object Relational Databases

Operational Semantics

Class Hierarchy

Object Oriented Concepts

Top Venues

Formal Aspects Comput.

Publications

Ian J. Hayes, Robert Colvin, Larissa Meinicke, Kirsten Winter, Andrius Velykis
An algebra of synchronous atomic steps. CoRR (2016)
Robert Colvin
An operational semantics for object-oriented concepts based on the class hierarchy. Formal Aspects Comput. 26 (3) (2014)
Ian J. Hayes, Robert Colvin
Integrated Operational Semantics: Small-Step, Big-Step and Multi-step. ABZ (2012)
Robert Colvin, Ian J. Hayes
Structural operational semantics through context-dependent behaviour. J. Log. Algebraic Methods Program. 80 (7) (2011)
Robert Colvin, Ian J. Hayes
A semantics for Behavior Trees using CSP with specification commands. Sci. Comput. Program. 76 (10) (2011)
Kirsten Winter, Ian J. Hayes, Robert Colvin
Integrating Requirements: The Behavior Tree Philosophy. SEFM (2010)
Robert Colvin, Ian J. Hayes
CSP with Hierarchical State. IFM (2009)
Robert Colvin, Brijesh Dongol
A general technique for proving lock-freedom. Sci. Comput. Program. 74 (3) (2009)
Kirsten Winter, Robert Colvin, R. Geoff Dromey
Dynamic Relational Behaviour for Large-Scale Systems. Australian Software Engineering Conference (2009)
Lindsay Groves, Robert Colvin
Trace-based derivation of a scalable lock-free stack algorithm. Formal Aspects Comput. 21 (1-2) (2009)
Robert Colvin, Ian J. Hayes, Paul A. Strooper
Calculating modules in contextual logic program refinement. Theory Pract. Log. Program. 8 (1) (2008)
Robert Colvin, Lars Grunske, Kirsten Winter
Timed Behavior Trees for Failure Mode and Effects Analysis of time-critical systems. J. Syst. Softw. 81 (12) (2008)
Lian Wen, Robert Colvin, Kai Lin, John Seagrott, Nisansala Yatapanage, R. Geoff Dromey
"Integrare", a Collaborative Environment for Behavior-Oriented Design. CDVE (2007)
Robert Colvin, Lindsay Groves
A Scalable Lock-Free Stack Algorithm and its Verification. SEFM (2007)
Robert Colvin, Brijesh Dongol
Verifying Lock-Freedom Using Well-Founded Orders. ICTAC (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)
Lars Grunske, Kirsten Winter, Robert Colvin
Timed Behavior Trees and Their Application to Verifying Real-Time Systems. ASWEC (2007)
Lindsay Groves, Robert Colvin
Derivation of a Scalable Lock-Free Stack Algorithm. Electron. Notes Theor. Comput. Sci. 187 (2007)
Robert Colvin, Lars Grunske, Kirsten Winter
Probabilistic Timed Behavior Trees. IFM (2007)
Lars Grunske, Robert Colvin, Kirsten Winter
Probabilistic Model-Checking Support for FMEA. QEST (2007)
Robert Colvin, Ian J. Hayes, Paul A. Strooper
Calculating modules in contextual logic program refinement CoRR (2006)
Robert Colvin, Lindsay Groves, Victor Luchangco, Mark Moir
Formal Verification of a Lazy Concurrent List-Based Set Algorithm. CAV (2006)
Robert Colvin, Simon Doherty, Lindsay Groves
Verifying Concurrent Data Structures by Simulation. Electron. Notes Theor. Comput. Sci. 137 (2) (2005)
Robert Colvin, Lindsay Groves
Formal Verification of an Array-Based Nonblocking Queue. ICECCS (2005)
Ian J. Hayes, Robert Colvin, David Hemer, Paul A. Strooper, Ray Nickson
A refinement calculus for logic programs. Theory Pract. Log. Program. 2 (4-5) (2002)
Ian J. Hayes, Robert Colvin, David Hemer, Paul A. Strooper, Ray Nickson
A Refinement Calculus for Logic Programs CoRR (2002)
David Hemer, Ian J. Hayes, Paul A. Strooper, Robert Colvin
Don't Care Non-determinism in Logic Program Refinement. Electron. Notes Theor. Comput. Sci. 61 (2002)
Robert Colvin, Ian J. Hayes, David Hemer, Paul A. Strooper
Refinement of Higher-Order Logic Programs. LOPSTR (2002)
Robert Colvin, Ian J. Hayes, David Hemer, Paul A. Strooper
Translating Refined Logic Programs to Mercury. ACSC (2002)
Robert Colvin, Ian J. Hayes, Paul A. Strooper
A Technique for Modular Logic Program Refinement. LOPSTR (LNCS 2042: Selected Papers) (2000)
Robert Colvin, Ian J. Hayes, Paul A. Strooper
Modular Logic Program Refinement. LOPSTR (2000)
Robert Colvin, Ian J. Hayes, Paul A. Strooper
Refining Logic Programs Using Types. ACSC (2000)