Ian J. Hayes

According to our database1, Ian J. Hayes
  • authored at least 109 papers between 1985 and 2017.
  • has a "Dijkstra number"2 of three.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2017
Designing a semantic model for a wide-spectrum language with concurrency.
Formal Asp. Comput., 2017

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

Relational Convolution, Generalised Modalities and Incidence Algebras.
CoRR, 2017

Partial Semigroups and Convolution Algebras.
Archive of Formal Proofs, 2017

2016
Convolution as a Unifying Concept: Applications in Separation Logic, Interval Calculi, and Concurrency.
ACM Trans. Comput. Log., 2016

Possible values: Exploring a concept for concurrency.
J. Log. Algebr. Meth. Program., 2016

Generalised rely-guarantee concurrency: an algebraic foundation.
Formal Asp. Comput., 2016

Possible values: exploring a concept for concurrency.
CoRR, 2016

An algebra of synchronous atomic steps.
CoRR, 2016

Generalised rely-guarantee concurrency: An algebraic foundation.
CoRR, 2016

Designing a semantic model for a wide-spectrum language with concurrency.
CoRR, 2016

Concurrent Refinement Algebra and Rely Quotients.
Archive of Formal Proofs, 2016

An Algebra of Synchronous Atomic Steps.
Proceedings of the FM 2016: Formal Methods, 2016

2015
Balancing expressiveness in formal approaches to concurrency.
Formal Asp. Comput., 2015

2014
Deriving real-time action systems with multiple time bands using algebraic reasoning.
Sci. Comput. Program., 2014

Reasoning about goal-directed real-time teleo-reactive programs.
Formal Asp. Comput., 2014

Convolution, Separation and Concurrency.
CoRR, 2014

Invariants, Well-Founded Statements and Real-Time Program Algebra.
Proceedings of the FM 2014: Formal Methods, 2014

2013
Linking Unifying Theories of Program refinement.
Sci. Comput. Program., 2013

Deriving real-time action systems in a sampling logic.
Sci. Comput. Program., 2013

Comparing Degrees of Non-Determinism in Expression Evaluation.
Comput. J., 2013

Visuocode: A software development environment that supports spatial navigation and composition.
Proceedings of the 2013 First IEEE Working Conference on Software Visualization (VISSOFT), 2013

Path-Sensitive Data Flow Analysis Simplified.
Proceedings of the Formal Methods and Software Engineering, 2013

Towards Structuring System Specifications with Time Bands Using Layers of Rely-Guarantee Conditions.
Proceedings of the Formal Techniques for Safety-Critical Systems, 2013

2012
Fractional Permissions and Non-Deterministic Evaluators in Interval Temporal Logic.
ECEASST, 2012

Deriving Real-Time Action Systems Controllers from Multiscale System Specifications.
Proceedings of the Mathematics of Program Construction - 11th International Conference, 2012

Rely/Guarantee Reasoning for Teleo-reactive Programs over Multiple Time Bands.
Proceedings of the Integrated Formal Methods - 9th International Conference, 2012

Integrated Operational Semantics: Small-Step, Big-Step and Multi-step.
Proceedings of the Abstract State Machines, Alloy, B, VDM, and Z, 2012

Towards an Algebra for Real-Time Programs.
Proceedings of the Relational and Algebraic Methods in Computer Science, 2012

2011
A semantics for Behavior Trees using CSP with specification commands.
Sci. Comput. Program., 2011

Structural operational semantics through context-dependent behaviour.
J. Log. Algebr. Program., 2011

Approximating Idealised Real-Time Specifications Using Time Bands.
ECEASST, 2011

Model-Driven Web Form Validation with UML and OCL.
Proceedings of the Current Trends in Web Engineering, 2011

2010
A timeband framework for modelling real-time systems.
Real-Time Systems, 2010

Integrating Requirements: The Behavior Tree Philosophy.
Proceedings of the 8th IEEE International Conference on Software Engineering and Formal Methods, 2010

Unifying Theories of Programming That Distinguish Nontermination and Abort.
Proceedings of the Mathematics of Program Construction, 10th International Conference, 2010

