Publications within Software Engineering & Computing Systems

Castillo-Sánchez, J. B., Cano-García, J. M., González-Parada, E. & Frasheri, M. (2025). Enabling Autonomous Agents for Mobile Wireless Sensor Networks. Applied Sciences (Switzerland), 15(11), Artikel 6193. https://doi.org/10.3390/app15116193

Rehman, Z. U., Hassan, U., Islam, S. U., Gallos, P. & Boudjadar, J. (2025). Energy-Efficient AI for Medical Diagnostics: Performance and Sustainability Analysis of ResNet and MobileNet. I Intelligent Health Systems – From Technology to Data and Knowledge (s. 1225-1229). IOS Press. https://doi.org/10.3233/SHTI250585

Schultz, C. P. L. & Kamari, A. (2025). Exploring the renovation design space: A new iterative approach based on scenario distance metrics and resampling strategies. Building Simulation, 18(6), 1515-1542. https://doi.org/10.1007/s12273-025-1267-1

Woodcock, J. (2025). Farewell Editorial. Formal Aspects of Computing, 37(4), Artikel 26. https://doi.org/10.1145/3773042

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 udg.) (s. 198-203).

Baxter, J., van Acker, B., Kristensen, M., Wright, T., Cavalcanti, A. & Gomes, C. (2025). Formal Architectural Patterns for Adaptive Robotic Software. I A. Boronat & G. Fraser (red.), Fundamental Approaches to Software Engineering. FASE 2025 (s. 145-165). Springer. https://doi.org/10.1007/978-3-031-90900-9_8

Wright, T., Dennis, L. A., Woodcock, J. & Foster, S. (2025). Formal Verification of BDI Agents. I M. Hinchey & B. Steffen (red.), The Combined Power of Research, Education, and Dissemination: Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday (s. 302-326). Springer Science and Business Media Deutschland GmbH. https://doi.org/10.1007/978-3-031-73887-6_20

Kristensen, E. R., de la Cour, J. D., Warburg, T., Eriksen, R. L., Jørgensen, B., Avery, J. E. & Hinge, M. (2025). High-speed processing of hyperspectral images for enabling demanding industrial applications. Chemometrics and Intelligent Laboratory Systems, 267, Artikel 105531. https://doi.org/10.1016/j.chemolab.2025.105531

Rubak, J. A. B., Naveed, K., Jain, S., Esterle, L., Iosifidis, A. & Pauwels, R. (2025). Impact of Labeling Inaccuracy and Image Noise on Tooth Segmentation in Panoramic Radiographs using Federated, Centralized and Local Learning. ArXiv. https://doi.org/10.48550/arXiv.2509.06553

Aher, G., Sandberg, M., Boudjadar, J. & Ramanujan, D. (2025). Informing circularity-focused design optimization using parametric life-cycle engineering simulation models. Smart and Sustainable Manufacturing Systems, 9(1), 11-36. https://doi.org/10.1520/SSMS20240018

Jahangir, M. F., Kamari, A. & Schultz, C. P. L. (2025). Integrating Building Simulation Identity Card and Dynamic Data Modelling for Non-Structural Components within a BIM-based Digital Twin Framework for Enhanced Emergency Evacuation in Complex Buildings. I Proceedings of Smart and Sustainable Built Environment 2025 (s. 176-185) https://isasbec.abc2.net/index.php/sasbe/article/view/2627

David, I., Shao, G., Gomes, C., Tilbury, D. & Zarkout, B. (2025). Interoperability of Digital Twins: Challenges, Success Factors, and Future Research Directions. I T. Margaria & B. Steffen (red.), Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification - 12th International Symposium, ISoLA 2024, Proceedings (s. 27-46). Springer Science and Business Media Deutschland GmbH. https://doi.org/10.1007/978-3-031-75390-9_3

