Concepedia

John Derrick

JD

38

Publications

1.2K

Citations

22

H-Index

1995

Active since

Affiliations

University of Kent(Current)

University of Sheffield

Paderborn University

The University of Queensland

University of Augsburg

John Derrick is an author at University of Kent specializing in engineering, formal methods, and formal verification.

Top concepts

EngineeringFormal MethodsFormal VerificationComputer ScienceVerificationProgram AnalysisSoftware AnalysisAutomated ReasoningSystem SoftwareSystems Engineering

Publications per year

1995–2021

38

Publications

38

Inferring extended finite state machine models from software executions

Neil Walkinshaw, Ramsay Taylor, John Derrick · Empirical Software Engineering · 2015 · 128 citations

Engineering, Runtime Verification, Program Analysis +11

Viewpoint consistency in ODP

Eerke Boiten, Howard Bowman, John Derrick et al. · Computer Networks · 2000 · 61 citations

Architectural Design, Engineering, Automated Reasoning +7

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

Graeme Smith, John Derrick · Formal Methods in System Design · 2001 · 60 citations

Mechanically verified proof obligations for linearizability

John Derrick, Gerhard Schellhorn, Heike Wehrheim · ACM Transactions on Programming Languages and Systems · 2011 · 55 citations

Engineering, Verification, Concurrent Implementations +17

A Formal Framework for Viewpoint Consistency

Howard Bowman, Maarten Steen, Eerke Boiten et al. · Formal Methods in System Design · 2002 · 51 citations

Rows per page

1–5 of 38