I. Hayes

发表

Using Continuous Real Functions to Model Timed Histories

Ian J. Hayes, Brendan P. Mahony, I. Hayes, 1991 .

Towards Real-Time Object-Z

Graeme Smith, Ian J. Hayes, Graeme Smith, 1999, IFM.

The PRT User Manual - Version 1.03

D. Carrington, I. Hayes, 1995 .

Re ning Logic Programs using Types andInvariantsRobert

I. Hayes, Colvin, Paul, 1999 .

Semantic Identiication of Dead Control-flow Paths Semantic Identiication of Dead Control-flow Paths

C. Fidge, I. Hayes, K. Lermer, 2007 .

Note: Most Svrc Technical Reports Are Available via the Deadline Command

C. Fidge, I. Hayes, Geo rey Watson, 1998 .

Coercing real-time refinement: a transmitter

Ian J. Hayes, Mark Utting, M. Utting, 1996, FME 1996.

Software Specification

I. Hayes, S. King, 2021, Theories of Programming.

Reening Speciications to Logic Programs

I. Hayes, P. Strooper, R. Nickson, 1996 .

Requirements for a Program Refinement Engine

D. Carrington, I. Hayes, J. Welsh, 1995 .

Supporting Contexts in Program Reenement Note: Most Svrc Technical Reports Are Available Supporting Contexts in Program Reenement

I. Hayes, R. Nickson, 1996 .

Timebands Framework – 2011

A. Burns, J. Woodcock, I. Hayes, 2011 .

CS-TR-1334 May , 2012 Refining rely-guarantee thinking

Cliff B. Jones, I. Hayes, R. Colvin, 2012 .

Speciication Models Speciication Models

I. Hayes, 2007 .

Specification case studies

Ian J. Hayes, Bill Flinn, I. Hayes, 1987 .

Signalling System No.7, The Network Layer

Ian J. Hayes, Gordon A. Rose, M. Mowbray, 1989, Protocol Specification, Testing and Verification.

Contextuality in distributed systems

I. Hayes, Nasos Evangelou-Oost, Callum Bannister, 2022, RAMiCS.

Towards Real-time Object-z towards Real-time Object-z

Graeme Smith, I. Hayes, 1999 .

Verifying Term Graph Optimizations using Isabelle/HOL

Brae J. Webb, M. Utting, I. Hayes, 2022, CPP.

Expressive Power of Speciication Languages

I. Hayes, 1996 .

A timeband framework for modelling real-time systems

Alan Burns, Ian J. Hayes, A. Burns, 2010, Real-Time Systems.

Defining differentiation and integration in Z

Colin J. Fidge, Ian J. Hayes, Brendan P. Mahony, 1998, Proceedings Second International Conference on Formal Engineering Methods (Cat.No.98EX241).

Laws of programming

C. A. R. Hoare, Carroll Morgan, A. W. Roscoe, 1987, CACM.

Structural operational semantics through context-dependent behaviour

Robert Colvin, Ian J. Hayes, I. Hayes, 2011, J. Log. Algebraic Methods Program..

Convolution Algebras: Relational Convolution, Generalised Modalities and Incidence Algebras

Georg Struth, Brijesh Dongol, Ian J. Hayes, 2017, Log. Methods Comput. Sci..

Partial Semigroups and Convolution Algebras

Georg Struth, Brijesh Dongol, Ian J. Hayes, 2017, Arch. Formal Proofs.

Convolution as a Unifying Concept

Georg Struth, Brijesh Dongol, Ian J. Hayes, 2016, ACM Trans. Comput. Log..

Relational Convolution, Generalised Modalities and Incidence Algebras pdf

Georg Struth, Brijesh Dongol, Ian J. Hayes, 2017, ArXiv.

Specification by interface separation

J. W. Sanders, I. J. Hayes, J. Sanders, 1995, Formal Aspects of Computing.

