Jim Woodcock

J. C. P. Woodcock

	2009
112		Marcel Vinicius Medeiros Oliveira, Jim Woodcock: Formal Methods: Foundations and Applications, 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009, Revised Selected Papers Springer 2009
111		Juan Bicarregui, John S. Fitzgerald, Peter Gorm Larsen, J. C. P. Woodcock: Industrial Practice in Formal Methods: A Review. FM 2009: 810-813
110		Andrew Butterfield, Pawel Gancarski, Jim Woodcock: State Visibility and Communication in Unifying Theories of Programming. TASE 2009: 47-54
109		Jim Woodcock, Peter Gorm Larsen, Juan Bicarregui, John S. Fitzgerald: Formal methods: Practice and experience. ACM Comput. Surv. 41(4): (2009)
108		Juan Ignacio Perna, Jim Woodcock: Mechanised Wire-wise Verification of Handel-C Synthesis. Electr. Notes Theor. Comput. Sci. 240: 201-219 (2009)
107		Leo Freitas, Jim Woodcock: FDR Explorer. Formal Asp. Comput. 21(1-2): 133-154 (2009)
106		Marcel Oliveira, Ana Cavalcanti, Jim Woodcock: A UTP semantics for Circus. Formal Asp. Comput. 21(1-2): 3-32 (2009)
105		Leo Freitas, Jim Woodcock, Yichi Zhang: Verifying the CICS File Control API with Z/Eves: An experiment in the verified software repository. Sci. Comput. Program. 74(4): 197-218 (2009)
104		Andrew Butterfield, Leo Freitas, Jim Woodcock: Mechanising a formal model of flash memory. Sci. Comput. Program. 74(4): 219-237 (2009)
103		Leo Freitas, Jim Woodcock, Zheng Fu: POSIX file store in Z/Eves: An experiment in the verified software repository. Sci. Comput. Program. 74(4): 238-257 (2009)
	2008
102		Bertrand Meyer, Jim Woodcock: Verified Software: Theories, Tools, Experiments, First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions Springer 2008
101		Natarajan Shankar, Jim Woodcock: Verified Software: Theories, Tools, Experiments, Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings Springer 2008
100		Jim Woodcock, Paul Boca: ABZ2008 VSR-Net Workshop. ABZ 2008: 378-379
99		Jim Woodcock, Leo Freitas: Linking VDM and Z. ICECCS 2008: 143-152
98		Leo Freitas, Jim Woodcock, Andrew Butterfield: POSIX and the Verification Grand Challenge: A Roadmap. ICECCS 2008: 153-162
97		Will Harwood, Ana Cavalcanti, Jim Woodcock: A Theory of Pointers for the UTP. ICTAC 2008: 141-155
96		Emine G. Aydal, Mark Utting, Jim Woodcock: A Comparison of State-Based Modelling Tools for Model Validation. TOOLS (46) 2008: 278-296
95		Emine G. Aydal, Richard F. Paige, Jim Woodcock: Evaluation of OCL for Large-Scale Modelling: A Different View of the Mondex Purse. ECEASST 9: (2008)
94		Cliff B. Jones, Jim Woodcock: Editorial. Formal Asp. Comput. 20(1): 1-3 (2008)
93		Leo Freitas, Jim Woodcock: Mechanising Mondex with Z/Eves. Formal Asp. Comput. 20(1): 117-139 (2008)
92		Jim Woodcock, Susan Stepney, David Cooper, John A. Clark, Jeremy Jacob: The certification of the Mondex electronic purse to ITSEC Level E6. Formal Asp. Comput. 20(1): 5-19 (2008)
	2007
