World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
31
Citations
4466
World Ranking
13603
National Ranking
868

Overview

John Derrick is affiliated with the University of Sheffield in the United Kingdom, contributing to the field of computer science with a focus on distributed systems, parallel computing, and verification techniques. Their research spans various subfields including computer networks and communications, hardware and architecture, artificial intelligence, statistics and probability, and information systems.

The main topics covered in their body of work include distributed systems and fault tolerance, parallel computing and optimization techniques, advanced data storage technologies, security and verification in computing, distributed and parallel computing systems, Markov chains and Monte Carlo methods, and software engineering research.

Frequent publication venues for John Derrick include arXiv (Cornell University), Formal Aspects of Computing, Logical Methods in Computer Science, Lecture Notes in Computer Science, and Leibniz-Zentrum für Informatik (Schloss Dagstuhl).

Their notable papers include:

  • Verifying correctness of persistent concurrent data structures: a sound and complete method, 2021, Formal Aspects of Computing
  • Modularising Verification Of Durable Opacity, 2022, Logical Methods in Computer Science
  • Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory, 2020, Lecture Notes in Computer Science
  • Weak Progressive Forward Simulation Is Necessary and Sufficient for Strong Observational Refinement, 2022, Leibniz-Zentrum für Informatik (Schloss Dagstuhl)
  • Modularising Verification Of Durable Opacity, 2020, arXiv (Cornell University)

John Derrick frequently collaborates with several co-authors. These include Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim, Simon Doherty, and Eleni Bila.

Best Publications

  • Using formal specifications to support testing

    Robert M. Hierons;Kirill Bogdanov;Jonathan P. Bowen;Rance Cleaveland

  • Refinement in Z and Object-Z: Foundations and Advanced Applications

    John Derrick;Eerke A. Boiten

  • Inferring extended finite state machine models from software executions

    Neil Walkinshaw;Ramsay Taylor;John Derrick

  • Refinement in Z and Object-Z

    John Derrick;Eerke A. Boiten

  • Specification, Refinement and Verification of Concurrent Systems—An Integration of Object-Z and CSP

    Graeme Smith;John Derrick

  • Abstract State Machines, Alloy, B, VDM, and Z

    John Derrick;John Fitzgerald;Stefania Gnesi;Sarfraz Khurshid

  • A Formal Framework for Viewpoint Consistency

    H. Bowman;M. W. A. Steen;E. A. Boiten;J. Derrick

  • Mechanically verified proof obligations for linearizability

    John Derrick;Gerhard Schellhorn;Heike Wehrheim

  • Viewpoint consistency in ODP

    Eerke Boiten;Howard Bowman;John Derrick;Peter Linington

  • Refinement and verification of concurrent systems specified in Object-Z and CSP

    G. Smith;J. Derrick

  • FDTs for ODP

    Howard Bowman;John Derrick;Peter Linington;Maarten Steen

  • Author Obliged to Submit Paper before 4 July: Policies in an Enterprise Specification

    James B. Cole;John Derrick;Zoran Milosevic;Kerry Raymond

  • Viewpoint consistency in ODP, a general interpretation

    H. Bowman;E. A. Boiten;J. Derrick;M. W. A. Steen

  • A Sound and Complete Proof Technique for Linearizability of Concurrent Data Structures

    Gerhard Schellhorn;John Derrick;Heike Wehrheim

  • How to prove algorithms linearisable

    Gerhard Schellhorn;Heike Wehrheim;John Derrick

  • Increasing functional coverage by inductive testing: a case study

    Neil Walkinshaw;Kirill Bogdanov;John Derrick;Javier Paris

  • Verifying linearisability with potential linearisation points

    John Derrick;Gerhard Schellhorn;Heike Wehrheim

  • ODP enterprise viewpoint specification

    M. W. A. Steen;J. Derrick

  • Iterative Refinement of Reverse-Engineered Models by Model-Based Testing

    Neil Walkinshaw;John Derrick;Qiang Guo

  • Relational Concurrent Refinement

    John Derrick;Eerke Albert Boiten

  • Formalising ODP enterprise policies

    M.W.A. Steen;J. Derrick

Frequent Co-Authors

Howard Bowman
Howard Bowman University of Birmingham
Robert M. Hierons
Robert M. Hierons University of Sheffield
Mark Harman
Mark Harman University College London
Christopher J. Taylor
Christopher J. Taylor Atkins (United Kingdom)
Stefania Gnesi
Stefania Gnesi Institute of Information Science and Technologies
Jonathan P. Bowen
Jonathan P. Bowen London South Bank University
Sarfraz Khurshid
Sarfraz Khurshid The University of Texas at Austin
Rance Cleaveland
Rance Cleaveland University of Maryland, College Park
Michael Leuschel
Michael Leuschel Heinrich Heine University Düsseldorf
John Hughes
John Hughes Chalmers University of Technology

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

If you’re considering a Computer Science degree, several related disciplines also offer excellent online options and diverse career paths. Exploring adjacent fields can open doors in fast-growing industries, allowing you to customize your professional journey.

Many students look to online mechanical engineering degrees for strong foundations in design, robotics, and manufacturing. For those interested in theoretical frameworks or research-driven roles, the cheapest online physics degree programs offer a rigorous scientific approach and analytical skillset.

Data is another thriving sector. If you're attracted to analytics and big data, pursuing the cheapest master in data science can lead to high-demand positions in tech, finance, and healthcare. For those interested in hardware, circuits, or communications, you’ll find many quality online electrical engineering courses USA wide.

Investing in an online degree in any of these disciplines can boost your employability and give you the flexibility to learn at your own pace, while tailoring your studies to your specific career interests.

Best Scientists Citing John Derrick

Trending Scientists

Recently Published Articles