Journal Articles by Ian Hayes

[1] RobertJ. Colvin, IanJ. Hayes, and LarissaA. Meinicke. Designing a semantic model for a wide-spectrum language with concurrency. Formal Aspects of Computing, pages 1--22, 2017. Accepted 28 November 2016. [bib| Abstract]
[2] Julian Fell, IanJ. Hayes, and Andrius Velykis. Concurrent refinement algebra and rely quotients. Archive of Formal Proofs, December 2016. http://isa-afp.org/entries/Concurrent_Ref_Alg.shtml, Formal proof development. [bib| Abstract]
[3] IanJ. Hayes. Generalised rely-guarantee concurrency: An algebraic foundation. Formal Aspects of Computing, 28(6):1057--1078, November 2016. [bib| DOI| http| Abstract]
[4] Brijesh Dongol, IanJ. Hayes, and Georg Struth. Convolution as a unifying concept: Applications in separation logic, interval calculi, and concurrency. ACM Trans. Comput. Logic, 17(3):15:1--15:25, February 2016. [bib| DOI| http| Abstract]
[5] CliffB. Jones and IanJ. Hayes. Possible values: Exploring a concept for concurrency. Journal of Logical and Algebraic Methods in Programming, 2016. Accepted 8 January 2016. Available online 13 January 2016. [bib| DOI| http| Abstract]
[6] CliffB. Jones, IanJ. Hayes, and RobertJ. Colvin. Balancing expressiveness in formal approaches to concurrency. Formal Aspects of Computing, 27(3):475--497, May 2015. [bib| DOI| http| Abstract]
[7] Brijesh Dongol, IanJ. Hayes, and PeterJ. Robinson. Reasoning about goal-directed real-time teleo-reactive programs. Formal Aspects of Computing, 26(3):563--589, May 2014. [bib| DOI| http| Abstract]
[8] Brijesh Dongol, IanJ. Hayes, and John Derrick. Deriving real-time action systems with multiple time bands using algebraic reasoning. Science of Computer Programming, 85 Part B:137--165, 2014. [bib| DOI| Abstract]
[9] I.J. Hayes, A.Burns, B.Dongol, and C.B. Jones. Comparing degrees of non-deterministic in expression evaluation. The Computer Journal, 56(6):741--755, 2013. [bib| Abstract]
[10] Brijesh Dongol and IanJ. Hayes. Deriving real-time action systems in a sampling logic. Science of Computer Programming, 78(11):2047--2063, 2013. [bib| DOI| http| Abstract]
[11] I.J. Hayes, S.E. Dunne, and L.A. Meinicke. Linking unifying theories of program refinement. Science of Computer Programming, 78(11):2086--2107, 2013. [bib| DOI| http| Abstract]
[12] R.J. Colvin and I.J. Hayes. Structural operational semantics through context-dependent behaviour. Journal of Logic and Algebraic Programming, 80(7):392--426, 2011. [bib| DOI| Abstract]
[13] R.J. Colvin and I.J. Hayes. A semantics for Behavior Trees using CSP with specification commands. Science of Computer Programming, 76(10):891--914, 2011. [bib| DOI| http| Abstract]
[14] Alan Burns and IanJ. Hayes. A timeband framework for modelling real-time systems. Real-Time Systems, 45(1--2):106--142, June 2010. [bib| DOI| http| Abstract]
[15] Larissa Meinicke and IanJ. Hayes. Algebraic reasoning for probabilistic action systems and while-loops. Acta Informatica, 45(5):321--382, 2008. [bib| DOI| Abstract]
[16] R.Colvin, I.J. Hayes, and P.A. Strooper. Calculating modules in contextual logic program refinement. Theory and Practice of Logic Programming, 8(01):1--31, 2008. [bib| DOI| arXiv| http| Abstract]
[17] I.J. Hayes. Procedures and parameters in the real-time program refinement calculus. Science of Computer Programming, 64(3):286--311, February 2007. [bib| DOI| Abstract]
[18] I.J. Hayes, C.B. Jones, and J.E. Nicholls. Understanding the differences between VDM and Z. FACS FACTS, 2006-2:56--78, 2006. [bib]
[19] K.Lermer, C.J. Fidge, and I.J. Hayes. A theory for execution time derivation in real-time programs. Theoretical Computer Science, 346(1):3--27, November 2005. [bib| Abstract]
[20] K.Lermer, C.J. Fidge, and I.J. Hayes. Linear approximation of execution-time constraints. Formal Aspects of Computing, 15(4):319--348, December 2003. [bib| Abstract]
[21] I.J. Hayes, R.Colvin, D.Hemer, P.A. Strooper, and R.Nickson. A refinement calculus for logic programs. Theory and Practice of Logic Programming, 2(4--5):425--460, July 2002. [bib| Abstract]
[22] G.Smith and I.J. Hayes. An introduction to Real-Time Object-Z. Formal Aspects of Computing, 13(2):128--141, May 2002. [bib| Abstract]
[23] I.J. Hayes. Reasoning about real-time repetitions: Terminating and nonterminating. Science of Computer Programming, 43(2--3):161--192, 2002. [bib| http| .pdf| Abstract]
[24] I.J. Hayes, C.J. Fidge, and K.Lermer. Semantic characterisation of dead control-flow paths. IEE Proceedings---Software, 148(6):175--186, December 2001. [bib| .pdf| Abstract]
[25] I.J. Hayes and M.Utting. A sequential real-time refinement calculus. Acta Informatica, 37(6):385--448, 2001. [bib| .pdf| Abstract]
[26] C.J. Fidge, I.J. Hayes, and G.Watson. The deadline command. IEE Proceedings---Software, 146(2):104--111, April 1999. [bib| .ps]
[27] D.Carrington, I.Hayes, R.Nickson, G.Watson, and J.Welsh. A program refinement tool. Formal Aspects of Computing, 10(2):97--124, 1998. [bib| .ps]
[28] I.J. Hayes. Expressive power of specification languages. Formal Aspects of Computing, 10(2):187--192, 1998. [bib]
[29] R.Nickson and I.J. Hayes. Supporting contexts in program refinement. Science of Computer Programming, 29(3):279--302, 1997. [bib| Abstract]
[30] I.J. Hayes. Supporting module reuse in refinement. Science of Computer Programming, 27(2):175--184, 1996. [bib]
[31] I.J. Hayes and J.W. Sanders. Specification by interface separation. Formal Aspects of Computing, 7(4):430--439, 1995. [bib| .pdf]
[32] I.J. Hayes and B.P. Mahony. Using units of measurement in formal specifications. Formal Aspects of Computing, 7(3):329--347, 1995. [bib| .pdf]
[33] I.J. Hayes, C.B. Jones, and J.E. Nicholls. Understanding the differences between VDM and Z. ACM Software Engineering News, 19(3):75--81, July 1994. Unrefereed. Previously published in FACS Europe [34]. [bib]
[34] I.J. Hayes, C.B. Jones, and J.E. Nicholls. Understanding the differences between VDM and Z. FACS Europe, 1(1):7--30, 1993. Unrefereed. Also published in ACM Software Engineering News, 19(3):75--81, July 1994. [bib]
[35] I.J. Hayes. Multi-relations in Z: A cross between multi-sets and binary relations. Acta Informatica, 29(1):33--62, February 1992. [bib| .pdf]
[36] B.P. Mahony and I.J. Hayes. A case-study in timed refinement: A mine pump. IEEE Trans. on Software Engineering, 18(9):817--826, 1992. [bib| .pdf]
[37] I.J. Hayes. VDM and Z: A comparative case study. Formal Aspects of Computing, 4(1):76--99, 1992. [bib| .pdf]
[38] I.J. Hayes and C.B. Jones. Specifications are not (necessarily) executable. IEE/BCS Software Engineering Journal, 4(6):330--338, November 1989. [bib]
[39] C.A.R. Hoare, I.J. Hayes, He Jifeng, C.Morgan, A.W. Roscoe, J.W. Sanders, I.H. Sørensen, J.M. Spivey, and B.A. Sufrin. Laws of programming. Communications of the ACM, 30(8):672--686, August 1987. Corrigenda: CACM 30(9):770. [bib]
[40] I.J. Hayes. Specification directed module testing. IEEE Transactions on Software Engineering, SE-12(1):124--133, January 1986. [bib| .pdf]
[41] I.J. Hayes. Applying formal specification to software development in industry. IEEE Transactions on Software Engineering, SE-11(2):169--178, February 1985. [bib| .pdf]

This file was generated by bibtex2html 1.98.

Last updated: Sat 7 Jan 2017 15:59:07 AEDT