Ian J. Hayes

2009
67	EE	Robert Colvin, Ian J. Hayes: CSP with Hierarchical State. IFM 2009: 118-135
2008
66	EE	Larissa Meinicke, Ian J. Hayes: Probabilistic Choice in Refinement Algebra. MPC 2008: 243-267
65	EE	Larissa Meinicke, Ian J. Hayes: Algebraic reasoning for probabilistic action systems and while-loops. Acta Inf. 45(5): 321-382 (2008)
64	EE	Robert Colvin, Ian J. Hayes, Paul A. Strooper: Calculating modules in contextual logic program refinement. TPLP 8(1): 1-31 (2008)
2007
63	EE	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	EE	Ian J. Hayes: Procedures and parameters in the real-time program refinement calculus. Sci. Comput. Program. 64(3): 286-311 (2007)
2006
61	EE	Larissa Meinicke, Ian J. Hayes: Reasoning Algebraically About Probabilistic Loops. ICFEM 2006: 380-399
60	EE	Larissa Meinicke, Ian J. Hayes: Continuous Action System Refinement. MPC 2006: 316-337
59	EE	Ian J. Hayes: Termination of Real-Time Programs: Definitely, Definitely Not, or Maybe. UTP 2006: 141-154
58	EE	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	EE	Erica Glynn, Ian J. Hayes, Anthony MacDonald: Integration of generic program analysis tools into a software development environment. ACSC 2005: 249-258
55	EE	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	EE	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	EE	Ian J. Hayes: Towards Platform-Independent Real-Time Systems. Australian Software Engineering Conference 2004: 192-201
52	EE	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	EE	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	EE	Ian J. Hayes: Programs as Paths: An Approach to Timing Constraint Analysis. ICFEM 2003: 1-15
49	EE	Sibylle Peuker, Ian J. Hayes: Reasoning about Deadlines in Concurrent Real-Time Programs. IPDPS 2003: 237
48	EE	Karl Lermer, Colin J. Fidge, Ian J. Hayes: Formal Semantics for Program Paths. Electr. Notes Theor. Comput. Sci. 78: (2003)
47	EE	Karl Lermer, Colin J. Fidge, Ian J. Hayes: Linear Approximation of Execution-Time Constraints. Formal Asp. Comput. 15(4): 319-348 (2003)
2002
46	EE	Robert Colvin, Ian J. Hayes, David Hemer, Paul A. Strooper: Translating Refined Logic Programs to Mercury. ACSC 2002: 33-40
45	EE	Jamie Shield, Ian J. Hayes: Refining Object-Oriented Invariants and Dynamic Constraints. APSEC 2002: 52-
44	EE	Ian J. Hayes: The Real-Time Refinement Calculus: A Foundation for Machine-Independent Real-Time Programming. ICATPN 2002: 44-58
43	EE	Sibylle Peuker, Ian J. Hayes: Towards a Refinement Calculus for Concurrent Real-Time Programs. ICFEM 2002: 335-346
42	EE	Robert Colvin, Ian J. Hayes, David Hemer, Paul A. Strooper: Refinement of Higher-Order Logic Programs. LOPSTR 2002: 126-143
41	EE	Ian J. Hayes: Reasoning about Timeouts. MPC 2002: 94-116
40	EE	Ian J. Hayes, Robert Colvin, David Hemer, Paul A. Strooper, Ray Nickson: A Refinement Calculus for Logic Programs CoRR cs.SE/0202002: (2002)
39	EE	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	EE	Graeme Smith, Ian J. Hayes: An Introduction to Real-Time Object-Z. Formal Asp. Comput. 13(2): 128-141 (2002)
37	EE	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	EE	David Hemer, Ian J. Hayes, Paul A. Strooper: Refinement Calculus for Logic Programming in Isabelle/HOL. TPHOLs 2001: 249-264
34	EE	Ian J. Hayes, Mark Utting: A sequential real-time refinement calculus. Acta Inf. 37(6): 385-448 (2001)
33	EE	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	EE	Robert Colvin, Ian J. Hayes, Paul A. Strooper: Refining Logic Programs Using Types. ACSC 2000: 43-50
30	EE	Ian J. Hayes: Reasoning about real-time programs using idle-invariant assertions. APSEC 2000: 16-23
29	EE	Ian J. Hayes: Real-Time Program Refinement Using Auxiliary Variables. FTRTFT 2000: 170-184
28	EE	Graeme Smith, Ian J. Hayes: Structuring Real-Time Object-Z Specifications. IFM 2000: 97-115
27	EE	Robert Colvin, Ian J. Hayes, Paul A. Strooper: Modular Logic Program Refinement. LOPSTR 2000
26	EE	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	EE	Colin J. Fidge, Ian J. Hayes, Brendan P. Mahony: Defining Differentiation and Integration in Z. ICFEM 1998: 64-
22	EE	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	EE	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	EE	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	EE	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] [67]
5	R. Geoff Dromey	[54]
6	David J. Duke	[10] [14]
7	Colin J. Fidge	[17] [22] [23] [32] [47] [48] [55]
8	John Fitzgerald	[57]
9	Erica Glynn	[56]
10	Lindsay Groves	[52]
11	Jifeng He	[3]
12	David Hemer	[35] [36] [39] [40] [42] [46] [52]
13	C. A. R. Hoare (Tony Hoare)	[3]
14	Michael A. Jackson	[51] [63]
15	Cliff B. Jones	[51] [63]
16	Peter Kearney	[17]
17	Karl Lermer	[32] [47] [48] [55]
18	Peter A. Lindsay	[54]
19	Anthony MacDonald	[56]
20	Brendan P. Mahony	[6] [12] [23]
21	A. P. Martin	[22]
22	Larissa Meinicke	[60] [61] [65] [66]
23	Carroll Morgan	[3]
24	M. Mowbray	[4]
25	R. G. Nickson	[16]
26	Ray Nickson	[18] [19] [36] [40] [52]
27	Sibylle Peuker	[43] [49]
28	A. W. Roscoe (A. William Roscoe, Bill Roscoe)	[3]
29	Gordon A. Rose	[4]
30	Jeff W. Sanders	[3] [11]
31	Jamie Shield	[33] [45]
32	Cameron Smith	[54]
33	Graeme Smith	[24] [28] [38]
34	Ib Holm Sørensen	[3]
35	J. Michael Spivey	[3]
36	Paul A. Strooper	[16] [26] [27] [31] [35] [36] [39] [40] [42] [46] [52] [58] [64]
37	Bernard Sufrin	[3]
38	Andrzej Tarlecki	[57]
39	Mark Utting	[17] [21] [34]
40	Val E. Veraart	[14]
41	Axel Wabenhorst	[22]
42	Geoffrey Watson	[19]
43	Jim Welsh	[10] [19]
44	Luke Wildman	[9]
45	Kirsten Winter	[54]

Colors in the list of coauthors