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
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
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
Fabbri, T., Verhoef, M.
, Bandur, V., Perrotin, M., Tsiodras, T.
& Larsen, P. G. (2016).
Towards integration of Overture into TASTE. In P. G. Larsen, N. Plat & N. Battle (Eds.),
The 14th Overture Workshop: Towards Analytical Tool Chains: Electrical and Computer Engineering (Vol. 4/28, pp. 94-108). Aarhus University, Department of Engineering.
http://ojs.statsbiblioteket.dk/index.php/ece/article/view/24731/21669
Koeva, M., Bennett, R., Crommelinck, S., Stöcker, C., Crompvoets, J., Ho, S., Schwering, A., Chipofya, M.
, Schultz, C. P. L., Zein, T., Biraro, M., Wayumba, R. & Kundert, K. (2017).
Towards Innovative Geospatial Tools for Fit-for-Purpose Land Rights Mapping. In
The International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences, (Vol. XLII-2/W7, pp. 37-43)
https://www.int-arch-photogramm-remote-sens-spatial-inf-sci.net/XLII-2-W7/37/2017/isprs-archives-XLII-2-W7-37-2017.pdf
Monteiro Duarte Couto, L. D., Larsen, P. G., Hasanagic, M., Kanakis, G., Lausdahl, K. G. & Tran-Jørgensen, P. W. V. (2015).
Towards Enabling Overture as a Platform for Formal Notation IDEs. In
Proceedings of the 2nd International Workshop on Formal Integrated Development Environment: F-IDE 2015 (Vol. 187, pp. 14-27)
https://doi.org/10.4204/EPTCS.187.2
Krukar, J.
, Schultz, C. P. L. & Bhatt, M. (2017).
Towards Embodied 3D Isovists: Incorporating cognitively-motivated semantics of `space’ and the architectural environment in 3D visibility analysis. In T. Heitor, M. Serra, J. Pinelo Silva, M. Bacharel & L. Cannas da Silva (Eds.),
Proceedings - 11th International Space Syntax Symposium, SSS 2017 (pp. 2549-2561). Article #166 Instituto Superior Técnico, Departamento de Engenharia Civil, Arquitetura e Georrecursos, Portugal.
http://www.11ssslisbon.pt/docs/book-proceedings-05072017.pdf
Tola, D., Madsen, E., Gomes, C., Esterle, L., Schlette, C., Hansen, C.
& Larsen, P. G. (2022).
Towards Easy Robot System Integration: Challenges and Future Directions. In
2022 IEEE/SICE International Symposium on System Integration (SII) (pp. 77-82). IEEE.
https://doi.org/10.1109/SII52469.2022.9708846
Li, B., Nielsen, R. O.
, Johansen, K. W., Teizer, J., Larsen, P. G. & Schultz, C. (2021).
Towards Digital Twins for Knowledge-Driven Construction Progress and Predictive Safety Analysis on a Construction Site. 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. 153-174). Springer.
https://doi.org/10.1007/978-3-030-83723-5_11
Kakavandi, F., Gomes, C., de Reus, R., Badstue, J.
, Jensen, J. L., Larsen, P. G. & Iosifidis, A. (2023).
Towards Developing a Digital Twin for a Manufacturing Pilot Line: An Industrial Case Study. In E. Karaarslan, Ö. Aydin, Ü. Cali & M. Challenger (Eds.),
Digital Twin Driven Intelligent Systems and Emerging Metaverse (pp. 39-64). Springer.
https://doi.org/10.1007/978-981-99-0252-1_2
Li, B., Schultz, C., Teizer, J., Golovina, O. & Melzner, J. (2022).
Towards a unifying domain model of construction safety, health and well-being: SafeConDM.
Advanced Engineering Informatics,
51, Article 101487.
https://doi.org/10.1016/j.aei.2021.101487