Browse by all authors Browse By Author ID - Hayes, Ian J.

Browse Results (101 results found)

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

Page 1 of 3

Result Pages:    1 2 3  next › last »

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
Meinicke, Larissa and Hayes, Ian J. (2006) Algebraic Reasoning for Probabilistic Action Systems and While-Loops. Technical Report SSE-2006-05, Division of Systems and Software Engineering Research, School of Information Technology and Electrical Engineering, The University of Queensland. 432 195
Meinicke, Larissa and Hayes, Ian J. (2008) Algebraic reasoning for probabilistic action systems and while-loops. Acta Informatica, 45 5: 321-382. doi:10.1007/s00236-008-0073-4 84   2 Cited 3 times in Scopus3 0
Smith, G. P. and Hayes, I. J. (2002) An introduction to real-time Object-Z. Formal Aspects of computing, 13 2: 128-141. doi:10.1007/s001650200003 33   Cited 9 times in Scopus9 0
Dongol, Brijesh and Hayes, Ian J. (2011). Approximating idealised real-time specifications using time bands. In: Alexander Romanovsky, Cliff Jones, Jens Bendisposto and Michael Leuschel, Proceedings of the 11th International Workshop on Automated Verification of Critical Systems (AVoCS 2011). 11th International Workshop on Automated Verification of Critical Systems, Newcastle upon Tyne, United Kingdom, (1-16). 12-14 September 2011. 75 5
Hayes, I. J. (2003). A predicative semantics for real-time refinement. In A. McIver and C. Morgan (Ed.), Programming Methodology 1 ed. (pp. 109-133) New York: Springer Verlag. 54  
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, 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 662
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
Hayes, I. J. and Utting, M. (2001) A sequential real-time refinement calculus. Acta Informatica, 37 6: 385-448. doi:10.1007/PL00013311 80 75 22 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
Lermer, Karl, Fidge, Colin and Hayes, Ian (2002) A Theory for Execution Time Derivation in Real-time Programs. Technical Report 02-13, Software Verification Research Centre, School of Information Technology, The University of Queensland. 440 288
Lermer, K., Fidge, C. J. and Hayes, I. J. (2005) A theory for execution-time derivation in real-time programs. Theoretical Computer Science, 346 1: 3-27. doi:10.1016/j.tcs.2005.08.003 51   1 Cited 2 times in Scopus2 0
Burns, Alan and Hayes, Ian J. (2010) A timeband framework for modelling real-time systems. Real-time Systems [computer resource], 45 1-2: 106-142. doi:10.1007/s11241-010-9094-5 37 4 8 Cited 15 times in Scopus15 0
Carrington, D., Hayes, I., Nickson, R., Watson, G. N. and Welsh, J. (1996) A Tool for Developing Correct Programs by Refinement. technical Report no. 95-49, Software Verification Research Centre, School of Information Technology, The University of Queensland. 480 541
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
Hayes, I. J. (2002) Block-structured (attribute) grammars Brisbane, Australia: The University of Queensland 35  
Cook, Phil, Welsh, Jim and Hayes, Ian J. (2005) Building a Flexible Incremental Compiler Back-End. Technical Report SSE-2005-02, Division of Systems and Software Engineering Research, School of Information Technology and Electrical Engineering, The University of Queensland. 1144 1570
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
Hayes, Ian J., Burns, Alan, Dongol, Brijesh and Jones, Cliff B. (2013) Comparing degrees of non-Determinism in expression evaluation. Computer Journal, 56 6: 741-755. doi:10.1093/comjnl/bxt005 20   1 Cited 1 times in Scopus1 0
Dongol, Brijesh and Hayes, Ian J. (2010). Compositional action system derivation using enforced properties. In: Claude Bolduc, Jules Desharnais and Béchir Ktari, Lecture Notes in Computer Science. Mathematics of Program Construction: 10th International Conference, MPC 2010. Mathematics of Program Construction [MPC], Quebec City, Quebec, Canada, (119-139). 21-23 June, 2010. doi:10.1007/978-3-642-13321-3_9 68 2 2 Cited 3 times in Scopus3 0
Meinicke, L. A. and Hayes, I. J. (2006). Continuous action system refinement. In: Tarmo Uustalu, Mathematics of Program Construction. 8th International Conference on Mathematics of Program Construction (MPC 2006), Kuressaare, Estonia, (316-337). 3-5 July 2006. 73   5 Cited 3 times in Scopus3
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  
Hayes, Ian J. and Utting, Mark (1998) Deadlines are termination St Lucia, QLD, Australia: Software Verification Research Centre, School of Information Technology, The University of Queensland 26 16
Fidge, Colin. J., Hayes, Ian. J. and Mahony, B. P. (1998) Defining Differentiation and Integration in Z. SVRC Technical Report 98-09, Software Verification Research Centre, School of Information Technology, The University of Queensland. 17 1
Dongol, Brijesh and Hayes, Ian J. (2012). Deriving real-time action systems controllers from multiscale system specifications. In: Jeremy Gibbons and Pablo Nogueira, Proceedings: Mathematics of Program Construction 11th International Conference, MPC 2012. Mathematics of Program Construction 11th International Conference, MPC 2012, Madrid, Spain, (102-131). 25 - 27 June 2012. doi:10.1007/978-3-642-31113-0_7 50   0
Dongol, Brijesh and Hayes, Ian J. (2013) Deriving real-time action systems in a sampling logic. Science of Computer Programming, 78 11: 2047-2063. doi:10.1016/j.scico.2012.07.008 16   0 Cited 1 times in Scopus1 1
Dongol, Brijesh, Hayes, Ian J. and Derrick, John (2014) Deriving real-time action systems with multiple time bands using algebraic reasoning. Science of Computer Programming, 85 PART B: 137-165. doi:10.1016/j.scico.2013.08.009 38   Cited 0 times in Scopus0 0
Jones, C. B., Hayes, I. J. and Jackson, M. A. (2007). Deriving specifications for systems that are connected to the physical world. In Jones, C. B., Liu, Z. and Woodcock, J. (Ed.), Formal Methods and Hybrid Real-Time Systems (pp. 364-390) Berlin, Germany: Springer-Verlag. 58 3 Cited 15 times in Scopus15
Hayes, I. J., Jackson, M. A. and Jones, C. B. (2003). Determining the specification of a control system from that of its environment. In: K. Araki, S. Gnesi and D. Mandrioli, Lecture Notes in Computer Science. FME 2003: Formal Methods. International Symposium of Formal Methods Europe, Pisa, Italy, (154-169). 8-14 September 2003. doi:10.1007/b13229 77 23 16 Cited 12 times in Scopus12 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
Hayes, Ian J. (2009). Dynamically detecting faults via integrity constraints. In Michael Butler, Cliff Jones, Alexander Romanovsky and Elena Troubitsyna (Ed.), Methods, Models, and Tools for Fault Tolerance (pp. 85-103) Berlin, Germany: Springer Verlag. doi:10.1007/978-3-642-00867-2_5 63   Cited 2 times in Scopus2 0
Dongol, Brijesh and Hayes, Ian J. (2009). Enforcing safety and progress properties: An approach to concurrent program derivation. In: Colin Fidge, Proceedings: Australian Software Engineering Conference, 2009. ASWEC '09. Australian Software Engineering Conference [ASWEC], Gold Coast , Australia, (3-12). 14-17 April 2009. doi:10.1109/ASWEC.2009.12 101   1 Cited 3 times in Scopus3 0
Lermer, Karl, Fidge, Colin and Hayes, Ian (2002) Formal Semantics for Program Paths. Technical Report 02-05, Software Verification Research Centre, School of Information Technology, The University of Queensland. 374 330
Lermer, Karl, Fidge, Colin and Hayes, Ian J. (2003). Formal Semantics for Program Paths. In: James Hartland, Electronic Notes in Theoretical Computer Science. CATS'03, Computing: the Australasian Theory Symposium. Computing: The Australasian Theory Symposium [CATS], Adelaide, (58-81). 4-7 February 2003. doi:10.1016/S1571-0661(04)81006-5 100   Cited 4 times in Scopus4 0
Dongol, Brijesh, Derrick, John and Hayes, Ian J. (2012). Fractional permissions and non-deterministic evaluators in interval temporal logic. In: Gerald Luettgen and Stephan Merz, Automated Verification of Critical Systems 2012. 12th International Workshop on Automated Verification of Critical Systems (AVoCS 2012), Bamberg, Germany, (1-15). 18–20 September 2012. 45 2
Cook, Phil, Welsh, Jim and Hayes, Ian J. (2002) Incremental Context-Sensitive Evaluation in Context. Technical Report 02-11, Software Verification Research Centre, The University of Queensland. 173 263
Cook, Phil, Welsh, Jim and Hayes, Ian J. (2005) Incremental Semantic Evaluation for Interactive Systems: Inertia, Pre-emption, and Relations. Technical Report SSE-2005-01, Division of Systems and Software Engineering Research, School of Information Technology and Electrical Engineering, The University of Queensland. 386 335
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
Glynn, Erica, Hayes, Ian and Macdonald, Anthony (2005). Integration of generic program analysis tools into a software development environment. In: V. Estivill-Castro, ACSC '05 Proceedings of the Twenty-eighth Austalasian Conference on Computer Science. Twenty-Eighth Australasian Conference Computer Science, Newcastle, NSW, (249-257). 31 Jan - 3 Feb 2005. 72  
Hayes, Ian J. (2010). Invariants and well-foundedness in program algebra. In: Ana Cavalcanti, David Deharbe, Marie-Claude Gaudel and Jim Woodcock, Theoretical Aspects of Computing – ICTAC 2010: 7th International Colloquium proceedings. 7th International Colloquium on Theoretical Aspects of Computing (ICTAC 2010), Natal, Rio Grande do Norte, Brazil, (1-14). 1-3 September 2010. doi:10.1007/978-3-642-14808-8_1 71   1 Cited 0 times in Scopus0 0
Hayes, Ian J. and Meinicke, Larissa (2014). Invariants, well-founded statements and real-time program algebra. In: Cliff Jones, Pekka Pihlajasaari and Jun Sun, FM 2014: Formal Methods - 19th International Symposium, Proceedings. 19th International Symposium on Formal Methods, FM 2014, Singapore, (318-334). 12 - 16 May 2014. doi:10.1007/978-3-319-06410-9_23 46 3 Cited 0 times in Scopus0 0
Lermer, Karl, Fidge, Colin and Hayes, Ian (2002) Linear Approximation of Execution Time Constraints. Technical Report 02-31, Software Verification Research Centre, School of Information Technology, The University of Queensland. 370 465
Lermer, K. R. C., Fidge, C. J. and Hayes, I. J. (2003) Linear approximation of execution-time constraints. Formal Aspects of Computing, 15 4: 319-348. doi:10.1007/s00165-003-0019-0 36   Cited 2 times in Scopus2 0
Hayes, Ian J., Dunne, Steve E. and Meinicke, Larissa A. (2013) Linking unifying theories of program refinement. Science of Computer Programming, 78 11: 2086-2107. doi:10.1016/j.scico.2012.07.010 41   0 Cited 1 times in Scopus1 1

Page 1 of 3

Result Pages:    1 2 3  next › last »