Browse by all authors Browse By Author ID - Colvin, Robert

Browse Results (41 results found)

Subscribe to the RSS feed for this result setSubscribe to the RSS feed for this result set

Refine

  Abstract Views File Downloads Thomson Reuters Web of Science Citation Count Scopus Citation Count Altmetric Score
Hayes, Ian, Nickson, Ray, Strooper, Paul and Colvin, Robert (2000) A Declarative Semantics for Logic Program Refinement. Technical Report no. 00-30, Software Verification Research Centre, School of Information Technology, The University of Queensland. 508 585
Colvin, Robert and Dongol, Brijesh (2009) A general technique for proving lock-freedom. Science of Computer Programming, 74 3: 143-165. doi:10.1016/j.scico.2008.09.013 85   4 Cited 4 times in Scopus4 0
Colvin, Robert (2013) An operational semantics for object-oriented concepts based on the class hierarchy. Formal Aspects of Computing, 26 3: 491-535. doi:10.1007/s00165-012-0259-y 42   0 Cited 0 times in Scopus0 0
Hayes, Ian, Colvin, Robert, Hemer, David, Strooper, Paul and Nickson, Ray (2002) A refinement calculus for logic programs. Theory And Practice of Logic Programming, 2 Part 4-5: 425-460. doi:10.1017/S1471068402001448 66   3 Cited 2 times in Scopus2 0
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 110   2 Cited 4 times in Scopus4 0
Colvin, Robert and Hayes, Ian J. (2010) A semantics for behavior trees. Systems and Software Engineering Technical Reports SSE-2010-03, School of Information Technol and Elec Engineering, University of Queensland. 170 660
Colvin, Robert J. and Hayes, Ian J. (2011) A semantics for Behavior Trees using CSP with specification commands. Science of Computer Programming, 76 10: 891-914. doi:10.1016/j.scico.2010.11.007 66   2 Cited 9 times in Scopus9 0
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 68   0 0
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. 38   0
Jones, Cliff B., Hayes, Ian J. and Colvin, Robert J. (2014) Balancing expressiveness in formal approaches to concurrency. Formal Aspects of Computing, 1-23. doi:10.1007/s00165-014-0310-2 12   Cited 0 times in Scopus0 0
Colvin, Robert, Hayes, Ian J. and Strooper, Paul A. (2008) Calculating modules in contextual logic program refinement. Theory and Practice of Logic Programming, 8 1: 1-31. doi:10.1017/S1471068407003043 69   0 Cited 0 times in Scopus0 0
Colvin, Robert John. (2002). Contextual and data refinement for the refinement calculus for logic programs PhD Thesis, School of Information Technology and Electrical Engineering, The University of Queensland. 106 3
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 67 2 5 Cited 5 times in Scopus5 0
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. 91  
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 75 1 Cited 9 times in Scopus9 0
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. 110 85 1
Hemer, D. G., Colvin, R., Hayes, I. J. and Strooper, P. A. (2001) Don't care non-determinism in logic program refinement. SRV Techical Report No. 01-27, Software Verification Research Centre, School of Information Technology, The University of Queensland. 59  
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 91   Cited 1 times in Scopus1 0
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 71   1 Cited 3 times in Scopus3 0
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 69   1 Cited 4 times in Scopus4 0
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 58   19 Cited 17 times in Scopus17 0
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 101 5 3 0
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 77   6 Cited 8 times in Scopus8 0
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 97   Cited 1 times in Scopus1 0
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 66   Cited 2 times in Scopus2 0
Lindsay, Peter A., Winter, Kirsten and Colvin, Robert (2010) Model-checking tool support for quantitative risk analysis and design for safety. Division of Systems and Software Engineering Research Technical Report SSE-2010-04, School of Information Technolology and Electrical Engineering, The University of Queensland. 143 469
Colvin, Robert (2013). Modeling neural networks using process algebras. , Queensland Brain Institute, The University of Queensland. 82 28
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 85   4 Cited 3 times in Scopus3 0
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 68 2 7 Cited 6 times in Scopus6 0
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 100 96 1 Cited 1 times in Scopus1 0
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 31   0
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. 27 1
Colvin, Robert and Hayes, Ian J. (2010) Structural operational semantics through context-dependent behaviour. Systems and Software Engineering Technical Reports SSE-2010-02, School of Information Technology and Electrical Engineering, The University of Queensland. 142 256
Colvin, Robert J. and Hayes, Ian J. (2011) Structural operational semantics through context-dependent behaviour. Journal of Logic and Algebraic Programming, 80 7: 392-426. doi:10.1016/j.jlap.2011.05.001 143   2 Cited 3 times in Scopus3 0
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 64 3 0 Cited 12 times in Scopus12 0
Colvin, Robert, Grunske, Lars and Winter, Kirsten (2008) Timed behavior trees for failure mode and effects analysis of time-critical systems. Journal of Systems and Software, 81 12: 2163-2182. doi:10.1016/j.jss.2008.04.035 108 5 12 Cited 17 times in Scopus17 0
Groves, Lindsay and Colvin, Robert (2009) Trace-based derivation of a scalable lock-free stack algorithm. Formal Aspects of Computing, 21 1-2: 187-223. doi:10.1007/s00165-008-0092-5 100 1 5 Cited 7 times in Scopus7 0
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. 38  
Colvin, Robert, Hemer, David, Hayes, Ian and Strooper, Paul (2001) Translating Refined Logic Programs to Mercury. Technical Report no. 01-32, Software Verification Research Centre, School of Information Technology, The University Of Queensland. 345 497
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 53 2 Cited 18 times in Scopus18 0
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 59 2 3 Cited 2 times in Scopus2 0