Jim Woodcock

Ana Cavalcanti, Andy J. Wellings, Jim Woodcock: The Safety-Critical Java memory model formalised. Formal Asp. Comput. 25(1): 37-57 (2013)

Marcel Oliveira, Ana Cavalcanti, Jim Woodcock: Unifying theories in ProofPower-Z. Formal Asp. Comput. 25(1): 133-158 (2013)

Jim Woodcock: Editorial. Formal Asp. Comput. 24(3): 303 (2012)

Juan Ignacio Perna, Jim Woodcock: Mechanised wire-wise verification of Handel-C synthesis. Sci. Comput. Program. 77(4): 424-443 (2012)

Alek Radjenovic, Richard F. Paige, Louis M. Rose, Jim Woodcock, Steve King: A Plug-in Based Approach for UML Model Simulation. ECMFA 2012: 328-339

Jim Woodcock, Victor Bandur: Unifying Theories of Undefinedness in UTP. UTP 2012: 1-22

Kun Wei, Jim Woodcock, Ana Cavalcanti: Circus Time with Reactive Designs. UTP 2012: 68-87

Juan Ignacio Perna, Jim Woodcock, Augusto Sampaio, Juliano Iyoda: Correct hardware synthesis - An algebraic approach. Acta Inf. 48(7-8): 363-396 (2011)

Zhiming Liu, Jim Woodcock: Editorial. Formal Asp. Comput. 23(2): 151 (2011)

Daniel Kroening, Tiziana Margaria, Jim Woodcock: Editorial. Formal Asp. Comput. 23(5): 585-588 (2011)

Ana Cavalcanti, Andy J. Wellings, Jim Woodcock: The Safety-Critical Java Memory Model: A Formal Account. FM 2011: 246-261

Kun Wei, Jim Woodcock, Alan Burns: Timed Circus: Timed CSP with the Miracle. ICECCS 2011: 55-64

Osmar Marchi dos Santos, Jim Woodcock, Richard F. Paige: Using Model Transformation to Generate Graphical Counter-Examples for the Formal Analysis of xUML Models. ICECCS 2011: 117-126

Ana Cavalcanti, Andy J. Wellings, Jim Woodcock, Kun Wei, Frank Zeyda: Safety-critical Java in Circus. JTRES 2011: 20-29

Brian Matthews, Arif Shaon, Juan Bicarregui, Catherine Jones, Esther Conway, Jim Woodcock: Considering Software Preservation. ERCIM News 2010(80) (2010)

Kun Wei, Jim Woodcock, Alan Burns: A Timed Model of Circus with the Reactive Design Miracle. SEFM 2010: 315-319

Jim Woodcock, Marcel Oliveira, Alan Burns, Kun Wei: Modelling and Implementing Complex Systems with Timebands. SSIRI 2010: 1-13

Richard F. Paige, Jim Woodcock, Phillip J. Brooke, Ana Cavalcanti: Programming Phase: Formal Methods. Encyclopedia of Software Engineering 2010: 772-785

Ana Cavalcanti, David Déharbe, Marie-Claude Gaudel, Jim Woodcock (Eds.): Theoretical Aspects of Computing - ICTAC 2010, 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings. Lecture Notes in Computer Science 6255, Springer 2010, isbn 978-3-642-14807-1

Paulo Borba, Ana Cavalcanti, Augusto Sampaio, Jim Woodcock (Eds.): Testing Techniques in Software Engineering, Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures. Lecture Notes in Computer Science 6153, Springer 2010, isbn 978-3-642-14334-2

Jim Woodcock, Peter Gorm Larsen, Juan Bicarregui, John S. Fitzgerald: Formal methods: Practice and experience. ACM Comput. Surv. 41(4) (2009)

Juan Ignacio Perna, Jim Woodcock: Mechanised Wire-wise Verification of Handel-C Synthesis. Electr. Notes Theor. Comput. Sci. 240: 201-219 (2009)

