| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Brijesh Dongol, Ian J. Hayes |
Approximating Idealised Real-Time Specifications Using Time Bands.  |
ECEASST  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Robert Colvin, Ian J. Hayes |
Structural operational semantics through context-dependent behaviour. |
J. Log. Algebr. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Colvin, Ian J. Hayes |
A semantics for Behavior Trees using CSP with specification commands. |
Sci. Comput. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Eban Escott, Paul A. Strooper, Paul King, Ian J. Hayes |
Model-Driven Web Form Validation with UML and OCL. |
ICWE Workshops |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Burns, Ian J. Hayes |
A timeband framework for modelling real-time systems. |
Real-Time Systems |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Kirsten Winter, Ian J. Hayes, Robert Colvin |
Integrating Requirements: The Behavior Tree Philosophy. |
SEFM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian J. Hayes |
Invariants and Well-Foundedness in Program Algebra. |
ICTAC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Brijesh Dongol, Ian J. Hayes |
Compositional Action System Derivation Using Enforced Properties. |
MPC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian J. Hayes, Steve Dunne, Larissa Meinicke |
Unifying Theories of Programming That Distinguish Nontermination and Abort. |
MPC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian J. Hayes |
Dynamically Detecting Faults via Integrity Constraints. |
Methods, Models and Tools for Fault Tolerance |
2009 |
DBLP DOI BibTeX RDF |
fault detection, Integrity constraint, action system, real-time programming |
| 1 | Brijesh Dongol, Ian J. Hayes |
Enforcing Safety and Progress Properties: An Approach to Concurrent Program Derivation. |
Australian Software Engineering Conference |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Colvin, Ian J. Hayes |
CSP with Hierarchical State. |
IFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Larissa Meinicke, Ian J. Hayes |
Algebraic reasoning for probabilistic action systems and while-loops. |
Acta Inf. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Colvin, Ian J. Hayes, Paul A. Strooper |
Calculating modules in contextual logic program refinement. |
TPLP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian J. Hayes |
Towards reasoning about teleo-reactive programs for robust real-time systems. |
SERENE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve Dunne, Ian J. Hayes, Andy Galloway |
Reasoning about Loops in Total and General Correctness. |
UTP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Larissa Meinicke, Ian J. Hayes |
Probabilistic Choice in Refinement Algebra. |
MPC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian J. Hayes |
Procedures and parameters in the real-time program refinement calculus. |
Sci. Comput. Program. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Colvin, Ian J. Hayes, Paul A. Strooper |
Calculating modules in contextual logic program refinement |
CoRR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Larissa Meinicke, Ian J. Hayes |
Reasoning Algebraically About Probabilistic Loops. |
ICFEM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian J. Hayes |
Termination of Real-Time Programs: Definitely, Definitely Not, or Maybe. |
UTP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Larissa Meinicke, Ian J. Hayes |
Continuous Action System Refinement. |
MPC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Karl Lermer, Colin J. Fidge, Ian J. Hayes |
A theory for execution-time derivation in real-time programs. |
Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | John Fitzgerald, Ian J. Hayes, Andrzej Tarlecki (eds.) |
FM 2005: Formal Methods, International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings |
FM |
2005 |
DBLP BibTeX RDF |
|
| 1 | Erica Glynn, Ian J. Hayes, Anthony MacDonald |
Integration of generic program analysis tools into a software development environment. |
ACSC |
2005 |
DBLP BibTeX RDF |
|
| 1 | Ian J. Hayes |
Towards Platform-Independent Real-Time Systems. |
Australian Software Engineering Conference |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Colvin, Lindsay Groves, Ian J. Hayes, David Hemer, Ray Nickson, Paul A. Strooper |
Developing Logic Programs from Specifications Using Stepwise Refinement. |
Program Development in Computational Logic |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Karl Lermer, Colin J. Fidge, Ian J. Hayes |
Linear Approximation of Execution-Time Constraints. |
Formal Asp. Comput. |
2003 |
DBLP DOI BibTeX RDF |
Automatic constraint determination, Real-time program analysis, Worst-case and best-case execution times, Control-flow analysis, Timing prediction |
| 1 | Karl Lermer, Colin J. Fidge, Ian J. Hayes |
Formal Semantics for Program Paths. |
Electr. Notes Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian J. Hayes |
Programs as Paths: An Approach to Timing Constraint Analysis. |
ICFEM |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Sibylle Peuker, Ian J. Hayes |
Reasoning about Deadlines in Concurrent Real-Time Programs. |
IPDPS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian J. Hayes, Michael A. Jackson, Cliff B. Jones |
Determining the Specification of a Control System from That of Its Environment. |
FME |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Graeme Smith, Ian J. Hayes |
An Introduction to Real-Time Object-Z. |
Formal Asp. Comput. |
2002 |
DBLP DOI BibTeX RDF |
Real-time refinement, Timed refinement calculus, Object-Z, Real-time specification |
| 1 | Ian J. Hayes |
Reasoning about real-time repetitions: terminating and nonterminating. |
Sci. Comput. Program. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | David Hemer, Ian J. Hayes, Paul A. Strooper, Robert Colvin |
Don't Care Non-determinism in Logic Program Refinement. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian J. Hayes, Robert Colvin, David Hemer, Paul A. Strooper, Ray Nickson |
A Refinement Calculus for Logic Programs |
CoRR |
2002 |
DBLP BibTeX RDF |
|
| 1 | Ian J. Hayes, Robert Colvin, David Hemer, Paul A. Strooper, Ray Nickson |
A refinement calculus for logic programs. |
TPLP |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Sibylle Peuker, Ian J. Hayes |
Towards a Refinement Calculus for Concurrent Real-Time Programs. |
ICFEM |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Jamie Shield, Ian J. Hayes |
Refining Object-Oriented Invariants and Dynamic Constraints. |
APSEC |
2002 |
DBLP DOI BibTeX RDF |
history properties, Object-orientation, invariants, refinement calculus |
| 1 | Ian J. Hayes |
The Real-Time Refinement Calculus: A Foundation for Machine-Independent Real-Time Programming. |
ICATPN |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian J. Hayes |
Reasoning about Timeouts. |
MPC |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Colvin, Ian J. Hayes, David Hemer, Paul A. Strooper |
Refinement of Higher-Order Logic Programs. |
LOPSTR |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Colvin, Ian J. Hayes, David Hemer, Paul A. Strooper |
Translating Refined Logic Programs to Mercury. |
ACSC |
2002 |
DBLP BibTeX RDF |
|
| 1 | Jamie Shield, Ian J. Hayes, David A. Carrington |
Using Theory Interpretation to Mechanise the Reals in a Theorem Prover. |
Electr. Notes Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian J. Hayes, Mark Utting |
A sequential real-time refinement calculus. |
Acta Inf. |
2001 |
DBLP BibTeX RDF |
|
| 1 | Ian J. Hayes, Colin J. Fidge, Karl Lermer |
Semantic characterisation of dead control-flow paths. |
IEE Proceedings - Software |
2001 |
DBLP BibTeX RDF |
|
| 1 | David Hemer, Ian J. Hayes, Paul A. Strooper |
Refinement Calculus for Logic Programming in Isabelle/HOL. |
TPHOLs |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian J. Hayes |
Reasoning about real-time programs using idle-invariant assertions. |
APSEC |
2000 |
DBLP DOI BibTeX RDF |
real-time program reasoning, idle-invariant assertions, software engineering, real-time systems, preconditions, formal logic, Hoare logic, postconditions |
| 1 | Graeme Smith, Ian J. Hayes |
Structuring Real-Time Object-Z Specifications. |
IFM |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian J. Hayes |
Reasoning about Non-terminating Loops Using Deadline Commands. |
MPC |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Colvin, Ian J. Hayes, Paul A. Strooper |
A Technique for Modular Logic Program Refinement. |
LOPSTR (LNCS 2042: Selected Papers) |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Colvin, Ian J. Hayes, Paul A. Strooper |
Modular Logic Program Refinement. |
LOPSTR |
2000 |
DBLP BibTeX RDF |
|
| 1 | Robert Colvin, Ian J. Hayes, Paul A. Strooper |
Refining Logic Programs Using Types. |
ACSC |
2000 |
DBLP DOI BibTeX RDF |
logic programming, Refinement, types |
| 1 | Ian J. Hayes |
Real-Time Program Refinement Using Auxiliary Variables. |
FTRTFT |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Graeme Smith, Ian J. Hayes |
Towards Real-Time Object-Z. |
IFM |
1999 |
DBLP BibTeX RDF |
|
| 1 | Ian J. Hayes |
Expressive Power of Specification Languages. |
Formal Asp. Comput. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | David A. Carrington, Ian J. Hayes, Ray Nickson, Geoffrey Watson, Jim Welsh |
A Program Refinement Tool. |
Formal Asp. Comput. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Colin J. Fidge, Ian J. Hayes, Brendan P. Mahony |
Defining Differentiation and Integration in Z. (PDF / PS) |
ICFEM |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian J. Hayes, Mark Utting |
Deadlines are termination. |
PROCOMET |
1998 |
DBLP BibTeX RDF |
|
| 1 | Colin J. Fidge, Ian J. Hayes, A. P. Martin, Axel Wabenhorst |
A Set-Theoretic Model for Real-Time Specification and Reasoning. |
MPC |
1998 |
DBLP BibTeX RDF |
|
| 1 | Ray Nickson, Ian J. Hayes |
Supporting Contexts in Program Refinement. |
Sci. Comput. Program. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian J. Hayes |
Supporting Module Reuse in Refinement. |
Sci. Comput. Program. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Colin J. Fidge, Mark Utting, Peter Kearney, Ian J. Hayes |
Integrating Real-Time Scheduling Theory and Program Refinement. |
FME |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian J. Hayes, R. G. Nickson, Paul A. Strooper |
Refining Specifications to Logic Programs. |
LOPSTR |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian J. Hayes, Jeff W. Sanders |
Specification by Interface Separation. |
Formal Asp. Comput. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian J. Hayes, Brendan P. Mahony |
Using Units of Measurement in Formal Specifications. |
Formal Asp. Comput. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian J. Hayes, Keijiro Araki, David J. Duke, Val E. Veraart |
Are Formal Methods Relevant? (PDF / PS) |
APSEC |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Bancroft, Ian J. Hayes |
A Formal Semantics for a Language with Type Extension. |
ZUM |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | David A. Carrington, David J. Duke, Ian J. Hayes, Jim Welsh |
Deriving Modular Designs from Formal Specifications. |
SIGSOFT FSE |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Brendan P. Mahony, Ian J. Hayes |
A Case-Study in Timed Refinement: A Mine Pump. |
IEEE Trans. Software Eng. |
1992 |
DBLP DOI BibTeX RDF |
top-level refinement, simple mine pump control system, time-based systems, topologically continuous functions, discrete properties, basic building block, specification statement, refinement laws, computerized monitoring, pumps, parallel processes, formal specification, formal method, pipelined, theorem proving, mining, refinement calculus, design decisions, sequential programs, timed systems, proof of correctness |
| 1 | Ian J. Hayes |
VDM and Z: A Comparative Case Study. |
Formal Asp. Comput. |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian J. Hayes |
Multi-Relations in Z. |
Acta Inf. |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian J. Hayes, Luke Wildman |
Towards Libraries for Z. |
Z User Workshop |
1992 |
DBLP BibTeX RDF |
|
| 1 | Ian J. Hayes |
Interpretations of Z Schema Operations. |
Z User Workshop |
1990 |
DBLP BibTeX RDF |
|
| 1 | Ian J. Hayes, M. Mowbray, Gordon A. Rose |
Signalling System No.7, The Network Layer. |
PSTV |
1989 |
DBLP BibTeX RDF |
|
| 1 | 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. |
Commun. ACM |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian J. Hayes |
Specification Directed Module Testing. |
IEEE Trans. Software Eng. |
1986 |
DBLP BibTeX RDF |
|
| 1 | Ian J. Hayes |
Applying Formal Specification to Software Development in Industry. |
IEEE Trans. Software Eng. |
1985 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")