Search the dblp DataBase
Ian J. Hayes :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Robert Colvin , Ian J. Hayes , David Hemer , Paul A. Strooper Translating Refined Logic Programs to Mercury. [Citation Graph (0, 0)][DBLP ] ACSC, 2002, pp:33-40 [Conf ] Robert Colvin , Ian J. Hayes , Paul A. Strooper Refining Logic Programs Using Types. [Citation Graph (0, 0)][DBLP ] ACSC, 2000, pp:43-50 [Conf ] Erica Glynn , Ian J. Hayes , Anthony MacDonald Integration of generic program analysis tools into a software development environment. [Citation Graph (0, 0)][DBLP ] ACSC, 2005, pp:249-258 [Conf ] Ian J. Hayes The Real-Time Refinement Calculus: A Foundation for Machine-Independent Real-Time Programming. [Citation Graph (0, 0)][DBLP ] ICATPN, 2002, pp:44-58 [Conf ] Ian J. Hayes Reasoning about real-time programs using idle-invariant assertions. [Citation Graph (0, 0)][DBLP ] APSEC, 2000, pp:16-23 [Conf ] Ian J. Hayes , Keijiro Araki , David J. Duke , Val E. Veraart Are Formal Methods Relevant? [Citation Graph (0, 0)][DBLP ] APSEC, 1995, pp:513- [Conf ] Jamie Shield , Ian J. Hayes Refining Object-Oriented Invariants and Dynamic Constraints. [Citation Graph (0, 0)][DBLP ] APSEC, 2002, pp:52-0 [Conf ] Ian J. Hayes Towards Platform-Independent Real-Time Systems. [Citation Graph (0, 0)][DBLP ] Australian Software Engineering Conference, 2004, pp:192-201 [Conf ] Colin J. Fidge , Mark Utting , Peter Kearney , Ian J. Hayes Integrating Real-Time Scheduling Theory and Program Refinement. [Citation Graph (0, 0)][DBLP ] FME, 1996, pp:327-346 [Conf ] Ian J. Hayes , Michael A. Jackson , Cliff B. Jones Determining the Specification of a Control System from That of Its Environment. [Citation Graph (0, 0)][DBLP ] FME, 2003, pp:154-169 [Conf ] Ian J. Hayes Real-Time Program Refinement Using Auxiliary Variables. [Citation Graph (0, 0)][DBLP ] FTRTFT, 2000, pp:170-184 [Conf ] Colin J. Fidge , Ian J. Hayes , Brendan P. Mahony Defining Differentiation and Integration in Z. [Citation Graph (0, 0)][DBLP ] ICFEM, 1998, pp:64-0 [Conf ] Ian J. Hayes Programs as Paths: An Approach to Timing Constraint Analysis. [Citation Graph (0, 0)][DBLP ] ICFEM, 2003, pp:1-15 [Conf ] Larissa Meinicke , Ian J. Hayes Reasoning Algebraically About Probabilistic Loops. [Citation Graph (0, 0)][DBLP ] ICFEM, 2006, pp:380-399 [Conf ] Sibylle Peuker , Ian J. Hayes Towards a Refinement Calculus for Concurrent Real-Time Programs. [Citation Graph (0, 0)][DBLP ] ICFEM, 2002, pp:335-346 [Conf ] Graeme Smith , Ian J. Hayes Structuring Real-Time Object-Z Specifications. [Citation Graph (0, 0)][DBLP ] IFM, 2000, pp:97-115 [Conf ] Graeme Smith , Ian J. Hayes Towards Real-Time Object-Z. [Citation Graph (0, 0)][DBLP ] IFM, 1999, pp:49-65 [Conf ] Sibylle Peuker , Ian J. Hayes Reasoning about Deadlines in Concurrent Real-Time Programs. [Citation Graph (0, 0)][DBLP ] IPDPS, 2003, pp:237- [Conf ] 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. [Citation Graph (0, 0)][DBLP ] ASE, 2004, pp:398-399 [Conf ] Robert Colvin , Ian J. Hayes , Paul A. Strooper Modular Logic Program Refinement. [Citation Graph (0, 0)][DBLP ] LOPSTR, 2000, pp:- [Conf ] Robert Colvin , Ian J. Hayes , Paul A. Strooper A Technique for Modular Logic Program Refinement. [Citation Graph (0, 0)][DBLP ] LOPSTR (LNCS 2042: Selected Papers), 2000, pp:38-56 [Conf ] Robert Colvin , Lindsay Groves , Ian J. Hayes , David Hemer , Ray Nickson , Paul A. Strooper Developing Logic Programs from Specifications Using Stepwise Refinement. [Citation Graph (0, 0)][DBLP ] Program Development in Computational Logic, 2004, pp:66-89 [Conf ] Robert Colvin , Ian J. Hayes , David Hemer , Paul A. Strooper Refinement of Higher-Order Logic Programs. [Citation Graph (0, 0)][DBLP ] LOPSTR, 2002, pp:126-143 [Conf ] Ian J. Hayes , R. G. Nickson , Paul A. Strooper Refining Specifications to Logic Programs. [Citation Graph (0, 0)][DBLP ] LOPSTR, 1996, pp:1-19 [Conf ] Ian J. Hayes Reasoning about Non-terminating Loops Using Deadline Commands. [Citation Graph (0, 0)][DBLP ] MPC, 2000, pp:60-79 [Conf ] Ian J. Hayes Reasoning about Timeouts. [Citation Graph (0, 0)][DBLP ] MPC, 2002, pp:94-116 [Conf ] Larissa Meinicke , Ian J. Hayes Continuous Action System Refinement. [Citation Graph (0, 0)][DBLP ] MPC, 2006, pp:316-337 [Conf ] Colin J. Fidge , Ian J. Hayes , A. P. Martin , Axel Wabenhorst A Set-Theoretic Model for Real-Time Specification and Reasoning. [Citation Graph (0, 0)][DBLP ] MPC, 1998, pp:188-206 [Conf ] Ian J. Hayes , Mark Utting Deadlines are termination. [Citation Graph (0, 0)][DBLP ] PROCOMET, 1998, pp:186-204 [Conf ] Ian J. Hayes , M. Mowbray , Gordon A. Rose Signalling System No.7, The Network Layer. [Citation Graph (0, 0)][DBLP ] PSTV, 1989, pp:3-14 [Conf ] David A. Carrington , David J. Duke , Ian J. Hayes , Jim Welsh Deriving Modular Designs from Formal Specifications. [Citation Graph (0, 0)][DBLP ] SIGSOFT FSE, 1993, pp:89-98 [Conf ] David Hemer , Ian J. Hayes , Paul A. Strooper Refinement Calculus for Logic Programming in Isabelle/HOL. [Citation Graph (0, 0)][DBLP ] TPHOLs, 2001, pp:249-264 [Conf ] Ian J. Hayes Termination of Real-Time Programs: Definitely, Definitely Not, or Maybe. [Citation Graph (0, 0)][DBLP ] UTP, 2006, pp:141-154 [Conf ] Ian J. Hayes Interpretations of Z Schema Operations. [Citation Graph (0, 0)][DBLP ] Z User Workshop, 1990, pp:12-26 [Conf ] Ian J. Hayes , Luke Wildman Towards Libraries for Z. [Citation Graph (0, 0)][DBLP ] Z User Workshop, 1992, pp:37-51 [Conf ] Peter Bancroft , Ian J. Hayes A Formal Semantics for a Language with Type Extension. [Citation Graph (0, 0)][DBLP ] ZUM, 1995, pp:299-314 [Conf ] Ian J. Hayes Multi-Relations in Z. [Citation Graph (0, 0)][DBLP ] Acta Inf., 1992, v:29, n:1, pp:33-62 [Journal ] Ian J. Hayes , Mark Utting A sequential real-time refinement calculus. [Citation Graph (0, 0)][DBLP ] Acta Inf., 2001, v:37, n:6, pp:385-448 [Journal ] C. A. R. Hoare , Ian J. Hayes , Jifeng He , Carroll Morgan , A. W. Roscoe , Jeff W. Sanders , Ib Holm Sørensen , J. Michael Spivey , Bernard Sufrin Laws of Programming. [Citation Graph (0, 0)][DBLP ] Commun. ACM, 1987, v:30, n:8, pp:672-686 [Journal ] Ian J. Hayes , Robert Colvin , David Hemer , Paul A. Strooper , Ray Nickson A Refinement Calculus for Logic Programs [Citation Graph (0, 0)][DBLP ] CoRR, 2002, v:0, n:, pp:- [Journal ] David Hemer , Ian J. Hayes , Paul A. Strooper , Robert Colvin Don't Care Non-determinism in Logic Program Refinement. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2002, v:61, n:, pp:- [Journal ] Karl Lermer , Colin J. Fidge , Ian J. Hayes Formal Semantics for Program Paths. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2003, v:78, n:, pp:- [Journal ] David A. Carrington , Ian J. Hayes , Ray Nickson , Geoffrey Watson , Jim Welsh A Program Refinement Tool. [Citation Graph (0, 0)][DBLP ] Formal Asp. Comput., 1998, v:10, n:2, pp:97-124 [Journal ] Ian J. Hayes VDM and Z: A Comparative Case Study. [Citation Graph (0, 0)][DBLP ] Formal Asp. Comput., 1992, v:4, n:1, pp:76-99 [Journal ] Ian J. Hayes Expressive Power of Specification Languages. [Citation Graph (0, 0)][DBLP ] Formal Asp. Comput., 1998, v:10, n:2, pp:187-192 [Journal ] Ian J. Hayes , Brendan P. Mahony Using Units of Measurement in Formal Specifications. [Citation Graph (0, 0)][DBLP ] Formal Asp. Comput., 1995, v:7, n:3, pp:329-347 [Journal ] Ian J. Hayes , Jeff W. Sanders Specification by Interface Separation. [Citation Graph (0, 0)][DBLP ] Formal Asp. Comput., 1995, v:7, n:4, pp:430-439 [Journal ] Karl Lermer , Colin J. Fidge , Ian J. Hayes Linear Approximation of Execution-Time Constraints. [Citation Graph (0, 0)][DBLP ] Formal Asp. Comput., 2003, v:15, n:4, pp:319-348 [Journal ] Graeme Smith , Ian J. Hayes An Introduction to Real-Time Object-Z. [Citation Graph (0, 0)][DBLP ] Formal Asp. Comput., 2002, v:13, n:2, pp:128-141 [Journal ] Ian J. Hayes , Colin J. Fidge , Karl Lermer Semantic characterisation of dead control-flow paths. [Citation Graph (0, 0)][DBLP ] IEE Proceedings - Software, 2001, v:148, n:6, pp:175-186 [Journal ] Ian J. Hayes Reasoning about real-time repetitions: terminating and nonterminating. [Citation Graph (0, 0)][DBLP ] Sci. Comput. Program., 2002, v:43, n:2-3, pp:161-192 [Journal ] Ian J. Hayes Supporting Module Reuse in Refinement. [Citation Graph (0, 0)][DBLP ] Sci. Comput. Program., 1996, v:27, n:2, pp:175-184 [Journal ] Ray Nickson , Ian J. Hayes Supporting Contexts in Program Refinement. [Citation Graph (0, 0)][DBLP ] Sci. Comput. Program., 1997, v:29, n:3, pp:279-302 [Journal ] Ian J. Hayes Procedures and parameters in the real-time program refinement calculus. [Citation Graph (0, 0)][DBLP ] Sci. Comput. Program., 2007, v:64, n:3, pp:286-311 [Journal ] Karl Lermer , Colin J. Fidge , Ian J. Hayes A theory for execution-time derivation in real-time programs. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2005, v:346, n:1, pp:3-27 [Journal ] Jamie Shield , Ian J. Hayes , David A. Carrington Using Theory Interpretation to Mechanise the Reals in a Theorem Prover. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2001, v:42, n:, pp:- [Journal ] Ian J. Hayes , Robert Colvin , David Hemer , Paul A. Strooper , Ray Nickson A refinement calculus for logic programs. [Citation Graph (0, 0)][DBLP ] TPLP, 2002, v:2, n:4-5, pp:425-460 [Journal ] Ian J. Hayes Applying Formal Specification to Software Development in Industry. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1985, v:11, n:2, pp:169-178 [Journal ] Ian J. Hayes Specification Directed Module Testing. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1986, v:12, n:1, pp:124-133 [Journal ] Brendan P. Mahony , Ian J. Hayes A Case-Study in Timed Refinement: A Mine Pump. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1992, v:18, n:9, pp:817-826 [Journal ] Cliff B. Jones , Ian J. Hayes , Michael A. Jackson Deriving Specifications for Systems That Are Connected to the Physical World. [Citation Graph (0, 0)][DBLP ] Formal Methods and Hybrid Real-Time Systems, 2007, pp:364-390 [Conf ] Robert Colvin , Ian J. Hayes , Paul A. Strooper Calculating modules in contextual logic program refinement [Citation Graph (0, 0)][DBLP ] CoRR, 2006, v:0, n:, pp:- [Journal ] Enforcing Safety and Progress Properties: An Approach to Concurrent Program Derivation. [Citation Graph (, )][DBLP ] Invariants and Well-Foundedness in Program Algebra. [Citation Graph (, )][DBLP ] CSP with Hierarchical State. [Citation Graph (, )][DBLP ] Probabilistic Choice in Refinement Algebra. [Citation Graph (, )][DBLP ] Unifying Theories of Programming That Distinguish Nontermination and Abort. [Citation Graph (, )][DBLP ] Compositional Action System Derivation Using Enforced Properties. [Citation Graph (, )][DBLP ] Reasoning about Loops in Total and General Correctness. [Citation Graph (, )][DBLP ] Algebraic reasoning for probabilistic action systems and while-loops. [Citation Graph (, )][DBLP ] Search in 0.005secs, Finished in 0.009secs