Dr Robert Colvin

Research Fellow

School of Information Technology and Electrical Engineering
Faculty of Engineering, Architecture and Information Technology
r.colvin@uq.edu.au
+61 7 336 51629

Overview

Dependability of complex computer systems

PhD, ITEE, UQ, 2002

Formal methods of software development; specifically with the refinement calculus for logic programs framework.

Post Doc., MSCS, VUW, 2003-2005

Verification of concurrent data structures; specifically lock-free implementations

Rearch Fellow, ACCS, ITEE, UQ, 2005-

Dependability of complex computer systems

Qualifications

  • Doctor of Philosophy, The University of Queensland
  • Bachelor of Information Technology (Honours), The University of Queensland

Publications

  • Colvin, Robert J., Hayes, Ian J. and Meinicke, Larissa A. (2017) Designing a semantic model for a wide-spectrum language with concurrency. Formal Aspects of Computing, 1-23. doi:10.1007/s00165-017-0416-4

  • Colvin, Robert J. (2016) Modeling and analysing neural networks using a hybrid process algebra. Theoretical Computer Science, 623 15-64. doi:10.1016/j.tcs.2015.08.019

  • Hayes, Ian J., Colvin, Robert J., Meinicke, Larissa A., Winter, Kirsten and Velykis, Andrius (2016). An algebra of synchronous atomic steps. In: John Fitzgerald, Constance Heitmeyer, Stefania Gnesi and Anna Philippou, FM 2016: Formal Methods - 21st International Symposium, Proceedings. 21st International Symposium on Formal Methods, FM 2016, Limassol, Cyprus, (352-369). 9-11 November 2016. doi:10.1007/978-3-319-48989-6_22

View all Publications

Publications

Book

  • Colvin, Rob, Hayes, Ian and Strooper, Paul (1999) Refining logic programs using types and invariants. SVRC Technical Report 99-25, Software Verification Research Centre, School of Information Technology and Electrical Engineering, The University of Queensland.

Book Chapter

  • Colvin, Robert, Groves, Lindsay, Hayes, Ian J., Hemer, David, Nickson, Ray and Strooper, Paul (2004). Developing logic programs from specifications using stepwise refinement. In Maurice Bruynooghe and Kunk-Kiu Lau (Ed.), Program Development in Computational Logic (pp. 66-89) Berlin: Springer Verlag.

Journal Article

