Jim Woodcock

Q: What Schools Are Affiliated With Jim Woodcock

Jim Woodcock is affiliated with the following schools: University of Kent, University of Liverpool, University of York, University of Oxford, Southwest University, University of Manchester

Jim Woodcock's AcademicInfluence.com Rankings

Jim Woodcock

Computer Science

#1687

World Rank

#1748

Historical Rank

Database

#5011

World Rank

#5205

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Jim Woodcock's Degrees

PhD Computer Science University of Manchester
Bachelors Mathematics University of Manchester

Similar Degrees You Can Earn

Why Is Jim Woodcock Influential?

(Suggest an Edit or Addition)

According to Wikipedia, James Charles Paul Woodcock is a British computer scientist. Woodcock gained his PhD from the University of Liverpool. Until 2001 he was Professor of Software Engineering at the Oxford University Computing Laboratory, where he was also a Fellow of Kellogg College. He then joined the University of Kent and is now based at the University of York, where, since October 2012, he has been head of the Department of Computer Science.

(See a Problem?)

Jim Woodcock's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Using Z - specification, refinement, and proof (1996) (1190)
Formal methods: Practice and experience (2009) (671)
The Semantics of Circus (2002) (240)
Systems of Systems Engineering (2015) (222)
Non-interference through Determinism (1994) (182)
A UTP semantics for Circus (2009) (145)
An Electronic Purse: Specification, Refinement and Proof (2000) (141)
A Refinement Strategy for Circus (2003) (137)
Verified software: a grand challenge (2006) (119)
Refinement of State-Based Concurrent Systems (1990) (118)
A Concurrent Language for Refinement (2001) (115)
FME '93: Industrial-Strength Formal Methods (1993) (108)
A Tutorial Introduction to CSP in Unifying Theories of Programming (2004) (102)
First Steps in the Verified Software Grand Challenge (2006) (93)
Integrated tool chain for model-based design of Cyber-Physical Systems: The INTO-CPS project (2016) (90)
Software engineering mathematics (1988) (86)
Features of CML: A formal modelling language for Systems of Systems (2012) (82)
Software engineering mathematics : formal methods demystified (1988) (82)
FME'96: Industrial Benefit and Advances in Formal Methods (1996) (79)
More Powerful Z Data Refinement: Pushing the State of the Art in Industrial Refinement (1998) (73)
Refinement in Circus (2002) (69)
Isabelle/UTP: A Mechanised Theory Engineering Framework (2014) (66)
Unifying theories in ProofPower-Z (2006) (64)
A Tutorial Introduction to Designs in Unifying Theories of Programming (2004) (62)
Systems of Systems Engineering: Basic Concepts, Model-Based Techniques, and Research Directions (2015) (62)
On the Refinement and Simulation of Data Types and Processes (1999) (60)
RoboChart: modelling and verification of the functional behaviour of robotic applications (2019) (59)
Cyber-Physical Systems Design: Formal Foundations, Methods and Integrated Tool Chains (2015) (58)
Unifying classes and processes (2005) (58)
The verified software repository: a step towards the verifying compiler (2006) (55)
ZRC – A Refinement Calculus for Z (1998) (54)
Theoretical Aspects of Computing - ICTAC 2007, 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings (2007) (52)
POSIX file store in Z/Eves: an experiment in the verified software repository (2007) (50)
The certification of the Mondex electronic purse to ITSEC Level E6 (2007) (50)
The Verification Grand Challenge (2007) (42)
Using VDM with Rely and Guarantee-Conditions - Experiences from a Real Project (1988) (41)
ArcAngel: a Tactic Language for Refinement (2003) (40)
A Theory of Pointers for the UTP (2008) (40)
A Denotational Semantics for Circus (2007) (39)
Formal Methods and Hybrid Real-Time Systems, Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays, Papers presented at a Symposium held in Macao, China, September 24-25, 2007 (2007) (39)
Unifying Heterogeneous State-Spaces with Lenses (2016) (37)
A Weakest Precondition Semantics for Z (1998) (37)
Industrial Practice in Formal Methods: A Review (2009) (37)
Mechanising Mondex with Z/Eves (2007) (36)
Mechanising a formal model of flash memory (2009) (36)
Formalising Flash Memory: First Steps (2007) (36)
Refinement of actions in Circus (2002) (33)
Circus Time with Reactive Designs (2012) (32)
A tactic calculus — abridged version (1996) (32)
Foundations for Model-Based Engineering of Systems of Systems (2013) (31)
POSIX and the Verification Grand Challenge: A Roadmap (2008) (30)
The steam boiler in a unified theory of Z and CSP (2001) (28)
New Opportunities for Integrated Formal Methods (2018) (27)
Towards Semantically Integrated Models and Tools for Cyber-Physical Systems Design (2016) (27)
Safety-critical Java programs from Circus models (2013) (27)
Operational Semantics for Model Checking Circus (2005) (27)
The Safety-Critical Java Memory Model: A Formal Account (2011) (27)
Theoretical Aspects of Computing - ICTAC 2010, 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings (2010) (26)
The Miracle of Reactive Programming (2008) (26)
Refinement Techniques in Software Engineering, First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures (2006) (26)
Towards a UTP Semantics for Modelica (2016) (25)
Slotted-circus: a UTP-family of reactive theories (2007) (25)
Derivation of Z refinement proof rules: Forwards and backwards rules incorporating input/output refi (2002) (25)
Unifying Theories of Reactive Design Contracts (2017) (25)
Angelic nondeterminism in the unifying theories of programming (2006) (25)
Properties of Z specifications (1989) (24)
Safety-critical Java in Circus (2011) (24)
A layered behavioural model of platelets (2006) (22)
Automating Verification of State Machines with Reactive Designs and Isabelle/UTP (2018) (22)
Testing Techniques in Software Engineering, Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures (2010) (22)
Engineering UToPiA - Formal Semantics for CML (2014) (22)
Towards a Methodology for Software Preservation (2009) (22)
Features of Integrated Model-Based Co-modelling and Co-simulation Technology (2017) (22)
An Inconsistency in Procedures, Parameters, and Substitution in the Refinement Calculus (1999) (21)
The Safety-Critical Java memory model formalised (2012) (21)
Learning safe neural network controllers with barrier certificates (2020) (19)
Refining Industrial Scale Systems in Circus (2004) (19)
Mathematics as a Management Tool: Proof Rules for Promotion (1990) (19)
A Comparison of State-Based Modelling Tools for Model Validation (2008) (18)
Unifying Semantic Foundations for Automated Verification Tools in Isabelle/UTP (2019) (17)
Unifying Theories of Programming in Isabelle (2013) (17)
The Rudiments of Algorithm Refinement (1992) (17)
Z/Eves and the Mondex Electronic Purse (2006) (16)
A Refinement Based Strategy for Local Deadlock Analysis of Networks of CSP Processes (2014) (16)
prialt in Handel-C: an operational semantics (2005) (16)
Unifying Theories of Interrupts (2008) (15)
UTP Semantics for Handel-C (2008) (15)
Mechanising a Unifying Theory (2006) (15)
Travelling Processes (2004) (15)
Semantics of Prialt in Handel-C (2002) (15)
Behavioural Models for FMI Co-simulations (2016) (15)
Towards mobile processes in unifying theories (2004) (15)
Semantic domains for Handel-C (2003) (15)
Theories of Programming and Formal Methods (2013) (15)
Derivation of Refinement Proof Rules for Z: forwards and backwards rules incorporating input/output refinement (2000) (15)
Verifying the CICS File Control API with Z/Eves: An Experiment in the Verified Software Repository (2007) (15)
Industrial Deployment of Formal Methods: Trends and Challenges (2013) (14)
FM’99 — Formal Methods (1999) (14)
Structuring specifications in Z (1989) (14)
Angelic Nondeterminism and Unifying Theories of Programming (2005) (14)
Unifying Theories of Parallel Programming (2002) (14)
Adapting FreeRTOS for multicores: an experience report (2014) (14)
A Simpler Semantics for Z (1990) (13)
State Visibility and Communication in Unifying Theories of Programming (2009) (13)
The Tokeneer Experiments (2010) (13)
Implementing Promoted Operations in Z (1992) (13)
Simulink Timed Models for Program Verification (2013) (13)
Mechanising the Alphabetised Relational Calculus (2004) (13)
Pointers and Records in the Unifying Theories of Programming (2006) (13)
A Timed Model of Circus with the Reactive Design Miracle (2010) (12)
Unifying Theories of Programming and Formal Engineering Methods (2013) (12)
Formal development of industrial-scale systems in Circus (2005) (12)
FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume II (1999) (12)
Linking VDM and Z (2008) (12)
Verified Software: Theories, Tools, Experiments, First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions (2005) (12)
A Denotational Semantics for Handel-C Hardware Compilation (2007) (12)
Timed Circus: Timed CSP with the Miracle (2011) (12)
Using formal reasoning on a model of tasks for FreeRTOS (2014) (11)
Rapid Prototyping of a Semantically Well Founded Circus Model Checker (2014) (11)
Refinement-Based Verification of the FreeRTOS Scheduler in VCC (2015) (11)
FDR Explorer (2007) (11)
Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation (2009) (11)
An Introduction to Refinement in Z (1991) (10)
From Formalised State Machines to Implementations of Robotic Controllers (2017) (10)
The Formal Specification in Z of Defence Standard 00-56 (1994) (10)
Using Model Transformation to Generate Graphical Counter-Examples for the Formal Analysis of xUML Models (2011) (10)
A Tutorial on the Refinement Calculus (1991) (10)
A "Hardware Compiler" Semantics for Handel-C (2006) (10)
Towards Verification of Cyber-Physical Systems with UTP and Isabelle/HOL (2017) (9)
Checking SysML Models for Co-simulation (2016) (9)
Procedures and Recursion in the Refinement Calculus (1998) (9)
Slotted-Circus (2007) (9)
The Refinement Calculus (1991) (9)
Probabilistic modelling and verification using RoboChart and PRISM (2021) (9)
An approach for managing semantic heterogeneity in Systems of Systems Engineering (2014) (9)
Calculational Verification of Reactive Programs with Reactive Relations and Kleene Algebra (2018) (9)
Taking Our Own Medicine: Applying the Refinement Calculus to State-Rich Refinement Model Checking (2006) (9)
Unifying Theories of Undefinedness in UTP (2012) (9)
Formal development of industrial-scale systems (2005) (8)
What can agile methods bring to high-integrity software development? (2017) (8)
Millennial Perspectives in Computer Science: Proceedings of the 1999 Oxford-Microsoft Symposium in Honour of Sir Tony Hoare (Cornerstones of computing) (2000) (8)
Using Circus for Safety-critical Applications (2004) (8)
Evaluation of OCL for Large-Scale Modelling: A Different View of the Mondex Purse (2007) (8)
The COMPASS Modelling Language: Timed Semantics in UTP (2014) (7)
Operational Semantics for Circus (2008) (7)
Automatic Generation of Verified Concurrent Hardware (2007) (7)
Formal methods and hybrid real-time systems : essays in honour of Dines Bjørner and Zhou Chaochen on the occasion of their 70th birthdays (2007) (7)
An Architecture for Circus Tools (2007) (6)
Modelling and Implementing Complex Systems with Timebands (2010) (6)
State-rich model checking (2006) (6)
Predicate transformers in the semantics of Circus (2003) (6)
RiskStructures: A design algebra for risk-aware machines (2021) (6)
Theoretical Aspects of Computing – ICTAC 2013 (2013) (6)
A Chain Datatype in Z (2009) (6)
Unifying Theories of Logic and Specification (2013) (6)
An Operational Semantics for Handel-C (2003) (6)
Unifying Theories of Undefinedness (2009) (6)
Transaction processing primitives and CSP (1987) (6)
Rebuilding a better Aceh and Nias : preliminary stocktaking of the reconstruction effort six months after the earthquake and tsunami (2005) (6)
Contracts in CML (2014) (5)
A unified language of classes and processes (2003) (5)
Automation of Model-Based Testing through Model Transformations (2009) (5)
Mobile CSP (2015) (5)
Analysing RoboChart with Probabilities (2018) (5)
Java in the Safety-Critical Domain (2016) (5)
A Weakest Precondition Semantics for Circus (2002) (5)
Model checking of state-rich formalism by linking to $$CSP\,\Vert \,B$$CSP‖B (2015) (5)
Probabilistic Semantics for RoboChart - A Weakest Completion Approach (2019) (5)
An Overview of the Verification of a Handel-C Program (2000) (5)
Proving Theorems About JML Classes (2007) (5)
Mechanised wire-wise verification of Handel-C synthesis (2009) (5)
Model checking CML: tool development and industrial applications (2015) (5)
Sound Simulation and Co-simulation for Robotics (2017) (5)
Modelling temporal behaviour in complex systems with Timebands (2013) (5)
The First World Congress on Formal Methods in the Development of Computing Systems (2000) (5)
Formal Methods: Foundations and Applications, 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009, Revised Selected Papers (2009) (4)
Formally Verified Simulations of State-Rich Processes using Interaction Trees in Isabelle/HOL (2021) (4)
Refinement: An overview (2004) (4)
UTP by Example: Designs (2016) (4)
A Circus Semantics for Ravenscar Protected Objects (2003) (4)
Three Approaches to Timed External Choice in UTP (2014) (4)
Heterogeneous Semantics and Unifying Theories (2016) (4)
Millennial perspectives in computer science : proceedings of the 1999 Oxford-Microsoft Symposium in honour of Professor Sir Antony Hoare (2000) (4)
Theories of Programming and Formal Methods - Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday (2013) (4)
Observations for Assertion-based Scenarios in the context of Model Validation and Extension to Test Case Generation (2008) (4)
Introduction: Special Issues for FM'99, the First World Congress on Formal Methods in the Development of Computing Systems (2000) (3)
Verifying the safety of a railway signal device (2002) (3)
When to trust mobile objects: access control in the Jini/sup TM/ Software System (1999) (3)
The Use of Model Transformation in the INESS Project (2009) (3)
Towards the formal specification of a simple programming support environment (1987) (3)
Mechanized Verification with Sharing The Harvard community has made this article openly available. Please share how this access benefits you. Your story matters (2010) (3)
A Calculus of Space, Time, and Causality: Its Algebra, Geometry, Logic (2019) (3)
Compositional Assume-Guarantee Reasoning of Control Law Diagrams Using UTP (2019) (3)
A Verified Protocol to Implement Multi-way Synchronisation and Interleaving in CSP (2013) (3)
Domain Modeling and the Duration Calculus, International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures (2007) (3)
3rd Refinement Workshop: Proceedings of the 3rd Refinement Workshop (Organised by BCS-FACS and Sponsored by IBM UK Laboratories, Hursley Park and the Programming Research Group, University of Oxford) 9-11 January 1990, Hursley Park (1991) (3)
Uncertainty Quantification and Runtime Monitoring Using Environment-Aware Digital Twins (2020) (3)
Correct Hardware Synthesis An algebraic approach (2011) (3)
A Tactic Calculus - Full version (1996) (3)
A refinement based approach to calculating a fault tolerant railway signal device (2004) (3)
09381 Extended Abstracts Collection - Refinement Based Methods for the Construction of Dependable Systems (2009) (3)
A Predicate Transformer Semantics for a Concurrent Language of Refinement (2002) (3)
THE SAFETY INTEGRITY LEVELS OF IEC 61508 AND A REVISED PROPOSAL (2007) (3)
Stateful-Failure Reactive Designs in Isabelle/UTP (2018) (3)
Mechanised Theory Engineering in Isabelle (2015) (2)
Software engineering research directions (1996) (2)
Adapting FreeRTOS for Multicore : an Experience Report (2012) (2)
Formalisms (1988) (2)
Automated Reasoning for Probabilistic Sequential Programs with Theorem Proving (2021) (2)
A Manifesto for Applicable Formal Methods (2021) (2)
Two Refinement Case Studies (1991) (2)
Simpler Reasoning About System Properties: a Proof-by-Refinement Technique (2005) (2)
Ravenscar Protected Objects : a Circus Semantics (2003) (2)
Evaluation of OCL for Large-Scale Modelling : A Different View of the Mondex Smart Card Application (2007) (2)
Verification of Co-simulation Algorithms Subject to Algebraic Loops and Adaptive Steps (2021) (2)
A Stepwise Approach to Linking Theories (2016) (2)
UTP Semantics of Reactive Processes with Continuations (2016) (2)
CSP and Kripke Structures (2015) (2)
An Approach to Software Preservation (2009) (2)
Reactive Designs in Isabelle/UTP (2018) (2)
A Verified Implementation of a Control System (2005) (2)
Cyber-Physical Systems Engineering: An Introduction (2018) (1)
ABZ2008 VSR-Net Workshop (2008) (1)
Learning safe neural network controllers with barrier certificates (2021) (1)
Proceedings of the Third International Symposium of Formal Methods Europe on Industrial Benefit and Advances in Formal Methods (1996) (1)
Development Automation of Real-Time Java (2020) (1)
Test-data generation for control coverage by proof (2014) (1)
Use of Model Transformation for the Formal Analysis of Railway Interlocking Models (2010) (1)
Proceedings of the 4th international conference on Theoretical aspects of computing (2004) (1)
Mathematics of Program Construction: Second International Conference, Oxford, U.K., June 29 - July 3, 1992. Proceedings (1993) (1)
Automated Verification of Reactive and Concurrent Programs by Calculation (2020) (1)
Verification and Uncertainties in Self-integrating System (2021) (1)
Controller synthesis for object Petri nets (2003) (1)
Assuring Autonomous Systems: Opportunities for Integrated Formal Methods? (2018) (1)
RoboStar Technology: Modelling Uncertainty in RoboChart Using Probability (2020) (1)
Correct hardware synthesis (2011) (1)
Verifying the Properties of a Railway Signalling Device (2002) (1)
A Plug-in Based Approach for UML Model Simulation (2012) (1)
Considering Software Preservation (2010) (1)
The Energy Distribution in the Pulmonary Circulation, I: Theory (2017) (1)
Formal methods and software engineering : 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003 : proceedings (2003) (1)
Event refinement in state-based concurrent systems (1995) (0)
Editorial (2011) (0)
incorporating input/output renement (2002) (0)
Towards Algebraic Semantics of Circus Time (2014) (0)
Time-Sensitive Software (2023) (0)
Chapter 1 Sound Simulation and Co-simulation for Robotics (2017) (0)
Modelling temporal behaviour in complex systems with Timebands (2013) (0)
Editorial (2012) (0)
SSIRI 2010: Keynote Speakers (2010) (0)
Formal Methods during the Programming Phase (2016) (0)
Introduction to the Special Section on Reliability, Safety, and Security of Railway Systems (2023) (0)
Refinement Techniques in Software Engineering: First Pernambuco Summer School on Software Engineering, PSSE 2004Recife, Brazil, November 23-December 5, ... Lectures (Lecture Notes in Computer Science) (2006) (0)
Library Block Specifications (2006) (0)
Editorial (2021) (0)
Formally Verified Animation for RoboChart Using Interaction Trees (2023) (0)
Timebands Framework – 2011 (2011) (0)
Proceedings of the Third Annual Z User Meeting (1988) (0)
Proceedings First Workshop on Applicable Formal Methods, AppFM@FM 2021, virtual, 23rd November 2021 (2021) (0)
How to ensure safety of learning-enabled cyber-physical systems? (2023) (0)
Modelling flash memory : progress and scope (2008) (0)
Unifying Program Refinement Calculi (2005) (0)
Unifying Theories of Programming (2014) (0)
Editorial (2015) (0)
Cyber-Physical Systems Design : Formal Foundations , Methods and Integrated Tool Chains ( Invited Paper ) (2016) (0)
Trustworthy Autonomous Systems Through Verifiability (2023) (0)
An Operational Semantics in UTP for a Language of Reactive Designs (Abstract) (2006) (0)
Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I (1999) (0)
Introduction to Special Section (Guest Editorial) (1995) (0)
Mechanised Theory Engineering in (2016) (0)
Engineering of Digital Twins for Cyber-Physical Systems (2020) (0)
FME '93: Industrial-Strength Formal Methods, First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993, Proceedings (1993) (0)
Semantics of Parallel Programming Languages in the Unifying Theory (2002) (0)
Theoretical aspects of computing - ICTAC 2013 : 10th international colloquium, Shanghai, China, September 4-6, 2013, proceedings (2013) (0)
Proving wire-wise correctness for Handel-C hardware compilation in HOL (2008) (0)
Keynote address. (1999) (0)
Proceedings of the 2nd international conference on Verified Software: Theories, Tools, Experiments (2008) (0)
Probabilistic relations for modelling epistemic and aleatoric uncertainty: its semantics and automated reasoning with theorem proving (2023) (0)
Proceedings of the First International Symposium of Formal Methods Europe on Industrial-Strength Formal Methods (1993) (0)
DRAFT The Verified Software Repository : a step towards the Verifying Compiler GC 6 Steering Committee (2004) (0)
Modelling and Implementing Complex Systems with Timebands ( Invited Paper ) (2010) (0)
Verification and Formal Methods : Practice and Experience (2008) (0)
Hoare and He’s Unifying Theories of Programming (2021) (0)
Verification in the Grand Challenge (2021) (0)
An Introduction to the Alphabetised Relational Calculus (2002) (0)
Formal Methods and Software Engineering: 5th International Conference on Formal Engineering Methods, Isfem 2003, Singapore, November 5-7, 2003: Proceedings (LECTURE NOTES IN COMPUTER SCIENCE) (2004) (0)
Formally Verified Self-adaptation of an Incubator Digital Twin (2022) (0)
Goal-Oriented Automatic Test Case Generators for MC/DC Compliancy (2007) (0)
Engineering of Complex Computer Systems, Proceedings of the 13th IEEE International Conference on (2008) (0)
Editorial (2011) (0)
Editorial (2007) (0)
Proceedings of the Second International Conference on Mathematics of Program Construction (1992) (0)
Modelling and Simulation for Cyber-Physical Systems (2015) (0)
A Compositional Refinement Technique for Verifying Abstract Data Type Implementations (2014) (0)
Preface (2022) (0)
Topics Document for Entry in October 2007 (2007) (0)
Editorial (2009) (0)
Editorial (2016) (0)
Proofs of Lemmas and Theorems in the UTP (2006) (0)
Mathematics of Program Construction (1992) (0)
Programming Phase: Formal Methods (2010) (0)
Mathematics of Program Construction: Proceedings of the 2nd International Conference, Oxford, U. K., June-July 1992 (1993) (0)
Proceedings First Workshop on Applicable Formal Methods (2021) (0)
Putting Formally Verified Software under the Magnifying Glass : Model-based Testing for Validation (2016) (0)
Elementary Probability Theory (2006) (0)
A Pattern-based deadlock-freedom analysis strategy for concurrent systems (2022) (0)
Welcome Message from Organising Committee (2014) (0)
A Concurrent Language for Re(cid:12)nement (0)
Editorial (2021) (0)
Using for Safety-critical Applications (2004) (0)
Proceedings of the 7th International colloquium conference on Theoretical aspects of computing (2010) (0)

This paper list is powered by the following services:

Other Resources About Jim Woodcock

What Schools Are Affiliated With Jim Woodcock?

Jim Woodcock is affiliated with the following schools:

Jim Woodcock's Academic­Influence.com Rankings