Publications by Software Engineering & Computing Systems

Are you looking for publications by Section of Software Engineering & Computing Systems? On this page you can find all the publications made by the Section of Software Engineering & Computing Systems - Department of Electrical and Computer Engineering, Aarhus University.

Below you can find a list of all the publications, their publishing date, their author(s), and titles. The list can be sorted by date, author, and title:

List of Publications

Sort by: Date | Author | Title

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, Article 101841. https://doi.org/10.1016/j.iot.2025.101841

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

Sharifirad, I. (2025). Designing and Deployment of ML-Empowered Anomaly Detection for Time-critical System on Embedded Platform. [PhD thesis, Aarhus University].

Kristensen, M., Wright, T. D., Gomes, C., Esterle, L. & Larsen, P. G. (2025). DynSRV: Dynamically Updated Properties for Stream Runtime Verification. In Runtime Verification (pp. 101-119). Springer. https://doi.org/10.1007/978-3-032-05435-7_7

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

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. In Proceedings of Smart and Sustainable Built Environment 2025 (pp. 176-185) https://isasbec.abc2.net/index.php/sasbe/article/view/2627

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. In Proceedings of Smart and Sustainable Built Environment 2025 (pp. 1-10) https://isasbec.abc2.net/index.php/sasbe/article/view/2767

Andersen, M. S., Gomes, C., Thompson, S. & Larsen, P. G. (2025). Probabilistic Update Scheduling for Digital Twins: A Semi-Markov Approach. In 2025 ACM/IEEE 28th International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C) (pp. 250-256). IEEE. https://doi.org/10.1109/MODELS-C68889.2025.00043

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

Thomsen, A. K., Rasmussen, B. S., Frasheri, M., Gil Arboleda, S. & Larsen, P. G. (2026). 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

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. In Proceedings of SBE2025 Zurich: Sustainable Built Environment Conference (SBE25) https://doi.org/10.3929/ethz-c-000785697

Haq, A. U. (2025). Physical Layer Secret Key Generation and Coverage Enhancement for Time Variant UAV Wireless Communications. [PhD thesis, Aarhus University].

Hallerstede, S., Robby & Hatcliff, J. (2025). Danvy’s Mystery Functions in Slang. In F. Henglein, J. Lawall, J. Palsberg & S. Ilya (Eds.), OLIVIERFEST 2025 - Proceedings of the Workshop Dedicated to Olivier Danvy on the Occasion of His 64th Birthday (pp. 14-25). Association for Computing Machinery. https://doi.org/10.1145/3759427.3760363

Maheshwari, R., Loidl, M., Khare, R. & Cools, M. (2025). Are we measuring what matters? A multilayered framework evaluating active mobility infrastructure through PLOS, BLOS and 15 minute city principles. Journal of Cycling and Micromobility Research, 6, Article 100089. https://doi.org/10.1016/j.jcmr.2025.100089

Vindbjerg, L. K. & Esterle, L. (2024). Generative Models for Temporal-based Task Definition. 109-114. Paper presented at 5th IEEE International Conference on Autonomic Computing and Self-Organizing Systems. https://doi.org/10.1109/ACSOS-C63493.2024.00040

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).

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 and Business Media Deutschland GmbH. https://doi.org/10.1007/978-3-031-96110-6_98

Tcherniak, D., Talasila, P., Ulriksen, M. D., Abbiati, G., Mahato, S. & Jensen, A. M. D. (2025). Efficient system identification, model updating, and virtual sensing in the Digital-Twin-as-a-Service software platform. In M. Dohler, A. Melot & M. A. Lopez (Eds.), Proceedings of the 11th International Operational Modal Analysis Conference, IOMAC 2025 (pp. 271-279). International Operational Modal Analysis Conference (IOMAC). https://iomac2025.sciencesconf.org/596439/document

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.

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.

Haq, A. U., Singh, P., Mihovska, A. & Beliatis, M. J. (2025). Enhancing Security in Near-Field RIS Communications Assisted by UAV. IEEE Transactions on Consumer Electronics, 71(4), 10404-10417. https://doi.org/10.1109/TCE.2025.3597084

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

Spangsberg, E., Hesselvig, J., Nygaard, R. T., Budzik, M. K. & Sandberg, M. (2025). Multiscale Modelling of Heat Transfer in Selective Laser Sintering. engrXiv. https://doi.org/10.31224/4704

Kristensen, C. K., Kirkegaard, J., Sanporean, C.-G., Budzik, M. K. & Sandberg, M. (2025). Mitigating Discoloration in PA11 SLS: Experimental DoE and Novel Simulation Approaches.

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://ec-3.org/publications/conferences/EC32025/papers/EC32025_173.pdf

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

