Ian J. Hayes

	2009
69		Brijesh Dongol, Ian J. Hayes: Enforcing Safety and Progress Properties: An Approach to Concurrent Program Derivation. Australian Software Engineering Conference 2009: 3-12
68		Robert Colvin, Ian J. Hayes: CSP with Hierarchical State. IFM 2009: 118-135
67		Ian J. Hayes: Dynamically Detecting Faults via Integrity Constraints. Methods, Models and Tools for Fault Tolerance 2009: 85-103
	2008
66		Larissa Meinicke, Ian J. Hayes: Probabilistic Choice in Refinement Algebra. MPC 2008: 243-267
65		Larissa Meinicke, Ian J. Hayes: Algebraic reasoning for probabilistic action systems and while-loops. Acta Inf. 45(5): 321-382 (2008)
64		Robert Colvin, Ian J. Hayes, Paul A. Strooper: Calculating modules in contextual logic program refinement. TPLP 8(1): 1-31 (2008)
	2007
63		Cliff B. Jones, Ian J. Hayes, Michael A. Jackson: Deriving Specifications for Systems That Are Connected to the Physical World. Formal Methods and Hybrid Real-Time Systems 2007: 364-390
62		Ian J. Hayes: Procedures and parameters in the real-time program refinement calculus. Sci. Comput. Program. 64(3): 286-311 (2007)
	2006
61		Larissa Meinicke, Ian J. Hayes: Reasoning Algebraically About Probabilistic Loops. ICFEM 2006: 380-399
60		Larissa Meinicke, Ian J. Hayes: Continuous Action System Refinement. MPC 2006: 316-337
59		Ian J. Hayes: Termination of Real-Time Programs: Definitely, Definitely Not, or Maybe. UTP 2006: 141-154
58		Robert Colvin, Ian J. Hayes, Paul A. Strooper: Calculating modules in contextual logic program refinement CoRR abs/cs/0608110: (2006)
	2005
57		John Fitzgerald, Ian J. Hayes, Andrzej Tarlecki: FM 2005: Formal Methods, International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings Springer 2005
56		Erica Glynn, Ian J. Hayes, Anthony MacDonald: Integration of generic program analysis tools into a software development environment. ACSC 2005: 249-258
55		Karl Lermer, Colin J. Fidge, Ian J. Hayes: A theory for execution-time derivation in real-time programs. Theor. Comput. Sci. 346(1): 3-27 (2005)
	2004
54		Cameron Smith, Kirsten Winter, Ian J. Hayes, R. Geoff Dromey, Peter A. Lindsay, David A. Carrington: An Environment for Building a System out of its Requirements. ASE 2004: 398-399
53		Ian J. Hayes: Towards Platform-Independent Real-Time Systems. Australian Software Engineering Conference 2004: 192-201
52		Robert Colvin, Lindsay Groves, Ian J. Hayes, David Hemer, Ray Nickson, Paul A. Strooper: Developing Logic Programs from Specifications Using Stepwise Refinement. Program Development in Computational Logic 2004: 66-89
	2003
51		Ian J. Hayes, Michael A. Jackson, Cliff B. Jones: Determining the Specification of a Control System from That of Its Environment. FME 2003: 154-169
50		Ian J. Hayes: Programs as Paths: An Approach to Timing Constraint Analysis. ICFEM 2003: 1-15
49		Sibylle Peuker, Ian J. Hayes: Reasoning about Deadlines in Concurrent Real-Time Programs. IPDPS 2003: 237
48		Karl Lermer, Colin J. Fidge, Ian J. Hayes: Formal Semantics for Program Paths. Electr. Notes Theor. Comput. Sci. 78: (2003)
47		Karl Lermer, Colin J. Fidge, Ian J. Hayes: Linear Approximation of Execution-Time Constraints. Formal Asp. Comput. 15(4): 319-348 (2003)
	2002