91		Cliff B. Jones, Zhiming Liu, Jim Woodcock: Formal Methods and Hybrid Real-Time Systems, Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays, Papers presented at a Symposium held in Macao, China, September 24-25, 2007 Springer 2007
90		Chris George, Zhiming Liu, Jim Woodcock: Domain Modeling and the Duration Calculus, International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures Springer 2007
89		Cliff B. Jones, Zhiming Liu, Jim Woodcock: Theoretical Aspects of Computing - ICTAC 2007, 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings Springer 2007
88		Leo Freitas, Jim Woodcock: Proving Theorems About JML Classes. Formal Methods and Hybrid Real-Time Systems 2007: 255-279
87		Andrew Butterfield, Jim Woodcock: Formalising Flash Memory: First Steps. ICECCS 2007: 251-260
86		Leo Freitas, Konstantinos Mokos, Jim Woodcock: Verifying the CICS File Control API with Z/Eves: An Experiment in the Verified Software Repository. ICECCS 2007: 290-298
85		Leo Freitas, Zheng Fu, Jim Woodcock: POSIX file store in Z/Eves: an experiment in the verified software repository. ICECCS 2007: 3-14
84		Juan Ignacio Perna, Jim Woodcock: A Denotational Semantics for Handel-C Hardware Compilation. ICFEM 2007: 266-285
83		Marcel Oliveira, Jim Woodcock: Automatic Generation of Verified Concurrent Hardware. ICFEM 2007: 286-306
82		Emine G. Aydal, Jim Woodcock, Ana Cavalcanti: Goal-Oriented Automatic Test Case Generators for MC/DC Compliancy. ICSOFT (SE) 2007: 290-295
81		Andrew Butterfield, Adnan Sherif, Jim Woodcock: Slotted-Circus. IFM 2007: 75-97
80		Emine G. Aydal, Richard F. Paige, Jim Woodcock: Evaluation of OCL for Large-Scale Modelling: A Different View of the Mondex Purse. MoDELS Workshops 2007: 194-205
79		Marcel Oliveira, Ana Cavalcanti, Jim Woodcock: A Denotational Semantics for Circus. Electr. Notes Theor. Comput. Sci. 187: 107-123 (2007)
78		Leo Freitas, Jim Woodcock: FDR Explorer. Electr. Notes Theor. Comput. Sci. 187: 19-34 (2007)
77		Cliff B. Jones, Jim Woodcock: Editorial. Formal Asp. Comput. 19(4): 415-416 (2007)
76		Jim Woodcock, Richard Banach: The Verification Grand Challenge. J. UCS 13(5): 661-668 (2007)
	2006
75		Ana Cavalcanti, Augusto Sampaio, Jim Woodcock: Refinement Techniques in Software Engineering, First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures Springer 2006
74		Jim Woodcock: Verified Software Grand Challenge. FM 2006: 617-617
73		Steve Schneider, Helen Treharne, Ana Cavalcanti, Jim Woodcock: A Layered Behavioural Model of Platelets. ICECCS 2006: 98-106
72		Leo Freitas, Ana Cavalcanti, Jim Woodcock: Taking Our Own Medicine: Applying the Refinement Calculus to State-Rich Refinement Model Checking. ICFEM 2006: 697-716
71		Jim Woodcock, Leo Freitas: Z/Eves and the Mondex Electronic Purse. ICTAC 2006: 15-34
70		Jim Woodcock: First Steps in the Verified Software Grand Challenge. SEW 2006: 203-206
69		Marcel Oliveira, Ana Cavalcanti, Jim Woodcock: Unifying Theories in ProofPower-Z. UTP 2006: 123-140
68		Ana Cavalcanti, Will Harwood, Jim Woodcock: Pointers and Records in the Unifying Theories of Programming. UTP 2006: 200-216
67		Gift Nuka, Jim Woodcock: Mechanising a Unifying Theory. UTP 2006: 217-235
66		Jim Woodcock: An Operational Semantics in UTP for a Language of Reactive Designs (Abstract). UTP 2006: 84-84
65		Andrew Butterfield, Jim Woodcock: A "Hardware Compiler" Semantics for Handel-C. Electr. Notes Theor. Comput. Sci. 161: 73-90 (2006)
64		Juan Bicarregui, C. A. R. Hoare, J. C. P. Woodcock: The verified software repository: a step towards the verifying compiler. Formal Asp. Comput. 18(2): 143-151 (2006)
63		Ana Cavalcanti, Jim Woodcock, Steve Dunne: Angelic nondeterminism in the unifying theories of programming. Formal Asp. Comput. 18(3): 288-307 (2006)
62		Jim Woodcock: First Steps in the Verified Software Grand Challenge. IEEE Computer 39(10): 57-64 (2006)
61		Cliff B. Jones, Peter W. O'Hearn, Jim Woodcock: Verified Software: A Grand Challenge. IEEE Computer 39(4): 93-95 (2006)
60		Leo Freitas, Jim Woodcock, Ana Cavalcanti: State-rich model checking. ISSE 2(1): 49-64 (2006)
	2005
