Title |
Author(s) |
IrusType |
Repository |
Item URL |
Total Downloads |
A Declarative Semantics for Logic Program Refinement |
Hayes, Ian; Nickson, Ray; Strooper, Paul; Colvin, Robert |
Report |
University of Queensland [UQ eSpace] |
https://espace.library.uq.edu.au/view/UQ:10587 |
9 |
A semantics for behavior trees |
Colvin, Robert; Hayes, Ian J. |
Report |
University of Queensland [UQ eSpace] |
https://espace.library.uq.edu.au/view/UQ:204809 |
310 |
A semantics for Behavior Trees using CSP with specification commands |
Colvin, Robert J.; Hayes, Ian J. |
Article |
University of Queensland [UQ eSpace] |
https://espace.library.uq.edu.au/view/UQ:238936 |
1 |
A sequential real-time refinement calculus |
Hayes, I. J.; Utting, M. |
Article |
University of Queensland [UQ eSpace] |
https://espace.library.uq.edu.au/view/UQ:1755 |
66 |
A Theory for Execution Time Derivation in Real-time Programs |
Lermer, Karl; Fidge, Colin; Hayes, Ian |
Report |
University of Queensland [UQ eSpace] |
https://espace.library.uq.edu.au/view/UQ:10547 |
40 |
A Tool for Developing Correct Programs by Refinement |
Carrington, D.; Hayes, I.; Nickson, R.; Watson, G. N.; Welsh, J. |
Report |
University of Queensland [UQ eSpace] |
https://espace.library.uq.edu.au/view/UQ:10768 |
44 |
Algebraic Reasoning for Probabilistic Action Systems and While-Loops |
Meinicke, Larissa; Hayes, Ian J. |
Report |
University of Queensland [UQ eSpace] |
https://espace.library.uq.edu.au/view/UQ:7961 |
50 |
An algebra of synchronous atomic steps |
Hayes, Ian J.; Colvin, Robert J.; Meinicke, Larissa A.; Winter, Kirsten; Velykis, Andrius |
Conference Papers/Posters |
University of Queensland [UQ eSpace] |
https://espace.library.uq.edu.au/view/UQ:416706 |
2 |
Approximating idealised real-time specifications using time bands |
Dongol, Brijesh; Hayes, Ian J. |
Conference Papers/Posters |
University of Queensland [UQ eSpace] |
https://espace.library.uq.edu.au/view/UQ:294229 |
3 |
Building a Flexible Incremental Compiler Back-End |
Cook, Phil; Welsh, Jim; Hayes, Ian J. |
Report |
University of Queensland [UQ eSpace] |
https://espace.library.uq.edu.au/view/UQ:9539 |
195 |
Comparing degrees of non-Determinism in expression evaluation |
Hayes, Ian J.; Burns, Alan; Dongol, Brijesh; Jones, Cliff B. |
Article |
University of Queensland [UQ eSpace] |
https://espace.library.uq.edu.au/view/UQ:305101 |
1 |
Convolution as a unifying concept: applications in separation logic, interval calculi, and concurrency |
Dongol, Brijesh; Hayes, Ian J.; Struth, Georg |
Article |
University of Queensland [UQ eSpace] |
https://espace.library.uq.edu.au/view/UQ:382095 |
1 |
Deadlines are termination |
Hayes, Ian J.; Utting, Mark |
Report |
University of Queensland [UQ eSpace] |
https://espace.library.uq.edu.au/view/UQ:286760 |
34 |
Defining Differentiation and Integration in Z |
Fidge, Colin. J.; Hayes, Ian. J.; Mahony, B. P. |
Report |
University of Queensland [UQ eSpace] |
https://espace.library.uq.edu.au/view/UQ:286767 |
1 |
Determining the specification of a control system from that of its environment |
Hayes, I. J.; Jackson, M. A.; Jones, C. B. |
Conference Papers/Posters |
University of Queensland [UQ eSpace] |
https://espace.library.uq.edu.au/view/UQ:98688 |
6 |
Developing logic programs from specifications using stepwise refinement |
Colvin, Robert; Groves, Lindsay; Hayes, Ian J.; Hemer, David; Nickson, Ray; Strooper, Paul |
Book Section |
University of Queensland [UQ eSpace] |
https://espace.library.uq.edu.au/view/UQ:70479 |
58 |
Formal Semantics for Program Paths |
Lermer, Karl; Fidge, Colin; Hayes, Ian |
Report |
University of Queensland [UQ eSpace] |
https://espace.library.uq.edu.au/view/UQ:10565 |
35 |
Fractional permissions and non-deterministic evaluators in interval temporal logic |
Dongol, Brijesh; Derrick, John; Hayes, Ian J. |
Conference Papers/Posters |
University of Queensland [UQ eSpace] |
https://espace.library.uq.edu.au/view/UQ:294230 |
9 |
Generalised rely-guarantee concurrency: an algebraic foundation |
Hayes, Ian J. |
Article |
University of Queensland [UQ eSpace] |
https://espace.library.uq.edu.au/view/UQ:406517 |
3 |
Incremental Context-Sensitive Evaluation in Context |
Cook, Phil; Welsh, Jim; Hayes, Ian J. |
Report |
University of Queensland [UQ eSpace] |
https://espace.library.uq.edu.au/view/UQ:9799 |
5 |
Incremental Semantic Evaluation for Interactive Systems: Inertia, Pre-emption, and Relations |
Cook, Phil; Welsh, Jim; Hayes, Ian J. |
Report |
University of Queensland [UQ eSpace] |
https://espace.library.uq.edu.au/view/UQ:9542 |
18 |
Invariants, well-founded statements and real-time program algebra |
Hayes, Ian J.; Meinicke, Larissa |
Conference Papers/Posters |
University of Queensland [UQ eSpace] |
https://espace.library.uq.edu.au/view/UQ:331193 |
3 |
Linear Approximation of Execution Time Constraints |
Lermer, Karl; Fidge, Colin; Hayes, Ian |
Report |
University of Queensland [UQ eSpace] |
https://espace.library.uq.edu.au/view/UQ:10540 |
69 |
Path-sensitive data flow analysis simplified |
Winter, Kirsten; Zhang, Chenyi; Hayes, Ian J.; Keynes, Nathan; Cifuentes, Cristina; Li, Lisa |
Conference Papers/Posters |
University of Queensland [UQ eSpace] |
https://espace.library.uq.edu.au/view/UQ:319997 |
1 |
Prolog |
Dongol, Brijesh M.S.; Hayes, Ian J.; Robinson, Peter J. |
Dataset |
University of Queensland [UQ eSpace] |
https://espace.library.uq.edu.au/view/UQ:278467 |
24 |
Reasoning about real-time repetitions: terminating and nonterminating |
Hayes, Ian |
Article |
University of Queensland [UQ eSpace] |
https://espace.library.uq.edu.au/view/UQ:61433 |
33 |
Reasoning about real-time teleo-reactive programs |
Dongol, Brijesh; Hayes, Ian J.; Robinson, Peter J. |
Report |
University of Queensland [UQ eSpace] |
https://espace.library.uq.edu.au/view/UQ:196197 |
8 |
Reasoning about teleo-reactive programs under parallel composition |
Dongol, Brijesh; Hayes, Ian J. |
Report |
University of Queensland [UQ eSpace] |
https://espace.library.uq.edu.au/view/UQ:240430 |
4 |
Reasoning Algebraically about Probabilistic Loops |
Hayes, Ian J.; Meinicke, Larissa |
Report |
University of Queensland [UQ eSpace] |
https://espace.library.uq.edu.au/view/UQ:8218 |
48 |
Refinement of higher-order logic programs |
Colvin, Robert; Hayes, Ian J.; Hemer, David G.; Strooper, Paul A. |
Conference Papers/Posters |
University of Queensland [UQ eSpace] |
https://espace.library.uq.edu.au/view/UQ:98873 |
76 |
Semantic characterisation of dead control-flow paths |
Hayes, I. J.; Fidge, C. J.; Lermer, K. R. C. |
Article |
University of Queensland [UQ eSpace] |
https://espace.library.uq.edu.au/view/UQ:1844 |
40 |
Structural operational semantics through context-dependent behaviour |
Colvin, Robert; Hayes, Ian J. |
Report |
University of Queensland [UQ eSpace] |
https://espace.library.uq.edu.au/view/UQ:196371 |
35 |
Termination of real-time programs: Definitely, definitely not, or maybe |
Hayes, I. J. |
Conference Papers/Posters |
University of Queensland [UQ eSpace] |
https://espace.library.uq.edu.au/view/UQ:103561 |
1 |
Timing Analysis of Concurrent Real-Time Programs With Deadlines |
Peuker, Sibylle; Hayes, Ian |
Report |
University of Queensland [UQ eSpace] |
https://espace.library.uq.edu.au/view/UQ:10537 |
7 |
Towards reasoning about teleo-reactive programs for robust real-time systems |
Hayes, I.J. |
Conference Papers/Posters |
University of Queensland [UQ eSpace] |
https://espace.library.uq.edu.au/view/UQ:176605 |
1 |
Trace Semantics for the Owicki-Gries Theory Integrated with the Progress Logic from UNITY |
Brijesh Dongol; Ian J. Hayes |
Report |
University of Queensland [UQ eSpace] |
https://espace.library.uq.edu.au/view/UQ:13614 |
11 |
Translating Refined Logic Programs to Mercury |
Colvin, Robert; Hemer, David; Hayes, Ian; Strooper, Paul |
Report |
University of Queensland [UQ eSpace] |
https://espace.library.uq.edu.au/view/UQ:10572 |
24 |
Visuocode: A software development environment that supports spatial navigation and composition |
Bradley, Daniel R.; Hayes, Ian J. |
Conference Papers/Posters |
University of Queensland [UQ eSpace] |
https://espace.library.uq.edu.au/view/UQ:321681 |
1 |