Abrial, J.-R. (red.), Butler, M. J. (red.), Joshi, R. (red.), Troubitsyna, E.
& Woodcock, J. (red.) (2009).
Refinement Based Methods for the Construction of Dependable Systems, 13.09. - 18.09.2009. I
Dagstuhl Seminar Proceedings, Schloss Dagstuhl https://researchr.org/publication/dagstuhl-2009P9381/authors
Feng, H., Gomes, C., Thule, C., Lausdahl, K., Sandberg, M. & Larsen, P. G. (2021).
The Incubator Case Study for Digital Twin Engineering. ArXiv.
https://arxiv.org/pdf/2102.10390.pdf
Sandberg, M., Yuksel, O., Baran, I., Spangenberg, J. & Hattel, J. H. (2021).
Steady-state modelling and analysis of process-induced stress and deformation in thermoset pultrusion processes.
Composites Part B: Engineering,
216, Artikel 108812.
https://doi.org/10.1016/j.compositesb.2021.108812
Yuksel, O.
, Sandberg, M., Baran, I., Ersoy, N., Hattel, J. H. & Akkerman, R. (2021).
Material characterization of a pultrusion specific and highly reactive polyurethane resin system: Elastic modulus, rheology, and reaction kinetics.
Composites Part B: Engineering,
207, Artikel 108543.
https://doi.org/10.1016/j.compositesb.2020.108543
Sandberg, M., Yuksel, O., Baran, I., Hattel, J. H. & Spangenberg, J. (2021).
Numerical and experimental analysis of resin-flow, heat-transfer, and cure in a resin-injection pultrusion process.
Composites Part A: Applied Science and Manufacturing,
143, Artikel 106231.
https://doi.org/10.1016/j.compositesa.2020.106231
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
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
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
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
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
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
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
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
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
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
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
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
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
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