Sohier, H.
, Schultz, C. P. L., Zayed, Y. N. H., Kamari, A., Jonveaux, L., Zavitsas, K., Pantelide, G., Trinanes, J., Alejandre, A., Mberi, J. & Maxim, C. (2026).
Accelerating the Transition to Green Building Neighbourhoods: A New Decision Support Platform.
ABC2: Journal of Architecture, Building, Construction, and Cities,
2026(2), 11-22.
https://abc2.net/index.php/journal/article/view/23
Gil Arboleda, S., Badyal, A., Miyazawa, A.
, Larsen, P. G. & Cavalcanti, A. (2026).
A model-based approach for co-simulation-driven digital twins in robotics.
Robotics and Autonomous Systems,
196, 1-20. Article 105240.
https://doi.org/10.1016/j.robot.2025.105240
Kristensen, M., Wright, T. D., Gomes, C., Esterle, L. & Larsen, P. G. (2026).
DynSRV: Dynamically Updated Properties for Stream Runtime Verification. In B. Könighofer & H. Torfah (Eds.),
Runtime Verification - 25th International Conference, RV 2025, Proceedings (pp. 101-119). Springer.
https://doi.org/10.1007/978-3-032-05435-7_7
Sartaj, H.
, Boudjadar, J., Frasheri, M., Ali, S.
& Larsen, P. G. (2026).
Identifying Uncertainty in Self-Adaptive Robotics With Large Language Models.
IEEE Software,
43(1), 89-97.
https://doi.org/10.1109/MS.2025.3620578
Isasa, C., Abou El Wafa, N.
, Gomes, C., Larsen, P. G. & Platzer, A. (2026).
Safe Temperature Regulation: Formally Verified and Real-World Validated. In F. Damiani & M. Farrell (Eds.),
Integrated Formal Methods - 20th International Conference, iFM 2025, Proceedings (pp. 143-161). Springer.
https://doi.org/10.1007/978-3-032-10794-7_8
Šeta, B., Brander, M.
, Sandberg, M., Mollah, M. T., Kumar, V. & Spangenberg, J. (2026).
Subvoxel Control of Fiber Orientation via Multidirectional Shearing in 3D Printing.
Advanced Science,
13(9), Article e11008.
https://doi.org/10.1002/advs.202511008
Zayed, Y. N. H., Kristoffersen, A. E., Lohm, G., Kamari, A. & Schultz, C. P. L. (2025).
A Formalization Framework for Integrating Social Design Intentions into Digital Building Models.
Sustainability,
17(17), Article 7739.
https://doi.org/10.3390/su17177739
Kakavandi, F., Han, P., Nerenst, T. B., De Reus, R.
, Gomes, C. & Larsen, P. G. (2025).
Comparative Study in Fault Detection under Data Scarcity for Pharmaceutical Device Manufacturing. In
2025 International Conference on Control, Automation and Diagnosis, ICCAD 2025 IEEE.
https://doi.org/10.1109/ICCAD64771.2025.11099417
Talasila, P., Gomes, C., Vosteen, L. B., Iven, H., Leucker, M., Gil, S.
, Mikkelsen, P. H., Kamburjan, E.
& Larsen, P. G. (2025).
Composable digital twins on Digital Twin as a Service platform.
Simulation,
101(3), 287-311.
https://doi.org/10.1177/00375497241298653
Fitzgerald, J.
, Gomes, C., Johnsen, E. B., Kamburjan, E., Leucker, M. & Woodcock, J. (2025).
Digital Twin Engineering. In T. Margaria & B. Steffen (Eds.),
Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification - 12th International Symposium, ISoLA 2024, Proceedings (pp. 3-8). Springer Science+Business Media.
https://doi.org/10.1007/978-3-031-75390-9_1
Gomes, C., Kristensen, M. H., Andersen, M. S., Talasila, P., Feng, H., Wright, T. & Larsen, P. G. (2025).
Digital Twin Tutorial: The Incubator Case Study. In J. P. Bowen, C. Gomes & Z. Liu (Eds.),
Engineering Trustworthy Software Systems - 6th International School, SETSS 2024, Tutorial Lectures (pp. 68-101). Springer Science+Business Media.
https://doi.org/10.1007/978-981-96-4656-2_3
Gil, S., Baş, E. E.
, Jensen, C. D., Engelsgaard, S.
, Abbiati, G. & Gomes, C. (2025).
FMI-Based Distributed Co-Simulation with Enhanced Security and Intellectual Property Safeguards. (1 ed.) (pp. 198-203).
Baxter, J., van Acker, B.
, Kristensen, M., Wright, T., Cavalcanti, A.
& Gomes, C. (2025).
Formal Architectural Patterns for Adaptive Robotic Software. In A. Boronat & G. Fraser (Eds.),
Fundamental Approaches to Software Engineering. FASE 2025 (pp. 145-165). Springer.
https://doi.org/10.1007/978-3-031-90900-9_8
David, I., Shao, G.
, Gomes, C., Tilbury, D. & Zarkout, B. (2025).
Interoperability of Digital Twins: Challenges, Success Factors, and Future Research Directions. In T. Margaria & B. Steffen (Eds.),
Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification - 12th International Symposium, ISoLA 2024, Proceedings (pp. 27-46). Springer Science+Business Media.
https://doi.org/10.1007/978-3-031-75390-9_3
Bowen, J. P.
, Gomes, C. & Liu, Z. (2025).
Preface. In J. P. Bowen, C. Gomes & Z. Liu (Eds.),
Engineering Trustworthy Software Systems (pp. vii-xiv). Springer.
Deantoni, J., Muñoz, P.
, Gomes, C., Verbrugge, C., Mittal, R., Heinrich, R., Bellis, S. & Vallecillo, A. (2025).
Quantifying and combining uncertainty for improving the behavior of Digital Twin Systems.
Automatisierungstechnik: AT,
73(2), 81-99.
https://doi.org/10.1515/auto-2024-0036
Bogomolov, S.
, Gomes, C., Isasa, C., Soudjani, S., Stankaitis, P.
& Wright, T. (2025).
Reachability analysis of FMI models using data-driven dynamic sensitivity.
Simulation,
101(5), 575-596.
https://doi.org/10.1177/00375497241261409
Talasila, P., Tcherniak, D.
, Jensen, A. M. D., Mahato, S., Schörghofer-Queiroz, A.
, Ulriksen, M. D., Abbiati, G., Larsen, P. G. & Damkilde, L. (2025).
Structural Health Monitoring of Engineering Structures Using Digital Twins: A Digital Twin Platform Approach. In Á. Cunha & E. Caetano (Eds.),
Experimental Vibration Analysis for Civil Engineering Structures, EVACES 2025 - Volume 1 (pp. 986-996). Springer Science+Business Media.
https://doi.org/10.1007/978-3-031-96110-6_98
Gil Arboleda, S., Oakes, B. J.
, Gomes, C., Frasheri, M. & Larsen, P. G. (2025).
Toward a systematic reporting framework for Digital Twins: a cooperative robotics case study.
Simulation,
101(3), 313-339.
https://doi.org/10.1177/00375497241261406
Thomsen, A. K., Rasmussen, B. S.
, Frasheri, M., Gil Arboleda, S. & Larsen, P. G. (2025).
Towards Digital Twin Aided Autonomy for a UR3e Robotic Manipulator. In A. Cavalcanti, S. Foster & R. Richardson (Eds.),
Towards Autonomous Robotic Systems (pp. 295-309). Springer.
https://doi.org/10.1007/978-3-032-01486-3_24
Frasheri, M., Böttjer, T., Larsen, P. G., Esterle, L. & Gomes, C. (2024).
Advanced Digital Twin Services. In J. Fitzgerald, C. Gomes & P. G. Larsen (Eds.),
The Engineering of Digital Twins (pp. 209-222). Springer.
https://doi.org/10.1007/978-3-031-66719-0_10