Abrial, J.-R. (Ed.), Butler, M. J. (Ed.), Joshi, R. (Ed.), Troubitsyna, E.
& Woodcock, J. (Ed.) (2009).
Refinement Based Methods for the Construction of Dependable Systems, 13.09. - 18.09.2009. In
Dagstuhl Seminar Proceedings, Schloss Dagstuhl https://researchr.org/publication/dagstuhl-2009P9381/authors
M. dos Santos, O.
, Woodcock, J., Freeman Paige, R. & King, S. (2009).
The Use of Model Transformation in the INESS Project. In F. S. de Boer, M. M. Bonsangue, S. Hallerstede & M. Leuschel (Eds.),
Formal Methods for Components and Objects: 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers (Vol. 1, pp. 147-165). Springer.
https://doi.org/10.1007/978-3-642-17071-3
Woodcock, J. & Boca, P. (2008).
ABZ2008 VSR-Net Workshop. In E. Börger, M. Butler, J. P. Bowen & P. Boca (Eds.),
Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings (pp. 378-379). Springer.
https://doi.org/10.1007/978-3-540-87603-8_48
G. Aydal, E., Utting, M.
& Woodcock, J. (2008).
A Comparison of State-Based Modelling Tools for Model Validation. In R. F. Paige & B. Meyer (Eds.),
Objects, Components, Models and Patterns: 46th International Conference, TOOLS EUROPE 2008, Zurich, Switzerland, June 30 - July 4, 2008. Proceedings (Vol. 1, pp. 278-296). Springer.
https://doi.org/10.1007/978-3-540-69824-1
Harwood, W., Cavalcanti, A. L. C.
& Woodcock, J. (2008).
A Theory of Pointers for the UTP. In J. S. Fitzgerald, A. E. Haxthausen & H. Yenigun (Eds.),
Theoretical Aspects of Computing - ICTAC 2008: 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings (pp. 141-155). Springer.
https://doi.org/10.1007/978-3-540-85762-4_10
Perna, J. I.
& Woodcock, J. (2007).
A Denotational Semantics for Handel-C Hardware Compilation. In M. Butler, M. G. Hinchey & M. M. Larrondo-Petrie (Eds.),
Formal Methods and Software Engineering: 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings (pp. 266-285). Springer.
https://doi.org/10.1007/978-3-540-76650-6_16
Oliveira, M.
& Woodcock, J. (2007).
Automatic Generation of Verified Concurrent Hardware. In M. Butler, M. G. Hinchey & M. M. Larrondo-Petrie (Eds.),
Formal Methods and Software Engineering: 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings (pp. 286-306). Springer.
https://doi.org/10.1007/978-3-540-76650-6_17
G. Aydal, E., Freeman Paige, R.
& Woodcock, J. (2007).
Evaluation of OCL for Large-Scale Modelling: A Different View of the Mondex Purse. In H. Giese (Ed.),
Models in Software Engineering: Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers (pp. 194-205). Springer.
https://doi.org/10.1007/978-3-540-69073-3_21
Butterfield, A., Sherif, A.
& Woodcock, J. (2007).
Slotted-Circus: A UTP-Family of Reactive Theories. In J. Davies & J. Gibbons (Eds.),
Integrated Formal Methods: 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedings (pp. 75-97). Springer.
https://doi.org/10.1007/978-3-540-73210-5_5
Woodcock, J., Stepney, S., Cooper, D., Clark, J. & Jacob, J. (2007).
The certification of the Mondex electronic purse to ITSEC Level E6.
Formal Aspects of Computing,
20(1), 5–19.
https://doi.org/10.1007/s00165-007-0060-5
Nuka, G.
& Woodcock, J. (2006).
Mechanising a Unifying Theory. In S. Dunne & B. Stoddart (Eds.),
Unifying Theories of Programming: First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers (pp. 217-235). Springer.
https://doi.org/10.1007/11768173_13
Cavalcanti, A. L. C., Harwood, W.
& Woodcock, J. (2006).
Pointers and Records in the Unifying Theories of Programming. In S. Dunne & B. Stoddart (Eds.),
Unifying Theories of Programming: First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers (pp. 200-216). Springer.
https://doi.org/10.1007/11768173_12
Freitas, L., Cavalcanti, A. L. C.
& Woodcock, J. (2006).
Taking Our Own Medicine: Applying the Refinement Calculus to State-Rich Refinement Model Checking. In Z. Liu & J. He (Eds.),
Formal Methods and Software Engineering: 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006. Proceedings (pp. 697-716). Springer.
https://doi.org/10.1007/11901433_38
Oliveira, M., Cavalcanti, A. L. C.
& Woodcock, J. (2006).
Unifying Theories in ProofPower-Z. In S. Dunne & B. Stoddart (Eds.),
Unifying Theories of Programming: First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers (pp. 123-140). Springer.
https://doi.org/10.1007/11768173_8