John Derrick

Citeras av

	Alla	Sedan 2016
Citat	4992	1069
h-index	35	15
i10-index	108	21

300

150

225

19951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202137 52 76 87 118 136 139 244 215 152 197 215 211 222 240 206 252 200 272 300 213 232 210 263 212 143 8

Medförfattare

Eerke BoitenSchool of Computer Science and Informatics, De Montfort University, UKVerifierad e-postadress på dmu.ac.uk
Howard BowmanSchool of Computing, University of Kent and School of Psychology, University of BirminghamVerifierad e-postadress på kent.ac.uk
Graeme SmithThe University of QueenslandVerifierad e-postadress på itee.uq.edu.au
Brijesh DongolUniversity of SurreyVerifierad e-postadress på surrey.ac.uk
Neil WalkinshawDepartment of Computer Science, The University of SheffieldVerifierad e-postadress på sheffield.ac.uk
Robert HieronsProfessor, The University of SheffieldVerifierad e-postadress på sheffield.ac.uk
Mark HarmanResearch Scientist at Facebook & Professor of Software Engineering at UCLVerifierad e-postadress på ucl.ac.uk
Marian GheorgheUniversity of BradfordVerifierad e-postadress på bradford.ac.uk
Qiang GuoTeesside UniversityVerifierad e-postadress på tees.ac.uk
Thomas ArtsProfessor of Software Engineering, ChalmersVerifierad e-postadress på quviq.com
Oleg TravkinPhD Student, Universität PaderbornVerifierad e-postadress på zitmail.uni-paderborn.de
Lars-Åke FredlundUniversidad Politécnica de MadridVerifierad e-postadress på fi.upm.es
Simon ThompsonSenior Research Lead, IOHK; Professor of Logic and Computation, University of Kent, UKVerifierad e-postadress på kent.ac.uk
Ian James HayesProfessor of Software Engineering, The University of QueenslandVerifierad e-postadress på itee.uq.edu.au
John HughesProfessor of Computer Science and Engineering, Chalmers UniversityVerifierad e-postadress på chalmers.se
Stefania GnesiISTI-CNR, ItalyVerifierad e-postadress på isti.cnr.it
Bogdan TofanAssociated Professor of Architecture, "Ion Mincu" University of Architecture and UrbanismVerifierad e-postadress på iaim.ro
Lynne BlairLancaster UniversityVerifierad e-postadress på lancaster.ac.uk
Tommaso BolognesiSenior researcher, CNR/ISTI, PisaVerifierad e-postadress på isti.cnr.it

John Derrick

University of Sheffield

Verifierad e-postadress på sheffield.ac.uk

Formal Methods Testing Refinement Distributed Systems


Titel Sortera efter citat Sortera efter år Sortera efter titel	Citeras av Citeras av	År
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	408	2009
Refinement in Z and Object-Z: foundations and advanced applications J Derrick, EA Boiten Springer Science & Business Media, 2013	401	2013
What is ecosystem health and why should we worry about it BD Haskell, BG Norton, R Costanza Ecosystem health: New goals for environmental management, 3-19, 1992	367*	1992
Stretching tacit knowledge beyond a local fix? Global spaces of learning in advertising professional service firms JR Faulconbridge Journal of Economic Geography 6 (4), 517-540, 2006	295	2006
Inferring extended finite state machine models from software executions N Walkinshaw, R Taylor, J Derrick Empirical Software Engineering 21 (3), 811-853, 2016	147	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 (3), 249-284, 2001	103	2001
A formal framework for viewpoint consistency H Bowman, MWA Steen, EA Boiten, J Derrick Formal Methods in System Design 21 (2), 111-166, 2002	74	2002
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	73	2011
FDTs for ODP H Bowman, J Derrick, PF Linington, M Steen Computer Standards and Interfaces 17 (5-6), 457-479, 1995	71	1995
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	70	1997
Viewpoint consistency in ODP E Boiten, H Bowman, J Derrick, P Linington, M Steen Computer Networks 34 (3), 503-537, 2000	67	2000
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, 1997	62	1997
Author obliged to submit paper before 4 july: Policies in an enterprise specification J Cole, J Derrick, Z Milosevic, K Raymond International Workshop on Policies for Distributed Systems and Networks, 1-17, 2001	61	2001
Verifying linearisability with potential linearisation points J Derrick, G Schellhorn, H Wehrheim International Symposium on Formal Methods, 323-337, 2011	56	2011
IO-refinement in Z EA Boiten, J Derrick Springer Verlag, 1998	56	1998
Increasing functional coverage by inductive testing: A case study N Walkinshaw, K Bogdanov, J Derrick, J Paris IFIP International Conference on Testing Software and Systems, 126-141, 2010	55	2010
Relational concurrent refinement J Derrick, E Boiten Formal Aspects of Computing 15 (2), 182-214, 2003	55	2003
Formalising ODP enterprise policies MWA Steen, J Derrick Proceedings Third International Enterprise Distributed Object Computing …, 1999	55	1999
Analysis of a multimedia stream using stochastic process algebra H Bowman, JW Bryans, J Derrick The Computer Journal 44 (4), 230-245, 2001	53	2001
Constructive consistency checking for partial specification in Z E Boiten, J Derrick, H Bowman, M Steen Science of Computer Programming 35 (1), 29-75, 1999	53	1999

Systemet kan inte utföra åtgärden just nu. Försök igen senare.

Artiklar 1–20

Citat per år

Dubblettcitat

Sammanfogade citat

Lägg till medförfattareMedförfattare

Ladda upp PDF

Följ den här författaren

Citeras av

Medförfattare