Compositional Action System Derivation Using Enforced Properties.
Proceedings of the Mathematics of Program Construction, 10th International Conference, 2010

Invariants and Well-Foundedness in Program Algebra.
Proceedings of the Theoretical Aspects of Computing, 2010

2009
Dynamically Detecting Faults via Integrity Constraints.
Proceedings of the Methods, 2009

CSP with Hierarchical State.
Proceedings of the Integrated Formal Methods, 7th International Conference, 2009

Enforcing Safety and Progress Properties: An Approach to Concurrent Program Derivation.
Proceedings of the 20th Australian Software Engineering Conference (ASWEC 2009), 2009

2008
Calculating modules in contextual logic program refinement.
TPLP, 2008

Algebraic reasoning for probabilistic action systems and while-loops.
Acta Inf., 2008

Reasoning about Loops in Total and General Correctness.
Proceedings of the Unifying Theories of Programming, Second International Symposium, 2008

Towards reasoning about teleo-reactive programs for robust real-time systems.
Proceedings of the SERENE 2008, 2008

Probabilistic Choice in Refinement Algebra.
Proceedings of the Mathematics of Program Construction, 9th International Conference, 2008

2007
Procedures and parameters in the real-time program refinement calculus.
Sci. Comput. Program., 2007

Deriving Specifications for Systems That Are Connected to the Physical World.
Proceedings of the Formal Methods and Hybrid Real-Time Systems, 2007

2006
Calculating modules in contextual logic program refinement
CoRR, 2006

Termination of Real-Time Programs: Definitely, Definitely Not, or Maybe.
Proceedings of the Unifying Theories of Programming, First International Symposium, 2006

Continuous Action System Refinement.
Proceedings of the Mathematics of Program Construction, 8th International Conference, 2006

Reasoning Algebraically About Probabilistic Loops.
Proceedings of the Formal Methods and Software Engineering, 2006

2005
A theory for execution-time derivation in real-time programs.
Theor. Comput. Sci., 2005

Integration of generic program analysis tools into a software development environment.
Proceedings of the Computer Science 2005, 2005

2004
Developing Logic Programs from Specifications Using Stepwise Refinement.
Proceedings of the Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development, 2004

An Environment for Building a System out of its Requirements.
Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004), 2004

Towards Platform-Independent Real-Time Systems.
Proceedings of the 15th Australian Software Engineering Conference (ASWEC 2004), 2004

2003
Linear Approximation of Execution-Time Constraints.
Formal Asp. Comput., 2003

Formal Semantics for Program Paths.
Electr. Notes Theor. Comput. Sci., 2003

Reasoning about Deadlines in Concurrent Real-Time Programs.
Proceedings of the 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 2003

Programs as Paths: An Approach to Timing Constraint Analysis.
Proceedings of the Formal Methods and Software Engineering, 2003

Determining the Specification of a Control System from That of Its Environment.
Proceedings of the FME 2003: Formal Methods, 2003

2002
A refinement calculus for logic programs.
TPLP, 2002

Reasoning about real-time repetitions: terminating and nonterminating.
Sci. Comput. Program., 2002

An Introduction to Real-Time Object-Z.
Formal Asp. Comput., 2002

Don't Care Non-determinism in Logic Program Refinement.
Electr. Notes Theor. Comput. Sci., 2002

A Refinement Calculus for Logic Programs
CoRR, 2002

Reasoning about Timeouts.
Proceedings of the Mathematics of Program Construction, 6th International Conference, 2002

Refinement of Higher-Order Logic Programs.
Proceedings of the Logic Based Program Synthesis and Tranformation, 2002

Towards a Refinement Calculus for Concurrent Real-Time Programs.
Proceedings of the Formal Methods and Software Engineering, 2002

Refining Object-Oriented Invariants and Dynamic Constraints.
Proceedings of the 9th Asia-Pacific Software Engineering Conference (APSEC 2002), 2002