Conference Publication

  • Hayes, Ian J., Colvin, Robert J., Meinicke, Larissa A., Winter, Kirsten and Velykis, Andrius (2016). An algebra of synchronous atomic steps. In: John Fitzgerald, Constance Heitmeyer, Stefania Gnesi and Anna Philippou, FM 2016: Formal Methods - 21st International Symposium, Proceedings. 21st International Symposium on Formal Methods, FM 2016, Limassol, Cyprus, (352-369). 9-11 November 2016. doi:10.1007/978-3-319-48989-6_22

  • Hayes, Ian J. and Colvin, Robert J. (2012). Integrated operational semantics: small-step, big-step and multi-step. In: John Derrick, John Fitzgerald, Stefania Gnesi, Sarfraz Khurshid, Michael Leuschel, Steve Reeves and Elvinia Riccobene, Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, ABZ 2012, Proceedings. 3rd International Conference on Abstract State Machines, Alloy, B, VDM, and Z (ABZ 2012), Pisa, Italy, (21-35). 18-21 June 2012. doi:10.1007/978-3-642-30885-7_2

  • Winter, Kirsten, Hayes, Ian J. and Colvin, Robert (2010). Integrating requirements: The behavior tree philosophy. In: Proceedings of International Conference on Software Engineering and Formal Methods (SEFM 2010). Software Engineering and Formal Methods (SEFM 2010), Pisa, Italy, (41-50). 13-18 September 2010. doi:10.1109/SEFM.2010.13

  • Colvin, Robert and Hayes, Ian J. (2009). CSP with hierarchical state. In: Lecture NOtes in Computer Science: Integrated Formal Methods. 7th International Conference on Integrated Formal Methods: IFM 2009, Dusseldorf, Germany, (118-135). 16-19 February 2009. doi:10.1007/978-3-642-00255-7_9

  • Winter, Kirsten, Colvin, Robert and Dromey, R, Geoff (2009). Dynamic relational behaviour for large-scale systems. In: Colin Fidge, Proceedings of the 20th Australian Software Engineering Conference ASWEC 2009. 20th Australian Software Engineering Conference, Gold Coast, Australia, (173-182). 14-17 April, 2009. doi:10.1109/ASWEC.2009.41

  • Colvin, Robert, Grunske, Lars and Winter, Kirsten (2008). Timed Behavior Trees for Failure Mode and Effects Analysis of time-critical systems. In: Australian Software Engineering Conference, Melbourne Australia, (2163-2182). Apr 10-13, 2007. doi:10.1016/j.jss.2008.04.035

  • Wen, Lian, Colvin, Robert, Lin, Kai, Seagrott, John, Yatapanage, Nisansala and Dromey, Geoff (2007). 'Integrare', a collaborative environment for behavior-oriented design. In: Proceedings o f the 4th International Conference on Cooperative Design, Visualization, and Engineering. 4th International Conference, CDVE 2007 Cooperative Design, Visualization, and Engineering, Shanghai, China, (122-131). 16-20 September 2007. doi:10.1007/978-3-540-74780-2_14

  • Colvin, R. and Groves, L. (2007). A scalable lock-free stack algorithm and its verification. In: Mike Hinchey and Tiziana Margaria-Steffen, Proceedings Fifth IEEE International Conference on Software Engineering and Formal Methods. Fifth IEEE International Conference on Software Engineering and Formal Methods, London, United Kingdom, (339-348). 12-14 September 2007. doi:10.1109/SEFM.2007.2

  • Colvin, Robert and Groves, Lindsay (2007). Derivation of a scalable lock-free stack algorithm. In: Proceedings of the 11th Refinement Workshop (REFINE 2006). 11th Refinement Workshop (REFINE 2006), Macao, China, (55-74). 31 October 2006. doi:10.1016/j.entcs.2006.08.044

  • Zafar, Saad, Colvin, Robert, Winter, Kirsten, Yatapanage, Nisansala and Dromey, R.G. (2007). Early validation and verification of a distributed role-based access control model. In: Proceedings of the Software Engineering Conference 2007 (APSEC 2007). APSEC 2007: 14th Asia-Pacific Software Engineering Conference 2007, Nagoya, Japan, (430-437). 5-7 December 2007. doi:10.1109/ASPEC.2007.20

  • Grunske, L., Colvin, R. and Winter, K. (2007). Probabilistic model-checking support for FMEA. In: M. Harchol-Balter, M. Kwiatkowska and M. Telek, Proceedings Fourth International Conference on the Quantitative Evaluation of Systems. Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007), Edinburgh, Scotland, (119-128). 17-19 September, 2007. doi:10.1109/QEST.2007.18

  • Colvin, Robert, Grunske, Lars and Winter, Kirsten (2007). Probabilistic timed behavior trees. In: J. Davies and J. Gibbons, Proceedings of the 6th International Conference IFM 2007 Integrated Formal Methods. Integrated Formal Methods 2007, Oxford, UK, (156-175). 2-5 July, 2007. doi:10.1007/978-3-540-73210-5_9

  • Grunske, Lars, Winter, Kirsten and Colvin, Robert (2007). Timed behavior trees and their application to verifying real-time systems. In: J. Grundy and J. Han, Proceedings of the 2007 Australian Conference on Software Engineering. Australian Conference on Software Engineering (ASWEC 2007), Melbourne, Australia, (211-222). 10-13 April 2007. doi:10.1109/ASWEC.2007.49

  • Colvin, Robert and Dongol, Brijesh (2007). Verifying lock-freedom using well-founded orders. In: C. Jones, Z. Liu and J. Woodcock, Proceedings of the 4th International Colloquium on Theoretical Aspects of Computing - ICTAC 2007. Theoretical Aspects of Computing - ICTAC 2007, Macau, China, (124-138). 26-28 September, 2007. doi:10.1007/978-3-540-75292-9_9

  • Colvin, Robert, Groves, Lindsay, Luchangco, Victor and Moir, Mark (2006). Formal verification of a lazy concurrent list-based set algorithm. In: T. Ball and R.B. Jones, Proceedings of 18th International Conference on Computer Aided Verification (CAV 2006). 18th International Conference on Computer Aided Verification (CAV 2006), Seattle, WA, USA, (475-488). 17-20 August, 2006. doi:10.1007/11817963_44

  • Colvin, Robert and Groves, Lindsay (2005). Formal verification of an array-based nonblocking queue. In: IEEE: Proceedings of the 10th IEEE International Conference. ICECCS 2005: Engineering of Complex Computer Systems, Shanghai, China, (507-516). 16-20 June 2005. doi:10.1109/ICECCS.2005.49

  • Colvin, Robert, Doherty, Simon and Groves, Lindsay (2005). Verifying concurrent data structures by simulation. In: Proceedings of the REFINE 2005 Workshop. REFINE 2005 Workshop, Guildford, England, UK, (93-110). April, 2005. doi:10.1016/j.entcs.2005.04.026

  • Colvin, Robert, Hayes, Ian J., Hemer, David G. and Strooper, Paul A. (2003). Refinement of higher-order logic programs. In: M. Leuschel, Lecture Notes in Computer Science. Logic Based Program Synthesis and Transformation. Proceedings of the Twelfth International Workshop. The Twelfth International Symposium on Logic-based Program Synthesis and Transformation, Madrid, Spain, (126-143). 17-20 September 2002. doi:10.1007/3-540-45013-0_11

  • Hemer, David, Colvin, Robert, Hayes, Ian and Strooper, Paul (2002). Don't care non-determinism in logic program refinement. In: James Harland, Electronic Notes in Theoretical Computer Science: Proceedings of the Australasian Theory Symposium. CATS'02, Computing: the Australasian Theory Symposium, Amsterdam, Denmark, (101-121). 28 January - 1 February 2002. doi:10.1016/S1571-0661(04)00308-1

  • Colvin, R., Hayes, I. J., Hemer, D. G. and Strooper, P. A. (2002). Translating refined logic programs to Mercury. In: M. Oudshoorn, Proceedings of the Twenty-Fifth Australasian Computer Science Conference - Computer Science 2002. ACSC 2002, Melbourne, Australia, (33-40). 28 January - 1 February, 2002.

  • Colvin, Robert, Hayes, Ian and Strooper, Paul (2001). A technique for modular logic program refinement. In: K. Lau, Lecture Notes in Computer Science: Proceedings of the Tenth International Workshop on Logic Based Program Synthesis and Transformation. Tenth International Workshop on Logic-Based Program Synthesis and Transformation, London, England, (38-56). 24-28 July, 2001. doi:10.1007/3-540-45142-0_3

  • Colvin, Robert, Hayes, Ian J. and Strooper, Paul A. (2000). Refining logic programs using types. In: Jenny Edwards, Proceedings 23rd Australasian Computer Science Conference: ACSC 2000. ACSC 2000, Canberra, ACT, Australia, (43-50). 31 January - 3 February, 2000. doi:10.1109/ACSC.2000.824379

  • Colvin, R., Hayes, I. J. and Strooper, P. (1998). Data refining logic programs. In: Jim Grundy, Martin Schwenke and Trevor Vickers, Proceedings of IRW/FMP. International Refinement Workshop and Formal Methods Pacific '98, Canberra, Australia, (100-116). 29 September - 2 October, 1998.

  • Colvin, R., Hayes, I., Nickson, R. and Strooper, P. (1997). A tool for logic program refinement (Extended abstract). In: Formal Methods Pacific Conference 1997. Formal Methods Pacific Conference (FMP 97), Wellington New Zealand, (289-290). 9-11 July 1997.

Other Outputs

PhD and MPhil Supervision

Completed Supervision