Applying formal specification to the development of software in industry

I. Hayes, 1985 .

Integration of generic program analysis tools into a software development environment

Ian J. Hayes, Anthony MacDonald, Erica Glynn, 2005, ACSC.

Specification directed module testing

Ian J. Hayes, I. Hayes, 1986, IEEE Transactions on Software Engineering.

Supporting Contexts in Program Refinement

Ian J. Hayes, Ray Nickson, I. Hayes, 1997, Sci. Comput. Program..

A semantics for Behavior Trees using CSP with specification commands

Robert Colvin, Ian J. Hayes, I. Hayes, 2011, Sci. Comput. Program..

A Case-Study in Timed Refinement: A Mine Pump

Ian J. Hayes, Brendan P. Mahony, I. Hayes, 1992, IEEE Trans. Software Eng..

Towards Structuring System Specifications with Time Bands Using Layers of Rely-Guarantee Conditions

Ian J. Hayes, I. Hayes, 2013, FTSCS.

Towards an Algebra for Real-Time Programs

Brijesh Dongol, Ian J. Hayes, Larissa Meinicke, 2012, RAMiCS.

Dynamically Detecting Faults via Integrity Constraints

Ian J. Hayes, I. Hayes, 2009, Methods, Models and Tools for Fault Tolerance.

Formal Semantics for Program Paths

Colin J. Fidge, Ian J. Hayes, Karl Lermer, 2003, CATS.

Semantic characterisation of dead control-flow paths

Colin J. Fidge, Ian J. Hayes, Karl Lermer, 2001, IEE Proc. Softw..

Rely/Guarantee Reasoning for Teleo-reactive Programs over Multiple Time Bands

Brijesh Dongol, Ian J. Hayes, I. Hayes, 2012, IFM.

Invariants, Well-Founded Statements and Real-Time Program Algebra

Ian J. Hayes, Larissa Meinicke, I. Hayes, 2014, FM.

Invariants and Well-Foundedness in Program Algebra

Ian J. Hayes, I. Hayes, 2010, ICTAC.

Unifying Theories of Programming That Distinguish Nontermination and Abort

Steve Dunne, Ian J. Hayes, Larissa Meinicke, 2010, MPC.

Procedures and parameters in the real-time program refinement calculus

Ian J. Hayes, I. Hayes, 2007, Sci. Comput. Program..

Termination of Real-Time Programs: Definitely, Definitely Not, or Maybe

Ian J. Hayes, I. Hayes, 2006, UTP.

A Set-Theoretic Model for Real-Time Specification and Reasoning

Andrew P. Martin, Colin J. Fidge, Ian J. Hayes, 1998, MPC.

Deriving modular designs from formal specifications

David A. Carrington, David J. Duke, Jim Welsh, 1993, SIGSOFT '93.

Deriving Modular Designs from Formal Specifications Deriving Modular Designs from Formal Speciications

Ian Hayes, I. Hayes, J. Welsh, 1993 .

Deriving Specifications of Control Programs for Cyber Physical Systems

Cliff B. Jones, Alan Burns, Ian J. Hayes, 2019, Comput. J..

Determining the Specification of a Control System from That of Its Environment

Cliff B. Jones, Ian J. Hayes, Michael A. Jackson, 2003, FME.

Deriving Specifications for Systems That Are Connected to the Physical World

Cliff B. Jones, Ian J. Hayes, Michael A. Jackson, 2007, Formal Methods and Hybrid Real-Time Systems.

Specifying systems that connect to the physical world

Ian J. Hayes, Michael Jackson, Cliff B. Jones, 2006 .

Reasoning about deadlines in concurrent real-time programs

Ian J. Hayes, Sibylle Peuker, I. Hayes, 2003, Proceedings International Parallel and Distributed Processing Symposium.

Deriving Laws for Developing Concurrent Programs in a Rely-Guarantee Style pdf