Marcel Oliveira, Ana Cavalcanti, Jim Woodcock: A UTP semantics for Circus. Formal Asp. Comput. 21(1-2): 3-32 (2009)

Leo Freitas, Jim Woodcock: FDR Explorer. Formal Asp. Comput. 21(1-2): 133-154 (2009)

Leo Freitas, Jim Woodcock: A Chain Datatype in Z. Int. J. Software and Informatics 3(2-3): 357-374 (2009)

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)

Andrew Butterfield, Leo Freitas, Jim Woodcock: Mechanising a formal model of flash memory. Sci. Comput. Program. 74(4): 219-237 (2009)

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)

Juan Bicarregui, John S. Fitzgerald, Peter Gorm Larsen, J. C. P. Woodcock: Industrial Practice in Formal Methods: A Review. FM 2009: 810-813

Osmar Marchi dos Santos, Jim Woodcock, Richard F. Paige, Steve King: The Use of Model Transformation in the INESS Project. FMCO 2009: 147-165

Emine G. Aydal, Richard F. Paige, Mark Utting, Jim Woodcock: Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation. ICST 2009: 131-140

Andrew Butterfield, Pawel Gancarski, Jim Woodcock: State Visibility and Communication in Unifying Theories of Programming. TASE 2009: 47-54

Marcel Vinicius Medeiros Oliveira, Jim Woodcock (Eds.): Formal Methods: Foundations and Applications, 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009, Revised Selected Papers. Lecture Notes in Computer Science 5902, Springer 2009, isbn 978-3-642-10451-0

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)

Cliff B. Jones, Jim Woodcock: Editorial. Formal Asp. Comput. 20(1): 1-3 (2008)

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)

Leo Freitas, Jim Woodcock: Mechanising Mondex with Z/Eves. Formal Asp. Comput. 20(1): 117-139 (2008)

Jim Woodcock, Paul Boca: ABZ2008 VSR-Net Workshop. ABZ 2008: 378-379

Jim Woodcock, Leo Freitas: Linking VDM and Z. ICECCS 2008: 143-152

Leo Freitas, Jim Woodcock, Andrew Butterfield: POSIX and the Verification Grand Challenge: A Roadmap. ICECCS 2008: 153-162

Emine G. Aydal, Richard F. Paige, Jim Woodcock: Observations for Assertion-based Scenarios in the context of Model Validation and Extension to Test Case Generation. ICST Workshops 2008: 11-20

Will Harwood, Ana Cavalcanti, Jim Woodcock: A Theory of Pointers for the UTP. ICTAC 2008: 141-155

Emine G. Aydal, Mark Utting, Jim Woodcock: A Comparison of State-Based Modelling Tools for Model Validation. TOOLS (46) 2008: 278-296

Alistair A. McEwan, Jim Woodcock: Unifying Theories of Interrupts. UTP 2008: 122-141

Juan Ignacio Perna, Jim Woodcock: UTP Semantics for Handel-C. UTP 2008: 142-160

Jim Woodcock: The Miracle of Reactive Programming. UTP 2008: 202-217

Bertrand Meyer, Jim Woodcock (Eds.): 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. Lecture Notes in Computer Science 4171, Springer 2008, isbn 978-3-540-69147-1

Natarajan Shankar, Jim Woodcock (Eds.): Verified Software: Theories, Tools, Experiments, Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings . Lecture Notes in Computer Science 5295, Springer 2008, isbn 978-3-540-87872-8

Leo Freitas, Jim Woodcock: FDR Explorer. Electr. Notes Theor. Comput. Sci. 187: 19-34 (2007)

Marcel Oliveira, Ana Cavalcanti, Jim Woodcock: A Denotational Semantics for Circus. Electr. Notes Theor. Comput. Sci. 187: 107-123 (2007)

Cliff B. Jones, Jim Woodcock: Editorial. Formal Asp. Comput. 19(4): 415-416 (2007)

Jim Woodcock, Richard Banach: The Verification Grand Challenge. J. UCS 13(5): 661-668 (2007)

