×

zbMATH — the first resource for mathematics

Hayes, Ian J.

Compute Distance To:
Author ID: hayes.ian-j Recent zbMATH articles by "Hayes, Ian J."
Published as: Hayes, I.; Hayes, I. J.; Hayes, Ian; Hayes, Ian J.
Documents Indexed: 65 Publications since 1986, including 2 Books

Publications by Year

Citations contained in zbMATH

37 Publications have been cited 146 times in 115 Documents Cited by Year
Laws of programming. Zbl 0629.68006
Hoare, C. A. R.; Hayes, I. J.; He, Jifeng; Morgan, C. C.; Roscoe, A. W.; Sanders, J. W.; Sorensen, I. H.; Spivey, J. M.; Sufrin, B. A.
56
1987
Balancing expressiveness in formal approaches to concurrency. Zbl 1343.68171
Jones, Cliff B.; Hayes, Ian J.; Colvin, Robert J.
8
2015
Specification case studies. 2. ed. Zbl 0812.68039
Hayes, I. (ed.)
8
1993
Unifying theories of programming that distinguish nontermination and abort. Zbl 1286.68079
Hayes, Ian J.; Dunne, Steve E.; Meinicke, Larissa
7
2010
A program refinement tool. Zbl 0910.68050
Carrington, D.; Hayes, I.; Nickson, R.; Watson, G.; Welsh, J.
7
1998
A timeband framework for modelling real-time systems. Zbl 1197.68032
Burns, Alan; Hayes, Ian J.
6
2010
CSP with hierarchical state. Zbl 1211.68266
Colvin, Robert; Hayes, Ian J.
6
2009
A semantics for behavior trees using CSP with specification commands. Zbl 1220.68050
Colvin, Robert J.; Hayes, Ian J.
4
2011
A sequential real-time refinement calculus. Zbl 0970.68107
Hayes, Ian J.; Utting, Mark
4
2001
Generalised rely-guarantee concurrency: an algebraic foundation. Zbl 1348.68035
Hayes, Ian J.
3
2016
Supporting contexts in program refinement. Zbl 0881.68012
Nickson, Ray; Hayes, Ian
3
1997
Designing a semantic model for a wide-spectrum language with concurrency. Zbl 1375.68036
Colvin, Robert J.; Hayes, Ian J.; Meinicke, Larissa A.
2
2017
Possible values: exploring a concept for concurrency. Zbl 1355.68043
Jones, Cliff B.; Hayes, Ian J.
2
2016
Deriving real-time action systems controllers from multiscale system specifications. Zbl 1358.68069
Dongol, Brijesh; Hayes, Ian J.
2
2012
Structural operational semantics through context-dependent behaviour. Zbl 1223.68026
Colvin, Robert J.; Hayes, Ian J.
2
2011
Probabilistic choice in refinement algebra. Zbl 1156.68357
Meinicke, Larissa; Hayes, Ian J.
2
2008
Real-time specification and reasoning using maximal intervals. Zbl 0964.68090
Fidge, C. J.; Hayes, I. J.; Mahony, B. P.; Wabenhorst, A. K.
2
2000
Separating timing and calculation in real-time refinement. Zbl 0924.68127
Hayes, Ian
2
1998
Corrigendum to “Laws of programming”. Zbl 0653.68002
Hoare, C. A. R.; Hayes, I. J.; He, Jifeng; Morgan, C. C.; Roscoe, A. W.; Sanders, J. W.; Sorensen, I. H.; Spivey, J. M.; Sufrin, B. A.
2
1987
Convolution as a unifying concept: applications in separation logic, interval calculi, and concurrency. Zbl 1367.68210
Dongol, Brijesh; Hayes, Ian J.; Struth, Georg
1
2016
Reasoning about goal-directed real-time teleo-reactive programs. Zbl 1342.68060
Dongol, Brijesh; Hayes, Ian J.; Robinson, Peter J.
1
2014
Towards an algebra for real-time programs. Zbl 1364.68135
Dongol, Brijesh; Hayes, Ian J.; Meinicke, Larissa; Solin, Kim
1
2012
Reasoning about loops in total and general correctness. Zbl 1286.68076
Dunne, Steve E.; Hayes, Ian J.; Galloway, Andy J.
1
2010
Algebraic reasoning for probabilistic action systems and while-loops. Zbl 1161.68014
Meinicke, Larissa; Hayes, Ian J.
1
2008
Calculating modules in contextual logic program refinement. Zbl 1128.68015
Colvin, Robert; Hayes, Ian J.; Strooper, Paul
1
2008
Continuous action system refinement. Zbl 1235.68104
Meinicke, Larissa; Hayes, Ian J.
1
2006
Termination of real-time programs: definitely, definitely not, or maybe. Zbl 1186.68087
Hayes, Ian J.
1
2006
FM 2005: Formal methods. International symposium of formal methods Europe, Newcastle, UK, July 18–22, 2005. Proceedings. Zbl 1078.68005
Fitzgerald, John (ed.); Hayes, Ian J. (ed.); Tarlecki, Andrzej (ed.)
1
2005
Linear approximation of execution-time constraints. Zbl 1093.68025
Lermer, Karl; Fidge, Colin J.; Hayes, Ian J.
1
2003
Don’t care non-determinism in logic program refinement. Zbl 1268.68044
Hemer, David; Colvin, Robert; Hayes, Ian; Strooper, Paul
1
2002
A refinement calculus for logic programs. Zbl 1090.68532
Hayes, Ian; Colvin, Robert; Hemer, David; Strooper, Paul; Nickson, Ray
1
2002
Reasoning about real-time repetitions: Terminating and nonterminating. Zbl 1014.68036
Hayes, Ian
1
2002
Using theory interpretation to mechanise the reals in a theorem prover. Zbl 0970.68146
Shield, J.; Hayes, I. J.; Carrington, D. A.
1
2001
Supporting contexts in the sequential real-time refinement calculus. Zbl 0924.68141
Wildman, Luke; Hayes, Ian
1
1998
Data refining logic programs. Zbl 0924.68131
Colvin, Robert; Hayes, Ian; Strooper, Paul
1
1998
A tool for logic program refinement (extended abstract). Zbl 0888.68082
Colvin, Robert; Hayes, Ian; Nickson, Ray; Strooper, Paul
1
1997
Specification by interface separation. Zbl 0835.68077
Hayes, I. J.; Sanders, J. W.
1
1995
Designing a semantic model for a wide-spectrum language with concurrency. Zbl 1375.68036
Colvin, Robert J.; Hayes, Ian J.; Meinicke, Larissa A.
2
2017
Generalised rely-guarantee concurrency: an algebraic foundation. Zbl 1348.68035
Hayes, Ian J.
3
2016
Possible values: exploring a concept for concurrency. Zbl 1355.68043
Jones, Cliff B.; Hayes, Ian J.
2
2016
Convolution as a unifying concept: applications in separation logic, interval calculi, and concurrency. Zbl 1367.68210
Dongol, Brijesh; Hayes, Ian J.; Struth, Georg
1
2016
Balancing expressiveness in formal approaches to concurrency. Zbl 1343.68171
Jones, Cliff B.; Hayes, Ian J.; Colvin, Robert J.
8
2015
Reasoning about goal-directed real-time teleo-reactive programs. Zbl 1342.68060
Dongol, Brijesh; Hayes, Ian J.; Robinson, Peter J.
1
2014
Deriving real-time action systems controllers from multiscale system specifications. Zbl 1358.68069
Dongol, Brijesh; Hayes, Ian J.
2
2012
Towards an algebra for real-time programs. Zbl 1364.68135
Dongol, Brijesh; Hayes, Ian J.; Meinicke, Larissa; Solin, Kim
1
2012
A semantics for behavior trees using CSP with specification commands. Zbl 1220.68050
Colvin, Robert J.; Hayes, Ian J.
4
2011
Structural operational semantics through context-dependent behaviour. Zbl 1223.68026
Colvin, Robert J.; Hayes, Ian J.
2
2011
Unifying theories of programming that distinguish nontermination and abort. Zbl 1286.68079
Hayes, Ian J.; Dunne, Steve E.; Meinicke, Larissa
7
2010
A timeband framework for modelling real-time systems. Zbl 1197.68032
Burns, Alan; Hayes, Ian J.
6
2010
Reasoning about loops in total and general correctness. Zbl 1286.68076
Dunne, Steve E.; Hayes, Ian J.; Galloway, Andy J.
1
2010
CSP with hierarchical state. Zbl 1211.68266
Colvin, Robert; Hayes, Ian J.
6
2009
Probabilistic choice in refinement algebra. Zbl 1156.68357
Meinicke, Larissa; Hayes, Ian J.
2
2008
Algebraic reasoning for probabilistic action systems and while-loops. Zbl 1161.68014
Meinicke, Larissa; Hayes, Ian J.
1
2008
Calculating modules in contextual logic program refinement. Zbl 1128.68015
Colvin, Robert; Hayes, Ian J.; Strooper, Paul
1
2008
Continuous action system refinement. Zbl 1235.68104
Meinicke, Larissa; Hayes, Ian J.
1
2006
Termination of real-time programs: definitely, definitely not, or maybe. Zbl 1186.68087
Hayes, Ian J.
1
2006
FM 2005: Formal methods. International symposium of formal methods Europe, Newcastle, UK, July 18–22, 2005. Proceedings. Zbl 1078.68005
Fitzgerald, John (ed.); Hayes, Ian J. (ed.); Tarlecki, Andrzej (ed.)
1
2005
Linear approximation of execution-time constraints. Zbl 1093.68025
Lermer, Karl; Fidge, Colin J.; Hayes, Ian J.
1
2003
Don’t care non-determinism in logic program refinement. Zbl 1268.68044
Hemer, David; Colvin, Robert; Hayes, Ian; Strooper, Paul
1
2002
A refinement calculus for logic programs. Zbl 1090.68532
Hayes, Ian; Colvin, Robert; Hemer, David; Strooper, Paul; Nickson, Ray
1
2002
Reasoning about real-time repetitions: Terminating and nonterminating. Zbl 1014.68036
Hayes, Ian
1
2002
A sequential real-time refinement calculus. Zbl 0970.68107
Hayes, Ian J.; Utting, Mark
4
2001
Using theory interpretation to mechanise the reals in a theorem prover. Zbl 0970.68146
Shield, J.; Hayes, I. J.; Carrington, D. A.
1
2001
Real-time specification and reasoning using maximal intervals. Zbl 0964.68090
Fidge, C. J.; Hayes, I. J.; Mahony, B. P.; Wabenhorst, A. K.
2
2000
A program refinement tool. Zbl 0910.68050
Carrington, D.; Hayes, I.; Nickson, R.; Watson, G.; Welsh, J.
7
1998
Separating timing and calculation in real-time refinement. Zbl 0924.68127
Hayes, Ian
2
1998
Supporting contexts in the sequential real-time refinement calculus. Zbl 0924.68141
Wildman, Luke; Hayes, Ian
1
1998
Data refining logic programs. Zbl 0924.68131
Colvin, Robert; Hayes, Ian; Strooper, Paul
1
1998
Supporting contexts in program refinement. Zbl 0881.68012
Nickson, Ray; Hayes, Ian
3
1997
A tool for logic program refinement (extended abstract). Zbl 0888.68082
Colvin, Robert; Hayes, Ian; Nickson, Ray; Strooper, Paul
1
1997
Specification by interface separation. Zbl 0835.68077
Hayes, I. J.; Sanders, J. W.
1
1995
Specification case studies. 2. ed. Zbl 0812.68039
Hayes, I. (ed.)
8
1993
Laws of programming. Zbl 0629.68006
Hoare, C. A. R.; Hayes, I. J.; He, Jifeng; Morgan, C. C.; Roscoe, A. W.; Sanders, J. W.; Sorensen, I. H.; Spivey, J. M.; Sufrin, B. A.
56
1987
Corrigendum to “Laws of programming”. Zbl 0653.68002
Hoare, C. A. R.; Hayes, I. J.; He, Jifeng; Morgan, C. C.; Roscoe, A. W.; Sanders, J. W.; Sorensen, I. H.; Spivey, J. M.; Sufrin, B. A.
2
1987
all top 5

