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

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 dissertation, Aarhus University].

Gil Arboleda, S. (2024). Towards realization of Digital Twins for systems with coupled behavior. [PhD dissertation, 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 dissertation, 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+Business Media. 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+Business Media. 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+Business Media. 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, 110(12), 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+Business Media. 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. In L. Bettaieb, N. Ajailia, J. Bennedsen, K. Edstrom, M. N. Singh, R. Lyng, N. Maynard, J. Malmqvist & F. Bystrom (Eds.), 20th International CDIO Conference, CDIO 2024 - Proceedings (pp. 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. In L. Bettaieb, N. Ajailia, J. Bennedsen, K. Edstrom, M. N. Singh, R. Lyng, N. Maynard, J. Malmqvist & F. Bystrom (Eds.), 20th International CDIO Conference, CDIO 2024 - Proceedings (pp. 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. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (pp. 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

Betzer, J. S., Boudjadar, J., Frasheri, M. & Talasila, P. (2024). Digital Twin Enabled Runtime Verification for Autonomous Mobile Robots under Uncertainty. (pp. 10-17). ArXiv. https://doi.org/10.1109/DS-RT62209.2024.00012

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), Article 5. https://doi.org/10.1007/s44150-024-00122-2

Haq, A. U., Sefati, S. S., Nawaz, S. J., Mihovska, A. & Beliatis, M. (2025). Need of UAVs and Physical Layer Security in Next-generation Non-terrestrial Wireless Networks- Potential Challenges and Open Issues. IEEE Open Journal of Vehicular Technology, 6, 554-595. https://doi.org/10.1109/OJVT.2025.3525781

Oakes, B., Gomes, C., Abbiati, G., Kamburjan, E., Bas, E. E. & Engelsgaard, S. (2024). Towards Ontological Service-Driven Engineering of Digital Twins. In Proceedings: MODELS 2024 - ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings (pp. 464-469). Association for Computing Machinery. https://doi.org/10.1145/3652620.3688261

Jensen, A. M. D., Schoerghofer-Queiroz, A., Ulriksen, M. D., Tcherniak, D., Damkilde, L., Talasila, P., Larsen, P. G. & Abbiati, G. (2024). Digital twin as a service for damage prognosis of offshore wind turbine foundations. In W. Desmet, B. Pluymers, D. Moens & J. del Fresno Zarza (Eds.), Proceedings of ISMA 2024 - International Conference on Noise and Vibration Engineering and USD 2024 - International Conference on Uncertainty in Structural Dynamics (pp. 4127-4141). KU Leuven, Departement Werktuigkunde.

Baş, E. E., Abbiati, G., Gonçalves Gomes, C. Â., Jassmann, U. & Larsen, P. G. (2024). Digitalization of Large-Scale Testing Facilities for the Wind Industry: DIGIT-BENCH Digital Twin. Journal of Physics: Conference Series, 2767(4), Article 042033. https://doi.org/10.1088/1742-6596/2767/4/042033

Tola, D., Gomes, C., Schultz, C., Schlette, C., Hansen, C. & Esterle, L. (2021). RoboCIM: Towards a domain model for industrial robot system configurators. CEUR Workshop Proceedings, 2956.

Sharifirad, I. & Boudjadar, J. (2024). A Computationally-efficient Semi-supervised Learning Model for the Estimation of State Degradation of a Milling Tool. In 2024 IEEE 22nd World Symposium on Applied Machine Intelligence and Informatics, SAMI 2024 - Proceedings (pp. 187-192). IEEE. https://doi.org/10.1109/SAMI60510.2024.10432881

Armacki, A., Milosevic, N., Bajovic, D., Kar, S., Jakovetic, D., Bakhtiarnia, A., Esterle, L., Muscat, A. & Festi, T. (2023). Communication efficient model-aware federated learning for visual crowd counting and density estimation in smart cities. In 31st European Signal Processing Conference, EUSIPCO 2023 - Proceedings (pp. 875-879). European Signal Processing Conference, EUSIPCO. https://doi.org/10.23919/EUSIPCO58844.2023.10289938

Esterle, L. (2022). Collaborative Systems: Learning and Working Together. CEUR Workshop Proceedings, 3461.

Wewer, C. R., Mahapatra, H., Esterle, L. & Larsen, P. G. (2024). Using FactoryML for Deployment of Machine Learning Models in Industrial Production. In T. Facchinetti, A. Cenedese, L. L. Bello, S. Vitturi, T. Sauter & F. Tramarin (Eds.), 2024 IEEE 29th International Conference on Emerging Technologies and Factory Automation, ETFA 2024 IEEE. https://doi.org/10.1109/ETFA61755.2024.10710938

Domini, D., Aguzzi, G., Esterle, L. & Viroli, M. (2024). Field-Based Coordination for Federated Learning. In I. Castellani & F. Tiezzi (Eds.), Coordination Models and Languages - 26th IFIP WG 6.1 International Conference, COORDINATION 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Proceedings (pp. 56-74). Springer Science+Business Media. https://doi.org/10.1007/978-3-031-62697-5_4

Aguzzi, G., Viroli, M. & Esterle, L. (2023). Field-informed Reinforcement Learning of Collective Tasks with Graph Neural Networks. In Proceedings - 2023 IEEE International Conference on Autonomic Computing and Self-Organizing Systems, ACSOS 2023 (pp. 37-46). IEEE. https://doi.org/10.1109/ACSOS58161.2023.00021

Larsen, P. G., Esterle, L., Fitzgerald, J. & Frasheri, M. (2023). Fault Injection in Co-simulation and Digital Twins for Cyber-Physical Robotic Systems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (pp. 222-236). Springer Science+Business Media. https://doi.org/10.1007/978-3-031-40132-9_14

Merhi, Y., Lozano Montero, K., Johansen, P., Mantysalo, M. & Agarwala, S. (2025). Evaluating Piezoelectric Performance of Biodegradable PLLA Film and Its Application for Aortic Annuloplasty. https://chemrxiv.org/engage/chemrxiv/article-details/677788f9fa469535b99d3829

Merhi, Y., Agarwala, S., Goumarre, V. O. Y., Lozano Montero, K., Mantysalo, M., Klarskov, P. & Amarasinghe, Y. (2024). THz Spectroscopy Analysis of Crystallinity Optimization for Enhanced Piezoelectricity in Biodegradable Poly-L-Lactide Acid. In FLEPS 2024 - IEEE International Conference on Flexible and Printable Sensors and Systems, Proceedings: Conference Proceedings (pp. 1-4). IEEE. https://doi.org/10.1109/FLEPS61194.2024.10604083

Kristensen, M. H., Bonizzi, A., Gomes, C., Hansen, S. T., Isasa Martin, C. I., Iven, H., Kamburjan, E., Larsen, P. G., Leucker, M., Talasila, P., Evans, V. T., Tonetta, S., Vosteen, L. B. & Wright, T. D. (2024). Runtime Verification of Autonomous Systems Utilizing Digital Twins as a Service. In 2024 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C) (pp. 121-127). IEEE. https://doi.org/10.1109/ACSOS-C63493.2024.00042

Krukar, J. & Schultz, C. (2025). Ecological validity of architectural cognition: a framework. Architectural Science Review, 68(5), 355-362. https://doi.org/10.1080/00038628.2024.2410741

Homayoun, S., Haraldsdóttir, M., Lynge, E. & Jensen, C. D. (2024). Effective Noise Reduction in NDR Systems: A Simple Yet Powerful Apriori-Based Approach. Sensors, 24(20), Article 6547. https://doi.org/10.3390/s24206547

Gil Arboleda, S., Kamburjan, E., Talasila, P. & Larsen, P. G. (2025). An architecture for coupled digital twins with semantic lifting. Software and Systems Modeling, 24(5), 1379-1404. https://doi.org/10.1007/s10270-024-01221-w

Displaying results 51 to 100 out of 1030

Back to the main page

Revised 13.11.2025

AU Engineering