Leo Freitas, Jim Woodcock: Proving Theorems About JML Classes. Formal Methods and Hybrid Real-Time Systems 2007: 255-279

Leo Freitas, Zheng Fu, Jim Woodcock: POSIX file store in Z/Eves: an experiment in the verified software repository. ICECCS 2007: 3-14

Andrew Butterfield, Jim Woodcock: Formalising Flash Memory: First Steps. ICECCS 2007: 251-260

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

Juan Ignacio Perna, Jim Woodcock: A Denotational Semantics for Handel-C Hardware Compilation. ICFEM 2007: 266-285

Marcel Oliveira, Jim Woodcock: Automatic Generation of Verified Concurrent Hardware. ICFEM 2007: 286-306

Emine G. Aydal, Jim Woodcock, Ana Cavalcanti: Goal-Oriented Automatic Test Case Generators for MC/DC Compliancy. ICSOFT (SE) 2007: 290-295

Andrew Butterfield, Adnan Sherif, Jim Woodcock: Slotted-Circus. IFM 2007: 75-97

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

Chris George, Zhiming Liu, Jim Woodcock (Eds.): Domain Modeling and the Duration Calculus, International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures. Lecture Notes in Computer Science 4710, Springer 2007, isbn 978-3-540-74963-9

Cliff B. Jones, Zhiming Liu, Jim Woodcock (Eds.): 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. Lecture Notes in Computer Science 4700, Springer 2007, isbn 978-3-540-75220-2

Cliff B. Jones, Zhiming Liu, Jim Woodcock (Eds.): Theoretical Aspects of Computing - ICTAC 2007, 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings. Lecture Notes in Computer Science 4711, Springer 2007, isbn 978-3-540-75290-5

Cliff B. Jones, Peter W. O'Hearn, Jim Woodcock: Verified Software: A Grand Challenge. IEEE Computer 39(4): 93-95 (2006)

Jim Woodcock: First Steps in the Verified Software Grand Challenge. IEEE Computer 39(10): 57-64 (2006)

Andrew Butterfield, Jim Woodcock: A "Hardware Compiler" Semantics for Handel-C. Electr. Notes Theor. Comput. Sci. 161: 73-90 (2006)

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)

Ana Cavalcanti, Jim Woodcock, Steve Dunne: Angelic nondeterminism in the unifying theories of programming. Formal Asp. Comput. 18(3): 288-307 (2006)

Leo Freitas, Jim Woodcock, Ana Cavalcanti: State-rich model checking. ISSE 2(1): 49-64 (2006)

Jim Woodcock: Verified Software Grand Challenge. FM 2006: 617-617

Steve Schneider, Helen Treharne, Ana Cavalcanti, Jim Woodcock: A Layered Behavioural Model of Platelets. ICECCS 2006: 98-106

Leo Freitas, Ana Cavalcanti, Jim Woodcock: Taking Our Own Medicine: Applying the Refinement Calculus to State-Rich Refinement Model Checking. ICFEM 2006: 697-716

Jim Woodcock, Leo Freitas: Z/Eves and the Mondex Electronic Purse. ICTAC 2006: 15-34

Jim Woodcock: First Steps in the Verified Software Grand Challenge. SEW 2006: 203-206

Jim Woodcock: An Operational Semantics in UTP for a Language of Reactive Designs (Abstract). UTP 2006: 84-84

Marcel Oliveira, Ana Cavalcanti, Jim Woodcock: Unifying Theories in ProofPower-Z. UTP 2006: 123-140

Ana Cavalcanti, Will Harwood, Jim Woodcock: Pointers and Records in the Unifying Theories of Programming. UTP 2006: 200-216

Gift Nuka, Jim Woodcock: Mechanising a Unifying Theory. UTP 2006: 217-235

Ana Cavalcanti, Augusto Sampaio, Jim Woodcock (Eds.): Refinement Techniques in Software Engineering, First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures. Lecture Notes in Computer Science 3167, Springer 2006, isbn 978-3-540-46253-8

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)