Ian J. Hayes, Patrick A. Meiring, Larissa A. Meinicke, 2021, ArXiv.

Developing an Algebra for Rely/Guarantee Concurrency: Design Decisions and Challenges

Ian J. Hayes, Larissa A. Meinicke, I. Hayes, 2019, UTP.

A Guide to Rely/Guarantee Thinking

Cliff B. Jones, Ian J. Hayes, Cliff B. Jones, 2017, SETSS.

Fractional Permissions and Non-Deterministic Evaluators in Interval Temporal Logic

John Derrick, Brijesh Dongol, Ian J. Hayes, 2013, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

Possible values: Exploring a concept for concurrency

Cliff B. Jones, Ian J. Hayes, Cliff B. Jones, 2016, J. Log. Algebraic Methods Program..

Programs as Paths: An Approach to Timing Constraint Analysis

Ian J. Hayes, I. Hayes, 2003, ICFEM.

Handling localisation in rely/guarantee concurrency: An algebraic approach pdf

Ian J. Hayes, Larissa A. Meinicke, I. Hayes, 2019, ArXiv.

Engineering a Theory of Concurrent Programming

Ian J. Hayes, I. Hayes, 2018, ICFEM.

Some Challenges of Specifying Concurrent Program Components pdf

Ian J. Hayes, I. Hayes, 2018, Refine@FM.

Encoding fairness in a synchronous concurrent program algebra: extended version with proofs pdf

Ian J. Hayes, Larissa A. Meinicke, I. Hayes, 2018, FM.

A synchronous program algebra: a basis for reasoning about shared-memory and event-based concurrency

I. Hayes, L. Meinicke, R. Colvin, 2017, Formal Aspects of Computing.

An Algebra of Synchronous Atomic Steps pdf

Robert Colvin, Kirsten Winter, Ian J. Hayes, 2016, FM.

Balancing expressiveness in formal approaches to concurrency

Cliff B. Jones, Robert Colvin, Ian J. Hayes, 2015, Formal Aspects of Computing.

Comparing Degrees of Non-Determinism in Expression Evaluation

Alan Burns, Cliff B. Jones, Brijesh Dongol, 2013, Comput. J..

Comparing Models of Nondeterministic Expression Evaluation

Cliff B. Jones, Brijesh Dongol, Alan Burns, 2011 .

Model-Driven Web Form Validation with UML and OCL

Paul A. Strooper, Paul King, Ian J. Hayes, 2011, ICWE Workshops.

Cylindric Kleene Lattices for Program Construction

Georg Struth, Brijesh Dongol, Ian J. Hayes, 2019, MPC.

Trace models of concurrent valuation algebras

I. Hayes, L. Meinicke, Nasos Evangelou-Oost, 2023, ArXiv.

A synchronous program algebra: a basis for reasoning about shared-memory and event-based concurrency

Robert Colvin, Kirsten Winter, Ian J. Hayes, 2017, Formal Aspects of Computing.

A semantics for behavior trees

Ian J. Hayes, Robert Colvin, I. Hayes, 2010 .

Towards platform-independent real-time systems

Ian J. Hayes, I. Hayes, 2004, 2004 Australian Software Engineering Conference. Proceedings..

Refining rely-guarantee thinking

Cliff B. Jones, Ian J. Hayes, Robert Colvin, 2012 .

ACCS-TR-0701 A Semantics for Behavior Trees

Robert Colvin, Ian J. Hayes, I. Hayes, 2007 .

Block-structured (attribute) grammars

Ian J. Hayes, I. Hayes, 2002 .

Deriving Laws for Developing Concurrent Programs in a Rely-Guarantee Style

Patrick A. Meiring, I. Hayes, L. Meinicke, 2021, ArXiv.

Using scylindric algebra to support local variables in rely/guarantee concurrency*

I. Hayes, L. Meinicke, 2023, 2023 IEEE/ACM 11th International Conference on Formal Methods in Software Engineering (FormaliSE).

