Simon Foster

University of York

Papers

14

Total Citations

164

H-Index

7

About

No biography available yet.

Research Focus

Computer science14 · 164 citations
Programming language12 · 146 citations
Theoretical computer science7 · 92 citations
Artificial intelligence5 · 76 citations
Semantics (computer science)6 · 66 citations
Operational semantics6 · 66 citations
State (computer science)4 · 65 citations
Engineering4 · 62 citations
Formal verification5 · 61 citations
Software engineering5 · 57 citations
Domain (mathematical analysis)2 · 53 citations
Denotational semantics4 · 47 citations

Key Achievements

7
H-Index
14
Papers
164
Total Citations
12
Avg Citations/Paper
🏆 Most Cited Paper
Automating Verification of State Machines with Reactive Designs and Isabelle/UTP
27 citations · 2018
📈 Most Prolific Year: 2019 (3 Papers)
🤝 Key Collaborators: 23
🏛 Institutions: University of York

Top Papers

  1. 1
    Automating Verification of State Machines with Reactive Designs and Isabelle/UTP
    27 citations · 2018
  2. 2
    Probabilistic modelling and verification using RoboChart and PRISM
    26 citations · 2021
  3. 3
    New Opportunities for Integrated Formal Methods
    24 citations · 2019
  4. 4
    Evolution of Formal Model-Based Assurance Cases for Autonomous Robots
    20 citations · 2019
  5. 5
    Probabilistic Semantics for RoboChart
    12 citations · 2019
  6. 6
    ACCESS: Assurance Case Centric Engineering of Safety–critical Systems
    10 citations · 2024
  7. 7
    Automated Model-Based Assurance Case Management Using Constrained Natural Language
    8 citations · 2023
  8. 8
    Heterogeneous Semantics and Unifying Theories
    7 citations · 2016
  9. 9
    Automated verification of reactive and concurrent programs by calculation
    7 citations · 2021
  10. 10
    Formally Verified Animation for RoboChart Using Interaction Trees
    7 citations · 2022

Key Collaborators

JWJim Woodcock8 shared papersKYKangfeng Ye5 shared papersACAna Cavalcanti4 shared papersIHIbrahim Habli3 shared papersRWRan Wei3 shared papersYFYan Fang2 shared papersHMHaitao Mei2 shared papersYNYakoub Nemouchi2 shared papersMGMario Gleirscher2 shared papersTKTim Kelly2 shared papersAMAlvaro Miyazawa2 shared papersABAndrew Butterfield1 shared papersNTNick Tudor1 shared papersJBJames Baxter1 shared papersYZYan Zhuang1 shared papersLALouise A. Dennis1 shared papersAMAlexandre Mota1 shared papersTWThomas Wright1 shared papersRYRuizhe Yang1 shared papersZJZhe Jiang1 shared papers
Not generated yet