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ér efter: Dato | Forfatter | Titel

Bennedsen, J., Roslöf, J., Øien, G. E. D., Berge, R. A., Andersen, B. & Hansen, B. L. (2025). Towards Nordic University Collaboration on Lifelong Learning for Engineers: Triangulating Stakeholder Perspectives. I R. Kangaslampi, G. Langie, H.-M. Järvinen & B. Nagy (red.), SEFI 2025 - 53rd Annual Conference of the European Society for Engineering Education: Engineering and Society, Proceedings (s. 150-160). European Society for Engineering Education (SEFI). https://doi.org/10.5281/zenodo.17631873

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

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

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

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

Hardin, D., Amundson, I., Babar, J., Cofer, D., Hasan, S., Hoech, K., Belt, J., Hatcliff, J., Robby & Hallerstede, S. (2025). Automated SysML v2 System Model to Memory-Safe Language Code Generation for Avionics Applications. I DASC 2025 - Digital Avionics Systems Conference, Conference Proceedings IEEE. https://doi.org/10.1109/DASC66011.2025.11257170

Boudjadar, J. & Frasheri, M. (2025). A Digital Twin Enabled Runtime Analysis and Mitigation for Autonomous Robots Under Uncertainties. I Proceedings of the 22nd International Conference on Informatics in Control, Automation and Robotics - Volume 2: ICINCO (s. 96-104). SCITEPRESS Digital Library. https://doi.org/10.5220/0013772600003982

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. I 2025 International Conference on Control, Automation and Diagnosis, ICCAD 2025 IEEE. https://doi.org/10.1109/ICCAD64771.2025.11099417

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

Mendes, J. M., Frasheri, M. & Larsen, P. G. (2025). Digital Twin-Enabled Collision Mitigation for Path Constrained Applications. I 2025 11th International Conference on Automation, Robotics, and Applications (ICARA) (2025 udg., s. 394-398) https://doi.org/10.1109/ICARA64554.2025.10977591

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

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

Š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), Artikel e11008. https://doi.org/10.1002/advs.202511008

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

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

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

Kristensen, M., Wright, T. D., Gomes, C., Esterle, L. & Larsen, P. G. (2026). DynSRV: Dynamically Updated Properties for Stream Runtime Verification. I B. Könighofer & H. Torfah (red.), Runtime Verification - 25th International Conference, RV 2025, Proceedings (s. 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), Artikel 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. I Proceedings of Smart and Sustainable Built Environment 2025 (s. 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. I Proceedings of Smart and Sustainable Built Environment 2025 (s. 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. I Proceedings - 2025 ACM/IEEE 28th International Conference on Model Driven Engineering Languages and Systems Companion, MODELS-C 2025 (s. 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. Artikel 105240. https://doi.org/10.1016/j.robot.2025.105240

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

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

Haq, A. U. (2025). Physical Layer Secret Key Generation and Coverage Enhancement for Time Variant UAV Wireless Communications. [Ph.d.-afhandling, Aarhus Universitet].

Hallerstede, S., Robby & Hatcliff, J. (2025). Danvy’s Mystery Functions in Slang. I F. Henglein, J. Lawall, J. Palsberg & S. Ilya (red.), OLIVIERFEST 2025 - Proceedings of the Workshop Dedicated to Olivier Danvy on the Occasion of His 64th Birthday (s. 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, Artikel 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. Afhandling præsenteret på 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 udg.) (s. 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. I Á. Cunha & E. Caetano (red.), Experimental Vibration Analysis for Civil Engineering Structures, EVACES 2025 - Volume 1 (s. 986-996). Springer Science+Business Media. 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. I M. Dohler, A. Melot & M. A. Lopez (red.), Proceedings of the 11th International Operational Modal Analysis Conference, IOMAC 2025 (s. 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 fra EPF European Polymer Congress, Groningen, Holland.

Ostrowski, H., Sandberg, M. & Budzik, M. K. (2025). Novel fracture mechanics tests for thin 3D printed materials. Abstract fra EPF European Polymer Congress, Groningen, Holland.

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 fra 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

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), Artikel 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, Artikel 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, Artikel 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. I M. Presser, A. Skarmeta & S. Krco (red.), 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 (s. 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, Artikel 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. I M. B. Matthews (red.), Conference Record of the 58th Asilomar Conference on Signals, Systems and Computers, ACSSC 2024 (s. 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), Artikel 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.

Viser resultater 1 til 50 ud af 1029

Næste

Back to the main page

Revideret 13.11.2025

AU Engineering