Scholar
Jim Woodcock
Google Scholar ID: bO-FeTIAAAAJ
Professor of Software Engineering, University of York
Software Engineering
Formal Methods
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
2,837
H-index
19
i10-index
49
Publications
20
Co-authors
37
list available
Publications
8 items
Contract-Aware Rescue of a Drifted Isabelle Development: The Double-Tank Case Study
2026
Cited
0
CAPRI: Contract-Aware Proof Repair for Isabelle
2026
Cited
0
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
Formal-Method-Guided Vibe Coding: Closing the Verification Loop on AI-Generated Safety-Critical Software Through Model-Driven Engineering
Cited
0
Co-authors
9 total
Ana Cavalcanti
University of York
Peter Gorm Larsen
Aarhus University
John S. Fitzgerald
Newcastle University, UK
Simon Foster
Senior Lecturer in Computer Science, University of York
Jim Davies
University of Oxford
Augusto Cesar Alves Sampaio
UFPE - Universidade Federal de Pernambuco
Leo Freitas
Senior Lecturer in Formal Methods and Tools, School of Computing Science, Newcastle University, UK
Susan Stepney
Professor Emerita, Computer Science, University of York