Designing a semantic model for a wide-spectrum language with concurrency

Robert Colvin, Ian J. Hayes, Larissa A. Meinicke, 2016, Formal Aspects of Computing.

Generalised rely-guarantee concurrency: an algebraic foundation

Ian J. Hayes, I. Hayes, 2016, Formal Aspects of Computing.

Concurrent Refinement Algebra and Rely Quotients

Ian J. Hayes, Andrius Velykis, Julian Fell, 2016, Arch. Formal Proofs.

Laws and Semantics for Rely-Guarantee Refinement

Cliff B. Jones, Ian J. Hayes, Robert Colvin, 2014 .

Reasoning about goal-directed real-time teleo-reactive programs

I. Hayes, Brijesh Dongol, P. Robinson, 2014, Formal Aspects of Computing.

Deriving real-time action systems in a sampling logic

Brijesh Dongol, Ian J. Hayes, I. Hayes, 2013, Sci. Comput. Program..

Reasoning about teleo-reactive programs under parallel composition

Brijesh Dongol, Ian J. Hayes, I. Hayes, 2011 .

Compositional Action System Derivation Using Enforced Properties

Brijesh Dongol, Ian J. Hayes, I. Hayes, 2010, MPC.

Enforcing Safety and Progress Properties: An Approach to Concurrent Program Derivation

Brijesh Dongol, Ian J. Hayes, I. Hayes, 2009, 2009 Australian Software Engineering Conference.

Reasoning about real-time teleo-reactive programs

Brijesh Dongol, Ian J. Hayes, Peter J. Robinson, 2009 .

Towards reasoning about teleo-reactive programs for robust real-time systems

Ian J. Hayes, I. Hayes, 2008, SERENE '08.

Trace Semantics for the Owicki-Gries Theory Integrated with the Progress Logic from UNITY

Brijesh Dongol, Ian J. Hayes, I. Hayes, 2007 .

Reasoning about Loops in Total and General Correctness

Steve Dunne, Ian J. Hayes, Andy Galloway, 2008, UTP.

Algebraic reasoning for probabilistic action systems and while-loops

Ian J. Hayes, Larissa Meinicke, I. Hayes, 2008, Acta Informatica.

Reasoning Algebraically About Probabilistic Loops

Ian J. Hayes, Larissa Meinicke, I. Hayes, 2006, ICFEM.

Reasoning about concurrent programs: Refining rely-guarantee thinking

C. B. Jones, I. J. Hayes, R. J. Colvin, 2013 .

Approximating Idealised Real-Time Specifications Using Time Bands

Brijesh Dongol, Ian J. Hayes, I. Hayes, 2011, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

Electronic Communications of the EASST Volume 46 ( 2011 ) Proceedings of the 11 th International Workshop on Automated Verification of Critical Systems Approximating Idealised Real-Time Specifications Using Time Bands

Brijesh Dongol, Ian J. Hayes, I. Hayes, 2011 .

Specifications are not (necessarily) executable

Cliff B. Jones, Ian J. Hayes, Cliff B. Jones, 1989 .

Composing Grammar Transformations to Construct a Speciication of a Parser Composing Grammar Transformations to Construct a Speciication of a Parser

Luke Wildman, I. Hayes, 2007 .

A Technique for Modular Logic Program Refinement

Paul A. Strooper, Robert Colvin, Ian J. Hayes, 2000, LOPSTR.

Convolution, Separation and Concurrency pdf

Georg Struth, Brijesh Dongol, Ian J. Hayes, 2014, ArXiv.

A theory for execution-time derivation in real-time programs

Colin J. Fidge, Ian J. Hayes, Karl Lermer, 2005, Theor. Comput. Sci..

Linear Approximation of Execution-Time Constraints

Colin J. Fidge, Ian J. Hayes, Karl Lermer, 2003, Formal Aspects of Computing.