59		Jim Woodcock: Unifying Program Refinement Calculi. Abstract State Machines 2005: 76
58		Jim Woodcock, Ana Cavalcanti, Leonardo Freitas: Operational Semantics for Model Checking Circus. FM 2005: 237-252
57		Ana Cavalcanti, Jim Woodcock: Angelic Nondeterminism and Unifying Theories of Programming. Electr. Notes Theor. Comput. Sci. 137(2): 45-66 (2005)
56		Diyaa-Addein Atiya, Steve King, Jim Woodcock: Simpler Reasoning About System Properties: a Proof-by-Refinement Technique. Electr. Notes Theor. Comput. Sci. 137(2): 5-22 (2005)
55		Marcel Oliveira, Ana Cavalcanti, Jim Woodcock: Formal development of industrial-scale systems in Circus. ISSE 1(2): 125-146 (2005)
54		Andrew Butterfield, Jim Woodcock: prialt in Handel-C: an operational semantics. STTT 7(3): 248-267 (2005)
53		Ana Cavalcanti, Augusto Sampaio, Jim Woodcock: Unifying classes and processes. Software and System Modeling 4(3): 277-296 (2005)
	2004
52		Alistair A. McEwan, J. C. P. Woodcock: A refinement based approach to calculating a fault tolerant railway signal device. IFIP Congress Topical Sessions 2004: 621-628
51		Jim Woodcock, Ana Cavalcanti: A Tutorial Introduction to Designs in Unifying Theories of Programming. IFM 2004: 40-66
50		Xinbei Tang, Jim Woodcock: Travelling Processes. MPC 2004: 381-399
49		Ana Cavalcanti, Augusto Sampaio, Jim Woodcock: Refinement: An overview. PSSE 2004: 1-17
48		Ana Cavalcanti, Jim Woodcock: A Tutorial Introduction to CSP in Unifying Theories of Programming. PSSE 2004: 220-268
47		Xinbei Tang, Jim Woodcock: Towards Mobile Processes in Unifying Theories. SEFM 2004: 44-53
46		Gift Nuka, Jim Woodcock: Mechanising the Alphabetised Relational Calculus. Electr. Notes Theor. Comput. Sci. 95: 209-225 (2004)
45		Jim Woodcock: Using Circus for Safety-critical Applications. Electr. Notes Theor. Comput. Sci. 95: 3-22 (2004)
	2003
44		Jin Song Dong, Jim Woodcock: Formal Methods and Software Engineering, 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings Springer 2003
43		Diyaa-Addein Atiya, Steve King, Jim Woodcock: A Circus Semantics for Ravenscar Protected Objects. FME 2003: 617-635
42		Andrew Butterfield, Jim Woodcock: An Operational Semantics for Handel-C. Electr. Notes Theor. Comput. Sci. 80: (2003)
41		Marcel Oliveira, Ana Cavalcanti, Jim Woodcock: ArcAngel: a Tactic Language for Refinement. Formal Asp. Comput. 15(1): 28-47 (2003)
40		Ana Cavalcanti, Augusto Sampaio, Jim Woodcock: A Refinement Strategy for Circus. Formal Asp. Comput. 15(2-3): 146-181 (2003)
39		Ana Cavalcanti, Jim Woodcock: Predicate transformers in the semantics of Circus. IEE Proceedings - Software 150(2): 85-94 (2003)
	2002
38		Augusto Sampaio, Jim Woodcock, Ana Cavalcanti: Refinement in Circus. FME 2002: 451-470
37		Jim Woodcock, Arthur P. Hughes: Unifying Theories of Parallel Programming. ICFEM 2002: 24-37
36		Jim Woodcock, Ana Cavalcanti: The Semantics of Circus. ZB 2002: 184-203
35		John Derrick, Eerke A. Boiten, Jim Woodcock, Joakim von Wright: Preface. Electr. Notes Theor. Comput. Sci. 70(3): (2002)
34		Ana Cavalcanti, Augusto Sampaio, Jim Woodcock: Refinement of actions in Circus. Electr. Notes Theor. Comput. Sci. 70(3): (2002)
33		Andrew Butterfield, Jim Woodcock: Semantic domains for Handel-C. Electr. Notes Theor. Comput. Sci. 74: (2002)
	2001
