Simon Foster

Cytowane przez

	Wszystkie	Od 2020
Cytowania	1143	693
h-indeks	21	16
i10-indeks	36	24

220

110

165

2005200620072008200920102011201220132014201520162017201820192020202120222023202420253 5 7 9 3 2 12 19 19 32 38 48 57 71 112 120 141 63 141 205 19

Dostęp publiczny

Wyświetl wszystko

37 artykułów

0 artykułów

dostępne

niedostępne

Objęte finansowaniem

Współautorzy

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

Obserwuj

Simon Foster

Lecturer in Computer Science, University of York

Zweryfikowany adres z york.ac.uk - Strona główna

Computer Science


Tytuł Sortuj wg cytatów Sortuj wg roku Sortuj wg tytułu	Cytowane przez Cytowane przez	Rok
Isabelle/UTP: A mechanised theory engineering framework S Foster, F Zeyda, J Woodcock International Symposium on Unifying Theories of Programming, 21-41, 2014	78	2014
New opportunities for integrated formal methods M Gleirscher, S Foster, J Woodcock ACM Computing Surveys (CSUR) 52 (6), 117, 2019	65	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	44	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	40	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	40	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	39	2021
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	38	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	38*	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	36	2005
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	35	2018
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
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	26	2021
Integrating an automated theorem prover into Agda S Foster, G Struth NASA Formal Methods, 116-130, 2011	26	2011
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	24	2021
Hybrid Relations in Isabelle/UTP S Foster International Symposium on Unifying Theories of Programming, 130-153, 2019	24	2019
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	23	2021
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	23	2019
Formalising Cosimulation Models F Zeyda, J Ouy, S Foster, A Cavalcanti International Conference on Software Engineering and Formal Methods, 453-468, 2017	21	2017

Nie można teraz wykonać tej operacji. Spróbuj ponownie później.

Prace 1–20

Cytowania rocznie

Powielone cytowania

Scalone cytowania

Dodaj współautorówWspółautorzy

Obserwuj

Cytowane przez

Współautorzy