Concepedia

Jim Woodcock

JW

Statistics

Publications

62

Citations

2.3K

H-Index

30

Active since

1989

Affiliations

University of York(Current)

University of Oxford

University of Kent

Trinity College Dublin

Universidade Federal de Pernambuco

Jim Woodcock is an author at University of York specializing in computer science, computing, and formal methods.

Publications per year

1989–2023

62

Publications

62

A UTP semantics for <i>Circus</i>

Marcel Oliveira, Ana Cavalcanti, Jim Woodcock · Formal Aspects of Computing · 2007 · 121 citations · Full text

Computing, Computer Science, Programming Languages +3

A Refinement Strategy for <i>Circus</i>

Ana Cavalcanti, Augusto Sampaio, Jim Woodcock · Formal Aspects of Computing · 2003 · 115 citations · Full text

Social Sciences, Strategy, Game Theory +4

RoboChart: modelling and verification of the functional behaviour of robotic applications

Alvaro Miyazawa, Pedro Ribeiro, Wei Li et al. · Software & Systems Modeling · 2019 · 113 citations · Full text

Computing, Computer Science, Robotics Engineering +17

Integrated tool chain for model-based design of Cyber-Physical Systems: The INTO-CPS project

Peter Gorm Larsen, John Fitzgerald, Jim Woodcock et al. · 2016 · 108 citations · Full text

Engineering, Systems Engineering, Cyber-physical Systems +16

An Electronic Purse: Specification, Refinement and Proof

Susan Stepney, David Cooper, Jim Woodcock · Kent Academic Repository (University of Kent) · 2000 · 107 citations · Full text

Computing, Computer Science, Information Technology +9

1–5 of 62