Cited by 136 Authors

17 Hayes, Ian J.
9 Bergstra, Jan A.
9 Hoare, C. A. R. Tony
9 Ponse, Alban
8 Cavalcanti, Ana
8 Colvin, Robert J.
7 He, Jifeng
7 Zeyda, Frank
6 Woodcock, James C. P.
5 Guttmann, Walter
5 Meinicke, Larissa A.
5 Zhu, Huibiao
4 Foster, Simon
4 Qin, Shengchao
3 Dongol, Brijesh
3 Fidge, Colin J.
3 Morgan, Carroll C.
3 Sampaio, Augusto C. A.
3 Sanders, Jeff W.
3 van Staden, Stephan
2 Chaudhari, Dipak L.
2 Chen, Yifeng
2 Damani, Om P.
2 Demri, Stéphane P.
2 Fiadeiro, José Luiz
2 Guelev, Dimitar P.
2 Jones, Cliff B.
2 Legay, Axel
2 Lermer, Karl
2 Liu, Zhiming
2 Lopes, Antónia
2 Middelburg, Cornelis A.
2 Moszkowski, Ben C.
2 Oliveira, Marcel
2 Orłowska, Ewa S.
2 Rewitzky, Ingrid
2 Solin, Kim
2 Strooper, Paul A.
2 Struth, Georg
2 Wei, Kun
2 Winter, Kirsten
2 Xiang, Shuangqing
2 Xie, Wanling
2 Xu, Qiwen
2 Yatapanage, Nisansala
2 Zhao, Yongxin
1 Aceto, Luca
1 Areces, Carlos
1 Back, Ralph-Johan
1 Baeten, Jos C. M.
1 Bakulin, A. V.
1 Berghammer, Rudolf
1 Bezem, Marc
1 Borba, Paulo
1 Bowen, Jonathan P.
1 Brink, Chris
1 Brooke, Phillip J.
1 Burns, Alan D.
1 Cachera, David
1 Canham, Samuel
1 Carrington, David B.
1 Chen, Zhizhong
1 Cimini, Matteo
1 Cornélio, Márcio
1 de Carufel, Jean-Lou
1 Delahaye, Benoît
1 Desharnais, Jules
1 Dong, JinSong
1 Dunne, Steve E.
1 Fahrenberg, Uli
1 Ferrucci, Luca
1 Fu, Zheng
1 Gheyi, Rohit
1 Giacobazzi, Roberto
1 Gravell, Andrew M.
1 Gritzner, Thomas F.
1 Groote, Jan Friso
1 Hemer, David
1 Höfner, Peter
1 Hurd, Joe
1 Hussain, Akbar
1 Ingólfsdóttir, Anna
1 Jifeng, He
1 Kahl, Wolfram
1 Kessels, Joep L. W.
1 Lazić, Ranko
1 Leucker, Martin
1 Li, Xiaoshan
1 Liu, Yang
1 Loots, M. E.
1 Maddux, Roger D.
1 Mandrioli, Dino
1 Manolios, Panagiotis
1 McIver, Annabelle K.
1 Möller, Bernhard
1 Moore, J Strother
1 Morisset, Charles
1 Morzenti, Angelo
1 Mota, Alexandre C.
1 Mráz, František
...and 36 more Authors

Citations by Year