Zayed, Y. N. H., Kristoffersen, A. E., Kamari, A. & Schultz, C. P. L. (2025). Leveraging Large Language Models in Capturing Architects Social Design Intentions in Buildings A Case Study. I Proceedings of SBE2025 Zurich: Sustainable Built Environment Conference (SBE25) https://doi.org/10.3929/ethz-c-000785697

Wu, Q. F., Jochum, M., Avery, J. E., Vettoretti, G. & Nuterman, R. (2025). Machine Guided Derivation of the Atlantic Meridional Overturning Circulation (AMOC) Strength. Geophysical Research Letters, 52(3), Artikel e2024GL113454. https://doi.org/10.1029/2024GL113454

Hansen, S. T., Kamburjan, E. & Kazemi, Z. (2025). Monitoring Reconfigurable Simulation Scenarios in Co-simulated Digital Twins. I T. Margaria & B. Steffen (red.), Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification - 12th International Symposium, ISoLA 2024, Proceedings (s. 47-61). Springer Science and Business Media Deutschland GmbH. https://doi.org/10.1007/978-3-031-75390-9_4

Yelkotwar, P., Raj, R., Pingle, A., Talasila, P. & Goveas, N. (2025). On-Demand Cardiac Digital Twins: A Case Study on DevOps workflows for Digital Twin Platforms. I Proceedings - 2025 ACM/IEEE 28th International Conference on Model Driven Engineering Languages and Systems Companion, MODELS-C 2025 (s. 236-242). IEEE. https://doi.org/10.1109/MODELS-C68889.2025.00041

Vathoopan, M., Boudjadar, J., Hertwig, M. M. & Lentes, J. (2025). Ontology-Driven Simulations for Quantified Service Discovery in Manufacturing Ecosystems. I D. Maga (red.), 2025 29th International Symposium on Distributed Simulation and Real Time Applications (DS-RT) IEEE. https://doi.org/10.1109/DS-RT68115.2025.11186005

Evans, V. T., Gomes, C. & Lucani Rötter, D. E. (2025). Precision on Demand: Propositional Logic for Event-Trigger Threshold Regulation. IEEE Internet of Things Journal, 12(3), 2674-2689. https://doi.org/10.1109/JIOT.2024.3476922

Bowen, J. P., Gomes, C. & Liu, Z. (2025). Preface. I J. P. Bowen, C. Gomes & Z. Liu (red.), Engineering Trustworthy Software Systems (s. vii-xiv). Springer.

