Ian J. Hayes

ORCID

Publication Activity (10 Years)

Years Active: 1978-2024
Publications (10 Years): 45

Top Venues

CoRR

Formal Aspects Comput.

ICFEM

Publications

Larissa A. Meinicke, Ian J. Hayes
Reasoning about distributive laws in a concurrent refinement algebra. CoRR (2024)
Robert J. Colvin, Ian J. Hayes, Scott Heiner, Peter Höfner, Larissa Meinicke, Roger C. Su
Practical Rely/Guarantee Verification of an Efficient Lock for seL4 on Multicore Architectures. CoRR (2024)
Ian J. Hayes, Larissa A. Meinicke, Nasos Evangelou-Oost
Restructuring a concurrent refinement algebra. CoRR (2024)
Larissa A. Meinicke, Ian J. Hayes, Cliff B. Jones
Data reification in a concurrent rely-guarantee algebra. CoRR (2024)
Ian J. Hayes, Larissa A. Meinicke, Nasos Evangelou-Oost
Restructuring a Concurrent Refinement Algebra. RAMiCS (2024)
Larissa A. Meinicke, Ian J. Hayes
Using scylindric algebra to support local variables in rely/guarantee concurrency. FormaliSE (2023)
Nasos Evangelou-Oost, Callum Bannister, Larissa Meinicke, Ian J. Hayes
Trace models of concurrent valuation algebras. CoRR (2023)
Ian J. Hayes, Cliff B. Jones, Larissa A. Meinicke
Specifying and Reasoning About Shared-Variable Concurrency. Theories of Programming and Formal Methods (2023)
Nasos Evangelou-Oost, Larissa Meinicke, Callum Bannister, Ian J. Hayes
Trace Models of Concurrent Valuation Algebras. ICFEM (2023)
Brae J. Webb, Ian J. Hayes, Mark Utting
Verifying Term Graph Optimizations using Isabelle/HOL. CPP (2023)
Ian J. Hayes, Mark Utting, Brae J. Webb
Verifying Compiler Optimisations - (Invited Paper). ICFEM (2023)
Mark Utting, Brae J. Webb, Ian J. Hayes
Differential Testing of a Verification Framework for Compiler Optimizations (Case Study). FormaliSE (2023)
Nasos Evangelou-Oost, Callum Bannister, Ian J. Hayes
Contextuality in Distributed Systems. RAMiCS (2023)
Brae J. Webb, Ian J. Hayes, Mark Utting
Verifying term graph optimizations using Isabelle/HOL. CoRR (2022)
Nasos Evangelou-Oost, Callum Bannister, Ian J. Hayes
Contextuality in distributed systems. CoRR (2022)
Mark Utting, Brae J. Webb, Ian J. Hayes
Differential Testing of a Verification Framework for Compiler Optimizations (Experience Paper). CoRR (2022)
Brae J. Webb, Mark Utting, Ian J. Hayes
A Formal Semantics of the GraalVM Intermediate Representation. CoRR (2021)
Ian J. Hayes, Larissa A. Meinicke, Patrick A. Meiring
Deriving Laws for Developing Concurrent Programs in a Rely-Guarantee Style. CoRR (2021)
Brijesh Dongol, Ian J. Hayes, Georg Struth
Convolution Algebras: Relational Convolution, Generalised Modalities and Incidence Algebras. Log. Methods Comput. Sci. 17 (1) (2021)
Brae J. Webb, Mark Utting, Ian J. Hayes
A Formal Semantics of the GraalVM Intermediate Representation. ATVA (2021)
Alan Burns, Ian J. Hayes, Cliff B. Jones
Deriving Specifications of Control Programs for Cyber Physical Systems. Comput. J. 63 (5) (2020)
Larissa A. Meinicke, Ian J. Hayes
Handling localisation in rely/guarantee concurrency: An algebraic approach. CoRR (2019)
Ian J. Hayes, Larissa A. Meinicke
Developing an Algebra for Rely/Guarantee Concurrency: Design Decisions and Challenges. UTP (2019)
Brijesh Dongol, Ian J. Hayes, Larissa Meinicke, Georg Struth
Cylindric Kleene Lattices for Program Construction. MPC (2019)
Ian J. Hayes, Larissa A. Meinicke, Kirsten Winter, Robert J. Colvin
A synchronous program algebra: a basis for reasoning about shared-memory and event-based concurrency. Formal Aspects Comput. 31 (2) (2019)
Xi Wu, Yi Lu, Patrick A. Meiring, Ian J. Hayes, Larissa A. Meinicke
Type Capabilities for Object-Oriented Programming Languages. ICFEM (2018)
Ian J. Hayes
Some Challenges of Specifying Concurrent Program Components. Refine@FM (2018)
Ian J. Hayes
Engineering a Theory of Concurrent Programming. ICFEM (2018)
Ian J. Hayes, Larissa A. Meinicke
Encoding fairness in a synchronous concurrent program algebra: extended version with proofs. CoRR (2018)
Ian J. Hayes, Larissa A. Meinicke
Encoding Fairness in a Synchronous Concurrent Program Algebra. FM (2018)
Ian J. Hayes, Cliff B. Jones
A Guide to Rely/Guarantee Thinking. SETSS (2017)
Ian J. Hayes, Larissa A. Meinicke, Kirsten Winter, Robert J. Colvin
A synchronous program algebra: a basis for reasoning about shared-memory and event-based concurrency. CoRR (2017)
Robert J. Colvin, Ian J. Hayes, Larissa A. Meinicke
Designing a semantic model for a wide-spectrum language with concurrency. Formal Aspects Comput. 29 (5) (2017)
Brijesh Dongol, Ian J. Hayes, Georg Struth
Relational Convolution, Generalised Modalities and Incidence Algebras. CoRR (2017)
Ian J. Hayes, Xi Wu, Larissa A. Meinicke
Capabilities for Java: Secure Access to Resources. APLAS (2017)
Brijesh Dongol, Victor B. F. Gomes, Ian J. Hayes, Georg Struth
Partial Semigroups and Convolution Algebras. Arch. Formal Proofs 2017 (2017)
Julian Fell, Ian J. Hayes, Andrius Velykis
Concurrent Refinement Algebra and Rely Quotients. Arch. Formal Proofs 2016 (2016)
Ian J. Hayes, Robert J. Colvin, Larissa A. Meinicke, Kirsten Winter, Andrius Velykis
An Algebra of Synchronous Atomic Steps. FM (2016)
Robert J. Colvin, Ian J. Hayes, Larissa A. Meinicke
Designing a semantic model for a wide-spectrum language with concurrency. CoRR (2016)
Cliff B. Jones, Ian J. Hayes
Possible values: Exploring a concept for concurrency. J. Log. Algebraic Methods Program. 85 (5) (2016)
Brijesh Dongol, Ian J. Hayes, Georg Struth
Convolution as a Unifying Concept: Applications in Separation Logic, Interval Calculi, and Concurrency. ACM Trans. Comput. Log. 17 (3) (2016)
Cliff B. Jones, Ian J. Hayes
Possible values: exploring a concept for concurrency. CoRR (2016)
Ian J. Hayes
Generalised rely-guarantee concurrency: an algebraic foundation. Formal Aspects Comput. 28 (6) (2016)
Ian J. Hayes
Generalised rely-guarantee concurrency: An algebraic foundation. CoRR (2016)
Ian J. Hayes, Robert Colvin, Larissa Meinicke, Kirsten Winter, Andrius Velykis
An algebra of synchronous atomic steps. CoRR (2016)
Cliff B. Jones, Ian J. Hayes, Robert J. Colvin
Balancing expressiveness in formal approaches to concurrency. Formal Aspects Comput. 27 (3) (2015)
Ian J. Hayes, Larissa Meinicke
Invariants, Well-Founded Statements and Real-Time Program Algebra. FM (2014)
Brijesh Dongol, Ian J. Hayes, Peter J. Robinson
Reasoning about goal-directed real-time teleo-reactive programs. Formal Aspects Comput. 26 (3) (2014)
Brijesh Dongol, Ian J. Hayes, Georg Struth
Convolution, Separation and Concurrency. CoRR (2014)
Brijesh Dongol, Ian J. Hayes, John Derrick
Deriving real-time action systems with multiple time bands using algebraic reasoning. Sci. Comput. Program. 85 (2014)
Ian J. Hayes, Steve Dunne, Larissa Meinicke
Linking Unifying Theories of Program refinement. Sci. Comput. Program. 78 (11) (2013)
Kirsten Winter, Chenyi Zhang, Ian J. Hayes, Nathan Keynes, Cristina Cifuentes, Lian Li
Path-Sensitive Data Flow Analysis Simplified. ICFEM (2013)
Daniel R. Bradley, Ian J. Hayes
Visuocode: A software development environment that supports spatial navigation and composition. VISSOFT (2013)
Ian J. Hayes, Alan Burns, Brijesh Dongol, Cliff B. Jones
Comparing Degrees of Non-Determinism in Expression Evaluation. Comput. J. 56 (6) (2013)
Brijesh Dongol, Ian J. Hayes
Deriving real-time action systems in a sampling logic. Sci. Comput. Program. 78 (11) (2013)
Ian J. Hayes
Towards Structuring System Specifications with Time Bands Using Layers of Rely-Guarantee Conditions. FTSCS (2013)
Brijesh Dongol, Ian J. Hayes
Rely/Guarantee Reasoning for Teleo-reactive Programs over Multiple Time Bands. IFM (2012)
Brijesh Dongol, John Derrick, Ian J. Hayes
Fractional Permissions and Non-Deterministic Evaluators in Interval Temporal Logic. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 53 (2012)
Ian J. Hayes, Robert Colvin
Integrated Operational Semantics: Small-Step, Big-Step and Multi-step. ABZ (2012)
Brijesh Dongol, Ian J. Hayes, Larissa Meinicke, Kim Solin
Towards an Algebra for Real-Time Programs. RAMiCS (2012)
Brijesh Dongol, Ian J. Hayes
Deriving Real-Time Action Systems Controllers from Multiscale System Specifications. MPC (2012)
Robert Colvin, Ian J. Hayes
Structural operational semantics through context-dependent behaviour. J. Log. Algebraic Methods Program. 80 (7) (2011)
Robert Colvin, Ian J. Hayes
A semantics for Behavior Trees using CSP with specification commands. Sci. Comput. Program. 76 (10) (2011)
Eban Escott, Paul A. Strooper, Paul King, Ian J. Hayes
Model-Driven Web Form Validation with UML and OCL. ICWE Workshops (2011)
Brijesh Dongol, Ian J. Hayes
Approximating Idealised Real-Time Specifications Using Time Bands. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 46 (2011)
Ian J. Hayes, Steve Dunne, Larissa Meinicke
Unifying Theories of Programming That Distinguish Nontermination and Abort. MPC (2010)
Kirsten Winter, Ian J. Hayes, Robert Colvin
Integrating Requirements: The Behavior Tree Philosophy. SEFM (2010)
Alan Burns, Ian J. Hayes
A timeband framework for modelling real-time systems. Real Time Syst. 45 (1-2) (2010)
Ian J. Hayes
Invariants and Well-Foundedness in Program Algebra. ICTAC (2010)
Brijesh Dongol, Ian J. Hayes
Compositional Action System Derivation Using Enforced Properties. MPC (2010)
Brijesh Dongol, Ian J. Hayes
Enforcing Safety and Progress Properties: An Approach to Concurrent Program Derivation. Australian Software Engineering Conference (2009)
Robert Colvin, Ian J. Hayes
CSP with Hierarchical State. IFM (2009)
Larissa Meinicke, Ian J. Hayes
Algebraic reasoning for probabilistic action systems and while-loops. Acta Informatica 45 (5) (2008)
Ian J. Hayes
Towards reasoning about teleo-reactive programs for robust real-time systems. SERENE (2008)
Robert Colvin, Ian J. Hayes, Paul A. Strooper
Calculating modules in contextual logic program refinement. Theory Pract. Log. Program. 8 (1) (2008)
Steve Dunne, Ian J. Hayes, Andy Galloway
Reasoning about Loops in Total and General Correctness. UTP (2008)
Larissa Meinicke, Ian J. Hayes
Probabilistic Choice in Refinement Algebra. MPC (2008)
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)
Ian J. Hayes
Procedures and parameters in the real-time program refinement calculus. Sci. Comput. Program. 64 (3) (2007)
Ian J. Hayes
Termination of Real-Time Programs: Definitely, Definitely Not, or Maybe. UTP (2006)
Larissa Meinicke, Ian J. Hayes
Reasoning Algebraically About Probabilistic Loops. ICFEM (2006)
Robert Colvin, Ian J. Hayes, Paul A. Strooper
Calculating modules in contextual logic program refinement CoRR (2006)
Larissa Meinicke, Ian J. Hayes
Continuous Action System Refinement. MPC (2006)
Erica Glynn, Ian J. Hayes, Anthony MacDonald
Integration of generic program analysis tools into a software development environment. ACSC (2005)
Karl Lermer, Colin J. Fidge, Ian J. Hayes
A theory for execution-time derivation in real-time programs. Theor. Comput. Sci. 346 (1) (2005)
Ian J. Hayes
Towards Platform-Independent Real-Time Systems. Australian Software Engineering Conference (2004)
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)
Ian J. Hayes
Programs as Paths: An Approach to Timing Constraint Analysis. ICFEM (2003)
Sibylle Peuker, Ian J. Hayes
Reasoning about Deadlines in Concurrent Real-Time Programs. IPDPS (2003)
Karl Lermer, Colin J. Fidge, Ian J. Hayes
Formal Semantics for Program Paths. Electron. Notes Theor. Comput. Sci. 78 (2003)
Ian J. Hayes, Michael A. Jackson, Cliff B. Jones
Determining the Specification of a Control System from That of Its Environment. FME (2003)
Karl Lermer, Colin J. Fidge, Ian J. Hayes
Linear Approximation of Execution-Time Constraints. Formal Aspects Comput. 15 (4) (2003)
Sibylle Peuker, Ian J. Hayes
Towards a Refinement Calculus for Concurrent Real-Time Programs. ICFEM (2002)
Jamie Shield, Ian J. Hayes
Refining Object-Oriented Invariants and Dynamic Constraints. APSEC (2002)
Ian J. Hayes, Robert Colvin, David Hemer, Paul A. Strooper, Ray Nickson
A refinement calculus for logic programs. Theory Pract. Log. Program. 2 (4-5) (2002)
Ian J. Hayes, Robert Colvin, David Hemer, Paul A. Strooper, Ray Nickson
A Refinement Calculus for Logic Programs CoRR (2002)
David Hemer, Ian J. Hayes, Paul A. Strooper, Robert Colvin
Don't Care Non-determinism in Logic Program Refinement. Electron. Notes Theor. Comput. Sci. 61 (2002)
Ian J. Hayes
Reasoning about Timeouts. MPC (2002)
Ian J. Hayes
The Real-Time Refinement Calculus: A Foundation for Machine-Independent Real-Time Programming. ICATPN (2002)
Ian J. Hayes
Reasoning about real-time repetitions: terminating and nonterminating. Sci. Comput. Program. 43 (2-3) (2002)

Ian J. Hayes.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Ian J. Hayes