John Derrick

Citée par

	Toutes	Depuis 2016
Citations	4961	1058
indice h	35	15
indice i10	107	21

320

160

240

199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202113 41 56 74 91 119 140 139 243 209 154 195 214 213 219 238 206 254 203 269 303 209 232 211 262 203 144 5

Coauteurs

Eerke BoitenSchool of Computer Science and Informatics, De Montfort University, UKAdresse e-mail validée de dmu.ac.uk
Howard BowmanSchool of Computing, University of Kent and School of Psychology, University of BirminghamAdresse e-mail validée de kent.ac.uk
Graeme SmithThe University of QueenslandAdresse e-mail validée de itee.uq.edu.au
Brijesh DongolUniversity of SurreyAdresse e-mail validée de surrey.ac.uk
Robert HieronsProfessor, The University of SheffieldAdresse e-mail validée de sheffield.ac.uk
Neil WalkinshawDepartment of Computer Science, The University of SheffieldAdresse e-mail validée de sheffield.ac.uk
Mark HarmanResearch Scientist at Facebook & Professor of Software Engineering at UCLAdresse e-mail validée de ucl.ac.uk
Marian GheorgheUniversity of BradfordAdresse e-mail validée de bradford.ac.uk
Qiang GuoTeesside UniversityAdresse e-mail validée de tees.ac.uk
Thomas ArtsProfessor of Software Engineering, ChalmersAdresse e-mail validée de quviq.com
Oleg TravkinPhD Student, Universität PaderbornAdresse e-mail validée de zitmail.uni-paderborn.de
Lars-Åke FredlundUniversidad Politécnica de MadridAdresse e-mail validée de fi.upm.es
Simon ThompsonSenior Research Lead, IOHK; Professor of Logic and Computation, University of Kent, UKAdresse e-mail validée de kent.ac.uk
Ian James HayesProfessor of Software Engineering, The University of QueenslandAdresse e-mail validée de itee.uq.edu.au
John HughesProfessor of Computer Science and Engineering, Chalmers UniversityAdresse e-mail validée de chalmers.se
Stefania GnesiISTI-CNR, ItalyAdresse e-mail validée de isti.cnr.it
Bogdan TofanAssociated Professor of Architecture, "Ion Mincu" University of Architecture and UrbanismAdresse e-mail validée de iaim.ro
Lynne BlairLancaster UniversityAdresse e-mail validée de lancaster.ac.uk
Tommaso BolognesiSenior researcher, CNR/ISTI, PisaAdresse e-mail validée de isti.cnr.it

John Derrick

University of Sheffield

Adresse e-mail validée de sheffield.ac.uk

Formal Methods Testing Refinement Distributed Systems


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
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	415	2009
Refinement in Z and object-Z: foundations and advanced applications J Derrick, EA Boiten Springer Science & Business Media, 2013	387	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	372*	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	301	2006
Inferring extended finite state machine models from software executions N Walkinshaw, R Taylor, J Derrick Empirical Software Engineering 21 (3), 811-853, 2016	139	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	101	2001
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	74	2011
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
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	68	1997
Viewpoint consistency in ODP E Boiten, H Bowman, J Derrick, P Linington, M Steen Computer Networks 34 (3), 503-537, 2000	67	2000
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	62	2001
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	61	1997
Verifying linearisability with potential linearisation points J Derrick, G Schellhorn, H Wehrheim International Symposium on Formal Methods, 323-337, 2011	57	2011
Relational concurrent refinement J Derrick, E Boiten Formal Aspects of Computing 15 (2-3), 182-214, 2003	55	2003
Formalising ODP enterprise policies MWA Steen, J Derrick Proceedings Third International Enterprise Distributed Object Computing …, 1999	55	1999
IO-refinement in Z EA Boiten, J Derrick Springer Verlag, 1998	54	1998
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
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	52	2010

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–20

Nombre de citations par an

Citations en double

Citations fusionnées

Ajouter les coauteursCoauteurs

Importer un PDF

Suivre les mises à jour de cet auteur

Citée par

Coauteurs