Jim Woodcock

Hivatkozott rá

	Összes	2019 óta
Hivatkozások	13338	2979
h-index	45	22
i10-index	167	53

640

320

160

480

199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202446 39 47 65 114 84 162 176 206 250 247 320 359 391 438 463 476 586 558 588 529 572 569 634 516 567 509 572 558 466 500 423 534 492

Nyilvános hozzáférés

Összes megtekintése

54 cikk

3 cikk

elérhető

nem érhető el

Finanszírozási megbízások alapján

Társszerzők

Ana CavalcantiUniversity of YorkE-mail megerősítve itt: cs.york.ac.uk
Peter Gorm LarsenAarhus UniversityE-mail megerősítve itt: ece.au.dk
John S. FitzgeraldNewcastle University, UKE-mail megerősítve itt: ncl.ac.uk
Simon FosterLecturer in Computer Science, University of YorkE-mail megerősítve itt: york.ac.uk
Jim DaviesUniversity of OxfordE-mail megerősítve itt: cs.ox.ac.uk
Jeannette M WingExecutive Vice President for Research, Professor of Computer Science, Columbia UniversityE-mail megerősítve itt: columbia.edu
Augusto Cesar Alves SampaioUFPE - Universidade Federal de PernambucoE-mail megerősítve itt: cin.ufpe.br
Leo FreitasSenior Lecturer in Formal Methods and Tools, School of Computing Science, Newcastle University, UKE-mail megerősítve itt: newcastle.ac.uk
Marcel OliveiraLecturer of Computer Science and Software Engineering, Universidade Federal do Rio Grande do NorteE-mail megerősítve itt: dimap.ufrn.br
Alvaro MiyazawaResearch Associate, University of YorkE-mail megerősítve itt: york.ac.uk
Andrew ButterfieldComputer Science, Trinity College DublinE-mail megerősítve itt: tcd.ie
Kun WeiComputer Science, University of YorkE-mail megerősítve itt: york.ac.uk
Susan StepneyProfessor of Computer Science, University of YorkE-mail megerősítve itt: york.ac.uk
Jon TimmisProfessor of Intelligent and Adaptive Systems, University of SunderlandE-mail megerősítve itt: sunderland.ac.uk
Carroll MorganProfessor, University of New South WalesE-mail megerősítve itt: unsw.edu.au
Andy WellingsProfessor of Real-Time Systems, RTSRG, University of YorkE-mail megerősítve itt: york.ac.uk
Pedro RibeiroLecturer at the Department of Computer Science, University of YorkE-mail megerősítve itt: york.ac.uk
Richard F. PaigeProfessor, McMaster University, and Professor of Enterprise Systems, University of YorkE-mail megerősítve itt: mcmaster.ca
Cliff B JonesProfessor of Computing Science, Newcastle University, UKE-mail megerősítve itt: ncl.ac.uk
Steve KingUniversity of YorkE-mail megerősítve itt: york.ac.uk

Követés

Jim Woodcock

Professor of Software Engineering, University of York

E-mail megerősítve itt: york.ac.uk - Kezdőlap

Software Engineering Formal Methods


Cím Rendezés hivatkozások szerint Rendezés év szerint Rendezés cím szerint	Hivatkozott rá Hivatkozott rá	Év
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	2272	1996
Using Z: Specification ‚Refinement ‚and Proof J Woodcock, J Davies Prentice Hall International, 1996	2018	1996
Formal methods: Practice and experience J Woodcock, PG Larsen, J Bicarregui, J Fitzgerald ACM computing surveys (CSUR) 41 (4), 1-36, 2009	1022	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	523	2015
The Semantics of Circus J Woodcock, A Cavalcanti International Conference of B and Z Users, 184-203, 2002	305	2002
Software engineering mathematics J Woodcock CRC Press, 1988	233	1988
An electronic purse: Specification, refinement and proof S Stepney, D Cooper, J Woodcock Oxford University, 2000	193	2000
A Refinement Strategy for Circus A Cavalcanti, A Sampaio, J Woodcock Formal Aspects of Computing 15, 146-181, 2003	187	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	169	2009
A concurrent language for refinement J Woodcock, A Cavalcanti 5th Irish workshop on formal methods, 2001	157	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	152	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	141	2006
Using z J Woodcock, J Davies Prentice-Hall, 1996	130	1996
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	122	2019
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

A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.

Cikkek 1–20

Hivatkozások évente

Ismétlődő hivatkozások

Összevont hivatkozások

Társszerzők hozzáadásaTársszerzők

Követés

Hivatkozott rá

Társszerzők