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

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

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

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.

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

Li, B. & Schultz, C. P. L. (2025). Clingo2DSR - A clingo-based software system for declarative spatial reasoning. Spatial Cognition & Computation, 25(1), 69-119. https://doi.org/10.1080/13875868.2024.2324875

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

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

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

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

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

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

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

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

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

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

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

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

Merhi, Y. (2025). Piezoelectric and Crystallinity Enhancements in Poly-L-Lactide Acid (PLLA) for Bioresorbable Biomedical Sensor.

Evans, V. T., Gomes, C. & Lucani Rötter, D. E. (2025). Precision on Demand: Propositional Logic for Event-Trigger Threshold Regulation. IEEE Internet of Things Journal, 12(3), 2674-2689. https://doi.org/10.1109/JIOT.2024.3476922

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.

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

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

Gil Arboleda, S., Oakes, B. J., Gomes, C., Frasheri, M. & Larsen, P. G. (2025). Toward a systematic reporting framework for Digital Twins: a cooperative robotics case study. Simulation, 101(3), 313-339. https://doi.org/10.1177/00375497241261406

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

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

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

Kristoffersen, A. E., Schultz, C. P. L. & Kamari, A. (2024). A critical comparison of concepts and approaches to social sustainability in the construction industry. Journal of Building Engineering , 91, Article 109530. https://doi.org/10.1016/j.jobe.2024.109530

Frasheri, M., Böttjer, T., Larsen, P. G., Esterle, L. & Gomes, C. (2024). Advanced Digital Twin Services. In J. Fitzgerald, C. Gomes & P. G. Larsen (Eds.), The Engineering of Digital Twins (pp. 209-222). Springer. https://doi.org/10.1007/978-3-031-66719-0_10

Boudjadar, J. & Islam, S. U. (2024). AgriScanNet-18: A Robust Multilayer CNN for Identification of Potato Plant Diseases. 291-308. Paper presented at Intelligent Systems Conference, Amsterdam, Netherlands. https://doi.org/10.1007/978-3-031-47724-9_20

Nordtorp, F., Baş, E. E., Gomes, C. & Abbiati, G. (2024). A Hybrid Testing Framework for Wind Turbine Mechanical Components. Journal of Physics: Conference Series, 2767(5), Article 052046. https://doi.org/10.1088/1742-6596/2767/5/052046

Cruz Salazar, L. A., Gil Arboleda, S., Rueda Carvajal, G. D., Sánchez-Zuluaga, G. J. & D. Zapata-Madrigal, G. (2024). AI in assessing Industry 4.0 adoption in Colombia: a case study approach. In Proceedings of the 6th IFAC International Workshop on Advance Maintenance Engineering, Services and Technology (AMEST 2024) (8 ed., Vol. 58, pp. 162-167). Elsevier. https://doi.org/10.1016/j.ifacol.2024.08.067

Hallerstede, S. & Hatcliff, J. (2024). A Mechanized Semantics for Component-Based Systems in the HAMR AADL Runtime. In J. Cámara & S.-S. Jongmans (Eds.), Formal Aspects of Component Software: 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers (1 ed., pp. 45-64). Springer. https://doi.org/10.1007/978-3-031-52183-6_3

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.

Jahangir, M. F., Schultz, C. P. L. & Kamari, A. (2024). A review of drivers and barriers of Digital Twin adoption in building project development processes. Journal of Information Technology in Construction, 29, 141-178. https://doi.org/10.36680/j.itcon.2024.008

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.

Johansen, K. W., Schultz, C. P. L. & Teizer, J. (2024). Automated performance assessment of prevention through design and planning (PtD/P) strategies in construction. Automation in Construction, 157, Article 105159. https://doi.org/10.1016/j.autcon.2023.105159

Esterle, L., Frasheri, M. & Larsen, P. G. (2024). Autonomous Reconfiguration Enabled by Digital Twins. In J. Fitzgerald, C. Gomes & P. G. Larsen (Eds.), The Engineering of Digital Twins (pp. 345-362). Springer. https://doi.org/10.1007/978-3-031-66719-0_14

Gomes, C., Feng, H., Kazemi, Z. & Pierce, K. (2024). Calibration of Models for Digital Twins. In J. Fitzgerald, C. Gomes & P. G. Larsen (Eds.), The Engineering of Digital Twins (pp. 129-146). Springer. https://doi.org/10.1007/978-3-031-66719-0_6

Oakes, B. J., Zhang, H., Hatledal, L. I., Feng, H., Frasheri, M., Sandberg, M., Gil Arboleda, S. & Gomes, C. (2024). Case Studies in Digital Twins. In J. Fitzgerald, C. Gomes & P. G. Larsen (Eds.), The Engineering of Digital Twins (pp. 257-310). Springer. https://doi.org/10.1007/978-3-031-66719-0_12

Hansen, S. T., Thule, C., Gomes, C., Lausdahl, K. G., Madsen, F. P., Abbiati, G. & Larsen, P. G. (2024). Co-simulation at different levels of expertise with Maestro2. Journal of Systems and Software, 209, Article 111905. https://doi.org/10.1016/j.jss.2023.111905

Jahangir, M. F., Kamari, A. & Schultz, C. P. L. (2024). Developing A Building Simulation Identity Card for Enhanced Safety and Collaboration in Emergency Evacuation Simulations. In M. Srećković, M. Kassem, R. Soman & A. Chassiakos (Eds.), Proceedings of the 2024 European Conference on Computing in Construction (pp. 128-135) https://doi.org/10.35490/EC3.2024.199

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

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.

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

Dideriksen, A. K., Andersen, M. F., Priest, J., Eriksen, N. F., Frandsen, M. T., Melvad, C., Rasmussen, T. F., Nielsen, N. H. K., Strømsnes, C. T., Ahlebæk, M. J., Samsing, S., Larsen, T. B., Don, J., Pedersen, L. A. N., Jacobsen, R. H., Rysgaard, S., Kim, J. M., Bayer, R., Christensen, C. ... Karoff, C. (2024). DISCO-2 – an ambitious earth observing student CubeSat for arctic climate research. Frontiers in Remote Sensing, 5, Article 1474560. https://doi.org/10.3389/frsen.2024.1474560

Casadei, R., Esterle, L., Gamble, R., Harvey, P. & Wanner, E. F. (2024). Editorial: Understanding and engineering cyber-physical collectives. Frontiers in Robotics and AI, 11, Article 1407421. https://doi.org/10.3389/frobt.2024.1407421

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.

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

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

Kazemi, Z., Yildiz, E. & Larsen, P. G. (2024). Enabling Flexible Manufactuirng in Wind Industry Based on Movable Factory Concept: Definitions, Requirements, and Challenges. In 2024 IEEE International Conference on Industrial Technology (ICIT) Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/ICIT58233.2024.10540826

Displaying results 1 to 50 out of 965

Back to the main page

Revised 10.08.2023

AU Engineering