Aarhus University Seal

Publications

Sort by: Date | Author | Title

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
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
Vanommeslaeghe, Y., Gomes, C., Van Acker, B., Denil, J. & De Meulenaere, P. (2025). Adapting parallel DEVS semantics to FMI 3.0 co-simulation using synchronous clocks. Simulation. Advance online publication. https://doi.org/10.1177/00375497251393255
Zayed, Y. N. H., Kamari, A. & Schultz, C. P. L. (2025). Co-creation of Prospect: a BIM-based Plugin Enabling Architects to Embed Social Design Intentions in Building Models. Abstract from Joint EC3 (European Conference on Computing in Construction) and CIB W78 (Information Technology for Construction) 2025, Porto, Portugal. https://doi.org/10.35490/EC3.2025.173
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
Mendes, J. M., Frasheri, M. & Larsen, P. G. (2025). Digital Twin-Enabled Collision Mitigation for Path Constrained Applications. In 2025 11th International Conference on Automation, Robotics, and Applications (ICARA) (2025 ed., pp. 394-398) https://doi.org/10.1109/ICARA64554.2025.10977591
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
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
Ostrowski, H., Sandberg, M. & Budzik, M. K. (2025). Novel fracture mechanics tests for thin 3D printed materials. Abstract from EPF European Polymer Congress, Groningen, Netherlands.
Hesselvig, J., Nygaard, R. T., Budzik, M. K. & Sandberg, M. (2025). Particle Flow and Printing Path Effects in SLS. Abstract from EPF European Polymer Congress, Groningen, Netherlands.
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.
Andersen, M. S., Gomes, C., Thompson, S. & Larsen, P. G. (2025). Probabilistic Update Scheduling for Digital Twins: A Semi-Markov Approach. In Proceedings - 2025 ACM/IEEE 28th International Conference on Model Driven Engineering Languages and Systems Companion, MODELS-C 2025 (pp. 250-256). IEEE. https://doi.org/10.1109/MODELS-C68889.2025.00043
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
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., Talasila, P., Larsen, P. G. & Esterle, L. (2025). Towards multi-fidelity digital twins for dynamic adaption and efficient distributed simulation. In Proceedings - 2025 IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events, PerCom Workshops 2025 (2025 ed., pp. 128-133). IEEE. https://doi.org/10.1109/PerComWorkshops65533.2025.00053
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
Esterle, L., Frasheri, M. & Larsen, P. G. (2024). Autonomous Reconfiguration Enabled by Digital Twins. In J. Fitzgerald, C. Gomes & P. G. Larsen (Eds.), The Engineering of Digital Twins (pp. 345-362). Springer. https://doi.org/10.1007/978-3-031-66719-0_14
Gomes, C., Feng, H., Kazemi, Z. & Pierce, K. (2024). Calibration of Models for Digital Twins. In J. Fitzgerald, C. Gomes & P. G. Larsen (Eds.), The Engineering of Digital Twins (pp. 129-146). Springer. https://doi.org/10.1007/978-3-031-66719-0_6