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

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. I 2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation, ETFA 2016 Artikel 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. I 2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation, ETFA 2016 Artikel 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. I 2017 IEEE International Conference on Industrial Technology, ICIT 2017 (s. 1205-1210). Artikel 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. I 2017 IEEE International Conference on Industrial Technology, ICIT 2017 (s. 1159-1164). Artikel 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. I 2017 IEEE 15th International Conference on Industrial Informatics (INDIN) (s. 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. I Distributed Control Applications: Guidelines, Design Patterns, and Application Examples with the IEC 61499 (s. 423-441). CRC Press Inc..

Vathoopan, M., Johny, M., Zoitl, A. & Knoll, A. (2018). Modular Fault Ascription and Corrective Maintenance Using a Digital Twin. I 16th IFAC Symposium on Information Control Problems in Manufacturing INCOM 2018 (11 udg., Bind 51, s. 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. I Proceedings - 2019 24th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2019 (s. 118-125). Artikel 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. I AutomationML: The Industrial Cookbook (s. 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. I Proceedings - 2019 24th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2019 (s. 1693-1696). Artikel 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. I Proceedings - 6th International Conference on Computer Science and Engineering, UBMK 2021 (s. 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. I Proceedings - 6th International Conference on Computer Science and Engineering, UBMK 2021 (s. 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. I Nonlinear Dynamical Control, Computer Simulation and Optimization Systems: Theory and Applications: Volume 2 (Bind 2, s. 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), Artikel 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, Artikel 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), Artikel 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. I 2026 IEEE/SICE International Symposium on System Integration, SII 2026 (s. 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. I S. Ferrero-Losada & A. B. Abdelnabi (red.), 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. I Handbook of the Metaverse (s. 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. I R. Kangaslampi, G. Langie, H.-M. Järvinen & B. Nagy (red.), SEFI 2025 - 53rd Annual Conference of the European Society for Engineering Education: Engineering and Society, Proceedings (s. 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. I Proceedings - 2025 ACM/IEEE 28th International Conference on Model Driven Engineering Languages and Systems Companion, MODELS-C 2025 (s. 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. I 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. I Proceedings of the 22nd International Conference on Informatics in Control, Automation and Robotics - Volume 2: ICINCO (s. 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. I 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), Artikel 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. I 2025 11th International Conference on Automation, Robotics, and Applications (ICARA) (2025 udg., s. 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. I Proceedings - 2025 IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events, PerCom Workshops 2025 (2025 udg., s. 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. I D. Maga (red.), 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), Artikel 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. I A. Remke & B. Steffen (red.), Formal Methods for Industrial Critical Systems - 30th International Conference, FMICS 2025, Proceedings (s. 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. I F. Damiani & M. Farrell (red.), Integrated Formal Methods - 20th International Conference, iFM 2025, Proceedings (s. 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. I M. Leuschel & F. Ishikawa (red.), Rigorous State-Based Methods - 11th International Conference, ABZ 2025, Proceedings (s. 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, Artikel 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

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

Andersen, M. S., Gomes, C., Thompson, S. & Larsen, P. G. (2025). Probabilistic Update Scheduling for Digital Twins: A Semi-Markov Approach. I Proceedings - 2025 ACM/IEEE 28th International Conference on Model Driven Engineering Languages and Systems Companion, MODELS-C 2025 (s. 250-256). IEEE. https://doi.org/10.1109/MODELS-C68889.2025.00043

Gil Arboleda, S., Badyal, A., Miyazawa, A., Larsen, P. G. & Cavalcanti, A. (2026). A model-based approach for co-simulation-driven digital twins in robotics. Robotics and Autonomous Systems, 196, 1-20. Artikel 105240. https://doi.org/10.1016/j.robot.2025.105240

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 A. Cavalcanti, S. Foster & R. Richardson (red.), Towards Autonomous Robotic Systems (s. 295-309). Springer. https://doi.org/10.1007/978-3-032-01486-3_24

Viser resultater 1 til 50 ud af 1052

Næste

Back to the main page

Revideret 13.11.2025

AU Engineering