Jim Woodcock

Citirano

	Sve	Od 2020.
Citati	13555	2609
H-indeks	46	19
i10-indeks	169	47

640

320

160

480

1991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202546 39 47 66 114 84 163 176 207 249 247 324 356 398 428 464 479 592 560 583 531 580 562 635 517 572 508 582 567 460 498 422 539 638 51

Javni pristup

Prikaži sve

55 članaka

4 članka

dostupno

nije dostupno

Na temelju uvjeta financiranja

Suautori

Ana CavalcantiUniversity of YorkPotvrđena adresa e-pošte na cs.york.ac.uk
Peter Gorm LarsenAarhus UniversityPotvrđena adresa e-pošte na ece.au.dk
John S. FitzgeraldNewcastle University, UKPotvrđena adresa e-pošte na ncl.ac.uk
Simon FosterLecturer in Computer Science, University of YorkPotvrđena adresa e-pošte na york.ac.uk
Jeannette M WingExecutive Vice President for Research, Professor of Computer Science, Columbia UniversityPotvrđena adresa e-pošte na columbia.edu
Augusto Cesar Alves SampaioUFPE - Universidade Federal de PernambucoPotvrđena adresa e-pošte na cin.ufpe.br
Leo FreitasSenior Lecturer in Formal Methods and Tools, School of Computing Science, Newcastle University, UKPotvrđena adresa e-pošte na newcastle.ac.uk
Marcel OliveiraLecturer of Computer Science and Software Engineering, Universidade Federal do Rio Grande do NortePotvrđena adresa e-pošte na dimap.ufrn.br
Jim DaviesUniversity of OxfordPotvrđena adresa e-pošte na cs.ox.ac.uk
Alvaro MiyazawaResearch Associate, University of YorkPotvrđena adresa e-pošte na york.ac.uk
Andrew ButterfieldComputer Science, Trinity College DublinPotvrđena adresa e-pošte na tcd.ie
Kun WeiComputer Science, University of YorkPotvrđena adresa e-pošte na york.ac.uk
Susan StepneyProfessor Emerita, Computer Science, University of YorkPotvrđena adresa e-pošte na york.ac.uk
Jon TimmisProfessor of Intelligent and Adaptive Systems, University of SunderlandPotvrđena adresa e-pošte na sunderland.ac.uk
Carroll MorganProfessor, University of New South WalesPotvrđena adresa e-pošte na unsw.edu.au
Andy WellingsProfessor of Real-Time Systems, RTSRG, University of YorkPotvrđena adresa e-pošte na york.ac.uk
Pedro RibeiroLecturer at the Department of Computer Science, University of YorkPotvrđena adresa e-pošte na york.ac.uk
Cliff B JonesProfessor of Computing Science, Newcastle University, UKPotvrđena adresa e-pošte na ncl.ac.uk
Richard F. PaigeProfessor, McMaster University, and Professor of Enterprise Systems, University of YorkPotvrđena adresa e-pošte na mcmaster.ca
Steve KingUniversity of YorkPotvrđena adresa e-pošte na york.ac.uk

Prati

Jim Woodcock

Professor of Software Engineering, University of York

Potvrđena adresa e-pošte na york.ac.uk - Početna stranica

Software Engineering Formal Methods


Naslov Poredaj po navodima Poredaj po godini Poredaj po naslovu	Citirano Citirano	Godina
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	2293	1996
Using Z: specification, refinement, and proof J Woodcock Prentice hall, 1996	2029	1996
Formal methods: Practice and experience J Woodcock, PG Larsen, J Bicarregui, J Fitzgerald ACM computing surveys (CSUR) 41 (4), 1-36, 2009	1045	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	552	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	233	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
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	159	2016
A concurrent language for refinement J Woodcock, A Cavalcanti 5th Irish workshop on formal methods, 2001	159	2001
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	133	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

Sustav trenutno ne može provesti ovu radnju. Pokušajte ponovo kasnije.

Članci 1–20

Godišnji broj citata

Dvostruki navodi

Spojeni navodi

Dodavanje suautoraSuautori

Prati

Citirano

Suautori