Search the dblp DataBase
Jim Woodcock :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Jim Woodcock , Ana Cavalcanti The Steam Boiler in a Unified Theory of Z and CSP. [Citation Graph (0, 0)][DBLP ] APSEC, 2001, pp:291-298 [Conf ] A. W. Roscoe , Jim Woodcock , L. Wulf Non-Interference Through Determinism. [Citation Graph (0, 0)][DBLP ] ESORICS, 1994, pp:33-53 [Conf ] Diyaa-Addein Atiya , Steve King , Jim Woodcock A Circus Semantics for Ravenscar Protected Objects. [Citation Graph (0, 0)][DBLP ] FME, 2003, pp:617-635 [Conf ] Augusto Sampaio , Jim Woodcock , Ana Cavalcanti Refinement in Circus. [Citation Graph (0, 0)][DBLP ] FME, 2002, pp:451-470 [Conf ] Jim Woodcock Verified Software Grand Challenge. [Citation Graph (0, 0)][DBLP ] FM, 2006, pp:617-617 [Conf ] Jim Woodcock A Tutorial on the Refinement Calculus. [Citation Graph (0, 0)][DBLP ] VDM Europe (2), 1991, pp:79-140 [Conf ] Jim Woodcock The Refinement Calculus. [Citation Graph (0, 0)][DBLP ] VDM Europe (2), 1991, pp:80-95 [Conf ] Jim Woodcock An Introduction to Refinement in Z. [Citation Graph (0, 0)][DBLP ] VDM Europe (2), 1991, pp:96-117 [Conf ] Jim Woodcock Two Refinement Case Studies. [Citation Graph (0, 0)][DBLP ] VDM Europe (2), 1991, pp:118-140 [Conf ] Jim Woodcock , Ana Cavalcanti , Leonardo Freitas Operational Semantics for Model Checking Circus. [Citation Graph (0, 0)][DBLP ] FM, 2005, pp:237-252 [Conf ] Jim Woodcock , B. Dickinson Using VDM with Rely and Guarantee-Conditions - Experiences from a Real Project. [Citation Graph (0, 0)][DBLP ] VDM Europe, 1988, pp:434-458 [Conf ] Jim Woodcock , Carroll Morgan Refinement of State-Based Concurrent Systems. [Citation Graph (0, 0)][DBLP ] VDM Europe, 1990, pp:340-351 [Conf ] Leo Freitas , Ana Cavalcanti , Jim Woodcock Taking Our Own Medicine: Applying the Refinement Calculus to State-Rich Refinement Model Checking. [Citation Graph (0, 0)][DBLP ] ICFEM, 2006, pp:697-716 [Conf ] Jim Woodcock , Arthur P. Hughes Unifying Theories of Parallel Programming. [Citation Graph (0, 0)][DBLP ] ICFEM, 2002, pp:24-37 [Conf ] Jim Woodcock , Leo Freitas Z/Eves and the Mondex Electronic Purse. [Citation Graph (0, 0)][DBLP ] ICTAC, 2006, pp:15-34 [Conf ] Christie Bolton , Jim Davies , Jim Woodcock On the Refinement and Simulation of Data Types and Processes. [Citation Graph (0, 0)][DBLP ] IFM, 1999, pp:273-292 [Conf ] Jim Woodcock , Ana Cavalcanti A Tutorial Introduction to Designs in Unifying Theories of Programming. [Citation Graph (0, 0)][DBLP ] IFM, 2004, pp:40-66 [Conf ] Jim Woodcock , Ana Cavalcanti A Concurrent Language for Refinement. [Citation Graph (0, 0)][DBLP ] IWFM, 2001, pp:- [Conf ] Xinbei Tang , Jim Woodcock Travelling Processes. [Citation Graph (0, 0)][DBLP ] MPC, 2004, pp:381-399 [Conf ] Xinbei Tang , Jim Woodcock Towards Mobile Processes in Unifying Theories. [Citation Graph (0, 0)][DBLP ] SEFM, 2004, pp:44-53 [Conf ] Ana Cavalcanti , Will Harwood , Jim Woodcock Pointers and Records in the Unifying Theories of Programming. [Citation Graph (0, 0)][DBLP ] UTP, 2006, pp:200-216 [Conf ] Gift Nuka , Jim Woodcock Mechanising a Unifying Theory. [Citation Graph (0, 0)][DBLP ] UTP, 2006, pp:217-235 [Conf ] Marcel Oliveira , Ana Cavalcanti , Jim Woodcock Unifying Theories in ProofPower-Z. [Citation Graph (0, 0)][DBLP ] UTP, 2006, pp:123-140 [Conf ] Jim Woodcock An Operational Semantics in UTP for a Language of Reactive Designs (Abstract). [Citation Graph (0, 0)][DBLP ] UTP, 2006, pp:84-84 [Conf ] Paul H. B. Gardiner , P. J. Lupton , Jim Woodcock A Simpler Semantics for Z. [Citation Graph (0, 0)][DBLP ] Z User Workshop, 1990, pp:3-11 [Conf ] Susan Stepney , David Cooper , Jim Woodcock More Powerful Z Data Refinement: Pushing the State of the Art in Industrial Refinement. [Citation Graph (0, 0)][DBLP ] ZUM, 1998, pp:284-307 [Conf ] Jim Woodcock , Paul H. B. Gardiner , J. R. Hulance The Formal Specification in Z of Defence Standard 00-56. [Citation Graph (0, 0)][DBLP ] Z User Workshop, 1994, pp:9-28 [Conf ] Jim Woodcock , Ana Cavalcanti The Semantics of Circus. [Citation Graph (0, 0)][DBLP ] ZB, 2002, pp:184-203 [Conf ] Jim Woodcock First Steps in the Verified Software Grand Challenge. [Citation Graph (0, 0)][DBLP ] SEW, 2006, pp:203-206 [Conf ] Charles Crichton , Jim Davies , Jim Woodcock When to Trust Mobile Objects: Access Control in the Jini(tm) Software System. [Citation Graph (0, 0)][DBLP ] TOOLS (30), 1999, pp:116-125 [Conf ] Ana Cavalcanti , Jim Woodcock A Weakest Precondition Semantics for Z. [Citation Graph (0, 0)][DBLP ] Comput. J., 1998, v:41, n:1, pp:1-15 [Journal ] Jim Woodcock The Rudiments of Algorithm Refinement. [Citation Graph (0, 0)][DBLP ] Comput. J., 1992, v:35, n:5, pp:441-450 [Journal ] Cliff B. Jones , Peter W. O'Hearn , Jim Woodcock Verified Software: A Grand Challenge. [Citation Graph (0, 0)][DBLP ] IEEE Computer, 2006, v:39, n:4, pp:93-95 [Journal ] Jim Woodcock First Steps in the Verified Software Grand Challenge. [Citation Graph (0, 0)][DBLP ] IEEE Computer, 2006, v:39, n:10, pp:57-64 [Journal ] Jim Woodcock Software Engineering Research Directions. [Citation Graph (0, 0)][DBLP ] ACM Comput. Surv., 1996, v:28, n:4es, pp:128- [Journal ] Diyaa-Addein Atiya , Steve King , Jim Woodcock Simpler Reasoning About System Properties: a Proof-by-Refinement Technique. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2005, v:137, n:2, pp:5-22 [Journal ] Andrew Butterfield , Jim Woodcock Semantic domains for Handel-C. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2002, v:74, n:, pp:- [Journal ] Andrew Butterfield , Jim Woodcock An Operational Semantics for Handel-C. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2003, v:80, n:, pp:- [Journal ] Ana Cavalcanti , Augusto Sampaio , Jim Woodcock Refinement of actions in Circus. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2002, v:70, n:3, pp:- [Journal ] Ana Cavalcanti , Jim Woodcock Angelic Nondeterminism and Unifying Theories of Programming. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2005, v:137, n:2, pp:45-66 [Journal ] John Derrick , Eerke A. Boiten , Jim Woodcock , Joakim von Wright Preface. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2002, v:70, n:3, pp:- [Journal ] Gift Nuka , Jim Woodcock Mechanising the Alphabetised Relational Calculus. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2004, v:95, n:, pp:209-225 [Journal ] Jim Woodcock Using Circus for Safety-critical Applications. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2004, v:95, n:, pp:3-22 [Journal ] Andrew Butterfield , Jim Woodcock A "Hardware Compiler" Semantics for Handel-C. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2006, v:161, n:, pp:73-90 [Journal ] Ana Cavalcanti , Augusto Sampaio , Jim Woodcock A Refinement Strategy for Circus. [Citation Graph (0, 0)][DBLP ] Formal Asp. Comput., 2003, v:15, n:2-3, pp:146-181 [Journal ] Ana Cavalcanti , Jim Woodcock ZRC - A Refinement Calculus for Z. [Citation Graph (0, 0)][DBLP ] Formal Asp. Comput., 1998, v:10, n:3, pp:267-289 [Journal ] A. P. Martin , Paul H. B. Gardiner , Jim Woodcock A Tactic Calculus-Abridged Version. [Citation Graph (0, 0)][DBLP ] Formal Asp. Comput., 1996, v:8, n:4, pp:479-489 [Journal ] Marcel Oliveira , Ana Cavalcanti , Jim Woodcock ArcAngel: a Tactic Language for Refinement. [Citation Graph (0, 0)][DBLP ] Formal Asp. Comput., 2003, v:15, n:1, pp:28-47 [Journal ] Jeannette M. Wing , Jim Woodcock The First World Congress on Formal Methods in the Development of Computing Systems. [Citation Graph (0, 0)][DBLP ] Formal Asp. Comput., 2000, v:12, n:3, pp:145-146 [Journal ] Jane Sinclair , Jim Woodcock Event Refinement in State-Based Concurrent Systems. [Citation Graph (0, 0)][DBLP ] Formal Asp. Comput., 1995, v:7, n:3, pp:266-288 [Journal ] Ana Cavalcanti , Jim Woodcock , Steve Dunne Angelic nondeterminism in the unifying theories of programming. [Citation Graph (0, 0)][DBLP ] Formal Asp. Comput., 2006, v:18, n:3, pp:288-307 [Journal ] Jeannette M. Wing , Jim Woodcock Introduction: Special Issues for FM'99, the First World Congress on Formal Methods in the Development of Computing Systems. [Citation Graph (0, 0)][DBLP ] Formal Methods in System Design, 2000, v:17, n:3, pp:199-200 [Journal ] Ana Cavalcanti , Jim Woodcock Predicate transformers in the semantics of Circus. [Citation Graph (0, 0)][DBLP ] IEE Proceedings - Software, 2003, v:150, n:2, pp:85-94 [Journal ] Ana Cavalcanti , Augusto Sampaio , Jim Woodcock Procedures and Recursion in the Refinement Calculus. [Citation Graph (0, 0)][DBLP ] J. Braz. Comp. Soc., 1998, v:5, n:1, pp:- [Journal ] A. W. Roscoe , Jim Woodcock , L. Wulf Non-interference through Determinism. [Citation Graph (0, 0)][DBLP ] Journal of Computer Security, 1996, v:4, n:1, pp:27-54 [Journal ] Ana Cavalcanti , Augusto Sampaio , Jim Woodcock An Inconsistency in Procedures, Parameters, and Substitution in the Refinement Calculus. [Citation Graph (0, 0)][DBLP ] Sci. Comput. Program., 1999, v:33, n:1, pp:87-96 [Journal ] Ana Cavalcanti , Augusto Sampaio , Jim Woodcock Unifying classes and processes. [Citation Graph (0, 0)][DBLP ] Software and System Modeling, 2005, v:4, n:3, pp:277-296 [Journal ] Andrew Butterfield , Jim Woodcock prialt in Handel-C: an operational semantics. [Citation Graph (0, 0)][DBLP ] STTT, 2005, v:7, n:3, pp:248-267 [Journal ] 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. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 2000, v:26, n:8, pp:673-674 [Journal ] Jim Woodcock , Peter Gorm Larsen Introduction to Special Section (Guest Editorial). [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1995, v:21, n:2, pp:61-62 [Journal ] Jim Woodcock Unifying Program Refinement Calculi. [Citation Graph (0, 0)][DBLP ] Abstract State Machines, 2005, pp:76- [Conf ] Leo Freitas , Jim Woodcock Proving Theorems About JML Classes. [Citation Graph (0, 0)][DBLP ] Formal Methods and Hybrid Real-Time Systems, 2007, pp:255-279 [Conf ] Steve Schneider , Helen Treharne , Ana Cavalcanti , Jim Woodcock A Layered Behavioural Model of Platelets. [Citation Graph (0, 0)][DBLP ] ICECCS, 2006, pp:98-106 [Conf ] Andrew Butterfield , Jim Woodcock Formalising Flash Memory: First Steps. [Citation Graph (0, 0)][DBLP ] ICECCS, 2007, pp:251-260 [Conf ] Leo Freitas , Zheng Fu , Jim Woodcock POSIX file store in Z/Eves: an experiment in the verified software repository. [Citation Graph (0, 0)][DBLP ] ICECCS, 2007, pp:3-14 [Conf ] Leo Freitas , Konstantinos Mokos , Jim Woodcock Verifying the CICS File Control API with Z/Eves: An Experiment in the Verified Software Repository. [Citation Graph (0, 0)][DBLP ] ICECCS, 2007, pp:290-298 [Conf ] Marcel Oliveira , Jim Woodcock Automatic Generation of Verified Concurrent Hardware. [Citation Graph (0, 0)][DBLP ] ICFEM, 2007, pp:286-306 [Conf ] Juan Ignacio Perna , Jim Woodcock A Denotational Semantics for Handel-C Hardware Compilation. [Citation Graph (0, 0)][DBLP ] ICFEM, 2007, pp:266-285 [Conf ] Andrew Butterfield , Adnan Sherif , Jim Woodcock Slotted-Circus. [Citation Graph (0, 0)][DBLP ] IFM, 2007, pp:75-97 [Conf ] Ana Cavalcanti , Augusto Sampaio , Jim Woodcock Refinement: An overview. [Citation Graph (0, 0)][DBLP ] PSSE, 2004, pp:1-17 [Conf ] Ana Cavalcanti , Jim Woodcock A Tutorial Introduction to CSP in Unifying Theories of Programming . [Citation Graph (0, 0)][DBLP ] PSSE, 2004, pp:220-268 [Conf ] Marcel Oliveira , Ana Cavalcanti , Jim Woodcock A Denotational Semantics for Circus. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2007, v:187, n:, pp:107-123 [Journal ] Leo Freitas , Jim Woodcock FDR Explorer. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2007, v:187, n:, pp:19-34 [Journal ] ABZ2008 VSR-Net Workshop. [Citation Graph (, )][DBLP ] POSIX and the Verification Grand Challenge: A Roadmap. [Citation Graph (, )][DBLP ] Linking VDM and Z. [Citation Graph (, )][DBLP ] Goal-Oriented Automatic Test Case Generators for MC/DC Compliancy. [Citation Graph (, )][DBLP ] A Theory of Pointers for the UTP. [Citation Graph (, )][DBLP ] Evaluation of OCL for Large-Scale Modelling: A Different View of the Mondex Purse. [Citation Graph (, )][DBLP ] Unifying Theories of Interrupts. [Citation Graph (, )][DBLP ] The Miracle of Reactive Programming. [Citation Graph (, )][DBLP ] UTP Semantics for Handel-C. [Citation Graph (, )][DBLP ] A Comparison of State-Based Modelling Tools for Model Validation. [Citation Graph (, )][DBLP ] State Visibility and Communication in Unifying Theories of Programming. [Citation Graph (, )][DBLP ] Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation. [Citation Graph (, )][DBLP ] Modelling and Implementing Complex Systems with Timebands. [Citation Graph (, )][DBLP ] Formal methods: Practice and experience. [Citation Graph (, )][DBLP ] Mechanised Wire-wise Verification of Handel-C Synthesis. [Citation Graph (, )][DBLP ] Search in 0.005secs, Finished in 0.456secs