Woodcock, J., Cavalcanti, A. L. C., Foster, S. D., Mota, A. & Ye, K. (2019).
Probabilistic Semantics for RoboChart: A Weakest Completion Approach. In P. Ribeiro & A. Sampaio (Eds.),
Unifying Theories of Programming - 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Proceedings: 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings (pp. 80-105). Springer.
https://doi.org/10.1007/978-3-030-31038-7_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
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
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
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
Woodcock, J., Cavalcanti, A. L. C. & Freitas, L. (2005).
Operational Semantics for Model Checking Circus. In J. Fitzgerald, I. J. Hayes & A. Tarlecki (Eds.),
FM 2005: Formal Methods: International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005. Proceedings (pp. 237-252). Springer.
https://doi.org/10.1007/11526841_17
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
Wei, K.
, Woodcock, J. & Cavalcanti, A. L. C. (2012).
Circus Time with Reactive Designs. 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. 68-87). Springer Berlin, Heidelberg.
https://doi.org/10.1007/978-3-642-35705-3
Stepney, S., Cooper, D.
& Woodcock, J. (1998).
More Powerful Z Data Refinement: Pushing the State of the Art in Industrial Refinement. In J. P. Bowen, A. Fett & M. G. Hinchey (Eds.),
ZUM ’98: The Z Formal Specification Notation: 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998. Proceedings (Vol. 1, pp. 284-307). Springer Berlin, Heidelberg.
https://doi.org/10.1007/978-3-540-49676-2_20
Radjenovic, A., Freeman Paige, R., Rose, L.
, Woodcock, J. & King, S. (2012).
A Plug-in Based Approach for UML Model Simulation. In A. Vallecillo, J.-P. Tolvanen, E. Kindler, H. Störrle & D. Kolovos (Eds.),
Modelling Foundations and Applications: 8th European Conference, ECMFA 2012, Kgs. Lyngby, Denmark, July 2-5, 2012. Proceedings (Vol. 1, pp. 328-339). Springer Berlin, Heidelberg.
https://doi.org/10.1007/978-3-642-31491-9