Aarhus Universitets segl

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

Morandi, R., Picone, M., Bicocchi, N., Talasila, P. & Larsen, P. G. (2026). Bridging Live Data & Simulation: Architectural Patterns for Digital Twins. I D. Maga (red.), Proceedings of the 2026 30th International Symposium on Distributed Simulation and Real Time Applications, DS-RT 2026 IEEE. https://doi.org/10.1109/DS-RT71368.2026.11726826
Gomes, C., Wright, T., Larsen, P. G., Esterle, L., Zech, P., Cavalcanti, A., Woodcock, J., Oakes, B. & Vangheluwe, H. (2026). BRIC-DT: Building Reliable Interfaces for Composable Digital Twins. I S. Abrahao, B. H. C. Cheng, F. Ciccozz, I. Reinhartz-Berger, D. Bork, S. Chakraborty, L. Arcega, A. Rutle, D. Di Ruscio, F. Perez, R. Clariso, J. Garcia, N. Bencomo, E. Kamburjan, V. Kulkarn, M. Chaudron, J. Michael, I. Alfonso & A. de la Vega (red.), MODELS Companion '26: Proceedings of the ACM/IEEE 29th International Conference on Model Driven Engineering Languages and Systems (s. 480-484). Association for Computing Machinery. https://doi.org/10.1145/3837062.3839083
Mahdavi Tabatabaei, N., Mahdavi Tabatabaei, N. & Hashimov, A. M. (2026). PROMISING APPLICATIONS OF MACHINE LEARNING IN POWER SYSTEMS: A REVIEW. Afhandling præsenteret på The 22nd International Conference on Technical and Physical Problems of Engineering (ICTPE-2026).
Tabatabaei, N. M. (2019). Review of new energy sources and their applications. International Journal on Technical and Physical Problems of Engineering, 11(4), 66-70.
Nordtorp, F., Baş, E. E., Gomes, C., Jensen, P., Jørgensen, J. & Abbiati, G. (2026). Hybrid testing of wind turbine components using Kane’s method. Mechanical Systems and Signal Processing, 261, Artikel 115055. https://doi.org/10.1016/j.ymssp.2026.115055
Thomsen, A. K., Madsen, N. V. S., Evans, V. T., Wright, T., Esterle, L. & Larsen, P. G. (2026). mstlo: Efficient Online Monitoring of Signal Temporal Logic. I S. Kauffman & G. Pedrielli (red.), Runtime Verification (s. 19-29). Springer Nature.
Thomsen, A. K., Madsen, N. V. S., Evans, V. T., Wright, T., Esterle, L. & Larsen, P. G. (2026). mstlo: An Online STL Monitoring Library for Rust and Python. I S. Kauffman & G. Pedrielli (red.), Runtime Verification (s. 532-535). Springer Nature.
Thorsen, R. Ø., Andersen, J. D., Frasheri, M. & Esterle, L. (2026). Comparison of Rating Functions for Establishing Trust in Multi-agent Systems. I N. Frasheri, M. Ivanovic, G. Koloniari, B. Cico & Y. Manolopoulos (red.), Advances in ICT Research in the Balkans - 11th Balkan Conference in Informatics, BCI 2025, Proceedings (s. 3-15). Springer. https://doi.org/10.1007/978-3-032-24513-7_1
Zhan, N., Woodcock, J., Wang, J. & Chen, M. (2026). A Brief History of Formal Methods in China. Formal Aspects of Computing, 38(3), Artikel 24. https://doi.org/10.1145/3783996
Vathoopan, M., Boudjadar, J. & Ramanujan, D. (2026). Ontologies for Architecting Circular and Sustainable Manufacturing-as-a-Service Systems. I L. C. Tang (red.), Proceedings of the 12th International Conference on Industrial Engineering and Applications (s. 453-465). Springer Science+Business Media. https://doi.org/10.1007/978-981-95-4717-3_41
Bennedsen, J., Lim, J. G., Singh, M. N., Suutari, M., Lyng, R. & Rouvrais, S. (2026). ASSESSING STUDENTS OR THEIR AI TEAMMATES? CASE STUDIES IN THE GAI ERA. I T. Topping, M. Murphy, R. Lyng, J. Bennedsen, N. Maynard, M. N. Singh, S. Baigereyev & F. Bystrom (red.), Proceedings of the 22nd International CDIO Conference (s. 323-335). Chalmers University of Technology.
Bennedsen, J., Kontio, J., Roslöf, J., Keller, E., Georgsson, F. & Cortez, M. R. (2026). NORDIC INSTITUTIONAL RULES AND REGULATIONS IN THE LIGHT OF GENERATIVE AI. I T. Topping, M. Murphy, R. Lyng, J. Bennedsen, N. Maynard, M. N. Singh, S. Baigereyev & F. Bystrom (red.), Proceedings of the 22nd International CDIO Conference (s. 306-322). Chalmers University of Technology.
Evans, V. T., Lucani Rötter, D. E., Cheng, H. V., Wright, T. D. & Gomes, C. (2026). Logical Compression: Source Coding for Distributed Temporal Logic Monitoring. I S. Kauffman & G. Pedrielli (red.), Runtime Verification: 26th International Conference, RV 2026, Kingston, ON, Canada, October 6–9, 2026, Proceedings (s. 61-81). Springer. https://doi.org/10.1007/978-3-032-41160-0_5
Gil Arboleda, S., Baş, E. E., Jensen, C. D., Engelsgaard, S., Abbiati, G. & Gomes, C. (2026). FMI-Based Distributed Co-Simulation with Enhanced Security and Intellectual Property Safeguards. I Proceedings of the 2025 Annual Modeling and Simulation Conference (ANNSIM '25 udg., s. 1-6). Artikel 17 Association for Computing Machinery. https://doi.org/10.22360/ANNSIM.2025.CPS+DT.21
Fitzgerald, J. S., Gomes, C., Larsen, P. G., Andersen, M. S., Gil, S. & Kristensen, M. H. (2026). Digital Twins: a Briefing for Formalists. I A. Sampaio & M. Stoelinga (red.), Formal Methods: 27th International Symposium, FM 2026, Proceedings (s. 369-393). Springer. https://doi.org/10.1007/978-3-032-26220-2_19
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), Artikel 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. I 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. 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
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