Concepedia

Robert J. Colvin

RJ

Statistics

Publications

13

Citations

358

H-Index

12

Active since

2005

Affiliations

The University of Queensland(Current)

ARC Centre of Excellence for Engineered Quantum Systems

Victoria University of Wellington

Robert J. Colvin is an author at The University of Queensland specializing in formal methods, engineering, and formal verification.

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationVerificationProgram AnalysisSoftware AnalysisAutomated ReasoningComputer EngineeringSoftware Design

Publications per year

2005–2014

13

Publications

13

Probabilistic Model-Checking Support for FMEA

Lars Grunske, Robert J. Colvin, Kirsten Winter · 2007 · 59 citations · Full text

Engineering, Verification, Safety Science +21

Verifying Concurrent Data Structures by Simulation

Robert J. Colvin, Simon Doherty, Lindsay Groves · Electronic Notes in Theoretical Computer Science · 2005 · 47 citations · Full text

Engineering, Verification, Backward Simulation +17

Formal verification of an array-based nonblocking queue

Robert J. Colvin, Lindsay Groves · 2005 · 44 citations

Engineering, Nonblocking Behaviour, Verification +13

A semantics for Behavior Trees using CSP with specification commands

Robert J. Colvin, Ian J. Hayes · Science of Computer Programming · 2010 · 33 citations

Behavior Trees, Specification Language, Formal Specification +14

Timed Behavior Trees for Failure Mode and Effects Analysis of time-critical systems

Robert J. Colvin, Lars Grunske, Kirsten Winter · Journal of Systems and Software · 2008 · 29 citations

Reliability, Behavior Trees, Effects Analysis +14

Rows per page

1–5 of 13