Jim Woodcock

J. C. P. Woodcock

2009
102	EE	Leo Freitas, Jim Woodcock: FDR Explorer. Formal Asp. Comput. 21(1-2): 133-154 (2009)
101	EE	Marcel Oliveira, Ana Cavalcanti, Jim Woodcock: A UTP semantics for Circus. Formal Asp. Comput. 21(1-2): 3-32 (2009)
2008
100	EE	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
99		Natarajan Shankar, Jim Woodcock: Verified Software: Theories, Tools, Experiments, Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings Springer 2008
98	EE	Jim Woodcock, Paul Boca: ABZ2008 VSR-Net Workshop. ABZ 2008: 378-379
97	EE	Will Harwood, Ana Cavalcanti, Jim Woodcock: A Theory of Pointers for the UTP. ICTAC 2008: 141-155
96	EE	Emine G. Aydal, Mark Utting, Jim Woodcock: A Comparison of State-Based Modelling Tools for Model Validation. TOOLS (46) 2008: 278-296
95	EE	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	EE	Cliff B. Jones, Jim Woodcock: Editorial. Formal Asp. Comput. 20(1): 1-3 (2008)
93	EE	Leo Freitas, Jim Woodcock: Mechanising Mondex with Z/Eves. Formal Asp. Comput. 20(1): 117-139 (2008)
92	EE	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	EE	Leo Freitas, Jim Woodcock: Proving Theorems About JML Classes. Formal Methods and Hybrid Real-Time Systems 2007: 255-279
87	EE	Andrew Butterfield, Jim Woodcock: Formalising Flash Memory: First Steps. ICECCS 2007: 251-260
86	EE	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	EE	Leo Freitas, Zheng Fu, Jim Woodcock: POSIX file store in Z/Eves: an experiment in the verified software repository. ICECCS 2007: 3-14
84	EE	Juan Ignacio Perna, Jim Woodcock: A Denotational Semantics for Handel-C Hardware Compilation. ICFEM 2007: 266-285
83	EE	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	EE	Andrew Butterfield, Adnan Sherif, Jim Woodcock: Slotted-Circus. IFM 2007: 75-97
80	EE	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	EE	Marcel Oliveira, Ana Cavalcanti, Jim Woodcock: A Denotational Semantics for Circus. Electr. Notes Theor. Comput. Sci. 187: 107-123 (2007)
78	EE	Leo Freitas, Jim Woodcock: FDR Explorer. Electr. Notes Theor. Comput. Sci. 187: 19-34 (2007)
77	EE	Cliff B. Jones, Jim Woodcock: Editorial. Formal Asp. Comput. 19(4): 415-416 (2007)
76	EE	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	EE	Jim Woodcock: Verified Software Grand Challenge. FM 2006: 617-617
73	EE	Steve Schneider, Helen Treharne, Ana Cavalcanti, Jim Woodcock: A Layered Behavioural Model of Platelets. ICECCS 2006: 98-106
72	EE	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	EE	Jim Woodcock, Leo Freitas: Z/Eves and the Mondex Electronic Purse. ICTAC 2006: 15-34
70	EE	Jim Woodcock: First Steps in the Verified Software Grand Challenge. SEW 2006: 203-206
69	EE	Marcel Oliveira, Ana Cavalcanti, Jim Woodcock: Unifying Theories in ProofPower-Z. UTP 2006: 123-140
68	EE	Ana Cavalcanti, Will Harwood, Jim Woodcock: Pointers and Records in the Unifying Theories of Programming. UTP 2006: 200-216
67	EE	Gift Nuka, Jim Woodcock: Mechanising a Unifying Theory. UTP 2006: 217-235
66	EE	Jim Woodcock: An Operational Semantics in UTP for a Language of Reactive Designs (Abstract). UTP 2006: 84-84
65	EE	Andrew Butterfield, Jim Woodcock: A "Hardware Compiler" Semantics for Handel-C. Electr. Notes Theor. Comput. Sci. 161: 73-90 (2006)
64	EE	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	EE	Ana Cavalcanti, Jim Woodcock, Steve Dunne: Angelic nondeterminism in the unifying theories of programming. Formal Asp. Comput. 18(3): 288-307 (2006)
62	EE	Jim Woodcock: First Steps in the Verified Software Grand Challenge. IEEE Computer 39(10): 57-64 (2006)
61	EE	Cliff B. Jones, Peter W. O'Hearn, Jim Woodcock: Verified Software: A Grand Challenge. IEEE Computer 39(4): 93-95 (2006)
60	EE	Leo Freitas, Jim Woodcock, Ana Cavalcanti: State-rich model checking. ISSE 2(1): 49-64 (2006)
2005
59	EE	Jim Woodcock: Unifying Program Refinement Calculi. Abstract State Machines 2005: 76
58	EE	Jim Woodcock, Ana Cavalcanti, Leonardo Freitas: Operational Semantics for Model Checking Circus. FM 2005: 237-252
57	EE	Ana Cavalcanti, Jim Woodcock: Angelic Nondeterminism and Unifying Theories of Programming. Electr. Notes Theor. Comput. Sci. 137(2): 45-66 (2005)
56	EE	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	EE	Marcel Oliveira, Ana Cavalcanti, Jim Woodcock: Formal development of industrial-scale systems in Circus. ISSE 1(2): 125-146 (2005)
54	EE	Andrew Butterfield, Jim Woodcock: prialt in Handel-C: an operational semantics. STTT 7(3): 248-267 (2005)
53	EE	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	EE	Jim Woodcock, Ana Cavalcanti: A Tutorial Introduction to Designs in Unifying Theories of Programming. IFM 2004: 40-66
50	EE	Xinbei Tang, Jim Woodcock: Travelling Processes. MPC 2004: 381-399
49	EE	Ana Cavalcanti, Augusto Sampaio, Jim Woodcock: Refinement: An overview. PSSE 2004: 1-17
48	EE	Ana Cavalcanti, Jim Woodcock: A Tutorial Introduction to CSP in Unifying Theories of Programming. PSSE 2004: 220-268
47	EE	Xinbei Tang, Jim Woodcock: Towards Mobile Processes in Unifying Theories. SEFM 2004: 44-53
46	EE	Gift Nuka, Jim Woodcock: Mechanising the Alphabetised Relational Calculus. Electr. Notes Theor. Comput. Sci. 95: 209-225 (2004)
45	EE	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	EE	Diyaa-Addein Atiya, Steve King, Jim Woodcock: A Circus Semantics for Ravenscar Protected Objects. FME 2003: 617-635
42	EE	Andrew Butterfield, Jim Woodcock: An Operational Semantics for Handel-C. Electr. Notes Theor. Comput. Sci. 80: (2003)
41	EE	Marcel Oliveira, Ana Cavalcanti, Jim Woodcock: ArcAngel: a Tactic Language for Refinement. Formal Asp. Comput. 15(1): 28-47 (2003)
40	EE	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	EE	Augusto Sampaio, Jim Woodcock, Ana Cavalcanti: Refinement in Circus. FME 2002: 451-470
37	EE	Jim Woodcock, Arthur P. Hughes: Unifying Theories of Parallel Programming. ICFEM 2002: 24-37
36	EE	Jim Woodcock, Ana Cavalcanti: The Semantics of Circus. ZB 2002: 184-203
35	EE	John Derrick, Eerke A. Boiten, Jim Woodcock, Joakim von Wright: Preface. Electr. Notes Theor. Comput. Sci. 70(3): (2002)
34	EE	Ana Cavalcanti, Augusto Sampaio, Jim Woodcock: Refinement of actions in Circus. Electr. Notes Theor. Comput. Sci. 70(3): (2002)
33	EE	Andrew Butterfield, Jim Woodcock: Semantic domains for Handel-C. Electr. Notes Theor. Comput. Sci. 74: (2002)
2001
32	EE	Jim Woodcock, Ana Cavalcanti: The Steam Boiler in a Unified Theory of Z and CSP. APSEC 2001: 291-298
31	EE	Jim Woodcock, Ana Cavalcanti: A Concurrent Language for Refinement. IWFM 2001
2000
30	EE	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	EE	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	EE	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	EE	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	EE	Jim Woodcock, Peter Gorm Larsen: Introduction to Special Section (Guest Editorial). IEEE Trans. Software Eng. 21(2): 61-62 (1995)
1994
12	EE	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]
5	Richard S. Bird	[10]
6	Paul Boca	[98]
7	Eerke A. Boiten	[35]
8	Andrew Butterfield	[33] [42] [54] [65] [81] [87]
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] [101]
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	Leo Freitas (Leonardo Freitas)	[58] [60] [71] [72] [78] [85] [86] [88] [93] [102]
19	Zheng Fu	[85]
20	Paul H. B. Gardiner	[2] [11] [16]
21	Marie-Claude Gaudel	[18]
22	Chris George	[90]
23	Will Harwood	[68] [97]
24	C. A. R. Hoare (Tony Hoare)	[64]
25	Arthur P. Hughes	[37]
26	J. R. Hulance	[11]
27	Jeremy L. Jacob (Jeremy Jacob)	[92]
28	Cliff B. Jones	[61] [77] [89] [91] [94]
29	Steve King	[43] [56]
30	Peter Gorm Larsen	[9] [13]
31	Zhiming Liu	[89] [90] [91]
32	P. J. Lupton	[2]
33	Christie Marr (Christie Bolton)	[25]
34	A. P. Martin	[16]
35	Alistair A. McEwan	[52]
36	Bertrand Meyer	[100]
37	Konstantinos Mokos	[86]
38	Carroll Morgan	[3] [10]
39	Gift Nuka	[46] [67]
40	Peter W. O'Hearn	[61]
41	Marcel Oliveira	[41] [55] [69] [79] [83] [101]
42	Richard F. Paige	[80] [95]
43	Juan Ignacio Perna	[84]
44	A. W. Roscoe (A. William Roscoe, Bill Roscoe)	[12] [15]
45	Augusto Sampaio	[19] [23] [34] [38] [40] [49] [53] [75]
46	Steve A. Schneider (Steve Schneider)	[73]
47	Natarajan Shankar	[99]
48	Adnan Sherif	[81]
49	Jane Sinclair (J. E. Sinclair)	[14]
50	Susan Stepney	[22] [92]
51	Xinbei Tang	[47] [50]
52	Helen Treharne	[73]
53	Mark Utting	[96]
54	Jeannette M. Wing	[26] [27] [28] [29] [30]
55	Joakim von Wright	[35]
56	L. Wulf	[12] [15]

Colors in the list of coauthors