Jim Woodcock

Cited by

	All	Since 2016
Citations	10828	2616
h-index	41	20
i10-index	135	48

620

310

155

465

199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202147 37 43 63 104 79 117 158 211 246 219 288 315 361 393 444 450 570 529 588 513 558 551 619 493 582 472 561 555 433 7

Co-authors

Ana CavalcantiUniversity of YorkVerified email at cs.york.ac.uk
Peter Gorm LarsenAarhus UniversityVerified email at eng.au.dk
John S. FitzgeraldNewcastle University, UKVerified email at ncl.ac.uk
Jim DaviesUniversity of OxfordVerified email at cs.ox.ac.uk
Simon FosterResearch Fellow in Computer Science, University of YorkVerified email at york.ac.uk
Leo FreitasSenior Lecturer in Formal Methods and Tools, School of Computing Science, Newcastle University, UKVerified email at newcastle.ac.uk
Augusto Cesar Alves SampaioUFPE - Universidade Federal de PernambucoVerified email at cin.ufpe.br
Marcel OliveiraLecturer of Computer Science and Software Engineering, Universidade Federal do Rio Grande do NorteVerified email at dimap.ufrn.br
Jeannette M WingDirector of Data Science, Professor of Computer Science, Columbia UniversityVerified email at columbia.edu
Kun WeiComputer Science, University of YorkVerified email at york.ac.uk
Andrew ButterfieldComputer Science, Trinity College DublinVerified email at tcd.ie
Alvaro MiyazawaResearch Associate, University of YorkVerified email at york.ac.uk
Susan StepneyProfessor of Computer Science, University of YorkVerified email at york.ac.uk
Andy WellingsProfessor of Real-Time Systems, RTSRG, University of YorkVerified email at york.ac.uk
Carroll MorganProfessor, University of New South Wales and DATA61Verified email at unsw.edu.au
Richard F. PaigeProfessor, McMaster University, and Professor of Enterprise Systems, University of YorkVerified email at mcmaster.ca
Cliff B JonesProfessor of Computing Science, Newcastle University, UKVerified email at ncl.ac.uk
Steve KingUniversity of YorkVerified email at york.ac.uk
Alan BurnsUniversity of York, UKVerified email at york.ac.uk
Jon TimmisProfessor of Intelligent and Adaptive Systems, University of SunderlandVerified email at sunderland.ac.uk

Jim Woodcock

Professor of Software Engineering, University of York

Verified email at york.ac.uk - Homepage

Software Engineering Formal Methods


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Formal Methods: State of the Art and Future Directions E Clarke, J Wing, R Alur, R Cleaveland, D Dill, A Emerson, S Garland, ... ACM Computing Surveys 28 (4), 626-643, 1996	1959	1996
Using Z: Specification ‚Refinement ‚and Proof J Woodcock, J Davies Prentice Hall International, 1996	1934	1996
Formal methods: Practice and experience J Woodcock, PG Larsen, J Bicarregui, J Fitzgerald ACM computing surveys (CSUR) 41 (4), 1-36, 2009	789	2009
The semantics of Circus J Woodcock, A Cavalcanti International Conference of B and Z Users, 184-203, 2002	282	2002
Systems of systems engineering: basic concepts, model-based techniques, and research directions CB Nielsen, PG Larsen, J Fitzgerald, J Woodcock, J Peleska ACM Computing Surveys (CSUR) 48 (2), 1-41, 2015	246	2015
Software engineering mathematics J Woodcock, M Loomes Addison-Wesley Longman Publishing Co., Inc., 1990	211	1990
A Refinement Strategy for Circus A Cavalcanti, A Sampaio, J Woodcock Formal Aspects of Computing 15 (2-3), 146-181, 2003	180	2003
An electronic purse: Specification, refinement and proof S Stepney, D Cooper, J Woodcock Oxford University, 2000	176	2000
Non-interference through determinism AW Roscoe, JCP Woodcock, L Wulf European Symposium on Research in Computer Security, 31-53, 1994	160	1994
A UTP semantics for Circus M Oliveira, A Cavalcanti, J Woodcock Formal Aspects of Computing 21 (1-2), 3-32, 2009	150	2009
A concurrent language for refinement J Woodcock, A Cavalcanti 5th Irish Workshop on Formal Methods 5, 1-16, 2001	143	2001
Verified software: A grand challenge C Jones, P O'Hearn, J Woodcock Computer 39 (4), 93-95, 2006	131	2006
Refinement of state-based concurrent systems JCP Woodcock, C Morgan International Symposium of VDM Europe, 340-351, 1990	129	1990
First steps in the verified software grand challenge J Woodcock Computer 39 (10), 57-64, 2006	108	2006
A tutorial introduction to CSP in Unifying Theories of Programming A Cavalcanti, J Woodcock Pernambuco Summer School on Software Engineering, 220-268, 2004	102	2004
W: a logic for Z JCP Woodcock, SM Brien Z User Workshop, York 1991, 77-96, 1992	100	1992
Refinement in circus A Sampaio, J Woodcock, A Cavalcanti International Symposium of Formal Methods Europe, 451-470, 2002	95	2002
Features of CML: A formal modelling language for systems of systems J Woodcock, A Cavalcanti, J Fitzgerald, P Larsen, A Miyazawa, S Perry 2012 7th International conference on system of systems engineering (SoSE), 1-6, 2012	92	2012
ZRC–a refinement calculus for Z A Cavalcanti, J Woodcock Formal Aspects of Computing 10 (3), 267-289, 1998	89	1998
Integrated tool chain for model-based design of Cyber-Physical Systems: The INTO-CPS project PG Larsen, J Fitzgerald, J Woodcock, P Fritzson, J Brauer, C Kleijn, ... 2016 2nd International Workshop on Modelling, Analysis, and Control of …, 2016	86	2016

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

Upload PDF

Follow this author

Cited by

Co-authors