Jim Woodcock

University of York, Southwest University

论文数

22

总引用数

280

H-Index

7

关于

暂无简介。

研究焦点

Computer science22 · 280 次引用
Programming language18 · 252 次引用
Artificial intelligence16 · 248 次引用
Robot11 · 201 次引用
Semantics (computer science)11 · 183 次引用
Software engineering6 · 150 次引用
Domain (mathematical analysis)4 · 146 次引用
Model checking2 · 139 次引用
Process (computing)3 · 122 次引用
Formal semantics (linguistics)2 · 122 次引用
Software4 · 122 次引用
Consistency (knowledge bases)2 · 120 次引用

主要成就

7
H 指数
22
论文
280
总引用数
13
篇均引用
🏆 最高被引论文
RoboChart: modelling and verification of the functional behaviour of robotic applications
113 次引用 · 2019
📈 最高产年份: 2023 (6 论文)
🤝 主要合作者: 35
🏛 所属机构: University of York, Southwest University

代表论文

  1. 1
    RoboChart: modelling and verification of the functional behaviour of robotic applications
    113 次引用 · 2019
  2. 2
    Probabilistic modelling and verification using RoboChart and PRISM
    26 次引用 · 2021
  3. 3
    New Opportunities for Integrated Formal Methods
    24 次引用 · 2019
  4. 4
    From Formalised State Machines to Implementations of Robotic Controllers
    14 次引用 · 2018
  5. 5
    A layered behavioural model of platelets
    13 次引用 · 2006
  6. 6
    Probabilistic Semantics for RoboChart
    12 次引用 · 2019
  7. 7
    Analysing RoboChart with Probabilities
    9 次引用 · 2018
  8. 8
    How do we engineer trustworthy digital twins?
    7 次引用 · 2023
  9. 9
    Heterogeneous Semantics and Unifying Theories
    7 次引用 · 2016
  10. 10
    <scp>RiskStructures</scp> : A design algebra for risk-aware machines
    7 次引用 · 2021

主要合作者

ACAna Cavalcanti10 篇合著论文SFSimon Foster8 篇合著论文KYKangfeng Ye7 篇合著论文AMAlvaro Miyazawa5 篇合著论文PRPedro Ribeiro3 篇合著论文JTJon Timmis3 篇合著论文AMAlexandre Mota2 篇合著论文MGMario Gleirscher2 篇合著论文MCMadiel Conserva Filho1 篇合著论文ABAlan Burns1 篇合著论文SZShuai Zhao1 篇合著论文ABAndrew Butterfield1 篇合著论文KAKieran Alden1 篇合著论文MAMustafa Adam1 篇合著论文RFRhoger Fellipe Marinho1 篇合著论文SSSteve Schneider1 篇合著论文AWAndy Wellings1 篇合著论文WLWei Li1 篇合著论文JFJohn Fitzgerald1 篇合著论文NPNicola Paoletti1 篇合著论文
尚未生成