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

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

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.

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

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.

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://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), 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

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

Merhi, Y. (2025). Piezoelectric and Crystallinity Enhancements in Poly-L-Lactide Acid (PLLA) for Bioresorbable Biomedical Sensor. [Ph.d.-afhandling, Aarhus Universitet].

Gil Arboleda, S. (2024). Towards realization of Digital Twins for systems with coupled behavior. [Ph.d.-afhandling, Aarhus Universitet]. 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. [Ph.d.-afhandling, Aarhus Universitet]. 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. I Intelligent Health Systems – From Technology to Data and Knowledge (s. 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. 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

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. I J. P. Bowen, C. Gomes & Z. Liu (red.), Engineering Trustworthy Software Systems - 6th International School, SETSS 2024, Tutorial Lectures (s. 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. I J. P. Bowen, C. Gomes & Z. Liu (red.), Engineering Trustworthy Software Systems (s. vii-xiv). Springer.

Fitzgerald, J., Gomes, C., Johnsen, E. B., Kamburjan, E., Leucker, M. & Woodcock, J. (2025). Digital Twin Engineering. I T. Margaria & B. Steffen (red.), Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification - 12th International Symposium, ISoLA 2024, Proceedings (s. 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. 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

Hallerstede, S. & Hatcliff, J. (2025). A mechanized semantics for component-based systems in the HAMR AADL runtime. Science of Computer Programming, 245, Artikel 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. Artikel 103720. https://doi.org/10.1007/s10270-025-01270-9

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

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. I 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, Artikel 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. 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

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.

Bennedsen, J. & Øien, G. E. D. (2024). A unified didactic foundation for Aarhus University's tech faculty: Experiences and impact. I L. Bettaieb, N. Ajailia, J. Bennedsen, K. Edstrom, M. N. Singh, R. Lyng, N. Maynard, J. Malmqvist & F. Bystrom (red.), 20th International CDIO Conference, CDIO 2024 - Proceedings (s. 458-471). Chalmers tekniska högskola.

Bennedsen, J., Øien, G. E. D., Foo, E., Goh, E., Roslöf, J., Cheah, S. M. & Gelten, H. (2024). An international university perspective on barriers and enablers for lifelong learning in engineering. I L. Bettaieb, N. Ajailia, J. Bennedsen, K. Edstrom, M. N. Singh, R. Lyng, N. Maynard, J. Malmqvist & F. Bystrom (red.), 20th International CDIO Conference, CDIO 2024 - Proceedings (s. 481-494). Chalmers tekniska högskola.

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

Larsen, P. G., Talasila, P. & Fitzgerald, J. (2024). Towards the Composition of Digital Twins. I Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (s. 103-122). Springer. https://doi.org/10.1007/978-3-031-67114-2_5

Talasila, P., Gomes, C., Vosteen, L. B., Iven, H., Leucker, M., Gil, S., Mikkelsen, P. H., Kamburjan, E. & Larsen, P. G. (2025). Composable digital twins on Digital Twin as a Service platform. Simulation, 101(3), 287-311. https://doi.org/10.1177/00375497241298653

Viser resultater 1 til 50 ud af 996

Næste

Back to the main page

Revideret 13.11.2025

AU Engineering