| 2010 | SEFM | Integrating Requirements: The Behavior Tree Philosophy. | Kirsten Winter, Ian J. Hayes, Robert Colvin |
| 2009 | IFM | CSP with Hierarchical State. | Robert Colvin, Ian J. Hayes |
| 2007 | APSEC | Early Validation and Verification of a Distributed Role-Based Access Control Model. | Saad Zafar, Robert Colvin, Kirsten Winter, Nisansala Yatapanage, R. Geoff Dromey |
| 2007 | CDVE | "Integrare", a Collaborative Environment for Behavior-Oriented Design. | Lian Wen, Robert Colvin, Kai Lin, John Seagrott, Nisansala Yatapanage, R. Geoff Dromey |
| 2007 | ICTAC | Verifying Lock-Freedom Using Well-Founded Orders. | Robert Colvin, Brijesh Dongol |
| 2007 | IFM | Probabilistic Timed Behavior Trees. | Robert Colvin, Lars Grunske, Kirsten Winter |
| 2007 | SEFM | A Scalable Lock-Free Stack Algorithm and its Verification. | Robert Colvin, Lindsay Groves |
| 2006 | CAV | Formal Verification of a Lazy Concurrent List-Based Set Algorithm. | Robert Colvin, Lindsay Groves, Victor Luchangco, Mark Moir |
| 2005 | ICECCS | Formal Verification of an Array-Based Nonblocking Queue. | Robert Colvin, Lindsay Groves |
| 2002 | LOPSTR | Refinement of Higher-Order Logic Programs. | Robert Colvin, Ian J. Hayes, David Hemer, Paul A. Strooper |
| 2000 | LOPSTR | Modular Logic Program Refinement. | Robert Colvin, Ian J. Hayes, Paul A. Strooper |
| 2000 | LOPSTR | A Technique for Modular Logic Program Refinement. | Robert Colvin, Ian J. Hayes, Paul A. Strooper |