Ana Cavalcanti, Jim Woodcock: Angelic Nondeterminism and Unifying Theories of Programming. Electr. Notes Theor. Comput. Sci. 137(2): 45-66 (2005)

Marcel Oliveira, Ana Cavalcanti, Jim Woodcock: Formal development of industrial-scale systems in Circus. ISSE 1(2): 125-146 (2005)

Ana Cavalcanti, Augusto Sampaio, Jim Woodcock: Unifying classes and processes. Software and System Modeling 4(3): 277-296 (2005)

Andrew Butterfield, Jim Woodcock: prialt in Handel-C: an operational semantics. STTT 7(3): 248-267 (2005)

Jim Woodcock: Unifying Program Refinement Calculi. Abstract State Machines 2005: 76

Jim Woodcock, Ana Cavalcanti, Leonardo Freitas: Operational Semantics for Model Checking Circus. FM 2005: 237-252

Jim Woodcock: Using Circus for Safety-critical Applications. Electr. Notes Theor. Comput. Sci. 95: 3-22 (2004)

Gift Nuka, Jim Woodcock: Mechanising the Alphabetised Relational Calculus. Electr. Notes Theor. Comput. Sci. 95: 209-225 (2004)

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

Jim Woodcock, Ana Cavalcanti: A Tutorial Introduction to Designs in Unifying Theories of Programming. IFM 2004: 40-66

Xinbei Tang, Jim Woodcock: Travelling Processes. MPC 2004: 381-399

Ana Cavalcanti, Augusto Sampaio, Jim Woodcock: Refinement: An overview. PSSE 2004: 1-17

Ana Cavalcanti, Jim Woodcock: A Tutorial Introduction to CSP in Unifying Theories of Programming. PSSE 2004: 220-268

Xinbei Tang, Jim Woodcock: Towards Mobile Processes in Unifying Theories. SEFM 2004: 44-53

Andrew Butterfield, Jim Woodcock: An Operational Semantics for Handel-C. Electr. Notes Theor. Comput. Sci. 80: 235-250 (2003)

Marcel Oliveira, Ana Cavalcanti, Jim Woodcock: ArcAngel: a Tactic Language for Refinement. Formal Asp. Comput. 15(1): 28-47 (2003)

Ana Cavalcanti, Augusto Sampaio, Jim Woodcock: A Refinement Strategy for Circus. Formal Asp. Comput. 15(2-3): 146-181 (2003)

Ana Cavalcanti, Jim Woodcock: Predicate transformers in the semantics of Circus. IEE Proceedings - Software 150(2): 85-94 (2003)

Diyaa-Addein Atiya, Steve King, Jim Woodcock: A Circus Semantics for Ravenscar Protected Objects. FME 2003: 617-635

Jin Song Dong, Jim Woodcock (Eds.): Formal Methods and Software Engineering, 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings. Lecture Notes in Computer Science 2885, Springer 2003, isbn 3-540-20461-X

John Derrick, Eerke A. Boiten, Jim Woodcock, Joakim von Wright: Preface. Electr. Notes Theor. Comput. Sci. 70(3): 1-2 (2002)

Ana Cavalcanti, Augusto Sampaio, Jim Woodcock: Refinement of actions in Circus. Electr. Notes Theor. Comput. Sci. 70(3): 132-162 (2002)

Andrew Butterfield, Jim Woodcock: Semantic domains for Handel-C. Electr. Notes Theor. Comput. Sci. 74: 1-20 (2002)

Augusto Sampaio, Jim Woodcock, Ana Cavalcanti: Refinement in Circus. FME 2002: 451-470

Jim Woodcock, Arthur P. Hughes: Unifying Theories of Parallel Programming. ICFEM 2002: 24-37

Jim Woodcock, Ana Cavalcanti: The Semantics of Circus. ZB 2002: 184-203

Jim Woodcock, Ana Cavalcanti: The Steam Boiler in a Unified Theory of Z and CSP. APSEC 2001: 291-298

Jim Woodcock, Ana Cavalcanti: A Concurrent Language for Refinement. IWFM 2001

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)

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)

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)

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)

