Robert Colvin

34 papers A* 1B 5C 6Journal 11Unranked 9
YearRankTypeTitle / Venue / Authors
2016 J jnl
An algebra of synchronous atomic steps.
CoRR
Ian J. Hayes, Robert Colvin, Larissa Meinicke, Kirsten Winter, Andrius Velykis
2014 J jnl
An operational semantics for object-oriented concepts based on the class hierarchy.
Formal Aspects Comput.
Robert Colvin
2012 C conf
Integrated Operational Semantics: Small-Step, Big-Step and Multi-step.
ABZ
Ian J. Hayes, Robert Colvin
2011 J jnl
A semantics for Behavior Trees using CSP with specification commands.
Sci. Comput. Program.
Robert Colvin, Ian J. Hayes
2011 J jnl
Structural operational semantics through context-dependent behaviour.
J. Log. Algebraic Methods Program.
Robert Colvin, Ian J. Hayes
2010 B conf
Integrating Requirements: The Behavior Tree Philosophy.
SEFM
Kirsten Winter, Ian J. Hayes, Robert Colvin
2009 J jnl
A general technique for proving lock-freedom.
Sci. Comput. Program.
Robert Colvin, Brijesh Dongol
2009 B conf
CSP with Hierarchical State.
IFM
Robert Colvin, Ian J. Hayes
2009 — conf
Dynamic Relational Behaviour for Large-Scale Systems.
Australian Software Engineering Conference
Kirsten Winter, Robert Colvin, R. Geoff Dromey
2009 J jnl
Trace-based derivation of a scalable lock-free stack algorithm.
Formal Aspects Comput.
Lindsay Groves, Robert Colvin
2008 J jnl
Calculating modules in contextual logic program refinement.
Theory Pract. Log. Program.
Robert Colvin, Ian J. Hayes, Paul A. Strooper
2008 J jnl
Timed Behavior Trees for Failure Mode and Effects Analysis of time-critical systems.
J. Syst. Softw.
Robert Colvin, Lars Grunske, Kirsten Winter
2007 C conf
"Integrare", a Collaborative Environment for Behavior-Oriented Design.
CDVE
Lian Wen, Robert Colvin, Kai Lin, John Seagrott, Nisansala Yatapanage, R. Geoff Dromey
2007 B conf
A Scalable Lock-Free Stack Algorithm and its Verification.
SEFM
Robert Colvin, Lindsay Groves
2007 C conf
Early Validation and Verification of a Distributed Role-Based Access Control Model.
APSEC
Saad Zafar, Robert Colvin, Kirsten Winter, Nisansala Yatapanage, R. Geoff Dromey
2007 — conf
Probabilistic Model-Checking Support for FMEA.
QEST
Lars Grunske, Robert Colvin, Kirsten Winter
2007 B conf
Probabilistic Timed Behavior Trees.
IFM
Robert Colvin, Lars Grunske, Kirsten Winter
2007 — conf
Timed Behavior Trees and Their Application to Verifying Real-Time Systems.
ASWEC
Lars Grunske, Kirsten Winter, Robert Colvin
2007 C conf
Verifying Lock-Freedom Using Well-Founded Orders.
ICTAC
Robert Colvin, Brijesh Dongol
2006 J jnl
Calculating modules in contextual logic program refinement
CoRR
Robert Colvin, Ian J. Hayes, Paul A. Strooper
2006 — conf
Derivation of a Scalable Lock-Free Stack Algorithm.
Refine@ICFEM
Lindsay Groves, Robert Colvin
2006 A* conf
Formal Verification of a Lazy Concurrent List-Based Set Algorithm.
CAV
Robert Colvin, Lindsay Groves, Victor Luchangco, Mark Moir
2005 B conf
Formal Verification of an Array-Based Nonblocking Queue.
ICECCS
Robert Colvin, Lindsay Groves
2005 — conf
Verifying Concurrent Data Structures by Simulation.
REFINE
Robert Colvin, Simon Doherty, Lindsay Groves
2004 — ch.
Developing Logic Programs from Specifications Using Stepwise Refinement.
Program Development in Computational Logic
Robert Colvin, Lindsay Groves, Ian J. Hayes, David Hemer, Ray Nickson, Paul A. Strooper
2002 J jnl
A Refinement Calculus for Logic Programs
CoRR
Ian J. Hayes, Robert Colvin, David Hemer, Paul A. Strooper, Ray Nickson
2002 J jnl
A refinement calculus for logic programs.
Theory Pract. Log. Program.
Ian J. Hayes, Robert Colvin, David Hemer, Paul A. Strooper, Ray Nickson
2002 — —
Contextual and data refinement for the refinement calculus for logic programs
Robert Colvin
2002 — conf
Don't Care Non-determinism in Logic Program Refinement.
CATS
David Hemer, Ian J. Hayes, Paul A. Strooper, Robert Colvin
2002 C conf
Refinement of Higher-Order Logic Programs.
LOPSTR
Robert Colvin, Ian J. Hayes, David Hemer, Paul A. Strooper
2002 — conf
Translating Refined Logic Programs to Mercury.
ACSC
Robert Colvin, Ian J. Hayes, David Hemer, Paul A. Strooper
2000 — conf
A Technique for Modular Logic Program Refinement.
LOPSTR (LNCS 2042: Selected Papers)
Robert Colvin, Ian J. Hayes, Paul A. Strooper
2000 C conf
Modular Logic Program Refinement.
LOPSTR
Robert Colvin, Ian J. Hayes, Paul A. Strooper
2000 — conf
Refining Logic Programs Using Types.
ACSC
Robert Colvin, Ian J. Hayes, Paul A. Strooper