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

Domini, D., Ingemann, C. O., Aguzzi, G., Esterle, L. & Viroli, M. (2026). ProFed: A Benchmark for Proximity-Based Non-IID Federated Learning. Journal of Open Research Software, 14(1), Article 13. https://doi.org/10.5334/jors.624

Vathoopan Kannan, M., Talasila, P., Boudjadar, J., Larsen, C., Bicocchi, N., Picone, M. & Melloni, M. (2026). Orchestrating Distributed Simulations for Circular Manufacturing-as-a-Service Ecosystems. In IEEE International Conference on Industrial Technology (ICIT) IEEE. https://doi.org/10.1109/ICIT64854.2026.11491518

Keddis, N., Kainz, G., Brandenbourger, B., Vathoopan, M. & Zoitl, A. (2016). Handling errors in dynamic production environments. IEEE International Conference on Industrial Informatics (INDIN), 148-153. https://doi.org/10.1109/INDIN.2016.7819149

Brandenbourger, B., Vathoopan, M. & Zoitl, A. (2016). Engineering of automation systems using a metamodel implemented in AutomationML. IEEE International Conference on Industrial Informatics (INDIN), 363-370. https://doi.org/10.1109/INDIN.2016.7819187

Vathoopan, M., Brandenbourger, B. & Zoitl, A. (2016). A human in the loop corrective maintenance methodology using cross domain engineering data of mechatronic systems. In 2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation, ETFA 2016 Article 7733603 IEEE. https://doi.org/10.1109/ETFA.2016.7733603

Brandenbourger, B., Vathoopan, M. & Zoitl, A. (2016). Behavior modeling of automation components using cross-domain interdependencies. In 2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation, ETFA 2016 Article 7733664 IEEE. https://doi.org/10.1109/ETFA.2016.7733664

Vathoopan, M., Brandenbourger, B., George, A. & Zoitl, A. (2017). Towards an integrated plant engineering process using a data conversion tool for AutomationML. In 2017 IEEE International Conference on Industrial Technology, ICIT 2017 (pp. 1205-1210). Article 7915534 IEEE. https://doi.org/10.1109/ICIT.2017.7915534

Brandenbourger, B., Vathoopan, M. & Zoitl, A. (2017). Generating metamodel-based descriptions of automation components in AutomationML. In 2017 IEEE International Conference on Industrial Technology, ICIT 2017 (pp. 1159-1164). Article 7915526 IEEE. https://doi.org/10.1109/ICIT.2017.7915526

Brandenbourger, B., Vathoopan, M. & Zoitl, A. (2017). Modeling and verifying behavioral constraints for automation systems. In 2017 IEEE 15th International Conference on Industrial Informatics (INDIN) (pp. 345-350) https://doi.org/10.1109/INDIN.2017.8104796

Wenger, M., Vathoopan, M., Zoitl, A. & Prähofer, H. (2017). Hierarchically structured control application for pick and place station. In Distributed Control Applications: Guidelines, Design Patterns, and Application Examples with the IEC 61499 (pp. 423-441). CRC Press Inc..

Vathoopan, M., Johny, M., Zoitl, A. & Knoll, A. (2018). Modular Fault Ascription and Corrective Maintenance Using a Digital Twin. In 16th IFAC Symposium on Information Control Problems in Manufacturing INCOM 2018 (11 ed., Vol. 51, pp. 1041-1046) https://doi.org/10.1016/j.ifacol.2018.08.470

Vathoopan, M., Cabral, J., Wenger, M., Knoll, A. & Zoitl, A. (2019). Planning and Engineering Component-Based Automation Systems in AutomationML. In Proceedings - 2019 24th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2019 (pp. 118-125). Article 8869437 IEEE. https://doi.org/10.1109/ETFA.2019.8869437

Vathoopan, M., Dorofeev, K. & Zoitl, A. (2021). Skill-based engineering of automation systems: Use case and evaluation. In AutomationML: The Industrial Cookbook (pp. 555-577). Walter de Gruyter. https://doi.org/10.1515/9783110745979-033

Walzel, H., Vathoopan, M., Zoitl, A. & Knoll, A. (2019). An Approach for an Automated Adaption of KPI Ontologies by Reusing Systems Engineering Data. In Proceedings - 2019 24th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2019 (pp. 1693-1696). Article 8869083 IEEE. https://doi.org/10.1109/ETFA.2019.8869083

Guven, Z. A. (2021). Turkçe Tweetlerde Duygu Analizi için BERT Modellen ve Makine Ogrenme Yöntemlerinin Karçilaçtinlmasi. In Proceedings - 6th International Conference on Computer Science and Engineering, UBMK 2021 (pp. 98-101). IEEE. https://doi.org/10.1109/UBMK52708.2021.9559014

Guven, Z. A. (2021). Türkce Ürün Yorumlari için BERT, ELECTRA ve ALBERT Dil Modellerinin Duygu Analizine Etkisi. In Proceedings - 6th International Conference on Computer Science and Engineering, UBMK 2021 (pp. 629-632). IEEE. https://doi.org/10.1109/UBMK52708.2021.9559007

Aksoy, N., Ünalır, M. O. & Güven, Z. A. (2025). Architecting and Evaluating a RAG-Based Question Answering System for SQuAD Dataset. In Nonlinear Dynamical Control, Computer Simulation and Optimization Systems: Theory and Applications: Volume 2 (Vol. 2, pp. 351-362). World Scientific. https://doi.org/10.1142/9789819815432_0030