46		Robert Colvin, Ian J. Hayes, David Hemer, Paul A. Strooper: Translating Refined Logic Programs to Mercury. ACSC 2002: 33-40
45		Jamie Shield, Ian J. Hayes: Refining Object-Oriented Invariants and Dynamic Constraints. APSEC 2002: 52-
44		Ian J. Hayes: The Real-Time Refinement Calculus: A Foundation for Machine-Independent Real-Time Programming. ICATPN 2002: 44-58
43		Sibylle Peuker, Ian J. Hayes: Towards a Refinement Calculus for Concurrent Real-Time Programs. ICFEM 2002: 335-346
42		Robert Colvin, Ian J. Hayes, David Hemer, Paul A. Strooper: Refinement of Higher-Order Logic Programs. LOPSTR 2002: 126-143
41		Ian J. Hayes: Reasoning about Timeouts. MPC 2002: 94-116
40		Ian J. Hayes, Robert Colvin, David Hemer, Paul A. Strooper, Ray Nickson: A Refinement Calculus for Logic Programs CoRR cs.SE/0202002: (2002)
39		David Hemer, Ian J. Hayes, Paul A. Strooper, Robert Colvin: Don't Care Non-determinism in Logic Program Refinement. Electr. Notes Theor. Comput. Sci. 61: (2002)
38		Graeme Smith, Ian J. Hayes: An Introduction to Real-Time Object-Z. Formal Asp. Comput. 13(2): 128-141 (2002)
37		Ian J. Hayes: Reasoning about real-time repetitions: terminating and nonterminating. Sci. Comput. Program. 43(2-3): 161-192 (2002)
36		Ian J. Hayes, Robert Colvin, David Hemer, Paul A. Strooper, Ray Nickson: A refinement calculus for logic programs. TPLP 2(4-5): 425-460 (2002)
	2001
35		David Hemer, Ian J. Hayes, Paul A. Strooper: Refinement Calculus for Logic Programming in Isabelle/HOL. TPHOLs 2001: 249-264
34		Ian J. Hayes, Mark Utting: A sequential real-time refinement calculus. Acta Inf. 37(6): 385-448 (2001)
33		Jamie Shield, Ian J. Hayes, David A. Carrington: Using Theory Interpretation to Mechanise the Reals in a Theorem Prover. Electr. Notes Theor. Comput. Sci. 42: (2001)
32		Ian J. Hayes, Colin J. Fidge, Karl Lermer: Semantic characterisation of dead control-flow paths. IEE Proceedings - Software 148(6): 175-186 (2001)
	2000
31		Robert Colvin, Ian J. Hayes, Paul A. Strooper: Refining Logic Programs Using Types. ACSC 2000: 43-50
30		Ian J. Hayes: Reasoning about real-time programs using idle-invariant assertions. APSEC 2000: 16-23
29		Ian J. Hayes: Real-Time Program Refinement Using Auxiliary Variables. FTRTFT 2000: 170-184
28		Graeme Smith, Ian J. Hayes: Structuring Real-Time Object-Z Specifications. IFM 2000: 97-115
27		Robert Colvin, Ian J. Hayes, Paul A. Strooper: Modular Logic Program Refinement. LOPSTR 2000
26		Robert Colvin, Ian J. Hayes, Paul A. Strooper: A Technique for Modular Logic Program Refinement. LOPSTR (LNCS 2042: Selected Papers) 2000: 38-56
25		Ian J. Hayes: Reasoning about Non-terminating Loops Using Deadline Commands. MPC 2000: 60-79
	1999
24		Graeme Smith, Ian J. Hayes: Towards Real-Time Object-Z. IFM 1999: 49-65
	1998
23		Colin J. Fidge, Ian J. Hayes, Brendan P. Mahony: Defining Differentiation and Integration in Z. ICFEM 1998: 64-
22		Colin J. Fidge, Ian J. Hayes, A. P. Martin, Axel Wabenhorst: A Set-Theoretic Model for Real-Time Specification and Reasoning. MPC 1998: 188-206
21		Ian J. Hayes, Mark Utting: Deadlines are termination. PROCOMET 1998: 186-204
20		Ian J. Hayes: Expressive Power of Specification Languages. Formal Asp. Comput. 10(2): 187-192 (1998)
19		David A. Carrington, Ian J. Hayes, Ray Nickson, Geoffrey Watson, Jim Welsh: A Program Refinement Tool. Formal Asp. Comput. 10(2): 97-124 (1998)
	1997
18		Ray Nickson, Ian J. Hayes: Supporting Contexts in Program Refinement. Sci. Comput. Program. 29(3): 279-302 (1997)
	1996
17		Colin J. Fidge, Mark Utting, Peter Kearney, Ian J. Hayes: Integrating Real-Time Scheduling Theory and Program Refinement. FME 1996: 327-346
16		Ian J. Hayes, R. G. Nickson, Paul A. Strooper: Refining Specifications to Logic Programs. LOPSTR 1996: 1-19
15		Ian J. Hayes: Supporting Module Reuse in Refinement. Sci. Comput. Program. 27(2): 175-184 (1996)
	1995