Christie Bolton, Jim Davies, Jim Woodcock: On the Refinement and Simulation of Data Types and Processes. IFM 1999: 273-292

Charles Crichton, Jim Davies, Jim Woodcock: When to Trust Mobile Objects: Access Control in the Jini(tm) Software System. TOOLS (30) 1999: 116-125

Jeannette M. Wing, Jim Woodcock, Jim Davies (Eds.): FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I. Lecture Notes in Computer Science 1708, Springer 1999, isbn 3-540-66587-0

Jeannette M. Wing, Jim Woodcock, Jim Davies (Eds.): FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume II. Lecture Notes in Computer Science 1709, Springer 1999, isbn 3-540-66588-9

Ana Cavalcanti, Jim Woodcock: A Weakest Precondition Semantics for Z. Comput. J. 41(1): 1-15 (1998)

Ana Cavalcanti, Jim Woodcock: ZRC - A Refinement Calculus for Z. Formal Asp. Comput. 10(3): 267-289 (1998)

Ana Cavalcanti, Augusto Sampaio, Jim Woodcock: Procedures and Recursion in the Refinement Calculus. J. Braz. Comp. Soc. 5(1) (1998)

Susan Stepney, David Cooper, Jim Woodcock: More Powerful Z Data Refinement: Pushing the State of the Art in Industrial Refinement. ZUM 1998: 284-307

Jim Woodcock: Software Engineering Research Directions. ACM Comput. Surv. 28(4es): 128 (1996)

A. P. Martin, Paul H. B. Gardiner, Jim Woodcock: A Tactic Calculus-Abridged Version. Formal Asp. Comput. 8(4): 479-489 (1996)

A. W. Roscoe, Jim Woodcock, L. Wulf: Non-interference through Determinism. Journal of Computer Security 4(1): 27-54 (1996)

Marie-Claude Gaudel, Jim Woodcock (Eds.): 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. Lecture Notes in Computer Science 1051, Springer 1996, isbn 3-540-60973-3

Jane Sinclair, Jim Woodcock: Event Refinement in State-Based Concurrent Systems. Formal Asp. Comput. 7(3): 266-288 (1995)

Jim Woodcock, Peter Gorm Larsen: Introduction to Special Section (Guest Editorial). IEEE Trans. Software Eng. 21(2): 61-62 (1995)

A. W. Roscoe, Jim Woodcock, L. Wulf: Non-Interference Through Determinism. ESORICS 1994: 33-53

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

Jim Woodcock, Peter Gorm Larsen (Eds.): FME '93: Industrial-Strength Formal Methods, First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993, Proceedings. Lecture Notes in Computer Science 670, Springer 1993, isbn 3-540-56662-7

Richard S. Bird, Carroll Morgan, Jim Woodcock (Eds.): Mathematics of Program Construction, Second International Conference, Oxford, U.K., June 29 - July 3, 1992, Proceedings. Lecture Notes in Computer Science 669, Springer 1993, isbn 3-540-56625-2

Jim Woodcock: The Rudiments of Algorithm Refinement. Comput. J. 35(5): 441-450 (1992)

Jim Woodcock: A Tutorial on the Refinement Calculus. VDM Europe (2) 1991: 79-140

Jim Woodcock: The Refinement Calculus. VDM Europe (2) 1991: 80-95

Jim Woodcock: An Introduction to Refinement in Z. VDM Europe (2) 1991: 96-117

Jim Woodcock: Two Refinement Case Studies. VDM Europe (2) 1991: 118-140

Jim Woodcock, Carroll Morgan: Refinement of State-Based Concurrent Systems. VDM Europe 1990: 340-351

Paul H. B. Gardiner, P. J. Lupton, Jim Woodcock: A Simpler Semantics for Z. Z User Workshop 1990: 3-11

Jim Woodcock, B. Dickinson: Using VDM with Rely and Guarantee-Conditions - Experiences from a Real Project. VDM Europe 1988: 434-458