Meyer, B.
& Woodcock, J. (Eds.) (2005).
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. In B. Meyer & J. 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 (Vol. 1). Springer.
https://doi.org/10.1007/978-3-540-69149-5
Woodcock, J. & Bandur, V. (2012).
Unifying Theories of Undefinedness in UTP. In B. Wolff, M.-C. Gaudel & A. Feliachi (Eds.),
Unifying Theories of Programming: 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers (Vol. 1, pp. 1-22). Springer.
https://doi.org/10.1007/978-3-642-35705-3
Foster, S. D., Cavalcanti, A. L. C., Canham, S. J.
, Woodcock, J. & Zeyda, F. (2020).
Unifying theories of reactive design contracts.
Theoretical Computer Science,
802, 105-140.
https://doi.org/10.1016/j.tcs.2019.09.017
Foster, S. D.
& Woodcock, J. (2013).
Unifying Theories of Programming in Isabelle. In Z. Liu, J. Woodcock & H. Zhu (Eds.),
Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures (Vol. 1, pp. 109-155). Springer Berlin, Heidelberg.
https://doi.org/10.1007/978-3-642-39721-9
Bandur, V. & Woodcock, J. (2013).
Unifying Theories of Logic and Specification. In J. Iyoda & L. de Moura (Eds.),
Formal Methods: Foundations and Applications: 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings (Vol. 1, pp. 18-33). Springer.
https://doi.org/10.1007/978-3-642-41071-0
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
Foster, S. D., Baxter, J., Cavalcanti, A. L. C.
, Woodcock, J. & Zeyda, F. (2020).
Unifying semantic foundations for automated verification tools in Isabelle/UTP.
Science of Computer Programming,
197, Article 102510.
https://doi.org/10.1016/j.scico.2020.102510
Foster, S. D., Zeyda, F.
& Woodcock, J. (2016).
Unifying Heterogeneous State-Spaces with Lenses. In A. Sampaio & F. Wang (Eds.),
Theoretical Aspects of Computing - ICTAC 2016, 13th International Colloquium, Proceedings: 13th International Colloquium, Taipei, Taiwan, ROC, October 24–31, 2016, Proceedings (pp. 295-314). Springer.
https://doi.org/10.1007/978-3-319-46750-4_17
Woodcock, J., Gomes, C., Macedo, H. D. & Larsen, P. G. (2021).
Uncertainty Quantification and Runtime Monitoring Using Environment-Aware Digital Twins. In T. Margaria & B. Steffen (Eds.),
Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings (pp. 72-87). Springer.
https://doi.org/10.1007/978-3-030-83723-5_6
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., 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
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
Woodcock, J., Andersen, M. S., Aranha, D. F., Hallerstede, S., Hansen, S. T., Jakobsen, N. K.
, Kulik, T., Larsen, P. G., Macedo, H. D., Martin, C. I. I. & Norrild, V. A. M. (2023).
State of the Art Report: Verified Computation.
https://doi.org/10.48550/arXiv.2308.15191
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
Cavalcanti, A. L. C., Zeyda, F., Wellings, A.
, Woodcock, J. & Wei, K. (2013).
Safety-critical Java programs from Circus models.
Real-Time systems,
5(49), 614–667.
https://doi.org/10.1007/s11241-013-9182-4