Robert J. Colvin
Robert J. Colvin
Verified email at uq.edu.au
TitleCited byYear
Formal verification of a lazy concurrent list-based set algorithm
R Colvin, L Groves, V Luchangco, M Moir
International Conference on Computer Aided Verification, 475-488, 2006
922006
Probabilistic model-checking support for FMEA
L Grunske, R Colvin, K Winter
Fourth International Conference on the Quantitative Evaluation of Systems …, 2007
792007
Verifying concurrent data structures by simulation
R Colvin, S Doherty, L Groves
Electronic Notes in Theoretical Computer Science 137 (2), 93-110, 2005
482005
Formal verification of an array-based nonblocking queue
R Colvin, L Groves
10th IEEE International Conference on Engineering of Complex Computer …, 2005
412005
A semantics for Behavior Trees using CSP with specification commands
RJ Colvin, IJ Hayes
Science of Computer Programming 76 (10), 891-914, 2011
342011
Balancing expressiveness in formal approaches to concurrency
CB Jones, IJ Hayes, RJ Colvin
Formal Aspects of Computing 27 (3), 475-497, 2015
332015
Timed behavior trees for failure mode and effects analysis of time-critical systems
R Colvin, L Grunske, K Winter
Journal of Systems and Software 81 (12), 2163-2182, 2008
332008
Laws and semantics for rely-guarantee refinement
IJ Hayes, CB Jones, RJ Colvin
Computing Science, Newcastle University, 2014
302014
A semantics for Behavior Trees
R Colvin, IJ Hayes
302010
“Integrare”, a collaborative environment for behavior-oriented design
L Wen, R Colvin, K Lin, J Seagrott, N Yatapanage, G Dromey
International Conference on Cooperative Design, Visualization and …, 2007
282007
Probabilistic timed behavior trees
R Colvin, L Grunske, K Winter
International Conference on Integrated Formal Methods, 156-175, 2007
272007
Timed behavior trees and their application to verifying real-time systems
L Grunske, K Winter, R Colvin
2007 Australian Software Engineering Conference (ASWEC'07), 211-222, 2007
212007
Designing a semantic model for a wide-spectrum language with concurrency
RJ Colvin, IJ Hayes, LA Meinicke
Formal Aspects of Computing 29 (5), 853-875, 2017
192017
CSP with hierarchical state
R Colvin, IJ Hayes
International Conference on Integrated Formal Methods, 118-135, 2009
192009
An algebra of synchronous atomic steps
IJ Hayes, RJ Colvin, LA Meinicke, K Winter, A Velykis
International Symposium on Formal Methods, 352-369, 2016
182016
Derivation of a scalable lock-free stack algorithm
L Groves, R Colvin
Electronic Notes in Theoretical Computer Science 187, 55-74, 2007
182007
Trace-based derivation of a scalable lock-free stack algorithm
L Groves, R Colvin
Formal Aspects of Computing 21 (1-2), 187-223, 2009
162009
Integrating requirements: the Behavior Tree philosophy
K Winter, IJ Hayes, R Colvin
2010 8th IEEE International Conference on Software Engineering and Formal …, 2010
152010
A general technique for proving lock-freedom
R Colvin, B Dongol
Science of Computer Programming 74 (3), 143-165, 2009
152009
A scalable lock-free stack algorithm and its verification
R Colvin, L Groves
Fifth IEEE International Conference on Software Engineering and Formal …, 2007
152007
The system can't perform the operation now. Try again later.
Articles 1–20