Hasanpour, M. A., Kirkegaard, M. & Fafoutis, X. (2025). EdgeMark: An automation and benchmarking system for embedded artificial intelligence tools. Journal of Systems Architecture, 167, Article 103488. https://doi.org/10.1016/j.sysarc.2025.103488

Kabachi, M. A., Sandberg, M. & Ermanni, P. (2025). Combined experimental–numerical approach for through-thickness unsaturated permeability characterization of deformable fiber-beds. Composite Structures, 371, Article 119396. https://doi.org/10.1016/j.compstruct.2025.119396

Singh, P., Haq, A. U. & Presser, M. (2026). Towards a Responsible AI Adoption/Adaptation (RAA) Ecosystem: Vision and Model to Keep Socio-Technological Balance. In M. Presser, A. Skarmeta & S. Krco (Eds.), Global Internet of Things and Edge Computing Summit - 2nd International Summit, GIECS 2025, Proceedings: Second International Summit, GIECS 2025, Madrid, Spain, September 22, 2025, Proceedings (pp. 71-92). Springer. https://doi.org/10.1007/978-3-032-09555-8_5

Hesselvig, J., Nygaard, R. T., Budzik, M. K. & Sandberg, M. (2025). Efficient continuum-based modelling and analysis of polymer SLS: Insights into particle sintering and densification in straight and corner scanning passes. Additive Manufacturing, 109, Article 104828. https://doi.org/10.1016/j.addma.2025.104828

Ul Haq, A., Mihovska, A., Lazaridis, P., Poor, H. V., Poulkov, V. K. & Beliatis, M. J. (2024). AI-Based Physical Layer Secret Key Exchange in Non-Terrestrial Wireless Communication Networks. In M. B. Matthews (Ed.), Conference Record of the 58th Asilomar Conference on Signals, Systems and Computers, ACSSC 2024 (pp. 711-715). IEEE. https://doi.org/10.1109/IEEECONF60004.2024.10942946

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), Article 6193. https://doi.org/10.3390/app15116193

Thylstrup, B., Schrøder, S., Fabricius, V. A. V., Brummer, J. E., Kirk, H. B. & del Palacio González , A. (2025). AfterCare – udvikling og pilottest af mobilapplikation til forebyggelse af tilbagefald af alkohol- og cannabisbrug blandt unge voksne.

Merhi, Y., Goumarre, V., Romanyuk, K., Amarasinghe, Y., Kholkin, A., Klarskov, P. & Agarwala, S. (2025). Advancing green electronics: tunable piezoelectric enhancement in biodegradable poly(l-lactic acid) PLLA films through thermal-strain engineering. Nanoscale Horizons, 10(7), 1414-1427. https://doi.org/10.1039/d5nh00142k

Wallace, J. (2010). Different matters of invention: design work as the transformation of dissimilar design artefacts. Danmarks Pædagogiske Universitetsskole, Aarhus Universitet.

Merhi, Y. (2025). Piezoelectric and Crystallinity Enhancements in Poly-L-Lactide Acid (PLLA) for Bioresorbable Biomedical Sensor. [PhD thesis, Aarhus University].

Gil Arboleda, S. (2024). Towards realization of Digital Twins for systems with coupled behavior. [PhD thesis, Aarhus University]. Aarhus University. https://doi.org/10.7146/aul.545

Bennedsen, J. (2008). Teaching and learning introductory programming: a model-based approach. University of Oslo.

Tola, D. (2024). Enabling Digitalization in Modular Robotic Systems Integration. [PhD thesis, Aarhus University]. Aarhus University.

Sandberg, M. (2020). Numerical Modelling of Material Flow in the Resin-injection Pultrusion Process. Technical University of Denmark.

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. In Intelligent Health Systems – From Technology to Data and Knowledge (pp. 1225-1229). IOS Press. https://doi.org/10.3233/SHTI250585

Muntean, I., Frasheri, M. & Munaro, T. (2025). A Case Study on the Application of Digital Twins for Enhancing CPS Operations. Electronic Proceedings in Theoretical Computer Science, EPTCS, 418, 24-31. https://doi.org/10.4204/EPTCS.418.3

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

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

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

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 and Business Media Deutschland GmbH. https://doi.org/10.1007/978-981-96-4656-2_3

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

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.

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 and Business Media Deutschland GmbH. https://doi.org/10.1007/978-3-031-75390-9_1

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 and Business Media Deutschland GmbH. https://doi.org/10.1007/978-3-031-75390-9_3

Displaying results 1 to 50 out of 1014

Back to the main page

Revised 13.11.2025

AU Engineering