John Derrick

Cited by

	All	Since 2019
Citations	4904	799
h-index	37	12
i10-index	113	18

260

130

195

19951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202428 59 68 82 119 132 161 236 213 138 194 205 176 192 207 150 212 175 209 259 180 198 191 216 153 144 143 134 138 86

Public access

View all

18 articles

1 article

available

not available

Based on funding mandates

Co-authors

Eerke BoitenSchool of Computer Science and Informatics, De Montfort University, UKVerified email at dmu.ac.uk
Howard BowmanSchool of Psychology, University of BirminghamVerified email at bham.ac.uk
Brijesh DongolUniversity of SurreyVerified email at surrey.ac.uk
Graeme SmithThe University of QueenslandVerified email at itee.uq.edu.au
Neil WalkinshawDepartment of Computer Science, The University of SheffieldVerified email at sheffield.ac.uk
Robert HieronsProfessor, The University of SheffieldVerified email at sheffield.ac.uk
Mark HarmanResearch Scientist at Meta & Professor of Software Engineering at UCLVerified email at ucl.ac.uk
Marian GheorgheUniversity of BradfordVerified email at bradford.ac.uk
Qiang GuoTeesside UniversityVerified email at tees.ac.uk
Thomas ArtsProfessor of Software Engineering, ChalmersVerified email at quviq.com
Oleg TravkinPhD Student, Universität PaderbornVerified email at zitmail.uni-paderborn.de
Lars-Åke FredlundUniversidad Politécnica de MadridVerified email at fi.upm.es
Simon ThompsonProfessor, University of Kent and Eötvös Loránd University, Budapest; Technical Advisor, IO GlobalVerified email at kent.ac.uk
Ian James HayesProfessor of Software Engineering, The University of QueenslandVerified email at uq.edu.au
Stefania GnesiISTI-CNR, ItalyVerified email at isti.cnr.it
John HughesProfessor of Computer Science and Engineering, Chalmers UniversityVerified email at chalmers.se
Bogdan TofanAssociated Professor of Architecture, "Ion Mincu" University of Architecture and UrbanismVerified email at iaim.ro
Lynne BlairLancaster UniversityVerified email at lancaster.ac.uk
Tommaso BolognesiSenior researcher, CNR/ISTI, PisaVerified email at isti.cnr.it

John Derrick

University of Sheffield

Verified email at sheffield.ac.uk

Formal Methods Testing Refinement Distributed Systems


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Using formal specifications to support testing RM Hierons, K Bogdanov, JP Bowen, R Cleaveland, J Derrick, J Dick, ... ACM Computing Surveys (CSUR) 41 (2), 1-76, 2009	479	2009
Refinement in Object-Z J Derrick, E Boiten, J Derrick, E Boiten Refinement in Z and Object-Z: Foundations and Advanced Applications, 359-375, 2001	422	2001
Inferring extended finite state machine models from software executions N Walkinshaw, R Taylor, J Derrick Empirical software engineering 21, 811-853, 2016	219	2016
Specification, refinement and verification of concurrent systems—an integration of Object-Z and CSP G Smith, J Derrick Formal Methods in System Design 18, 249-284, 2001	108	2001
A formal framework for viewpoint consistency H Bowman, MWA Steen, EA Boiten, J Derrick Formal Methods in System Design 21, 111-166, 2002	77	2002
Refinement and verification of concurrent systems specified in Object-Z and CSP G Smith, J Derrick First IEEE international conference on Formal engineering methods, 293-302, 1997	77	1997
Mechanically verified proof obligations for linearizability J Derrick, G Schellhorn, H Wehrheim ACM Transactions on Programming Languages and Systems (TOPLAS) 33 (1), 1-43, 2011	75	2011
Viewpoint consistency in ODP E Boiten, H Bowman, J Derrick, P Linington, M Steen Computer Networks 34 (3), 503-537, 2000	74	2000
FDTs for ODP H Bowman, J Derrick, PF Linington, M Steen Computer Standards and Interfaces 17 (5-6), 457-479, 1995	72	1995
How to prove algorithms linearisable G Schellhorn, H Wehrheim, J Derrick Computer Aided Verification: 24th International Conference, CAV 2012 …, 2012	65	2012
Viewpoint consistency in ODP, a general interpretation H Bowman, EA Boiten, J Derrick, MWA Steen Formal methods for open object-based distributed systems, 189-204, 1996	65	1996
Verifying linearisability: A comparative survey B Dongol, J Derrick ACM Computing Surveys (CSUR) 48 (2), 1-43, 2015	63	2015
Increasing functional coverage by inductive testing: A case study N Walkinshaw, K Bogdanov, J Derrick, J Paris Testing Software and Systems: 22nd IFIP WG 6.1 International Conference …, 2010	62	2010
Author obliged to submit paper before 4 july: Policies in an enterprise specification J Cole, J Derrick, Z Milosevic, K Raymond Policies for Distributed Systems and Networks: International Workshop …, 2001	62	2001
Iterative refinement of reverse-engineered models by model-based testing N Walkinshaw, J Derrick, Q Guo FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands …, 2009	61	2009
ODP enterprise viewpoint specification MWA Steen, J Derrick Computer Standards & Interfaces 22 (3), 165-189, 2000	61	2000
Verifying linearisability with potential linearisation points J Derrick, G Schellhorn, H Wehrheim FM 2011: Formal Methods: 17th International Symposium on Formal Methods …, 2011	58	2011
IO-refinement in Z EA Boiten, J Derrick Springer Verlag, 1998	58	1998
Relational concurrent refinement J Derrick, E Boiten Formal Aspects of Computing 15, 182-214, 2003	56	2003
Formalising ODP enterprise policies MWA Steen, J Derrick Proceedings Third International Enterprise Distributed Object Computing …, 1999	56	1999

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors