| |
J. C. P. Woodcock
List of publications from the DBLP Bibliography Server - FAQ
| * | 2009 | |
|---|---|---|
| 110 | EE | Andrew Butterfield, Pawel Gancarski, Jim Woodcock: State Visibility and Communication in Unifying Theories of Programming. TASE 2009: 47-54 |
| 109 | EE | Jim Woodcock, Peter Gorm Larsen, Juan Bicarregui, John S. Fitzgerald: Formal methods: Practice and experience. ACM Comput. Surv. 41(4): (2009) |
| 108 | EE | Juan Ignacio Perna, Jim Woodcock: Mechanised Wire-wise Verification of Handel-C Synthesis. Electr. Notes Theor. Comput. Sci. 240: 201-219 (2009) |
| 107 | EE | Leo Freitas, Jim Woodcock: FDR Explorer. Formal Asp. Comput. 21(1-2): 133-154 (2009) |
| 106 | EE | Marcel Oliveira, Ana Cavalcanti, Jim Woodcock: A UTP semantics for Circus. Formal Asp. Comput. 21(1-2): 3-32 (2009) |
| 105 | EE | 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 | EE | Andrew Butterfield, Leo Freitas, Jim Woodcock: Mechanising a formal model of flash memory. Sci. Comput. Program. 74(4): 219-237 (2009) |
| 103 | EE | 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 | 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 |
| 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 | EE | Jim Woodcock, Paul Boca: ABZ2008 VSR-Net Workshop. ABZ 2008: 378-379 |
| 99 | EE | Jim Woodcock, Leo Freitas: Linking VDM and Z. ICECCS 2008: 143-152 |
| 98 | EE | Leo Freitas, Jim Woodcock, Andrew Butterfield: POSIX and the Verification Grand Challenge: A Roadmap. ICECCS 2008: 153-162 |
| 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 | EE | 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 | EE | 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 | EE | Jim Woodcock, B. Dickinson: Using VDM with Rely and Guarantee-Conditions - Experiences from a Real Project. VDM Europe 1988: 434-458 |