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. 517 607
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. 443 203
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 89   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 35   Cited 10 times in Scopus10 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. 86 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. 56  
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 71   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. 188 725
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 75 1 3 Cited 11 times in Scopus11 0
Hayes, I. J. and Utting, M. (2001) A sequential real-time refinement calculus. Acta Informatica, 37 6: 385-448. doi:10.1007/PL00013311 82 78 24 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 71   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. 443 299
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 54   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 48 5 9 Cited 16 times in Scopus16 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. 482 564
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. 40   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 15   Cited 0 times in Scopus0 0
Hayes, I. J. (2002) Block-structured (attribute) grammars Brisbane, Australia: The University of Queensland 38  
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. 1189 1660
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 78   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 30 2 3 Cited 4 times in Scopus4 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 76 3 3 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. 77   6 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 69 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. 98  
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 29 22
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. 21 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 57   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 19   1 Cited 2 times in Scopus2 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 44   0 Cited 1 times in Scopus1 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. 63 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 82 36 17 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. 125 95 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. 61  
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 97   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 69 2 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 105 1 2 Cited 3 times in Scopus3 0
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 121   Cited 4 times in Scopus4 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. 379 346
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. 51 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. 176 280
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. 395 351
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 101   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 76   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. 74  
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 77   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 58 4 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. 372 495
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 38   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 46   0 Cited 1 times in Scopus1 1

Page 1 of 3

Result Pages:    1 2 3  next › last »