Travelled to:1 × Germany
1 × Italy
1 × Spain
1 × USA
4 × United Kingdom
Collaborated with:I.J.Hayes P.A.Strooper L.Groves K.Winter D.Hemer L.Grunske V.Luchangco M.Moir R.Nickson
Talks about:program (4) refin (4) logic (4) behavior (3) tree (3) algorithm (2) modular (2) specif (2) verif (2) use (2)
Person: Robert Colvin
DBLP: Colvin:Robert
Contributed to:
2010
2009201120072007
2006
2004200220002000Wrote 10 papers:
- SEFM-2010-WinterHC #behaviour #requirements
- Integrating Requirements: The Behavior Tree Philosophy (KW, IJH, RC), pp. 41–50.
- IFM-2009-ColvinH #csp
- CSP with Hierarchical State (RC, IJH), pp. 118–135.
- IFM-J-2009-ColvinH11 #behaviour #csp #semantics #specification #using
- A semantics for Behavior Trees using CSP with specification commands (RC, IJH), pp. 891–914.
- IFM-2007-ColvinGW #behaviour #probability
- Probabilistic Timed Behavior Trees (RC, LG, KW), pp. 156–175.
- SEFM-2007-ColvinG #algorithm #scalability #stack #verification
- A Scalable Lock-Free Stack Algorithm and its Verification (RC, LG), pp. 339–348.
- CAV-2006-ColvinGLM #algorithm #concurrent #lazy evaluation #set #verification
- Formal Verification of a Lazy Concurrent List-Based Set Algorithm (RC, LG, VL, MM), pp. 475–488.
- PDCL-2004-ColvinGHHNS #logic programming #refinement #source code #specification #using
- Developing Logic Programs from Specifications Using Stepwise Refinement (RC, LG, IJH, DH, RN, PAS), pp. 66–89.
- LOPSTR-2002-ColvinHHS #higher-order #logic programming #refinement #source code
- Refinement of Higher-Order Logic Programs (RC, IJH, DH, PAS), pp. 126–143.
- LOPSTR-2000-ColvinHS #composition #logic programming #refinement
- Modular Logic Program Refinement (RC, IJH, PAS).
- LOPSTR-J-2000-ColvinHS #composition #logic programming #refinement
- A Technique for Modular Logic Program Refinement (RC, IJH, PAS), pp. 38–56.