Ian J. Hayes
According to our database^{1}, Ian J. Hayes
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Homepages:

at orcid.org
On csauthors.net:
Bibliography
2017
Designing a semantic model for a widespectrum language with concurrency.
Formal Asp. Comput., 2017
A synchronous program algebra: a basis for reasoning about sharedmemory and eventbased concurrency.
CoRR, 2017
Relational Convolution, Generalised Modalities and Incidence Algebras.
CoRR, 2017
Partial Semigroups and Convolution Algebras.
Archive of Formal Proofs, 2017
Capabilities for Java: Secure Access to Resources.
Proceedings of the Programming Languages and Systems  15th Asian Symposium, 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 relyguarantee 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 relyguarantee concurrency: An algebraic foundation.
CoRR, 2016
Designing a semantic model for a widespectrum 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 realtime action systems with multiple time bands using algebraic reasoning.
Sci. Comput. Program., 2014
Reasoning about goaldirected realtime teleoreactive programs.
Formal Asp. Comput., 2014
Convolution, Separation and Concurrency.
CoRR, 2014
Invariants, WellFounded Statements and RealTime Program Algebra.
Proceedings of the FM 2014: Formal Methods, 2014
2013
Linking Unifying Theories of Program refinement.
Sci. Comput. Program., 2013
Deriving realtime action systems in a sampling logic.
Sci. Comput. Program., 2013
Comparing Degrees of NonDeterminism 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
PathSensitive Data Flow Analysis Simplified.
Proceedings of the Formal Methods and Software Engineering, 2013
Towards Structuring System Specifications with Time Bands Using Layers of RelyGuarantee Conditions.
Proceedings of the Formal Techniques for SafetyCritical Systems, 2013
2012
Fractional Permissions and NonDeterministic Evaluators in Interval Temporal Logic.
ECEASST, 2012
Deriving RealTime Action Systems Controllers from Multiscale System Specifications.
Proceedings of the Mathematics of Program Construction  11th International Conference, 2012
Rely/Guarantee Reasoning for Teleoreactive Programs over Multiple Time Bands.
Proceedings of the Integrated Formal Methods  9th International Conference, 2012
Integrated Operational Semantics: SmallStep, BigStep and Multistep.
Proceedings of the Abstract State Machines, Alloy, B, VDM, and Z, 2012
Towards an Algebra for RealTime 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 contextdependent behaviour.
J. Log. Algebr. Program., 2011
Approximating Idealised RealTime Specifications Using Time Bands.
ECEASST, 2011
ModelDriven Web Form Validation with UML and OCL.
Proceedings of the Current Trends in Web Engineering, 2011
2010
A timeband framework for modelling realtime systems.
RealTime 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 WellFoundedness 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 whileloops.
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 teleoreactive programs for robust realtime 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 realtime 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 RealTime Systems, 2007
2006
Calculating modules in contextual logic program refinement
CoRR, 2006
Termination of RealTime 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 executiontime derivation in realtime 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 LogicBased 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 PlatformIndependent RealTime Systems.
Proceedings of the 15th Australian Software Engineering Conference (ASWEC 2004), 2004
2003
Linear Approximation of ExecutionTime Constraints.
Formal Asp. Comput., 2003
Formal Semantics for Program Paths.
Electr. Notes Theor. Comput. Sci., 2003
Reasoning about Deadlines in Concurrent RealTime 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 realtime repetitions: terminating and nonterminating.
Sci. Comput. Program., 2002
An Introduction to RealTime ObjectZ.
Formal Asp. Comput., 2002
Don't Care Nondeterminism 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 HigherOrder Logic Programs.
Proceedings of the Logic Based Program Synthesis and Tranformation, 2002
Towards a Refinement Calculus for Concurrent RealTime Programs.
Proceedings of the Formal Methods and Software Engineering, 2002
Refining ObjectOriented Invariants and Dynamic Constraints.
Proceedings of the 9th AsiaPacific Software Engineering Conference (APSEC 2002), 2002
The RealTime Refinement Calculus: A Foundation for MachineIndependent RealTime 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 controlflow paths.
IEE Proceedings  Software, 2001
A sequential realtime 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 Nonterminating 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 Logicbased Program Synthesis and Transformation, 2000
Structuring RealTime ObjectZ Specifications.
Proceedings of the Integrated Formal Methods, Second International Conference, 2000
RealTime Program Refinement Using Auxiliary Variables.
Proceedings of the Formal Techniques in RealTime and FaultTolerant Systems, 2000
Reasoning about realtime programs using idleinvariant assertions.
Proceedings of the 7th AsiaPacific 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 RealTime ObjectZ.
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 SetTheoretic Model for RealTime 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 RealTime 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 AsiaPacific Software Engineering Conference (APSEC '95), 1995
1993
Deriving Modular Designs from Formal Specifications.
Proceedings of the SIGSOFT '93, 1993
1992
A CaseStudy in Timed Refinement: A Mine Pump.
IEEE Trans. Software Eng., 1992
VDM and Z: A Comparative Case Study.
Formal Asp. Comput., 1992
MultiRelations in Z.
Acta Inf., 1992
Towards Libraries for Z.
Proceedings of the Z User Workshop, London, UK, 1415 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