John Derrick

Citado por

	Total	Desde 2019
Citas	4908	802
Índice h	37	12
Índice i10	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 88

Acceso público

Ver todo

18 artículos

1 artículo

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Eerke BoitenSchool of Computer Science and Informatics, De Montfort University, UKDirección de correo verificada de dmu.ac.uk
Howard BowmanSchool of Psychology, University of BirminghamDirección de correo verificada de bham.ac.uk
Brijesh DongolUniversity of SurreyDirección de correo verificada de surrey.ac.uk
Graeme SmithThe University of QueenslandDirección de correo verificada de itee.uq.edu.au
Neil WalkinshawDepartment of Computer Science, The University of SheffieldDirección de correo verificada de sheffield.ac.uk
Robert HieronsProfessor, The University of SheffieldDirección de correo verificada de sheffield.ac.uk
Mark HarmanResearch Scientist at Meta & Professor of Software Engineering at UCLDirección de correo verificada de ucl.ac.uk
Marian GheorgheUniversity of BradfordDirección de correo verificada de bradford.ac.uk
Qiang GuoTeesside UniversityDirección de correo verificada de tees.ac.uk
Thomas ArtsProfessor of Software Engineering, ChalmersDirección de correo verificada de quviq.com
Oleg TravkinPhD Student, Universität PaderbornDirección de correo verificada de zitmail.uni-paderborn.de
Lars-Åke FredlundUniversidad Politécnica de MadridDirección de correo verificada de fi.upm.es
Simon ThompsonProfessor, University of Kent and Eötvös Loránd University, Budapest; Technical Advisor, IO GlobalDirección de correo verificada de kent.ac.uk
Ian James HayesProfessor of Software Engineering, The University of QueenslandDirección de correo verificada de uq.edu.au
Stefania GnesiISTI-CNR, ItalyDirección de correo verificada de isti.cnr.it
John HughesProfessor of Computer Science and Engineering, Chalmers UniversityDirección de correo verificada de chalmers.se
Bogdan TofanAssociated Professor of Architecture, "Ion Mincu" University of Architecture and UrbanismDirección de correo verificada de iaim.ro
Lynne BlairLancaster UniversityDirección de correo verificada de lancaster.ac.uk
Tommaso BolognesiSenior researcher, CNR/ISTI, PisaDirección de correo verificada de isti.cnr.it

Seguir

John Derrick

University of Sheffield

Dirección de correo verificada de sheffield.ac.uk

Formal Methods Testing Refinement Distributed Systems


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
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	220	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

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores