Edit Profile (opens in new tab) Foster, Simon Compute Distance To: Compute Author ID: foster.simon Published as: Foster, Simon Documents Indexed: 23 Publications since 1990 Co-Authors: 20 Co-Authors with 21 Joint Publications 209 Co-Co-Authors all top 5 Co-Authors 2 single-authored 13 Woodcock, James C. P. 6 Cavalcanti, Ana 5 Struth, Georg 5 Ye, Kangfeng 5 Zeyda, Frank 1 Armstrong, Alasdair 1 Barnes, Janet 1 Baxter, James 1 Canham, Samuel 1 Chapman, Rod 1 Freitas, Leo 1 Gleirscher, Mario 1 Huerta y Munive, Jonathan Julián 1 Kelly, Tim 1 Mota, Alexandre C. 1 Nemouchi, Yakoub 1 Santen, Thomas 1 Thiele, Bernhard 1 Weber, Tjark 1 Wei, Ran all top 5 Serials 1 Computers and Structures 1 Information Processing Letters 1 Theoretical Computer Science 1 Journal of Automated Reasoning 1 Formal Aspects of Computing 1 Journal of Logical and Algebraic Methods in Programming Fields 23 Computer science (68-XX) 2 Systems theory; control (93-XX) 1 Mathematical logic and foundations (03-XX) 1 Mechanics of deformable solids (74-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 16 Publications have been cited 67 times in 38 Documents Cited by ▼ Year ▼ Automated engineering of relational and algebraic methods in Isabelle/HOL (invited tutorial). Zbl 1329.68230Foster, Simon; Struth, Georg; Weber, Tjark 14 2011 Isabelle/UTP: a mechanised theory engineering framework. Zbl 1457.68061Foster, Simon; Zeyda, Frank; Woodcock, Jim 13 2015 Unifying theories of reactive design contracts. Zbl 1436.68195Foster, Simon; Cavalcanti, Ana; Canham, Samuel; Woodcock, Jim; Zeyda, Frank 7 2020 Unifying heterogeneous state-spaces with lenses. Zbl 1482.68089Foster, Simon; Zeyda, Frank; Woodcock, Jim 6 2016 Towards a UTP semantics for Modelica. Zbl 1483.68053Foster, Simon; Thiele, Bernhard; Cavalcanti, Ana; Woodcock, Jim 6 2017 Hybrid relations in Isabelle/UTP. Zbl 07168637Foster, Simon 4 2019 Unifying theories of time with generalised reactive processes. Zbl 1476.68143Foster, Simon; Cavalcanti, Ana; Woodcock, Jim; Zeyda, Frank 4 2018 Automated analysis of regular algebra. Zbl 1358.68254Foster, Simon; Struth, Georg 3 2012 Differential Hoare logics and refinement calculi for hybrid systems with Isabelle/HOL. Zbl 07578341Foster, Simon; Huerta Y. Munive, Jonathan Julián; Struth, Georg 3 2020 A two-dimensional mesh generator for generation about axes of symmetry, incorporating line element overlays. Zbl 0715.73065Foster, S. 2 1990 An axiomatic value model for Isabelle/UTP. Zbl 1483.68093Zeyda, Frank; Foster, Simon; Freitas, Leo 2 2017 Calculational verification of reactive programs with reactive relations and Kleene algebra. Zbl 06975211Foster, Simon; Ye, Kangfeng; Cavalcanti, Ana; Woodcock, Jim 1 2018 Probabilistic semantics for RoboChart. A weakest completion approach. Zbl 07168635Woodcock, Jim; Cavalcanti, Ana; Foster, Simon; Mota, Alexandre; Ye, Kangfeng 1 2019 On the fine-structure of regular algebra. Zbl 1331.68128Foster, Simon; Struth, Georg 1 2015 Unifying theories of programming in Isabelle. Zbl 1444.68049Foster, Simon; Woodcock, Jim 1 2013 Compositional assume-guarantee reasoning of control law diagrams using UTP. Zbl 1486.68045Ye, Kangfeng; Foster, Simon; Woodcock, Jim 1 2020 Unifying theories of reactive design contracts. Zbl 1436.68195Foster, Simon; Cavalcanti, Ana; Canham, Samuel; Woodcock, Jim; Zeyda, Frank 7 2020 Differential Hoare logics and refinement calculi for hybrid systems with Isabelle/HOL. Zbl 07578341Foster, Simon; Huerta Y. Munive, Jonathan Julián; Struth, Georg 3 2020 Compositional assume-guarantee reasoning of control law diagrams using UTP. Zbl 1486.68045Ye, Kangfeng; Foster, Simon; Woodcock, Jim 1 2020 Hybrid relations in Isabelle/UTP. Zbl 07168637Foster, Simon 4 2019 Probabilistic semantics for RoboChart. A weakest completion approach. Zbl 07168635Woodcock, Jim; Cavalcanti, Ana; Foster, Simon; Mota, Alexandre; Ye, Kangfeng 1 2019 Unifying theories of time with generalised reactive processes. Zbl 1476.68143Foster, Simon; Cavalcanti, Ana; Woodcock, Jim; Zeyda, Frank 4 2018 Calculational verification of reactive programs with reactive relations and Kleene algebra. Zbl 06975211Foster, Simon; Ye, Kangfeng; Cavalcanti, Ana; Woodcock, Jim 1 2018 Towards a UTP semantics for Modelica. Zbl 1483.68053Foster, Simon; Thiele, Bernhard; Cavalcanti, Ana; Woodcock, Jim 6 2017 An axiomatic value model for Isabelle/UTP. Zbl 1483.68093Zeyda, Frank; Foster, Simon; Freitas, Leo 2 2017 Unifying heterogeneous state-spaces with lenses. Zbl 1482.68089Foster, Simon; Zeyda, Frank; Woodcock, Jim 6 2016 Isabelle/UTP: a mechanised theory engineering framework. Zbl 1457.68061Foster, Simon; Zeyda, Frank; Woodcock, Jim 13 2015 On the fine-structure of regular algebra. Zbl 1331.68128Foster, Simon; Struth, Georg 1 2015 Unifying theories of programming in Isabelle. Zbl 1444.68049Foster, Simon; Woodcock, Jim 1 2013 Automated analysis of regular algebra. Zbl 1358.68254Foster, Simon; Struth, Georg 3 2012 Automated engineering of relational and algebraic methods in Isabelle/HOL (invited tutorial). Zbl 1329.68230Foster, Simon; Struth, Georg; Weber, Tjark 14 2011 A two-dimensional mesh generator for generation about axes of symmetry, incorporating line element overlays. Zbl 0715.73065Foster, S. 2 1990 all cited Publications top 5 cited Publications all top 5 Cited by 72 Authors 10 Foster, Simon 8 Woodcock, James C. P. 7 Cavalcanti, Ana 6 Struth, Georg 4 Berghammer, Rudolf 4 Zeyda, Frank 2 Armstrong, Alasdair 2 Guttmann, Walter 2 Höfner, Peter 2 Huerta y Munive, Jonathan Julián 2 Ribeiro, Pedro 2 Stucke, Insa 2 Talpin, Jean-Pierre 2 Winter, Michael 2 Ye, Kangfeng 1 Alabbad, Mohammed 1 Amálio, Nuno 1 Baxter, James 1 Bonsangue, Marcello Maria 1 Bowen, Jonathan P. 1 Boyer, Benoît 1 Butterfield, Andrew 1 Canham, Samuel 1 Colvin, Robert J. 1 Danilenko, Nikita 1 Dong, JinSong 1 Doumane, Amina 1 Freitas, Leo 1 Furusawa, Hitoshi 1 Gleirscher, Mario 1 Hayes, Ian J. 1 He, Jifeng 1 Heras, Jónathan 1 Hoare, C. A. R. Tony 1 Jones, Owain 1 Kastenbaum, Stéphane 1 Kelly, Tim 1 Khedri, Ridha 1 Kozen, Dexter C. 1 Laurence, Michael R. 1 Liu, Yang 1 Mancini, Toni 1 Mari, Federico 1 Martín-Mateos, Francisco-Jesús 1 Massini, Annalisa 1 Meinicke, Larissa A. 1 Melatti, Igor 1 Nemouchi, Yakoub 1 Pascual, Vico 1 Platzer, André 1 Pous, Damien 1 Qin, Shengchao 1 Rot, Jurriaan 1 Rutten, Jan J. M. M. 1 Schmidt, Gunther 1 Sheng, Feng 1 Shi, Ling 1 Silva, Alexandra 1 Sun, Jun 1 Tan, Yong Kiam 1 Thiele, Bernhard 1 Tronci, Enrico 1 van Staden, Stephan 1 Wang, Shuling 1 Weber, Tjark 1 Wei, Ran 1 Xu, Xiong 1 Yang, Zongyuan 1 Zhan, Bohua 1 Zhan, Naijun 1 Zhao, Yongxin 1 Zhu, Huibiao all top 5 Cited in 9 Serials 7 Journal of Logical and Algebraic Methods in Programming 6 Formal Aspects of Computing 3 Theoretical Computer Science 1 Discrete Mathematics 1 Information Processing Letters 1 Information and Computation 1 Journal of Automated Reasoning 1 Applicable Algebra in Engineering, Communication and Computing 1 The Journal of Logic and Algebraic Programming all top 5 Cited in 7 Fields 37 Computer science (68-XX) 6 Mathematical logic and foundations (03-XX) 2 Combinatorics (05-XX) 2 Systems theory; control (93-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Category theory; homological algebra (18-XX) 1 General topology (54-XX) Citations by Year