The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Ian J. Hayes: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. Robert Colvin, Ian J. Hayes, Paul A. Strooper
    Refining Logic Programs Using Types. [Citation Graph (0, 0)][DBLP]
    ACSC, 2000, pp:43-50 [Conf]
  3. 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]
  4. 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]
  5. Ian J. Hayes
    Reasoning about real-time programs using idle-invariant assertions. [Citation Graph (0, 0)][DBLP]
    APSEC, 2000, pp:16-23 [Conf]
  6. 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]
  7. Jamie Shield, Ian J. Hayes
    Refining Object-Oriented Invariants and Dynamic Constraints. [Citation Graph (0, 0)][DBLP]
    APSEC, 2002, pp:52-0 [Conf]
  8. Ian J. Hayes
    Towards Platform-Independent Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    Australian Software Engineering Conference, 2004, pp:192-201 [Conf]
  9. 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]
  10. 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]
  11. Ian J. Hayes
    Real-Time Program Refinement Using Auxiliary Variables. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 2000, pp:170-184 [Conf]
  12. 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]
  13. Ian J. Hayes
    Programs as Paths: An Approach to Timing Constraint Analysis. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2003, pp:1-15 [Conf]
  14. Larissa Meinicke, Ian J. Hayes
    Reasoning Algebraically About Probabilistic Loops. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2006, pp:380-399 [Conf]
  15. 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]
  16. Graeme Smith, Ian J. Hayes
    Structuring Real-Time Object-Z Specifications. [Citation Graph (0, 0)][DBLP]
    IFM, 2000, pp:97-115 [Conf]
  17. Graeme Smith, Ian J. Hayes
    Towards Real-Time Object-Z. [Citation Graph (0, 0)][DBLP]
    IFM, 1999, pp:49-65 [Conf]
  18. Sibylle Peuker, Ian J. Hayes
    Reasoning about Deadlines in Concurrent Real-Time Programs. [Citation Graph (0, 0)][DBLP]
    IPDPS, 2003, pp:237- [Conf]
  19. 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]
  20. Robert Colvin, Ian J. Hayes, Paul A. Strooper
    Modular Logic Program Refinement. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2000, pp:- [Conf]
  21. 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]
  22. 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]
  23. 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]
  24. 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]
  25. Ian J. Hayes
    Reasoning about Non-terminating Loops Using Deadline Commands. [Citation Graph (0, 0)][DBLP]
    MPC, 2000, pp:60-79 [Conf]
  26. Ian J. Hayes
    Reasoning about Timeouts. [Citation Graph (0, 0)][DBLP]
    MPC, 2002, pp:94-116 [Conf]
  27. Larissa Meinicke, Ian J. Hayes
    Continuous Action System Refinement. [Citation Graph (0, 0)][DBLP]
    MPC, 2006, pp:316-337 [Conf]
  28. 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]
  29. Ian J. Hayes, Mark Utting
    Deadlines are termination. [Citation Graph (0, 0)][DBLP]
    PROCOMET, 1998, pp:186-204 [Conf]
  30. 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]
  31. 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]
  32. 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]
  33. Ian J. Hayes
    Termination of Real-Time Programs: Definitely, Definitely Not, or Maybe. [Citation Graph (0, 0)][DBLP]
    UTP, 2006, pp:141-154 [Conf]
  34. Ian J. Hayes
    Interpretations of Z Schema Operations. [Citation Graph (0, 0)][DBLP]
    Z User Workshop, 1990, pp:12-26 [Conf]
  35. Ian J. Hayes, Luke Wildman
    Towards Libraries for Z. [Citation Graph (0, 0)][DBLP]
    Z User Workshop, 1992, pp:37-51 [Conf]
  36. 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]
  37. Ian J. Hayes
    Multi-Relations in Z. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1992, v:29, n:1, pp:33-62 [Journal]
  38. 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]
  39. 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]
  40. 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]
  41. 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]
  42. 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]
  43. 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]
  44. 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]
  45. 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]
  46. 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]
  47. 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]
  48. 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]
  49. 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]
  50. 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]
  51. 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]
  52. 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]
  53. 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]
  54. 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]
  55. 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]
  56. 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]
  57. 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]
  58. 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]
  59. 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]
  60. 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]
  61. 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]
  62. 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]

  63. Enforcing Safety and Progress Properties: An Approach to Concurrent Program Derivation. [Citation Graph (, )][DBLP]


  64. Invariants and Well-Foundedness in Program Algebra. [Citation Graph (, )][DBLP]


  65. CSP with Hierarchical State. [Citation Graph (, )][DBLP]


  66. Probabilistic Choice in Refinement Algebra. [Citation Graph (, )][DBLP]


  67. Unifying Theories of Programming That Distinguish Nontermination and Abort. [Citation Graph (, )][DBLP]


  68. Compositional Action System Derivation Using Enforced Properties. [Citation Graph (, )][DBLP]


  69. Reasoning about Loops in Total and General Correctness. [Citation Graph (, )][DBLP]


  70. Algebraic reasoning for probabilistic action systems and while-loops. [Citation Graph (, )][DBLP]


Search in 0.040secs, Finished in 0.042secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002