Guven, Z. A. & Lamurias, A. (2023). Multilingual bi-encoder models for biomedical entity linking. Expert Systems, 40(9), Article e13388. https://doi.org/10.1111/exsy.13388

Guven, Z. A. (2025). Comprehensive analysis study of techniques in different domains for Turkish music genre classification task. Neural Computing and Applications, 37(5), 3005-3021. https://doi.org/10.1007/s00521-024-10771-5

Guven, Z. A. & Unalir, M. O. (2022). Natural language based analysis of SQuAD: An analytical approach for BERT. Expert Systems with Applications, 195, Article 116592. https://doi.org/10.1016/j.eswa.2022.116592

Güven, Z. A., Diri, B. & Cąkaloglu, T. (2020). Duygu analizi için n-asamali Gizli Dirichlet Ayirimi ile diger konu modelleme yöntemlerinin karsilastirilmas. Journal of the Faculty of Engineering and Architecture of Gazi University, 35(4), 2135-2145. https://doi.org/10.17341/gazimmfd.556104

Guven, Z. A. (2022). The Comparison of Language Models with a Novel Text Filtering Approach for Turkish Sentiment Analysis. ACM Transactions on Asian and Low-Resource Language Information Processing, 22(2), Article 55. https://doi.org/10.1145/3557892

Güven, Z. A. (2025). Large-scale impact analysis on large language models for Turkish question-answering. Journal of the Faculty of Engineering and Architecture of Gazi University, 40(3), 1787-1796. https://doi.org/10.17341/gazimmfd.1538022

Gil, S., Miyazawa, A., Cavalcanti, A. & Gomes, C. (2026). Application of FMI 3.0 Synchronous Clocks to Co-simulation of Robotic Systems. In 2026 IEEE/SICE International Symposium on System Integration, SII 2026 (pp. 1548-1553). IEEE. https://doi.org/10.1109/SII64115.2026.11404501

Guven, Z. A., Mendes, E. & Baker, S. (2026). Multi-label text classification using prompting techniques via LLMs in Software Effort Estimation. IEEE Access, 14, 52753-52775. https://doi.org/10.1109/ACCESS.2026.3679475

Biglari, R., Gomes, C. & Denil, J. (2025). TOWARDS A VALIDITY FRAME OF MULTI-MODAL SURROGATE MODELS FOR TRAFFIC SIMULATION. In S. Ferrero-Losada & A. B. Abdelnabi (Eds.), ANNSIM 2025 - Annual Modeling and Simulation Conference 2025 IEEE.

Frasheri, M., Gomes, C., Esterle, L. & Larsen, P. G. (2026). Obtaining Services from Digital Twins in Industrial Settings. In Handbook of the Metaverse (pp. 283-315). Springer Nature. https://doi.org/10.1007/978-3-032-03296-6_9

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. In R. Kangaslampi, G. Langie, H.-M. Järvinen & B. Nagy (Eds.), SEFI 2025 - 53rd Annual Conference of the European Society for Engineering Education: Engineering and Society, Proceedings (pp. 150-160). European Society for Engineering Education (SEFI). https://doi.org/10.5281/zenodo.17631873

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. In Proceedings - 2025 ACM/IEEE 28th International Conference on Model Driven Engineering Languages and Systems Companion, MODELS-C 2025 (pp. 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. In 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. In Proceedings of the 22nd International Conference on Informatics in Control, Automation and Robotics - Volume 2: ICINCO (pp. 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. In 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), Article 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. In 2025 11th International Conference on Automation, Robotics, and Applications (ICARA) (2025 ed., pp. 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. In Proceedings - 2025 IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events, PerCom Workshops 2025 (2025 ed., pp. 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. In D. Maga (Ed.), 2025 29th International Symposium on Distributed Simulation and Real Time Applications (DS-RT) IEEE. https://doi.org/10.1109/DS-RT68115.2025.11186005

Munk, F. B., Hesselvig, J., Nygaard, R. T. & Sandberg, M. (2026). Experimental and Numerical Investigation of Crystallization Kinetics in Selective Laser Sintering. engrXiv. https://doi.org/10.31224/6520

Š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), Article 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. In A. Remke & B. Steffen (Eds.), Formal Methods for Industrial Critical Systems - 30th International Conference, FMICS 2025, Proceedings (pp. 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. In F. Damiani & M. Farrell (Eds.), Integrated Formal Methods - 20th International Conference, iFM 2025, Proceedings (pp. 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. In M. Leuschel & F. Ishikawa (Eds.), Rigorous State-Based Methods - 11th International Conference, ABZ 2025, Proceedings (pp. 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, Article 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

Andreas Balle Rubak, J., Naveed, K., Jain, S., Esterle, L., Iosifidis, A. & Pauwels, R. (2026). Impact of labelling inaccuracy and image noise on tooth segmentation in panoramic radiographs using federated, centralized, and local learning. Dento maxillo facial radiology, 55(4), 336-353. https://doi.org/10.1093/dmfr/twag001

Kristensen, M., Wright, T. D., Gomes, C., Esterle, L. & Larsen, P. G. (2026). DynSRV: Dynamically Updated Properties for Stream Runtime Verification. In B. Könighofer & H. Torfah (Eds.), Runtime Verification - 25th International Conference, RV 2025, Proceedings (pp. 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), Article 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. In Proceedings of Smart and Sustainable Built Environment 2025 (pp. 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. In Proceedings of Smart and Sustainable Built Environment 2025 (pp. 1-10) https://isasbec.abc2.net/index.php/sasbe/article/view/2767

Displaying results 1 to 50 out of 1055

Back to the main page

Revised 13.11.2025

AU Engineering