The Real-Time Refinement Calculus: A Foundation for Machine-Independent Real-Time Programming.
Proceedings of the Applications and Theory of Petri Nets 2002, 2002

Translating Refined Logic Programs to Mercury.
Proceedings of the Computer Science 2002, 2002

2001
Using Theory Interpretation to Mechanise the Reals in a Theorem Prover.
Electr. Notes Theor. Comput. Sci., 2001

Semantic characterisation of dead control-flow paths.
IEE Proceedings - Software, 2001

A sequential real-time refinement calculus.
Acta Inf., 2001

Refinement Calculus for Logic Programming in Isabelle/HOL.
Proceedings of the Theorem Proving in Higher Order Logics, 14th International Conference, 2001

2000
Reasoning about Non-terminating Loops Using Deadline Commands.
Proceedings of the Mathematics of Program Construction, 5th International Conference, 2000

A Technique for Modular Logic Program Refinement.
Proceedings of the Logic Based Program Synthesis and Transformation, 2000

Modular Logic Program Refinement.
Proceedings of the Extended Abstracts of the 10th International Workshop on Logic-based Program Synthesis and Transformation, 2000

Structuring Real-Time Object-Z Specifications.
Proceedings of the Integrated Formal Methods, Second International Conference, 2000

Real-Time Program Refinement Using Auxiliary Variables.
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 2000

Reasoning about real-time programs using idle-invariant assertions.
Proceedings of the 7th Asia-Pacific Software Engineering Conference (APSEC 2000), 2000

Refining Logic Programs Using Types.
Proceedings of the 23rd Australasian Computer Science Conference (ACSC 2000), 31 January, 2000

1999
The deadline command.
IEE Proceedings - Software, 1999

Towards Real-Time Object-Z.
Proceedings of the Integrated Formal Methods, 1999

1998
Expressive Power of Specification Languages.
Formal Asp. Comput., 1998

A Program Refinement Tool.
Formal Asp. Comput., 1998

Deadlines are termination.
Proceedings of the Programming Concepts and Methods, 1998

A Set-Theoretic Model for Real-Time Specification and Reasoning.
Proceedings of the Mathematics of Program Construction, 1998

Defining Differentiation and Integration in Z.
Proceedings of the Second IEEE International Conference on Formal Engineering Methods, 1998

1997
Supporting Contexts in Program Refinement.
Sci. Comput. Program., 1997

1996
Supporting Module Reuse in Refinement.
Sci. Comput. Program., 1996

Refining Specifications to Logic Programs.
Proceedings of the Logic Programming Synthesis and Transformation, 1996

Integrating Real-Time Scheduling Theory and Program Refinement.
Proceedings of the FME '96: Industrial Benefit and Advances in Formal Methods, 1996

1995
Specification by Interface Separation.
Formal Asp. Comput., 1995

Using Units of Measurement in Formal Specifications.
Formal Asp. Comput., 1995

A Formal Semantics for a Language with Type Extension.
Proceedings of the ZUM '95: The Z Formal Specification Notation, 1995

Are Formal Methods Relevant?
Proceedings of the 2nd Asia-Pacific Software Engineering Conference (APSEC '95), 1995

1993
Deriving Modular Designs from Formal Specifications.
Proceedings of the SIGSOFT '93, 1993

1992
A Case-Study in Timed Refinement: A Mine Pump.
IEEE Trans. Software Eng., 1992

VDM and Z: A Comparative Case Study.
Formal Asp. Comput., 1992

Multi-Relations in Z.
Acta Inf., 1992

Towards Libraries for Z.
Proceedings of the Z User Workshop, London, UK, 14-15 December 1992, Proceedings, 1992

1990
Interpretations of Z Schema Operations.
Proceedings of the Z User Workshop, 1990

1989
Signalling System No.7, The Network Layer.
Proceedings of the Protocol Specification, 1989

1987
Laws of Programming.
Commun. ACM, 1987

1986
Specification Directed Module Testing.
IEEE Trans. Software Eng., 1986

1985
Applying Formal Specification to Software Development in Industry.
IEEE Trans. Software Eng., 1985


  Loading...