32		Jim Woodcock, Ana Cavalcanti: The Steam Boiler in a Unified Theory of Z and CSP. APSEC 2001: 291-298
31		Jim Woodcock, Ana Cavalcanti: A Concurrent Language for Refinement. IWFM 2001
	2000
30		Jeannette M. Wing, Jim Woodcock: The First World Congress on Formal Methods in the Development of Computing Systems. Formal Asp. Comput. 12(3): 145-146 (2000)
29		Jeannette M. Wing, Jim Woodcock: Introduction: Special Issues for FM'99, the First World Congress on Formal Methods in the Development of Computing Systems. Formal Methods in System Design 17(3): 199-200 (2000)
28		Jeannette M. Wing, Jim Woodcock: Guest Editors' Introduction-Special Issues for FM '99: The First World Congress On Formal Methods in the Development of Computing Systems. IEEE Trans. Software Eng. 26(8): 673-674 (2000)
	1999
27		Jeannette M. Wing, Jim Woodcock, Jim Davies: FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I Springer 1999
26		Jeannette M. Wing, Jim Woodcock, Jim Davies: FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume II Springer 1999
25		Christie Bolton, Jim Davies, Jim Woodcock: On the Refinement and Simulation of Data Types and Processes. IFM 1999: 273-292
24		Charles Crichton, Jim Davies, Jim Woodcock: When to Trust Mobile Objects: Access Control in the Jini(tm) Software System. TOOLS (30) 1999: 116-125
23		Ana Cavalcanti, Augusto Sampaio, Jim Woodcock: An Inconsistency in Procedures, Parameters, and Substitution in the Refinement Calculus. Sci. Comput. Program. 33(1): 87-96 (1999)
	1998
22		Susan Stepney, David Cooper, Jim Woodcock: More Powerful Z Data Refinement: Pushing the State of the Art in Industrial Refinement. ZUM 1998: 284-307
21		Ana Cavalcanti, Jim Woodcock: A Weakest Precondition Semantics for Z. Comput. J. 41(1): 1-15 (1998)
20		Ana Cavalcanti, Jim Woodcock: ZRC - A Refinement Calculus for Z. Formal Asp. Comput. 10(3): 267-289 (1998)
19		Ana Cavalcanti, Augusto Sampaio, Jim Woodcock: Procedures and Recursion in the Refinement Calculus. J. Braz. Comp. Soc. 5(1): (1998)
	1996
18		Marie-Claude Gaudel, Jim Woodcock: FME '96: Industrial Benefit and Advances in Formal Methods, Third International Symposium of Formal Methods Europe, Co-Sponsored by IFIP WG 14.3, Oxford, UK, March 18-22, 1996, Proceedings Springer 1996
17		Jim Woodcock: Software Engineering Research Directions. ACM Comput. Surv. 28(4es): 128 (1996)
16		A. P. Martin, Paul H. B. Gardiner, Jim Woodcock: A Tactic Calculus-Abridged Version. Formal Asp. Comput. 8(4): 479-489 (1996)
15		A. W. Roscoe, Jim Woodcock, L. Wulf: Non-interference through Determinism. Journal of Computer Security 4(1): 27-54 (1996)
	1995
14		Jane Sinclair, Jim Woodcock: Event Refinement in State-Based Concurrent Systems. Formal Asp. Comput. 7(3): 266-288 (1995)
13		Jim Woodcock, Peter Gorm Larsen: Introduction to Special Section (Guest Editorial). IEEE Trans. Software Eng. 21(2): 61-62 (1995)
	1994
12		A. W. Roscoe, Jim Woodcock, L. Wulf: Non-Interference Through Determinism. ESORICS 1994: 33-53
11		Jim Woodcock, Paul H. B. Gardiner, J. R. Hulance: The Formal Specification in Z of Defence Standard 00-56. Z User Workshop 1994: 9-28
	1993
10		Richard S. Bird, Carroll Morgan, Jim Woodcock: Mathematics of Program Construction, Second International Conference, Oxford, U.K., June 29 - July 3, 1992, Proceedings Springer 1993
9		Jim Woodcock, Peter Gorm Larsen: FME '93: Industrial-Strength Formal Methods, First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993, Proceedings Springer 1993
	1992
8		Jim Woodcock: The Rudiments of Algorithm Refinement. Comput. J. 35(5): 441-450 (1992)
	1991
