Ian J. Hayes - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

Structural operational semantics through context-dependent behaviourRobert Colvin, Ian J. Hayes. jlp, 80(7):392-426, 2011. [doi]

A semantics for Behavior Trees using CSP with specification commandsRobert Colvin, Ian J. Hayes. SCP, 76(10):891-914, 2011. [doi]

2010

2009

CSP with Hierarchical StateRobert Colvin, Ian J. Hayes. IFM 2009: 118-135 [doi]

Enforcing Safety and Progress Properties: An Approach to Concurrent Program DerivationBrijesh Dongol, Ian J. Hayes. aswec 2009: 3-12 [doi]

Dynamically Detecting Faults via Integrity ConstraintsIan J. Hayes. In Michael Butler, Cliff B. Jones, Alexander Romanovsky, Elena Troubitsyna, editors, Methods, Models and Tools for Fault Tolerance. Volume 5454 of Lecture Notes in Computer Science, pages 85-103, Springer, 2009. [doi]

2008

2007

Procedures and parameters in the real-time program refinement calculusIan J. Hayes. SCP, 64(3):286-311, 2007. [doi]

Deriving Specifications for Systems That Are Connected to the Physical WorldCliff B. Jones, Ian J. Hayes, Michael A. Jackson. birthday 2007: 364-390 [doi]

2006

Termination of Real-Time Programs: Definitely, Definitely Not, or MaybeIan J. Hayes. utp 2006: 141-154 [doi]

Reasoning Algebraically About Probabilistic LoopsLarissa Meinicke, Ian J. Hayes. icfem 2006: 380-399 [doi]

Continuous Action System RefinementLarissa Meinicke, Ian J. Hayes. mpc 2006: 316-337 [doi]

2005

FM 2005: Formal Methods, International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, ProceedingsJohn Fitzgerald, Ian J. Hayes, Andrzej Tarlecki, editors, Volume 3582 of Lecture Notes in Computer Science, Springer, 2005.

Integration of generic program analysis tools into a software development environmentErica Glynn, Ian J. Hayes, Anthony MacDonald. acsc 2005: 249-258 [doi]

A theory for execution-time derivation in real-time programsKarl Lermer, Colin J. Fidge, Ian J. Hayes. TCS, 346(1):3-27, 2005. [doi]

2004

2003

2002

Translating Refined Logic Programs to MercuryRobert Colvin, Ian J. Hayes, David Hemer, Paul A. Strooper. acsc 2002: 33-40 [doi]

Refinement of Higher-Order Logic ProgramsRobert Colvin, Ian J. Hayes, David Hemer, Paul A. Strooper. LOPSTR 2003: 126-143 [doi]

Reasoning about real-time repetitions: terminating and nonterminatingIan J. Hayes. SCP, 43(2-3):161-192, 2002. [doi]

Reasoning about TimeoutsIan J. Hayes. mpc 2002: 94-116 [doi]

A refinement calculus for logic programsIan J. Hayes, Robert Colvin, David Hemer, Paul A. Strooper, Ray Nickson. tplp, 2(4-5):425-460, 2002.

The Real-Time Refinement Calculus: A Foundation for Machine-Independent Real-Time ProgrammingIan J. Hayes. apn 2002: 44-58 [doi]

Don t Care Non-determinism in Logic Program RefinementDavid Hemer, Ian J. Hayes, Paul A. Strooper, Robert Colvin. ENTCS, 61, 2002. [doi]

Towards a Refinement Calculus for Concurrent Real-Time ProgramsSibylle Peuker, Ian J. Hayes. icfem 2002: 335-346 [doi]

Refining Object-Oriented Invariants and Dynamic ConstraintsJamie Shield, Ian J. Hayes. apsec 2002: 52 [doi]

An Introduction to Real-Time Object-ZGraeme Smith, Ian J. Hayes. fac, 13(2):128-141, 2002. [doi]

2001

2000

1999

Towards Real-Time Object-ZGraeme Smith, Ian J. Hayes. IFM 1999: 49-65

1998

1997

Supporting Contexts in Program RefinementRay Nickson, Ian J. Hayes. SCP, 29(3):279-302, 1997.

1996

Integrating Real-Time Scheduling Theory and Program RefinementColin J. Fidge, Mark Utting, Peter Kearney, Ian J. Hayes. fm 1996: 327-346

Refining Specifications to Logic ProgramsIan J. Hayes, R. G. Nickson, Paul A. Strooper. LOPSTR 1997: 1-19

Supporting Module Reuse in RefinementIan J. Hayes. SCP, 27(2):175-184, 1996.

1995

A Formal Semantics for a Language with Type ExtensionPeter Bancroft, Ian J. Hayes. zum 1995: 299-314

Using Units of Measurement in Formal SpecificationsIan J. Hayes, Brendan P. Mahony. fac, 7(3):329-347, 1995.

Specification by Interface SeparationIan J. Hayes, Jeff W. Sanders. fac, 7(4):430-439, 1995.

Are Formal Methods Relevant?Ian J. Hayes, Keijiro Araki, David J. Duke, Val E. Veraart. apsec 1995: 513 [doi]

1993

Deriving Modular Designs from Formal SpecificationsDavid A. Carrington, David J. Duke, Ian J. Hayes, Jim Welsh. ESEC/FSE 1993: 89-98 [doi]

1992

Towards Libraries for ZIan J. Hayes, Luke Wildman. zum 1992: 37-51

Multi-Relations in ZIan J. Hayes. ACTA, 29(1):33-62, 1992.

VDM and Z: A Comparative Case StudyIan J. Hayes. fac, 4(1):76-99, 1992.

A Case-Study in Timed Refinement: A Mine PumpBrendan P. Mahony, Ian J. Hayes. TSE, 18(9):817-826, 1992. [doi]

1990

Interpretations of Z Schema OperationsIan J. Hayes. zum 1991: 12-26

1989

Signalling System No.7, The Network LayerIan J. Hayes, M. Mowbray, Gordon A. Rose. pstv 1990: 3-14

1987

Laws of ProgrammingC. 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. CACM, 30(8):672-686, 1987.

1986

Specification Directed Module TestingIan J. Hayes. TSE, 12(1):124-133, 1986.

1985

Applying Formal Specification to Software Development in IndustryIan J. Hayes. TSE, 11(2):169-178, 1985.