Andersen, M. S., Gomes, C., Thompson, S. & Larsen, P. G. (2025). Probabilistic Update Scheduling for Digital Twins: A Semi-Markov Approach. I 2025 ACM/IEEE 28th International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C) (s. 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

Kamari, A. & Schultz, C. P. L. (2025). Streamlining BIM-integrated LCA for rapid-iterative-informed-early stage upfront carbon assessment by architects and engineers. Architecture, Structures and Construction, 5(1), Artikel 5. https://doi.org/10.1007/s44150-024-00122-2

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. I Á. Cunha & E. Caetano (red.), Experimental Vibration Analysis for Civil Engineering Structures, EVACES 2025 - Volume 1 (s. 986-996). Springer Science and Business Media Deutschland GmbH. 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. I A. Cavalcanti, S. Foster & R. Richardson (red.), Towards Autonomous Robotic Systems (s. 295-309). Springer. https://doi.org/10.1007/978-3-032-01486-3_24

Frasheri, M., Talasila, P. & Scherma, V. (2025). Towards Federated Digital Twin Platforms. Electronic Proceedings in Theoretical Computer Science, EPTCS, 418, 32-38. https://doi.org/10.4204/EPTCS.418.4

Frasheri, M., Talasila, P., Larsen, P. G. & Esterle, L. (2025). Towards multi-fidelity digital twins for dynamic adaption and efficient distributed simulation. I Proceedings - 2025 IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events, PerCom Workshops 2025 (2025 udg., s. 128-133). IEEE. https://doi.org/10.1109/PerComWorkshops65533.2025.00053

Kristoffersen, A. E., Kesik, T., Schultz, C. P. L. & Kamari, A. (2025). Towards Socially Sound Sustainable Building Projects with a Novel Life Cycle Assessment Method. I Proceedings of Smart and Sustainable Built Environment 2025 (s. 1-10) https://isasbec.abc2.net/index.php/sasbe/article/view/2767

Jahangir, M. F., Kamari, A. & Schultz, C. P. L. (2025). Unified and interoperable digital twin models for emergency evacuation using building simulation identity cards. Automation in Construction, 175, Artikel 106225. https://doi.org/10.1016/j.autcon.2025.106225

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. Artikel 105240. https://doi.org/10.1016/j.robot.2025.105240

Kristoffersen, A. E., Schultz, C. P. L. & Kamari, A. (2026). Bridging social intents and environmental impacts through eLCA on building renovation cases. International Journal of Construction Management, 26, 1-19. https://doi.org/10.1080/15623599.2026.2619670

van der Meer, L., Esterle, L., Cools, M. & Loidl, M. (2026). Cities aren't rocket engines: the maturity of digital twins in human-centred urban planning. International Journal of Digital Earth, 19(1), Artikel 2630452. https://doi.org/10.1080/17538947.2026.2630452

Domini, D., Farabegoli, N., Aguzzi, G., Viroli, M. & Esterle, L. (2026). Decentralized proximity-aware clustering for collective self-federated learning. Internet of Things (The Netherlands), 35, Artikel 101841. https://doi.org/10.1016/j.iot.2025.101841

Zayed, Y. N. H. (2026). Embedding Human-Centered Social Design Intentions in Digital Building Models. [Ph.d.-afhandling, Aarhus Universitet].

Zayed, Y. N. H., Schultz, C. P. L. & Kamari, A. (2026). From Natural-Language Description to Formalization: Capturing Human-Centered Social Design Intentions in BIM Using Large Language Models. Journal of Intelligent Construction. https://www.sciopen.com/article/10.26599/JIC.2026.9180119

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

Andreas Balle Rubak, J., Naveed, K., Jain, S., Esterle, L., Iosifidis, A. & Pauwels, R. (2026). Impact of Labeling Inaccuracy and Image Noise on Tooth Segmentation in Panoramic Radiographs using Federated, Centralized and Local Learning. Dento maxillo facial radiology. Advance online publication. https://doi.org/10.1093/dmfr/twag001

Hallerstede, S., Robby, Hatcliff, J., Belt, J. & Hardin, D. (2026). Proof Engineering in Logika: Synergistically Integrating Automated and Semi-automated Program Verification. I A. Remke & B. Steffen (red.), Formal Methods for Industrial Critical Systems - 30th International Conference, FMICS 2025, Proceedings (s. 39-58). Springer. https://doi.org/10.1007/978-3-032-00942-5_3

Isasa, C., Abou El Wafa, N., Gomes, C., Larsen, P. G. & Platzer, A. (2026). Safe Temperature Regulation: Formally Verified and Real-World Validated. I F. Damiani & M. Farrell (red.), Integrated Formal Methods - 20th International Conference, iFM 2025, Proceedings (s. 143-161). Springer. https://doi.org/10.1007/978-3-032-10794-7_8

Jakobsen, N. K. (2026). State-Based Modelling with a Concept DSL. I M. Leuschel & F. Ishikawa (red.), Rigorous State-Based Methods - 11th International Conference, ABZ 2025, Proceedings (s. 311-321). Springer. https://doi.org/10.1007/978-3-031-94533-5_18

Evans, V. T., Gomes, C. & Lucani Rötter, D. E. (2026). When Every Transmission Counts: Event-Trigger Threshold Regulation for STL Properties. IEEE Internet of Things Journal, 13(4), 7040-7051. https://doi.org/10.1109/JIOT.2025.3637893

Viser resultater 301 til 343 ud af 343

Forrige

Revideret 10.08.2023

Heidi Søndergaard