Simon Foster

University of York

论文数

14

总引用数

164

H-Index

7

关于

暂无简介。

研究焦点

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

主要成就

7
H 指数
14
论文
164
总引用数
12
篇均引用
🏆 最高被引论文
Automating Verification of State Machines with Reactive Designs and Isabelle/UTP
27 次引用 · 2018
📈 最高产年份: 2019 (3 论文)
🤝 主要合作者: 23
🏛 所属机构: University of York

代表论文

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

主要合作者

JWJim Woodcock8 篇合著论文KYKangfeng Ye5 篇合著论文ACAna Cavalcanti4 篇合著论文IHIbrahim Habli3 篇合著论文RWRan Wei3 篇合著论文YFYan Fang2 篇合著论文HMHaitao Mei2 篇合著论文YNYakoub Nemouchi2 篇合著论文MGMario Gleirscher2 篇合著论文TKTim Kelly2 篇合著论文AMAlvaro Miyazawa2 篇合著论文ABAndrew Butterfield1 篇合著论文NTNick Tudor1 篇合著论文JBJames Baxter1 篇合著论文YZYan Zhuang1 篇合著论文LALouise A. Dennis1 篇合著论文AMAlexandre Mota1 篇合著论文TWThomas Wright1 篇合著论文RYRuizhe Yang1 篇合著论文ZJZhe Jiang1 篇合著论文
尚未生成