Simon Foster

Citée par

	Toutes	Depuis 2020
Citations	1167	718
indice h	21	17
indice i10	36	24

220

110

165

2005200620072008200920102011201220132014201520162017201820192020202120222023202420253 5 8 9 3 2 11 18 18 32 38 47 58 75 108 120 136 76 154 213 18

Accès public

Tout afficher

39 articles

1 article

disponibles

non disponibles

Sur la base des exigences liées au financement

Coauteurs

Jim WoodcockProfessor of Software Engineering, University of YorkAdresse e-mail validée de york.ac.uk
Ana CavalcantiUniversity of YorkAdresse e-mail validée de cs.york.ac.uk
Georg StruthUniversity of SheffieldAdresse e-mail validée de sheffield.ac.uk
Mario GleirscherIndependent ResearcherAdresse e-mail validée de tum.de
Kangfeng YeResearch Associate in Computer Science, University of YorkAdresse e-mail validée de york.ac.uk
Yakoub NemouchiNRELAdresse e-mail validée de nrel.gov
Peter Gorm LarsenAarhus UniversityAdresse e-mail validée de ece.au.dk
Alvaro MiyazawaResearch Associate, University of YorkAdresse e-mail validée de york.ac.uk
Jonathan Julian Huerta y MuniveCzech Technical UniversityAdresse e-mail validée de cvut.cz
James BaxterUniversity of YorkAdresse e-mail validée de york.ac.uk
Tim KellyProfessor of High Integrity SystemsAdresse e-mail validée de york.ac.uk
Ibrahim HabliProfessor of Safety-Critical Systems at the University of YorkAdresse e-mail validée de york.ac.uk
Christian Pardillo LaursenPhD Computer Science student, University of YorkAdresse e-mail validée de york.ac.uk
John S. FitzgeraldNewcastle University, UKAdresse e-mail validée de ncl.ac.uk
Richard PayneSenior Software Engineer, Asset55Adresse e-mail validée de assetfiftyfive.com
Barry NortonVP Research, Milestone SystemsAdresse e-mail validée de milestone.dk
Burkhart WolffProfessor für Informatik, Universität Paris-SudAdresse e-mail validée de lri.fr
Pedro RibeiroLecturer at the Department of Computer Science, University of YorkAdresse e-mail validée de york.ac.uk
Colin O'HalloranTechnical Director - D-RisQAdresse e-mail validée de drisq.com
Chung-Kil HurSeoul National UniversityAdresse e-mail validée de sf.snu.ac.kr

Suivre

Simon Foster

Lecturer in Computer Science, University of York

Adresse e-mail validée de york.ac.uk - Page d'accueil

Computer Science


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
Isabelle/UTP: A mechanised theory engineering framework S Foster, F Zeyda, J Woodcock International Symposium on Unifying Theories of Programming, 21-41, 2014	80	2014
New opportunities for integrated formal methods M Gleirscher, S Foster, J Woodcock ACM Computing Surveys (CSUR) 52 (6), 117, 2019	67	2019
Unifying heterogeneous state-spaces with lenses S Foster, F Zeyda, J Woodcock International Colloquium on Theoretical Aspects of Computing, 295-314, 2016	49	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	47	2020
Unifying theories of reactive design contracts S Foster, A Cavalcanti, S Canham, J Woodcock, F Zeyda Theoretical Computer Science, 2019	43	2019
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	42	2020
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	41	2016
Integration of formal proof into unified assurance cases with Isabelle/SACM S Foster, Y Nemouchi, M Gleirscher, R Wei, T Kelly Formal Aspects of Computing 33 (6), 855-884, 2021	37	2021
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	37*	2011
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
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	35	2016
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	33	2018
Probabilistic modelling and verification using RoboChart and PRISM K Ye, A Cavalcanti, S Foster, A Miyazawa, J Woodcock Software and Systems Modeling, 1-50, 2021	27	2021
Integrating an automated theorem prover into Agda S Foster, G Struth NASA Formal Methods, 116-130, 2011	26	2011
Hybrid Systems Verification with Isabelle/HOL: Simpler Syntax, Better Models, Faster Proofs S Foster, JJ Huerta y Munive, M Gleirscher, G Struth International Symposium on Formal Methods, 367-386, 2021	25	2021
Formally Verified Simulations of State-Rich Processes using Interaction Trees in Isabelle/HOL S Foster, CK Hur, J Woodcock arXiv preprint arXiv:2105.05133, 2021	24	2021
Hybrid Relations in Isabelle/UTP S Foster International Symposium on Unifying Theories of Programming, 130-153, 2019	24	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	24	2019
Isabelle/SACM: Computer-Assisted Assurance Cases with Integrated Formal Methods Y Nemouchi, S Foster, M Gleirscher, T Kelly	22*

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–20

Nombre de citations par an

Citations en double

Citations fusionnées

Ajouter les coauteursCoauteurs

Suivre

Citée par

Coauteurs