14		Ian J. Hayes, Keijiro Araki, David J. Duke, Val E. Veraart: Are Formal Methods Relevant? APSEC 1995: 513
13		Peter Bancroft, Ian J. Hayes: A Formal Semantics for a Language with Type Extension. ZUM 1995: 299-314
12		Ian J. Hayes, Brendan P. Mahony: Using Units of Measurement in Formal Specifications. Formal Asp. Comput. 7(3): 329-347 (1995)
11		Ian J. Hayes, Jeff W. Sanders: Specification by Interface Separation. Formal Asp. Comput. 7(4): 430-439 (1995)
	1993
10		David A. Carrington, David J. Duke, Ian J. Hayes, Jim Welsh: Deriving Modular Designs from Formal Specifications. SIGSOFT FSE 1993: 89-98
	1992
9		Ian J. Hayes, Luke Wildman: Towards Libraries for Z. Z User Workshop 1992: 37-51
8		Ian J. Hayes: Multi-Relations in Z. Acta Inf. 29(1): 33-62 (1992)
7		Ian J. Hayes: VDM and Z: A Comparative Case Study. Formal Asp. Comput. 4(1): 76-99 (1992)
6		Brendan P. Mahony, Ian J. Hayes: A Case-Study in Timed Refinement: A Mine Pump. IEEE Trans. Software Eng. 18(9): 817-826 (1992)
	1990
5		Ian J. Hayes: Interpretations of Z Schema Operations. Z User Workshop 1990: 12-26
	1989
4		Ian J. Hayes, M. Mowbray, Gordon A. Rose: Signalling System No.7, The Network Layer. PSTV 1989: 3-14
	1987
3		C. A. R. Hoare, Ian J. Hayes, Jifeng He, Carroll Morgan, A. W. Roscoe, Jeff W. Sanders, Ib Holm Sørensen, J. Michael Spivey, Bernard Sufrin: Laws of Programming. Commun. ACM 30(8): 672-686 (1987)
	1986
2		Ian J. Hayes: Specification Directed Module Testing. IEEE Trans. Software Eng. 12(1): 124-133 (1986)
	1985
1		Ian J. Hayes: Applying Formal Specification to Software Development in Industry. IEEE Trans. Software Eng. 11(2): 169-178 (1985)

Coauthor Index

1	Keijiro Araki	[14]
2	Peter Bancroft	[13]
3	David A. Carrington	[10] [19] [33] [54]
4	Robert Colvin	[26] [27] [31] [36] [39] [40] [42] [46] [52] [58] [64] [68]
5	Brijesh Dongol	[69]
6	R. Geoff Dromey	[54]
7	David J. Duke	[10] [14]
8	Colin J. Fidge	[17] [22] [23] [32] [47] [48] [55]
9	John Fitzgerald	[57]
10	Erica Glynn	[56]
11	Lindsay Groves	[52]
12	Jifeng He	[3]
13	David Hemer	[35] [36] [39] [40] [42] [46] [52]
14	C. A. R. Hoare (Tony Hoare)	[3]
15	Michael A. Jackson	[51] [63]
16	Cliff B. Jones	[51] [63]
17	Peter Kearney	[17]
18	Karl Lermer	[32] [47] [48] [55]
19	Peter A. Lindsay	[54]
20	Anthony MacDonald	[56]
21	Brendan P. Mahony	[6] [12] [23]
22	A. P. Martin	[22]
23	Larissa Meinicke	[60] [61] [65] [66]
24	Carroll Morgan (Carroll C. Morgan)	[3]
25	M. Mowbray	[4]
26	R. G. Nickson	[16]
27	Ray Nickson	[18] [19] [36] [40] [52]
28	Sibylle Peuker	[43] [49]
29	A. W. Roscoe (A. William Roscoe, Bill Roscoe)	[3]
30	Gordon A. Rose	[4]
31	Jeff W. Sanders (Jeffrey W. Sanders)	[3] [11]
32	Jamie Shield	[33] [45]
33	Cameron Smith	[54]
34	Graeme Smith	[24] [28] [38]
35	Ib Holm Sørensen	[3]
36	J. Michael Spivey	[3]
37	Paul A. Strooper	[16] [26] [27] [31] [35] [36] [39] [40] [42] [46] [52] [58] [64]
38	Bernard Sufrin	[3]
39	Andrzej Tarlecki	[57]
40	Mark Utting	[17] [21] [34]
41	Val E. Veraart	[14]
42	Axel Wabenhorst	[22]
43	Geoffrey Watson	[19]
44	Jim Welsh	[10] [19]
45	Luke Wildman	[9]
46	Kirsten Winter	[54]

Colors in the list of coauthors