John Derrick

צוטט על ידי

	הכל	מאז 2020
ציטוטים ביבליוגרפיים	4944	671
H-index	36	13
i10-index	109	15

280

140

210

199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202524 59 75 83 119 131 164 241 213 137 196 201 177 179 204 150 212 181 212 265 172 195 186 229 168 127 143 130 129 122 19

גישה ציבורית

הצג הכל

19 מאמרים

מאמר אחד

זמין

לא זמין

על סמך ייפוי כח מהמממנים

מחברים משותפים

Eerke BoitenSchool of Computer Science and Informatics, De Montfort University, UKכתובת אימייל מאומתת בדומיין dmu.ac.uk
Howard BowmanSchool of Psychology, University of Birminghamכתובת אימייל מאומתת בדומיין bham.ac.uk
Brijesh DongolUniversity of Surreyכתובת אימייל מאומתת בדומיין surrey.ac.uk
Graeme SmithThe University of Queenslandכתובת אימייל מאומתת בדומיין itee.uq.edu.au
Neil WalkinshawSchool of Computer Science, The University of Sheffieldכתובת אימייל מאומתת בדומיין sheffield.ac.uk
Robert HieronsProfessor, The University of Sheffieldכתובת אימייל מאומתת בדומיין sheffield.ac.uk
Mark HarmanResearch Scientist at Meta & Professor of Software Engineering at UCLכתובת אימייל מאומתת בדומיין ucl.ac.uk
Qiang GuoTeesside Universityכתובת אימייל מאומתת בדומיין tees.ac.uk
Marian GheorgheUniversity of Bradfordכתובת אימייל מאומתת בדומיין bradford.ac.uk
Thomas ArtsProfessor of Software Engineering, Chalmersכתובת אימייל מאומתת בדומיין quviq.com
Oleg TravkinPhD Student, Universität Paderbornכתובת אימייל מאומתת בדומיין zitmail.uni-paderborn.de
Lars-Åke FredlundUniversidad Politécnica de Madridכתובת אימייל מאומתת בדומיין fi.upm.es
Simon ThompsonProfessor, University of Kent and Eötvös Loránd University, Budapestכתובת אימייל מאומתת בדומיין kent.ac.uk
Ian James HayesProfessor of Software Engineering, The University of Queenslandכתובת אימייל מאומתת בדומיין uq.edu.au
Stefania GnesiISTI-CNR, Italyכתובת אימייל מאומתת בדומיין isti.cnr.it
John HughesProfessor of Computer Science and Engineering, Chalmers Universityכתובת אימייל מאומתת בדומיין chalmers.se
Bogdan TofanAssociated Professor of Architecture, "Ion Mincu" University of Architecture and Urbanismכתובת אימייל מאומתת בדומיין iaim.ro
Lynne BlairLancaster Universityכתובת אימייל מאומתת בדומיין lancaster.ac.uk
Tommaso BolognesiSenior researcher, CNR/ISTI, Pisaכתובת אימייל מאומתת בדומיין isti.cnr.it

עקוב אחר

John Derrick

University of Sheffield

כתובת אימייל מאומתת בדומיין sheffield.ac.uk

Formal Methods Testing Refinement Distributed Systems


כותרת מיון לפי ציטוט ביבליוגרפי מיון לפי שנה מיון לפי כותרת	צוטט על ידי צוטט על ידי	שנה
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‏	533	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‏	426	2001
Inferring extended finite state machine models from software executions‏ N Walkinshaw, R Taylor, J Derrick‏ Empirical software engineering 21, 811-853, 2016‏	233	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‏	109	2001
A formal framework for viewpoint consistency‏ H Bowman, MWA Steen, EA Boiten, J Derrick‏ Formal Methods in System Design 21, 111-166, 2002‏	78	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‏	77	2011
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
Viewpoint consistency in ODP‏ E Boiten, H Bowman, J Derrick, P Linington, M Steen‏ Computer Networks 34 (3), 503-537, 2000‏	76	2000
FDTs for ODP‏ H Bowman, J Derrick, PF Linington, M Steen‏ Computer Standards and Interfaces 17 (5-6), 457-479, 1995‏	71	1995
Verifying linearisability: A comparative survey‏ B Dongol, J Derrick‏ ACM Computing Surveys (CSUR) 48 (2), 1-43, 2015‏	67	2015
How to prove algorithms linearisable‏ G Schellhorn, H Wehrheim, J Derrick‏ Computer Aided Verification: 24th International Conference, CAV 2012 …, 2012‏	66	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‏	66	1996
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‏	63	2010
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‏	62	2009
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
Verifying linearisability with potential linearisation points‏ J Derrick, G Schellhorn, H Wehrheim‏ FM 2011: Formal Methods: 17th International Symposium on Formal Methods …, 2011‏	59	2011
IO-refinement in Z‏ EA Boiten, J Derrick‏ Springer Verlag, 1998‏	59	1998
ODP enterprise viewpoint specification‏ MWA Steen, J Derrick‏ Computer Standards & Interfaces 22 (3), 165-189, 2000‏	57	2000
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‏	57	1999
Relational concurrent refinement‏ J Derrick, E Boiten‏ Formal Aspects of Computing 15, 182-214, 2003‏	56	2003

המערכת אינה יכולה לבצע את הפעולה כעת. נסה שוב מאוחר יותר.

מאמרים 1–20

ציטוטים ביבליוגרפיים בשנה

ציטוטים ביביליוגרפיים כפולים

ציטוטים ביביליוגרפיים שמוזגו

הוסף מחברים שותפיםמחברים משותפים

עקוב אחר

צוטט על ידי

מחברים משותפים