Jim Woodcock

인용

	전체	2019년 이후
서지정보	13466	3088
h-index	46	22
i10-index	168	54

640

320

160

480

199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202446 39 47 66 114 84 163 176 206 250 247 320 359 391 438 463 479 586 558 591 528 574 569 634 517 566 510 574 558 467 503 421 540 585

공개 액세스

모두 보기

자료 55개

자료 4개

공개

비공개

재정 지원 요구사항 기준

공동 저자

Ana CavalcantiUniversity of Yorkcs.york.ac.uk의 이메일 확인됨
Peter Gorm LarsenAarhus Universityece.au.dk의 이메일 확인됨
John S. FitzgeraldNewcastle University, UKncl.ac.uk의 이메일 확인됨
Simon FosterLecturer in Computer Science, University of Yorkyork.ac.uk의 이메일 확인됨
Jim DaviesUniversity of Oxfordcs.ox.ac.uk의 이메일 확인됨
Jeannette M WingExecutive Vice President for Research, Professor of Computer Science, Columbia Universitycolumbia.edu의 이메일 확인됨
Augusto Cesar Alves SampaioUFPE - Universidade Federal de Pernambucocin.ufpe.br의 이메일 확인됨
Leo FreitasSenior Lecturer in Formal Methods and Tools, School of Computing Science, Newcastle University, UKnewcastle.ac.uk의 이메일 확인됨
Marcel OliveiraLecturer of Computer Science and Software Engineering, Universidade Federal do Rio Grande do Nortedimap.ufrn.br의 이메일 확인됨
Alvaro MiyazawaResearch Associate, University of Yorkyork.ac.uk의 이메일 확인됨
Andrew ButterfieldComputer Science, Trinity College Dublintcd.ie의 이메일 확인됨
Kun WeiComputer Science, University of Yorkyork.ac.uk의 이메일 확인됨
Susan StepneyProfessor of Computer Science, University of Yorkyork.ac.uk의 이메일 확인됨
Jon TimmisProfessor of Intelligent and Adaptive Systems, University of Sunderlandsunderland.ac.uk의 이메일 확인됨
Carroll MorganProfessor, University of New South Walesunsw.edu.au의 이메일 확인됨
Andy WellingsProfessor of Real-Time Systems, RTSRG, University of Yorkyork.ac.uk의 이메일 확인됨
Pedro RibeiroLecturer at the Department of Computer Science, University of Yorkyork.ac.uk의 이메일 확인됨
Richard F. PaigeProfessor, McMaster University, and Professor of Enterprise Systems, University of Yorkmcmaster.ca의 이메일 확인됨
Cliff B JonesProfessor of Computing Science, Newcastle University, UKncl.ac.uk의 이메일 확인됨
Steve KingUniversity of Yorkyork.ac.uk의 이메일 확인됨

팔로우

Jim Woodcock

Professor of Software Engineering, University of York

york.ac.uk의 이메일 확인됨 - 홈페이지

Software Engineering Formal Methods


제목 서지정보순 정렬 연도순 정렬 제목순 정렬	인용 인용	연도
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	2280	1996
Using Z: Specification ‚Refinement ‚and Proof J Woodcock, J Davies Prentice Hall International, 1996	2024	1996
Formal methods: Practice and experience J Woodcock, PG Larsen, J Bicarregui, J Fitzgerald ACM computing surveys (CSUR) 41 (4), 1-36, 2009	1035	2009
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	534	2015
The Semantics of Circus J Woodcock, A Cavalcanti International Conference of B and Z Users, 184-203, 2002	308	2002
Software engineering mathematics J Woodcock CRC Press, 1988	234	1988
An electronic purse: Specification, refinement and proof S Stepney, D Cooper, J Woodcock Oxford University, 2000	195	2000
A Refinement Strategy for Circus A Cavalcanti, A Sampaio, J Woodcock Formal Aspects of Computing 15, 146-181, 2003	189	2003
Non-interference through determinism AW Roscoe, JCP Woodcock, L Wulf Computer Security—ESORICS 94: Third European Symposium on Research in …, 1994	171	1994
A UTP semantics for Circus M Oliveira, A Cavalcanti, J Woodcock Formal Aspects of Computing 21 (1), 3-32, 2009	170	2009
A concurrent language for refinement J Woodcock, A Cavalcanti 5th Irish workshop on formal methods, 2001	159	2001
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	158	2016
Refinement of state-based concurrent systems JCP Woodcock, C Morgan International Symposium of VDM Europe, 340-351, 1990	145	1990
Verified software: A grand challenge C Jones, P O'Hearn, J Woodcock Computer 39 (4), 93-95, 2006	143	2006
RoboChart: modelling and verification of the functional behaviour of robotic applications A Miyazawa, P Ribeiro, W Li, A Cavalcanti, J Timmis, J Woodcock Software & Systems Modeling 18, 3097-3149, 2019	131	2019
Using z J Woodcock, J Davies Prentice-Hall, 1996	130	1996
A Tutorial Introduction to CSP in Unifying Theories of Programming A Cavalcanti, J Woodcock Pernambuco Summer School on Software Engineering, 220-268, 2004	121	2004
ZRC–a refinement calculus for Z A Cavalcanti, J Woodcock Formal Aspects of Computing 10, 267-289, 1998	120	1998
First steps in the verified software grand challenge J Woodcock Computer 39 (10), 57-64, 2006	119	2006
W: A Logic for Z JCP Woodcock, SM Brien Z User Workshop, York 1991: Proceedings of the Sixth Annual Z User Meeting …, 1992	104	1992

현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.

학술자료 1–20

연간 인용횟수

중복된 서지정보

병합된 서지정보

공동 저자 추가공동 저자

팔로우

인용

공동 저자