I. Hayes

Most-cited papers

FM 2005: Formal Methods, International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings
J. Fitzgerald, I. Hayes, A. Tarlecki
2005World Congress on Formal Methods144 citations
Semantic Scholar
A timeband framework for modelling real-time systems
A. Burns, I. Hayes
2010Real-time systems51 citations Open access
Semantic Scholar
Generalised rely-guarantee concurrency: an algebraic foundation
I. Hayes
2016Formal Aspects of Computing33 citations Open access
Semantic Scholar
Balancing expressiveness in formal approaches to concurrency
Cliff B. Jones, I. Hayes, Robert Colvin
2014Formal Aspects of Computing33 citations Open access
Semantic Scholar
A semantics for Behavior Trees using CSP with specification commands
Robert Colvin, I. Hayes
2011Science of Computer Programming32 citations Open access
Semantic Scholar
An Algebra of Synchronous Atomic Steps
I. Hayes, Robert Colvin, L. Meinicke, K. Winter +1 more
2016World Congress on Formal Methods29 citations Open access
Semantic Scholar
Integrating Requirements: The Behavior Tree Philosophy
K. Winter, I. Hayes, Robert Colvin
2010IEEE International Conference on Software Engineering and Formal Methods28 citations
Semantic Scholar
A semantics for behavior trees
Robert Colvin, I. Hayes
201026 citations
Semantic Scholar
Under consideration for publication in Formal Aspects of Computing Using Units of Measurement in Formal Specifications
I. Hayes, B. Mahony
200426 citations
Semantic Scholar
Comparing Degrees of Non-Determinism in Expression Evaluation
I. Hayes, A. Burns, Brijesh Dongol, Cliff B. Jones
2013Computer/law journal23 citations Open access
Semantic Scholar
Towards reasoning about teleo-reactive programs for robust real-time systems
I. Hayes
2008International Workshop on Software Engineering for Resilient Systems23 citations
Semantic Scholar
An environment for building a system out of its requirements
C. Smith, K. Winter, I. Hayes, G. Dromey +2 more
2004Proceedings. 19th International Conference on Automated Software Engineering, 2004.23 citations Open access
Semantic Scholar
A synchronous program algebra: a basis for reasoning about shared-memory and event-based concurrency
I. Hayes, L. Meinicke, K. Winter, Robert Colvin
2017Formal Aspects of Computing21 citations Open access
Semantic Scholar
CSP with Hierarchical State
Robert Colvin, I. Hayes
2009International Conference on Integrated Formal Methods21 citations
Semantic Scholar
Laws and Semantics for Rely-Guarantee Refinement
I. Hayes, Cliff B. Jones, Robert Colvin
201420 citations
Semantic Scholar
Unifying Theories of Programming That Distinguish Nontermination and Abort
I. Hayes, S. Dunne, L. Meinicke
2010International Conference on Mathematics of Program Construction20 citations
Semantic Scholar
Deriving Specifications for Systems That Are Connected to the Physical World
Cliff B. Jones, I. Hayes, M. Jackson
2007Formal Methods and Hybrid Real-Time Systems20 citations Open access
Semantic Scholar
A Guide to Rely/Guarantee Thinking
I. Hayes, Cliff B. Jones
2017International School on Engineering Trustworthy Software Systems19 citations
Semantic Scholar
Possible values: Exploring a concept for concurrency
Cliff B. Jones, I. Hayes
2016J. Log. Algebraic Methods Program.17 citations Open access
Semantic Scholar
Continuous Action System Refinement
L. Meinicke, I. Hayes
2006International Conference on Mathematics of Program Construction16 citations
Semantic Scholar
Comparing Models of Nondeterministic Expression Evaluation
I. Hayes, A. Burns, Brijesh Dongol, Cliff B. Jones
201115 citations
Semantic Scholar
Path-Sensitive Data Flow Analysis Simplified
K. Winter, Chenyi Zhang, I. Hayes, Nathan Keynes +2 more
2013IEEE International Conference on Formal Engineering Methods14 citations
Semantic Scholar
Electronic Communications of the EASST Volume 53 ( 2012 ) Proceedings of the 12 th International Workshop on Automated Verification of Critical Systems ( AVoCS 2012 ) Fractional Permissions and Non-Deterministic Evaluators in Interval Temporal Logic
Brijesh Dongol, J. Derrick, I. Hayes
201214 citations
Semantic Scholar
Towards an Algebra for Real-Time Programs
Brijesh Dongol, I. Hayes, L. Meinicke, Kim Solin
2012International Conference on Relational and Algebraic Methods in Computer Science14 citations
Semantic Scholar
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, I. Hayes
201114 citations
Semantic Scholar
Compositional Action System Derivation Using Enforced Properties
Brijesh Dongol, I. Hayes
2010International Conference on Mathematics of Program Construction13 citations
Semantic Scholar
A predicative semantics for real-time refinement
I. Hayes
200313 citations
Semantic Scholar
Deriving real-time action systems in a sampling logic
Brijesh Dongol, I. Hayes
2013Science of Computer Programming12 citations Open access
Semantic Scholar
Structural operational semantics through context-dependent behaviour
Robert Colvin, I. Hayes
2011J. Log. Algebraic Methods Program.12 citations Open access
Semantic Scholar
Model-Driven Web Form Validation with UML and OCL
Eban Escott, P. Strooper, Paul King, I. Hayes
2011ICWE Workshops11 citations Open access
Semantic Scholar
Reasoning about real-time teleo-reactive programs
Brijesh Dongol, I. Hayes, P. Robinson
200911 citations
Semantic Scholar
Specifying systems that connect to the physical world
Cliff B. Jones, I. Hayes, M. Jackson
200611 citations
Semantic Scholar
Refining rely-guarantee thinking
I. Hayes, Cliff B. Jones, Robert Colvin
201210 citations
Semantic Scholar
Deriving Real-Time Action Systems Controllers from Multiscale System Specifications
Brijesh Dongol, I. Hayes
2012International Conference on Mathematics of Program Construction10 citations
Semantic Scholar
Rely/Guarantee Reasoning for Teleo-reactive Programs over Multiple Time Bands
Brijesh Dongol, I. Hayes
2012International Conference on Integrated Formal Methods10 citations
Semantic Scholar
Reasoning about Loops in Total and General Correctness
S. Dunne, I. Hayes, A. Galloway
2008Unifying Theories of Programming10 citations
Semantic Scholar
Algebraic reasoning for probabilistic action systems and while-loops
L. Meinicke, I. Hayes
2008Acta Informatica9 citations Open access
Semantic Scholar
Termination of Real-Time Programs: Definitely, Definitely Not, or Maybe
I. Hayes
2006Unifying Theories of Programming9 citations Open access
Semantic Scholar
Deriving real-time action systems with multiple time bands using algebraic reasoning
Brijesh Dongol, I. Hayes, J. Derrick
2014Science of Computer Programming8 citations Open access
Semantic Scholar
Enforcing Safety and Progress Properties: An Approach to Concurrent Program Derivation
Brijesh Dongol, I. Hayes
2009Australian Software Engineering Conference8 citations
Semantic Scholar
Cylindric Kleene Lattices for Program Construction
Brijesh Dongol, I. Hayes, L. Meinicke, G. Struth
2019International Conference on Mathematics of Program Construction7 citations Open access
Semantic Scholar
Deriving Specifications of Control Programs for Cyber Physical Systems
A. Burns, I. Hayes, Cliff B. Jones
2019Computer/law journal7 citations Open access
Semantic Scholar
Partial Semigroups and Convolution Algebras
Brijesh Dongol, Victor B. F. Gomes, I. Hayes, G. Struth
2017Arch. Formal Proofs7 citations
Semantic Scholar
Relational Convolution, Generalised Modalities and Incidence Algebras
Brijesh Dongol, I. Hayes, G. Struth
2017arXiv.org7 citations
Semantic Scholar
Convolution as a Unifying Concept
Brijesh Dongol, I. Hayes, G. Struth
2016ACM Transactions on Computational Logic7 citations Open access
Semantic Scholar
A theory for execution-time derivation in real-time programs
K. Lermer, C. Fidge, I. Hayes
2005Theoretical Computer Science7 citations Open access
Semantic Scholar
A Formal Semantics of the GraalVM Intermediate Representation
Brae J. Webb, M. Utting, I. Hayes
2021Automated Technology for Verification and Analysis6 citations Open access
Semantic Scholar
Deriving Laws for Developing Concurrent Programs in a Rely-Guarantee Style
I. Hayes, L. Meinicke, Patrick A. Meiring
2021arXiv.org6 citations
Semantic Scholar
Encoding fairness in a synchronous concurrent program algebra: extended version with proofs
I. Hayes, L. Meinicke
2018World Congress on Formal Methods6 citations
Semantic Scholar
Concurrent Refinement Algebra and Rely Quotients
J. Fell, I. Hayes, A. Velykis
2016Arch. Formal Proofs6 citations
Semantic Scholar