7		Jim Woodcock: Two Refinement Case Studies. VDM Europe (2) 1991: 118-140
6		Jim Woodcock: A Tutorial on the Refinement Calculus. VDM Europe (2) 1991: 79-140
5		Jim Woodcock: The Refinement Calculus. VDM Europe (2) 1991: 80-95
4		Jim Woodcock: An Introduction to Refinement in Z. VDM Europe (2) 1991: 96-117
	1990
3		Jim Woodcock, Carroll Morgan: Refinement of State-Based Concurrent Systems. VDM Europe 1990: 340-351
2		Paul H. B. Gardiner, P. J. Lupton, Jim Woodcock: A Simpler Semantics for Z. Z User Workshop 1990: 3-11
	1988
1		Jim Woodcock, B. Dickinson: Using VDM with Rely and Guarantee-Conditions - Experiences from a Real Project. VDM Europe 1988: 434-458

Coauthor Index

1	Diyaa-Addein Atiya	[43] [56]
2	Emine G. Aydal	[80] [82] [95] [96]
3	Richard Banach	[76]
4	Juan Bicarregui	[64] [109] [111]
5	Richard S. Bird	[10]
6	Paul Boca	[100]
7	Eerke A. Boiten	[35]
8	Andrew Butterfield	[33] [42] [54] [65] [81] [87] [98] [104] [110]
9	Ana Cavalcanti	[19] [20] [21] [23] [31] [32] [34] [36] [38] [39] [40] [41] [48] [49] [51] [53] [55] [57] [58] [60] [63] [68] [69] [72] [73] [75] [79] [82] [97] [106]
10	John A. Clark (John Andrew Clark)	[92]
11	David Cooper	[22] [92]
12	Charles Crichton	[24]
13	Jim Davies	[24] [25] [26] [27]
14	John Derrick	[35]
15	B. Dickinson	[1]
16	Jin Song Dong	[44]
17	Steve Dunne	[63]
18	John S. Fitzgerald	[109] [111]
19	Leo Freitas (Leonardo Freitas)	[58] [60] [71] [72] [78] [85] [86] [88] [93] [98] [99] [103] [104] [105] [107]
20	Zheng Fu	[85] [103]
21	Pawel Gancarski	[110]
22	Paul H. B. Gardiner	[2] [11] [16]
23	Marie-Claude Gaudel	[18]
24	Chris George	[90]
25	Will Harwood	[68] [97]
26	C. A. R. Hoare (Tony Hoare)	[64]
27	Arthur P. Hughes	[37]
28	J. R. Hulance	[11]
29	Jeremy L. Jacob (Jeremy Jacob)	[92]
30	Cliff B. Jones	[61] [77] [89] [91] [94]
31	Steve King	[43] [56]
32	Peter Gorm Larsen	[9] [13] [109] [111]
33	Zhiming Liu	[89] [90] [91]
34	P. J. Lupton	[2]
35	Christie Marr (Christie Bolton)	[25]
36	A. P. Martin	[16]
37	Alistair A. McEwan	[52]
38	Bertrand Meyer	[102]
39	Konstantinos Mokos	[86]
40	Carroll Morgan (Carroll C. Morgan)	[3] [10]
41	Gift Nuka	[46] [67]
42	Peter W. O'Hearn	[61]
43	Marcel Oliveira	[41] [55] [69] [79] [83] [106]
44	Marcel Vinicius Medeiros Oliveira	[112]
45	Richard F. Paige	[80] [95]
46	Juan Ignacio Perna	[84] [108]
47	A. W. Roscoe (A. William Roscoe, Bill Roscoe)	[12] [15]
48	Augusto Sampaio	[19] [23] [34] [38] [40] [49] [53] [75]
49	Steve A. Schneider (Steve Schneider)	[73]
50	Natarajan Shankar	[101]
51	Adnan Sherif	[81]
52	Jane Sinclair (J. E. Sinclair)	[14]
53	Susan Stepney	[22] [92]
54	Xinbei Tang	[47] [50]
55	Helen Treharne	[73]
56	Mark Utting	[96]
57	Jeannette M. Wing	[26] [27] [28] [29] [30]
58	Joakim von Wright	[35]
59	L. Wulf	[12] [15]
60	Yichi Zhang	[105]

Colors in the list of coauthors