Simon Foster

Cited by

	All	Since 2018
Citations	917	655
h-index	18	15
i10-index	33	23

140

105

20052006200720082009201020112012201320142015201620172018201920202021202220233 5 8 9 3 2 11 19 18 31 39 49 57 73 110 116 130 86 136

Public access

View all

32 articles

1 article

available

not available

Based on funding mandates

Co-authors

Jim WoodcockProfessor of Software Engineering, University of YorkVerified email at york.ac.uk
Ana CavalcantiUniversity of YorkVerified email at cs.york.ac.uk
Georg StruthUniversity of SheffieldVerified email at sheffield.ac.uk
Mario GleirscherPostdoctoral Researcher, University of BremenVerified email at uni-bremen.de
Peter Gorm LarsenAarhus UniversityVerified email at ece.au.dk
Alvaro MiyazawaResearch Associate, University of YorkVerified email at york.ac.uk
James BaxterUniversity of YorkVerified email at york.ac.uk
Tim KellyProfessor of High Integrity SystemsVerified email at york.ac.uk
Jonathan Julian Huerta y MuniveAdjunct at University of AalborgVerified email at cs.aau.dk
John S. FitzgeraldNewcastle University, UKVerified email at ncl.ac.uk
Ibrahim HabliProfessor of Safety-Critical Systems at the University of YorkVerified email at york.ac.uk
Richard PayneSenior Software Engineer, Asset55Verified email at assetfiftyfive.com
Barry NortonVP Research, Milestone SystemsVerified email at milestone.dk
Burkhart WolffProfessor für Informatik, Universität Paris-SudVerified email at lri.fr
Pedro RibeiroResearch Fellow at School of Physics, Engineering and Technology, University of YorkVerified email at york.ac.uk
Carl GambleResearch Associate, Newcastle UniversityVerified email at newcastle.ac.uk
Joey W. ColemanIndependent/Kira Fellow, Kira SystemsVerified email at acm.org
André LR DidierUniversidade Federal de PernambucoVerified email at cin.ufpe.br
Zoe AndrewsNewcastle UniversityVerified email at ncl.ac.uk
Cristiano BertoliniResearcher, Federal University of PernambucoVerified email at cin.ufpe.br

Simon Foster

Lecturer in Computer Science, University of York

Verified email at york.ac.uk - Homepage

Computer Science


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Isabelle/UTP: A mechanised theory engineering framework S Foster, F Zeyda, J Woodcock International Symposium on Unifying Theories of Programming, 21-41, 2014	79	2014
New opportunities for integrated formal methods M Gleirscher, S Foster, J Woodcock ACM Computing Surveys (CSUR) 52 (6), 117, 2019	45	2019
Unifying heterogeneous state-spaces with lenses S Foster, F Zeyda, J Woodcock International Colloquium on Theoretical Aspects of Computing, 295-314, 2016	43	2016
Towards semantically integrated models and tools for cyber-physical systems design PG Larsen, J Fitzgerald, J Woodcock, R Nilsson, C Gamble, S Foster International Symposium on Leveraging Applications of Formal Methods, 171-186, 2016	40	2016
Unifying theories of reactive design contracts S Foster, A Cavalcanti, S Canham, J Woodcock, F Zeyda Theoretical Computer Science, 2019	37	2019
A compositional operational semantics for OWL-S B Norton, S Foster, A Hughes Formal Techniques for Computer Systems and Business Processes, 303-317, 2005	37	2005
COMPASS tool vision for a system of systems collaborative development environment JW Coleman, AK Malmos, PG Larsen, J Peleska, R Hains, Z Andrews, ... System of Systems Engineering (SoSE), 2012 7th International Conference on …, 2012	36	2012
Automated engineering of relational and algebraic methods in Isabelle/HOL S Foster, G Struth, T Weber Relational and Algebraic Methods in Computer Science, 52-67, 2011	36*	2011
Towards a UTP semantics for Modelica SD Foster, B Thiele, ALC Cavalcanti, J Woodcock 6th International Symposium on Unifying Theories of Programming:, 1-20, 2016	34	2016
Unifying semantic foundations for automated verification tools in Isabelle/UTP S Foster, J Baxter, A Cavalcanti, J Woodcock, F Zeyda Science of Computer Programming, 102510, 2020	30	2020
Automating Verification of State Machines with Reactive Designs and Isabelle/UTP S Foster, J Baxter, A Cavalcanti, A Miyazawa, J Woodcock International Conference on Formal Aspects of Component Software, 137-155, 2018	28	2018
Differential Hoare Logics and Refinement Calculi for Hybrid Systems with Isabelle/HOL S Foster, JJH y Munive, G Struth International Conference on Relational and Algebraic Methods in Computer …, 2020	27	2020
Integrating an automated theorem prover into Agda S Foster, G Struth NASA Formal Methods, 116-130, 2011	25	2011
Formalising Cosimulation Models F Zeyda, J Ouy, S Foster, A Cavalcanti International Conference on Software Engineering and Formal Methods, 453-468, 2017	19	2017
Hybrid Relations in Isabelle/UTP S Foster International Symposium on Unifying Theories of Programming, 130-153, 2019	18	2019
Evolution of Formal Model-Based Assurance Cases for Autonomous Robots M Gleirscher, S Foster, Y Nemouchi International Conference on Software Engineering and Formal Methods, 87-104, 2019	18	2019
Unifying Theories of Time with Generalised Reactive Processes S Foster, A Cavalcanti, J Woodcock, F Zeyda Information Processing Letters 135, 2017	18	2017
Unifying Theories of Programming in Isabelle S Foster, J Woodcock Unifying Theories of Programming and Formal Engineering Methods, 109-155, 2013	18	2013
Model-based engineering for systems of systems: the compass manifesto J Fitzgerald, S Foster, C Ingram, PG Larsen, J Woodcock Technical Report Manifesto Version 1.0, COMPASS Interest Group, 2013	16	2013
Isabelle/SACM: Computer-Assisted Assurance Cases with Integrated Formal Methods Y Nemouchi, S Foster, M Gleirscher, T Kelly	16*

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors