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
Feng, H., Gomes, C., Sandberg, M., Macedo, H. D. & Larsen, P. G. (2022).
Under What Conditions Does a Digital Shadow Track a Periodic Linear Physical System? In A. Cerone, M. Autili, A. Bucaioni, C. Gomes, P. Graziani, M. Palmieri, M. Temperini & G. Venture (Eds.),
Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops - CIFMA, CoSim-CPS, OpenCERT, ASYDE, Revised Selected Papers (pp. 143-155). Springer.
https://doi.org/10.1007/978-3-031-12429-7_11
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
Farooq, W., Islam, S. U., Khan, M. A., Rehman, S., Gulzari, U. A.
& Boudjadar, J. (2022).
UGAVs-MDVR: A Cluster-Based Multicast Routing Protocol for Unmanned Ground and Aerial Vehicles Communication in VANET.
Applied Sciences,
12(23), Article 11995.
https://doi.org/10.3390/app122311995
Bogomolov, S., Fitzgerald, J., Foldager, F. F., Gamble, C.
, Larsen, P. G., Pierce, K., Stankaitis, P. & Wooding, B. (2021).
Tuning Robotti: the Machine-assisted Exploration of Parameter Spaces in Multi-Models of a Cyber-Physical System. In J. Fitzgerald, T. Oda & H. D. Macedo (Eds.),
Proceedings of the 18th International Overture Workshop (pp. 50-65)
https://arxiv.org/pdf/2101.07261.pdf
Andras, P.
, Esterle, L., Guckert, M., Han, T. A., Lewis, P. R., Milanovic, K., Payne, T., Perret, C., Pitt, J., Powers, S. T., Urquhart, N. & Wells, S. (2018).
Trusting Intelligent Machines: Deepening Trust Within Socio-Technical Systems.
IEEE Technology and Society Magazine,
37(4), 76-83. Article 8558724.
https://doi.org/10.1109/MTS.2018.2876107
Autili, M., Bellman, K. L., Diaconescu, A.
, Esterle, L., Tivoli, M. & Zisman, A. (2017).
Transition strategies for increasing self-awareness in existing types of computing systems. In
Self-Aware Computing Systems (pp. 305-336). Springer International Publishing AG.
https://doi.org/10.1007/978-3-319-47474-8_10
Lausdahl, K. G., Bjerge, K., Bokhove, T., Groen, F.
& Larsen, P. G. (2017).
Transitioning from Crescendo to INTO-CPS. In J. S. Fitzgerald, P. W. V. Tran-Jørgensen & T. Oda (Eds.),
The 15th Overture Workshop: New Capabilities and Applications for Model-based Systems Engineering: Proceedings (pp. 16-30). Newcastle University.
Thule, C., Gomes, C., Deantoni, J.
, Larsen, P. G., Brauer, J. & Vangheluwe, H. (2018).
Towards the Verification of Hybrid Co-simulation Algorithms. In M. Mazzara, I. Ober & G. Salaün (Eds.),
Software Technologies: Applications and Foundations - STAF 2018 Collocated Workshops, Revised Selected Papers (pp. 5-20). Springer.
https://doi.org/10.1007/978-3-030-04771-9_1
Larsen, P. G., Fitzgerald, J.
, Woodcock, J., Nilsson, R., Gamble, C. & Foster, S. (2016).
Towards Semantically Integrated Models and Tools for Cyber-Physical Systems Design. In M. Tiziana & S. Bernhard (Eds.),
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, ISoLA 2016, Proceedings (Vol. II, pp. 171-186). Springer.
https://doi.org/10.1007/978-3-319-47169-3_13
Kulik, T., Gomes, C., Macedo, H. D., Hallerstede, S. & Larsen, P. G. (2022).
Towards Secure Digital Twins. In T. Margaria & B. Steffen (Eds.),
Leveraging Applications of Formal Methods, Verification and Validation. Practice, ISoLA 2022 (pp. 159-176). Springer.
https://doi.org/10.1007/978-3-031-19762-8_11
Thule, C., Palmieri, M.
, Gomes, C., Lausdahl, K.
, Macedo, H. D., Battle, N.
& Larsen, P. G. (2020).
Towards Reuse of Synchronization Algorithms in Co-simulation Frameworks. In J. Camara & M. Steffen (Eds.),
Software Engineering and Formal Methods (pp. 50-66). Springer.
https://doi.org/10.1007/978-3-030-57506-9_5
Oakes, B.
, Gomes, C., Abbiati, G., Kamburjan, E., Bas, E. E. & Engelsgaard, S. (2024).
Towards Ontological Service-Driven Engineering of Digital Twins. In
Proceedings: MODELS 2024 - ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings (pp. 464-469). Association for Computing Machinery, Inc..
https://doi.org/10.1145/3652620.3688261