The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Jim Woodcock: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. A. W. Roscoe, Jim Woodcock, L. Wulf
    Non-Interference Through Determinism. [Citation Graph (0, 0)][DBLP]
    ESORICS, 1994, pp:33-53 [Conf]
  3. 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]
  4. Augusto Sampaio, Jim Woodcock, Ana Cavalcanti
    Refinement in Circus. [Citation Graph (0, 0)][DBLP]
    FME, 2002, pp:451-470 [Conf]
  5. Jim Woodcock
    Verified Software Grand Challenge. [Citation Graph (0, 0)][DBLP]
    FM, 2006, pp:617-617 [Conf]
  6. Jim Woodcock
    A Tutorial on the Refinement Calculus. [Citation Graph (0, 0)][DBLP]
    VDM Europe (2), 1991, pp:79-140 [Conf]
  7. Jim Woodcock
    The Refinement Calculus. [Citation Graph (0, 0)][DBLP]
    VDM Europe (2), 1991, pp:80-95 [Conf]
  8. Jim Woodcock
    An Introduction to Refinement in Z. [Citation Graph (0, 0)][DBLP]
    VDM Europe (2), 1991, pp:96-117 [Conf]
  9. Jim Woodcock
    Two Refinement Case Studies. [Citation Graph (0, 0)][DBLP]
    VDM Europe (2), 1991, pp:118-140 [Conf]
  10. Jim Woodcock, Ana Cavalcanti, Leonardo Freitas
    Operational Semantics for Model Checking Circus. [Citation Graph (0, 0)][DBLP]
    FM, 2005, pp:237-252 [Conf]
  11. 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]
  12. Jim Woodcock, Carroll Morgan
    Refinement of State-Based Concurrent Systems. [Citation Graph (0, 0)][DBLP]
    VDM Europe, 1990, pp:340-351 [Conf]
  13. 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]
  14. Jim Woodcock, Arthur P. Hughes
    Unifying Theories of Parallel Programming. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2002, pp:24-37 [Conf]
  15. Jim Woodcock, Leo Freitas
    Z/Eves and the Mondex Electronic Purse. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2006, pp:15-34 [Conf]
  16. 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]
  17. 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]
  18. Jim Woodcock, Ana Cavalcanti
    A Concurrent Language for Refinement. [Citation Graph (0, 0)][DBLP]
    IWFM, 2001, pp:- [Conf]
  19. Xinbei Tang, Jim Woodcock
    Travelling Processes. [Citation Graph (0, 0)][DBLP]
    MPC, 2004, pp:381-399 [Conf]
  20. Xinbei Tang, Jim Woodcock
    Towards Mobile Processes in Unifying Theories. [Citation Graph (0, 0)][DBLP]
    SEFM, 2004, pp:44-53 [Conf]
  21. 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]
  22. Gift Nuka, Jim Woodcock
    Mechanising a Unifying Theory. [Citation Graph (0, 0)][DBLP]
    UTP, 2006, pp:217-235 [Conf]
  23. Marcel Oliveira, Ana Cavalcanti, Jim Woodcock
    Unifying Theories in ProofPower-Z. [Citation Graph (0, 0)][DBLP]
    UTP, 2006, pp:123-140 [Conf]
  24. 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]
  25. 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]
  26. 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]
  27. 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]
  28. Jim Woodcock, Ana Cavalcanti
    The Semantics of Circus. [Citation Graph (0, 0)][DBLP]
    ZB, 2002, pp:184-203 [Conf]
  29. Jim Woodcock
    First Steps in the Verified Software Grand Challenge. [Citation Graph (0, 0)][DBLP]
    SEW, 2006, pp:203-206 [Conf]
  30. 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]
  31. 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]
  32. Jim Woodcock
    The Rudiments of Algorithm Refinement. [Citation Graph (0, 0)][DBLP]
    Comput. J., 1992, v:35, n:5, pp:441-450 [Journal]
  33. 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]
  34. 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]
  35. Jim Woodcock
    Software Engineering Research Directions. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:128- [Journal]
  36. 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]
  37. 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]
  38. 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]
  39. 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]
  40. 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]
  41. 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]
  42. 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]
  43. 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]
  44. 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]
  45. 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]
  46. 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]
  47. 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]
  48. 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]
  49. 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]
  50. 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]
  51. 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]
  52. 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]
  53. 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]
  54. 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]
  55. 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]
  56. 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]
  57. 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]
  58. 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]
  59. 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]
  60. 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]
  61. Jim Woodcock
    Unifying Program Refinement Calculi. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2005, pp:76- [Conf]
  62. 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]
  63. 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]
  64. Andrew Butterfield, Jim Woodcock
    Formalising Flash Memory: First Steps. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2007, pp:251-260 [Conf]
  65. 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]
  66. 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]
  67. Marcel Oliveira, Jim Woodcock
    Automatic Generation of Verified Concurrent Hardware. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2007, pp:286-306 [Conf]
  68. Juan Ignacio Perna, Jim Woodcock
    A Denotational Semantics for Handel-C Hardware Compilation. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2007, pp:266-285 [Conf]
  69. Andrew Butterfield, Adnan Sherif, Jim Woodcock
    Slotted-Circus. [Citation Graph (0, 0)][DBLP]
    IFM, 2007, pp:75-97 [Conf]
  70. Ana Cavalcanti, Augusto Sampaio, Jim Woodcock
    Refinement: An overview. [Citation Graph (0, 0)][DBLP]
    PSSE, 2004, pp:1-17 [Conf]
  71. 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]
  72. 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]
  73. Leo Freitas, Jim Woodcock
    FDR Explorer. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:187, n:, pp:19-34 [Journal]

  74. ABZ2008 VSR-Net Workshop. [Citation Graph (, )][DBLP]


  75. POSIX and the Verification Grand Challenge: A Roadmap. [Citation Graph (, )][DBLP]


  76. Linking VDM and Z. [Citation Graph (, )][DBLP]


  77. Goal-Oriented Automatic Test Case Generators for MC/DC Compliancy. [Citation Graph (, )][DBLP]


  78. A Theory of Pointers for the UTP. [Citation Graph (, )][DBLP]


  79. Evaluation of OCL for Large-Scale Modelling: A Different View of the Mondex Purse. [Citation Graph (, )][DBLP]


  80. Unifying Theories of Interrupts. [Citation Graph (, )][DBLP]


  81. The Miracle of Reactive Programming. [Citation Graph (, )][DBLP]


  82. UTP Semantics for Handel-C. [Citation Graph (, )][DBLP]


  83. A Comparison of State-Based Modelling Tools for Model Validation. [Citation Graph (, )][DBLP]


  84. State Visibility and Communication in Unifying Theories of Programming. [Citation Graph (, )][DBLP]


  85. Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation. [Citation Graph (, )][DBLP]


  86. Modelling and Implementing Complex Systems with Timebands. [Citation Graph (, )][DBLP]


  87. Formal methods: Practice and experience. [Citation Graph (, )][DBLP]


  88. Mechanised Wire-wise Verification of Handel-C Synthesis. [Citation Graph (, )][DBLP]


Search in 0.268secs, Finished in 0.272secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002