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

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

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

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, 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. (2025). 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 2025 : 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

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

Hallerstede, S. & Hatcliff, J. (2025). A mechanized semantics for component-based systems in the HAMR AADL runtime. Science of Computer Programming, 245, Article 103312. https://doi.org/10.1016/j.scico.2025.103312

Miyazawa, A., Ahmadi, S., Cavalcanti, A., Baxter, J., Post, M., Ribeiro, P., Timmis, J. & Wright, T. (2025). Diagrammatic physical robot models. Software and Systems Modeling, 24(5), 1549-1593. Article 103720. https://doi.org/10.1007/s10270-025-01270-9

Hansen, S. K., Hansen, P., Berry, T. W., Grønbæk, H. D., Olsen, C. M., Merhi, Y., Agarwala, S., Aagaard, P., Hvid, L. G., Agergaard, J., Dela, F. & Suetta, C. (2025). Effects of neuromuscular electrical stimulation on voluntary muscle activation and peripheral muscle contractility following short-term bed rest. Experimental Physiology, 1966-1977. https://doi.org/10.1113/EP092194

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, Article 106225. https://doi.org/10.1016/j.autcon.2025.106225

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

Staugaard, J., Bennedsen, J., Seidl, C., Nicolajsen, S., Fink, M. & Brabrand, C. (2024). Visualizing the Conceptual Framework of Object Orientation for Novice Programmers. In 2024 IEEE Frontiers in Education Conference, FIE 2024 - Proceedings IEEE. https://doi.org/10.1109/FIE61694.2024.10893141

Boudjadar, J., Islam, S. U. & Buyya, R. (2025). Dynamic FPGA reconfiguration for scalable embedded artificial intelligence (AI): A co-design methodology for convolutional neural networks (CNN) acceleration. Future Generation Computer Systems, 169, Article 107777. https://doi.org/10.1016/j.future.2025.107777

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

Bettaieb, L., Ajailia, N., Bennedsen, J., Edström, K., Singh, M. N., Lyng, R., Maynard, N., Malmqvist, J. & Byström, F. (2024). Editorial. Proceedings of the International CDIO Conference, IV-V.

Displaying results 1 to 50 out of 988

Back to the main page

Revised 13.11.2025

AU Engineering