Jim Woodcock
Scholar

Jim Woodcock

Google Scholar ID: bO-FeTIAAAAJ
Professor of Software Engineering, University of York
Software EngineeringFormal Methods
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
2,837
 
H-index
19
 
i10-index
49
 
Publications
20
 
Co-authors
37
list available
Contact
No contact links provided.
Publications
5 items
A Forward Simulation-Based Hierarchy of Linearizable Concurrent Objects
2026
Cited
0
Formal Analysis of the Sigmoid Function and Formal Proof of the Universal Approximation Theorem
2025
Cited
0
Formal Verification of Physical Layer Security Protocols for Next-Generation Communication Networks
2025
Cited
0
Probabilistic modelling and safety assurance of an agriculture robot providing light-treatment
2025
Cited
0
Software Engineering for Self-Adaptive Robotics: A Research Agenda
2025
Cited
0
Resume (English only)
Co-authors
37 total
Ana Cavalcanti
Ana Cavalcanti
University of York
Peter Gorm Larsen
Peter Gorm Larsen
Aarhus University
John S. Fitzgerald
John S. Fitzgerald
Newcastle University, UK
Simon Foster
Simon Foster
Senior Lecturer in Computer Science, University of York
Jim Davies
Jim Davies
University of Oxford
Augusto Cesar Alves Sampaio
Augusto Cesar Alves Sampaio
UFPE - Universidade Federal de Pernambuco
Co-author 7
Co-author 7
Leo Freitas
Leo Freitas
Senior Lecturer in Formal Methods and Tools, School of Computing Science, Newcastle University, UK