Jim Woodcock

University of York, Southwest University

Papers

22

Total Citations

280

H-Index

7

About

No biography available yet.

Research Focus

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

Key Achievements

7
H-Index
22
Papers
280
Total Citations
13
Avg Citations/Paper
🏆 Most Cited Paper
RoboChart: modelling and verification of the functional behaviour of robotic applications
113 citations · 2019
📈 Most Prolific Year: 2023 (6 Papers)
🤝 Key Collaborators: 35
🏛 Institutions: University of York, Southwest University

Top Papers

  1. 1
    RoboChart: modelling and verification of the functional behaviour of robotic applications
    113 citations · 2019
  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
    From Formalised State Machines to Implementations of Robotic Controllers
    14 citations · 2018
  5. 5
    A layered behavioural model of platelets
    13 citations · 2006
  6. 6
    Probabilistic Semantics for RoboChart
    12 citations · 2019
  7. 7
    Analysing RoboChart with Probabilities
    9 citations · 2018
  8. 8
    How do we engineer trustworthy digital twins?
    7 citations · 2023
  9. 9
    Heterogeneous Semantics and Unifying Theories
    7 citations · 2016
  10. 10
    <scp>RiskStructures</scp> : A design algebra for risk-aware machines
    7 citations · 2021

Key Collaborators

ACAna Cavalcanti10 shared papersSFSimon Foster8 shared papersKYKangfeng Ye7 shared papersAMAlvaro Miyazawa5 shared papersPRPedro Ribeiro3 shared papersJTJon Timmis3 shared papersAMAlexandre Mota2 shared papersMGMario Gleirscher2 shared papersMCMadiel Conserva Filho1 shared papersABAlan Burns1 shared papersSZShuai Zhao1 shared papersABAndrew Butterfield1 shared papersKAKieran Alden1 shared papersMAMustafa Adam1 shared papersRFRhoger Fellipe Marinho1 shared papersSSSteve Schneider1 shared papersAWAndy Wellings1 shared papersWLWei Li1 shared papersJFJohn Fitzgerald1 shared papersNPNicola Paoletti1 shared papers
Not generated yet