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
Kulik, T., Dongol, B.
, Larsen, P. G., Macedo, H. D., Schnieder, S.
, Tran-Jørgensen, P. W. V. & Woodcock, J. (2022).
A Survey of Practical Formal Methods for Security.
Formal Aspects of Computing,
34(1), Artikel 3522582.
https://doi.org/10.1145/3522582
Fitzgerald, J.
, Larsen, P. G., Margaria, T.
& Woodcock, J. (2021).
Engineering of Digital Twins for Cyber-Physical Systems. I T. Margaria & B. Steffen (red.),
Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings (s. 49-53). Springer.
https://doi.org/10.1007/978-3-030-83723-5_4
Woodcock, J., Gomes, C., Macedo, H. D. & Larsen, P. G. (2021).
Uncertainty Quantification and Runtime Monitoring Using Environment-Aware Digital Twins. I T. Margaria & B. Steffen (red.),
Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings (s. 72-87). Springer.
https://doi.org/10.1007/978-3-030-83723-5_6
Chang, W., Wei, R., Zhao, S., Wellings, A.
, Woodcock, J. & Burns, A. (2020).
Development Automation of Real-Time Java: Model-Driven Transformation and Synthesis.
ACM Transactions on Embedded Computing Systems,
19(5), Artikel 3391897.
https://doi.org/10.1145/3391897
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, Artikel 102510.
https://doi.org/10.1016/j.scico.2020.102510
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
Hoare, T., Struth, G.
& Woodcock, J. (2019).
A Calculus of Space, Time, and Causality: Its Algebra, Geometry, Logic. I P. Ribeiro & A. Sampaio (red.),
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 (s. 3-21). Springer.
https://doi.org/10.1007/978-3-030-31038-7_1
Woodcock, J., Cavalcanti, A. L. C., Foster, S. D., Mota, A. & Ye, K. (2019).
Probabilistic Semantics for RoboChart: A Weakest Completion Approach. I P. Ribeiro & A. Sampaio (red.),
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 (s. 80-105). Springer.
https://doi.org/10.1007/978-3-030-31038-7_5
Heiji Miyazawa, A., De Oliveira Salazar Ribeiro, P. F., Li, W., Cavalcanti, A. L. C., Timmis, J. I.
& Woodcock, J. (2019).
RoboChart: modelling and verification of the functional behaviour of robotic applications.
Software and Systems Modeling,
18(5), 3097–3149.
https://doi.org/10.1007/s10270-018-00710-z
Foster, S. D., Baxter, J., Cavalcanti, A. L. C., Miyazawa, A.
& Woodcock, J. (2018).
Automating Verification of State Machines with Reactive Designs and Isabelle/UTP. I K. Bae & P. Csaba Ölveczky (red.),
Formal Aspects of Component Software - 15th International Conference, FACS 2018, Proceedings: 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings (s. 137-155). Springer.
https://doi.org/10.1007/978-3-030-02146-7_7
Foster, S. D., Ye, K., Cavalcanti, A. L. C.
& Woodcock, J. (2018).
Calculational Verification of Reactive Programs with Reactive Relations and Kleene Algebra. I J. Desharnais, W. Guttmann & S. Joosten (red.),
Relational and Algebraic Methods in Computer Science - 17th International Conference, RAMiCS 2018, Proceedings: 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 – November 1, 2018, Proceedings (s. 205-224). Springer.
https://doi.org/10.1007/978-3-030-02149-8_13
Larsen, P. G., Fitzgerald, J.
, Woodcock, J., Gamble, C., Payne, R. & Pierce, K. (2018).
Features of Integrated Model-Based Co-modelling and Co-simulation Technology. I A. Cerone & M. Roveri (red.),
Software Engineering and Formal Methods - SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Revised Selected Papers (s. 377-390). Springer.
https://doi.org/10.1007/978-3-319-74781-1_26
Li, W., Miyazawa, A., Ribeiro, P., Cavalcanti, A. L. C.
, Woodcock, J. & Timmis, J. (2018).
From Formalised State Machines to Implementations of Robotic Controllers. I
Springer Proceedings in Advanced Robotics (s. 517-529). Springer.
https://doi.org/10.1007/978-3-319-73008-0_36
Cavalcanti, A. L. C.
, Woodcock, J. & Amalio, N. (2016).
Behavioural Models for FMI Co-simulations. I A. Sampaio & F. Wang (red.),
Theoretical Aspects of Computing - ICTAC 2016, 13th International Colloquium, Proceedings: 13th International Colloquium, Taipei, Taiwan, ROC, October 24–31, 2016, Proceedings (s. 255-273). Springer.
https://doi.org/10.1007/978-3-319-46750-4_15
Amálio, N., Payne, R., Cavalcanti, A. L. C.
& Woodcock, J. (2016).
Checking SysML Models for Co-Simulation. I K. Ogata, M. Lawford & S. Liu (red.),
Formal Methods and Software Engineering - 18th International Conference on Formal Engineering Methods, ICFEM 2016, Proceedings: 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings (s. 450-465). Springer.
https://doi.org/10.1007/978-3-319-47846-3_28
Foster, S. D., Zeyda, F.
& Woodcock, J. (2016).
Unifying Heterogeneous State-Spaces with Lenses. I A. Sampaio & F. Wang (red.),
Theoretical Aspects of Computing - ICTAC 2016, 13th International Colloquium, Proceedings: 13th International Colloquium, Taipei, Taiwan, ROC, October 24–31, 2016, Proceedings (s. 295-314). Springer.
https://doi.org/10.1007/978-3-319-46750-4_17
Divakaran, S., D’Souza, D., Kushwah, A., Sampath, P., Sridhar, N.
& Woodcock, J. (2015).
Refinement-Based Verification of the FreeRTOS Scheduler in VCC. I M. Butler, S. Conchon & F. Zaïdi (red.),
Formal Methods and Software Engineering: 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings (s. 170-186). Springer.
https://doi.org/10.1007/978-3-319-25423-4_11
Foster, S. D., Miyazawa, A.
, Woodcock, J., Cavalcanti, A. L. C., Fitzgerald, J.
& Larsen, P. G. (2014).
An approach for managing semantic heterogeneity in Systems of Systems Engineering. I S. Cook, V. Ireland, A. Gorod, T. Ferris & Q. Do (red.),
John Fitzgerald (s. 113-118). IEEE.
https://doi.org/10.1109/SYSOSE.2014.6892473
Medeiros Oliveira, M. V., Soares De Medeiros Júnior, I.
& Woodcock, J. (2013).
A Verified Protocol to Implement Multi-way Synchronisation and Interleaving in CSP. I R. M. Hierons, M. G. Merayo & M. Bravetti (red.),
Software Engineering and Formal Methods: 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings (s. 46-60). Springer.
https://doi.org/10.1007/978-3-642-40561-7_4
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
Bandur, V. & Woodcock, J. (2013).
Unifying Theories of Logic and Specification. I J. Iyoda & L. de Moura (red.),
Formal Methods: Foundations and Applications: 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings (Bind 1, s. 18-33). Springer.
https://doi.org/10.1007/978-3-642-41071-0
Foster, S. D.
& Woodcock, J. (2013).
Unifying Theories of Programming in Isabelle. I Z. Liu, J. Woodcock & H. Zhu (red.),
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 (Bind 1, s. 109-155). Springer Berlin, Heidelberg.
https://doi.org/10.1007/978-3-642-39721-9
Radjenovic, A., Freeman Paige, R., Rose, L.
, Woodcock, J. & King, S. (2012).
A Plug-in Based Approach for UML Model Simulation. I A. Vallecillo, J.-P. Tolvanen, E. Kindler, H. Störrle & D. Kolovos (red.),
Modelling Foundations and Applications: 8th European Conference, ECMFA 2012, Kgs. Lyngby, Denmark, July 2-5, 2012. Proceedings (Bind 1, s. 328-339). Springer Berlin, Heidelberg.
https://doi.org/10.1007/978-3-642-31491-9
Wei, K.
, Woodcock, J. & Cavalcanti, A. L. C. (2012).
Circus Time with Reactive Designs. I B. Wolff, M.-C. Gaudel & A. Feliachi (red.),
Unifying Theories of Programming: 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers (Bind 1, s. 68-87). Springer Berlin, Heidelberg.
https://doi.org/10.1007/978-3-642-35705-3
Woodcock, J. & Bandur, V. (2012).
Unifying Theories of Undefinedness in UTP. I B. Wolff, M.-C. Gaudel & A. Feliachi (red.),
Unifying Theories of Programming: 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers (Bind 1, s. 1-22). Springer.
https://doi.org/10.1007/978-3-642-35705-3