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

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.

Gil Arboleda, S. (2024). Towards realization of Digital Twins for systems with coupled behavior. 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. 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(5). 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

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

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

Kamari, A. & Schultz, C. P. L. (2024). Streamlining BIM-integrated LCA for rapid-iterative-informed-early stage upfront carbon assessment by architects and engineers. Architecture, Structures and Construction, 5, Artikel 5. https://doi.org/10.1007/s44150-024-00122-2

Oakes, B., Gomes, C., Abbiati, G., Kamburjan, E., Bas, E. E. & Engelsgaard, S. (2024). Towards Ontological Service-Driven Engineering of Digital Twins. I Proceedings: MODELS 2024 - ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings (s. 464-469). Association for Computing Machinery, Inc.. 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. I W. Desmet, B. Pluymers, D. Moens & J. del Fresno Zarza (red.), Proceedings of ISMA 2024 - International Conference on Noise and Vibration Engineering and USD 2024 - International Conference on Uncertainty in Structural Dynamics (s. 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), Artikel 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. I 2024 IEEE 22nd World Symposium on Applied Machine Intelligence and Informatics, SAMI 2024 - Proceedings (s. 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. I 31st European Signal Processing Conference, EUSIPCO 2023 - Proceedings (s. 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. I T. Facchinetti, A. Cenedese, L. L. Bello, S. Vitturi, T. Sauter & F. Tramarin (red.), 2024 IEEE 29th International Conference on Emerging Technologies and Factory Automation, ETFA 2024 Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/ETFA61755.2024.10710938

Domini, D., Aguzzi, G., Esterle, L. & Viroli, M. (2024). Field-Based Coordination for Federated Learning. I I. Castellani & F. Tiezzi (red.), 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 (s. 56-74). Springer Science and Business Media Deutschland GmbH. 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. I Proceedings - 2023 IEEE International Conference on Autonomic Computing and Self-Organizing Systems, ACSOS 2023 (s. 37-46). Institute of Electrical and Electronics Engineers Inc.. 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. I Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (s. 222-236). Springer Science and Business Media Deutschland GmbH. 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. I FLEPS 2024 - IEEE International Conference on Flexible and Printable Sensors and Systems, Proceedings: Conference Proceedings (s. 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. I 2024 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C) (s. 121-127). IEEE. https://doi.org/10.1109/ACSOS-C63493.2024.00042

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), Artikel 6547. https://doi.org/10.3390/s24206547

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, Artikel 1474560. https://doi.org/10.3389/frsen.2024.1474560

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

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

Viser resultater 1 til 50 ud af 965

Næste

Back to the main page

Revideret 10.08.2023

AU Engineering