Concepedia

Simon Foster

SF

Statistics

Publications

10

Citations

231

H-Index

10

Active since

2012

Affiliations

University of York(Current)

Loughborough University

Intelligent Energy (United Kingdom)

Simon Foster is an author at University of York specializing in engineering, automated reasoning, and systems engineering.

ORCID

Top concepts

Publications per year

2012–2021

10

Publications

10

Unifying semantic foundations for automated verification tools in Isabelle/UTP

Simon Foster, James Baxter, Ana Cavalcanti et al. · Science of Computer Programming · 2020 · 37 citations · Full text

, , +10

Unifying theories of reactive design contracts

Simon Foster, Ana Cavalcanti, Samuel James Canham et al. · Theoretical Computer Science · 2019 · 34 citations · Full text

, , +9

COMPASS tool vision for a system of systems Collaborative Development Environment

Joey W. Coleman, Anders Kaels Malmos, Peter Gorm Larsen et al. · 2012 · 30 citations

, , +22

Integration of Formal Proof into Unified Assurance Cases with Isabelle/SACM

Simon Foster, Yakoub Nemouchi, Mario Gleirscher et al. · Formal Aspects of Computing · 2021 · 26 citations · Full text

Probabilistic modelling and verification using RoboChart and PRISM

Kangfeng Ye, Ana Cavalcanti, Simon Foster et al. · Software & Systems Modeling · 2021 · 26 citations · Full text

, , +19

1–5 of 10