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

Browse Results (147 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
Mahony, Brendan and Hayes, Ian (1991). A Case Study in Timed Refinement: A Central Heater. In: Proceedings of the 4th Refinement Workshop, organised by BCS-FACS. 4th Refinement Workshop, Cambridge, United Kingdom, (138-149). 9–11 January 1991. doi:10.1007/978-1-4471-3756-6_8     0
Mahony B.P. and Hayes I.J. (1992) A case-study in timed refinement: A mine pump. IEEE Transactions on Software Engineering, 18 9: 817-826. doi:10.1109/32.159841     26 Cited 45 times in Scopus45 0
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.   595
Bancroft, Peter and Hayes, Ian (1995). A formal semantics for a language with type extension. In: ZUM 1995: The Z Formal Specification Notation - 9th International Conference of Z Users, Proceedings. 9th International Conference of Z Users Meeting, ZUM 1995, Limerick Ireland, (298-314). 7- 9 September 1995.     Cited 1 times in Scopus1
Hayes, Ian (1990). A Generalisation of Bags in Z. In: Proceedings of the Fourth Annual Z User Meeting . Z User Workshop , Oxford, , (113-127). 15 December 1989. doi:10.1007/978-1-4471-3877-8_7     0
Hayes, Ian J. and Jones, Cliff B. (2018). A guide to rely/guarantee thinking. In: Engineering Trustworthy Software Systems. Third International School, SETSS 2017, Chongqing, China, (1-38). 17–22 April 2017. doi:10.1007/978-3-030-02928-9_1     Cited 1 times in Scopus1 0
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.   208
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     3 Cited 4 times in Scopus4 0
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     0 Cited 6 times in Scopus6 0
Smith, C., Winter, K., Hayes, I., Dromey, G., Lindsay, P. and Carrington, D. (2004). An environment for building a system out of its requirements. In: Proceedings - 19th International Conference on Automated Software Engineering, ASE 2004. Proceedings - 19th International Conference on Automated Software Engineering, ASE 2004, , , (398-399). September 20, 2004-September 24, 2004. doi:10.1109/ASE.2004.1342775     Cited 14 times in Scopus14
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     Cited 11 times in Scopus11 0
Hayes, Ian J. (1985) APPLYING FORMAL SPECIFICATION TO SOFTWARE DEVELOPMENT IN INDUSTRY. IEEE Transactions on Software Engineering, SE-11 2: 169-178. doi:10.1109/TSE.1985.232191     Cited 23 times in Scopus23
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. doi:10.14279/tuj.eceasst.46.684.701   5 Cited 4 times in Scopus4
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.     0
Carrington D., Hayes I., Nickson R., Watson G. and Welsh J. (1998) A Program Refinement Tool. Formal Aspects of Computing, 10 2: 97-124. doi:10.1007/s001650050006     Cited 14 times in Scopus14
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     4 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.   707
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     11 Cited 22 times in Scopus22 0
Hayes, I. J. and Utting, M. (2001) A sequential real-time refinement calculus. Acta Informatica, 37 6: 385-448. doi:10.1007/PL00013311   86 24 Cited 33 times in Scopus33 0
Fidge, C. J., Hayes, I. J., Martin, A. P. and Wabenhorst, A. K. (1998). A set-theoretic model for real-time specification and reasoning. In: Mathematics of Program Construction - 4th International Conference, MPC 1998, Proceedings. 4th International Conference on Mathematics of Program Construction, MPC 1998, Marstrand, (188-206). June 15- 17 1998. doi:10.1007/bfb0054291     Cited 17 times in Scopus17 0
Hayes, Ian J., Meinicke, Larissa A., Winter, Kirsten and Colvin, Robert J. (2018) A synchronous program algebra: a basis for reasoning about shared-memory and event-based concurrency. Formal Aspects of Computing, . doi:10.1007/s00165-018-0464-4     Cited 2 times in Scopus2
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     0 Cited 3 times in Scopus3 0
Lermer, Karl, Fidge, Colin J. and Hayes, Ian J. (2005). A theory for execution-time derivation in real-time programs. In: , , (3-27). . doi:10.1016/j.tcs.2005.08.003     Cited 2 times in Scopus2
Lermer, Karl, Fidge, Colin J. and Hayes, Ian 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     1 Cited 2 times in Scopus2 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.   310
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   6 16 Cited 26 times in Scopus26 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.   579
Colvin, R., Hayes, I., Nickson, R. and Strooper, P. (1997). A tool for logic program refinement (Extended abstract). In: Groves, L and Reeves, S, Formal Methods Pacific Conference 1997. Formal Methods Pacific Conference (FMP 97), Wellington New Zealand, (289-290). 9-11 July 1997.     0
Jones, Cliff B., Hayes, Ian J. and Colvin, Robert J. (2014) Balancing expressiveness in formal approaches to concurrency. Formal Aspects of Computing, 27 3: 1-23. doi:10.1007/s00165-014-0310-2     11 Cited 16 times in Scopus16 0
Hayes, I. J. (2002) Block-structured (attribute) grammars Brisbane, Australia: The University of Queensland    
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.   1845
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     1 Cited 1 times in Scopus1 0
Hayes, Ian J., Wu, Xi and Meinicke, Larissa A. (2017). Capabilities for Java: Secure access to resources. In: Bor-Yuh Evan Chang, Programming Languages and Systems - 15th Asian Symposium, APLAS 2017, Proceedings. 15th Asian Symposium on Programming Languages and Systems, APLAS 2017, Suzhou, People's Republic of China, (67-84). 27-29 November 2017. doi:10.1007/978-3-319-71237-6_4     Cited 1 times in Scopus1 0
Hayes, Ian J. (1991) Case studies in systematic software development. Science of Computer Programming, 17 1-3: 250-251. doi:10.1016/0167-6423(91)90042-v    
Bakker Paul, Carrington David, Goodchild Andrew, Hayes Ian, Purchase Helen and Strooper Paul (1995). Communicating technologist: an educational challenge. In: Proceedings of the 1995 25th Annual Conference on Frontiers in Education. Part 1 (of 2), Atlanta, GA, USA, (699-702). November 1, 1995-November 4, 1995.     Cited 1 times in Scopus1
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   7 7 Cited 13 times in Scopus13 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   3 5 Cited 6 times in Scopus6 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.     6 Cited 5 times in Scopus5 0
Dongol, Brijesh, Hayes, Ian J. and Struth, Georg (2016) Convolution as a unifying concept: applications in separation logic, interval calculi, and concurrency. ACM Transactions on Computational Logic, 17 3: . doi:10.1145/2874773     1 Cited 1 times in Scopus1 0
Colvin, Robert and Hayes, Ian J. (2009). CSP with hierarchical state. In: Leuschel, M and Wehrheim, H, 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   2 8 Cited 12 times in Scopus12 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.    
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    
Fidge, C. J., Hayes, I. J. and Mahony, B. P. (1998). Defining differentiation and integration in Z. In: Proceedings - 2nd International Conference on Formal Engineering Methods, ICFEM 1998. 2nd International Conference on Formal Engineering Methods, ICFEM 1998, Brisbane, QLD, (64-73). December 9, 1998-December 11, 1998. doi:10.1109/ICFEM.1998.730571     Cited 9 times in Scopus9
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.   1
Carrington, David, Duke, David, Hayes, Ian and Welsh, Jim (1993). Deriving modular designs from formal specifications. In: Proceedings of the 1st ACM SIGSOFT Symposium on Foundations of Software Engineering, SIGSOFT 1993. 1st ACM SIGSOFT Symposium on Foundations of Software Engineering, SIGSOFT 1993, Los Angeles, CA, (89-98). 8 - 10 December 1993. doi:10.1145/256428.167066     Cited 10 times in Scopus10
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     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     4 Cited 5 times in Scopus5 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     3 Cited 3 times in Scopus3 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.   3 Cited 19 times in Scopus19 0
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, 29 5: 1-23. doi:10.1007/s00165-017-0416-4     0 Cited 6 times in Scopus6 0

Page 1 of 3

Result Pages:    1 2 3  next › last »