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

Abraham, E. (Ed.), Hallerstede, S. (Ed.), Hatcliff, J. (Ed.), Stewart, D. (Ed.) & Abou El Wafa, N. (2023). Integrated Rigorous Analysis in Cyber-Physical Systems Engineering. Dagstuhl Reports, 13(1), 155-183. https://doi.org/10.4230/DagRep.13.1.155

Hallerstede, S. & Kamburjan, E. (Eds.) (2023). Proceedings of the Workshop on Applications of Formal Methods and Digital Twins co-located with 25th International Symposium on Formal Methods (FM 2023). CEUR-WS.org. CEUR Workshop Proceedings Vol. 3507 https://ceur-ws.org/Vol-3507/

Lund, J., Jensen, L. B., Battle, N., Larsen, P. G. & Macedo, H. D. (2023). Bidirectional UML Visualisation of VDM Models.

Woodcock, J., Andersen, M. S., Aranha, D. F., Hallerstede, S., Hansen, S. T., Jakobsen, N. K., Kulik, T., Larsen, P. G., Macedo, H. D., Martin, C. I. I. & Norrild, V. A. M. (2023). State of the Art Report: Verified Computation. https://doi.org/10.48550/arXiv.2308.15191

Bennedsen, J. & Øien, G. (2023). TRANSNATIONAL COLLABORATION ON LIFELONG LEARNING BETWEEN HIGHER ENGINEERING EDUCATION INSTITUTIONS: A UNIVERSITY PERSPECTIVE. In G. Reilly, M. Murphy, B. V. Nagy & H.-M. Jarvinen (Eds.), SEFI 2023 - 51st Annual Conference of the European Society for Engineering Education: Engineering Education for Sustainability, Proceedings (pp. 173-182). European Society for Engineering Education (SEFI). https://doi.org/10.21427/2F51-E932

Suetta, C., Merhi, Y., Agarwala, S., Mikkelsen, P. H. & Nygaard, J. V. (2023). Dry electrode integrated with garment. (Patent No. WO2023209148 (A1)). https://dk.espacenet.com/publicationDetails/biblio?DB=EPODOC&II=0&ND=3&adjacent=true&locale=dk_DK&FT=D&date=20231102&CC=WO&NR=2023209148A1&KC=A1#

Øien, G. E. D. & Bennedsen, J. (2023). DEVELOPING A DIDACTIC FOUNDATION FOR THE TECH FACULTY AT AARHUS UNIVERSITY. In R. Lyng, J. Bennedsen, L. Bettaieb, N. R. Bodsberg, K. Edstrom, M. S. Guojonsdottir, J. Roslof, O. K. Solbjorg & G. Oien (Eds.), 19th CDIO International Conference: Proceedings - Full Papers (pp. 45-55). NTNU Norwegian University of Science and Technology. https://www.ntnu.edu/documents/1308247420/0/CDIO+2023+Proceedings.pdf/6989d202-864d-52e5-fee7-15d84a281f41?t=1697116952671

Lyng, R., Bennedsen, J., Bettaieb, L., Bodsberg, N. R., Edström, K., Guðjónsdóttir, M. S., Roslöf, J., Solbjørg, O. K. & Øien, G. (2023). Editorial. In Proceedings of the 19th International CDIO Conference (pp. iv-v). NTNU Norwegian University of Science and Technology.

Hallerstede, S. & Kamburjan, E. (2023). Applications of Formal Methods and Digital Twins. CEUR Workshop Proceedings, 3507. https://ceur-ws.org/Vol-3507/xpreface.pdf

Aher, G. R., Macedo, H. D., Larsen, P. G. & Ramanujan, D. (2023). Supporting Design for Circular Economy Using Lifecycle Co-Simulation. In ASME 2023 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference: 28th Design for Manufacturing and the Life Cycle Conference (DFMLC) Article DETC2023-116537, V005T05A006; American Society of Mechanical Engineers. https://doi.org/10.1115/DETC2023-116537

Merhi, Y. & Agarwala, S. (2021). Direct write of Dry electrodes on Healthcare Textiles. In FLEPS 2021 - IEEE International Conference on Flexible and Printable Sensors and Systems Article 9469835 IEEE. https://doi.org/10.1109/FLEPS51544.2021.9469835

Jensen, M., Toft Jacobsen, J., Sharifirad, I. & Boudjadar, J. (2023). Advanced Acceleration and Implementation of Convolutional Neural Networks on FPGAs. In J. Chen & L. T. Yang (Eds.), 2023 IEEE International Conference on High Performance Computing & Communications, Data Science & Systems, Smart City & Dependability in Sensor, Cloud & Big Data Systems & Application (HPCC/DSS/SmartCity/DependSys): Proceedings (pp. 558-565). IEEE. https://doi.org/10.1109/HPCC-DSS-SmartCity-DependSys60770.2023.00082

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

Sitarz, M. K. & Boudjadar, J. (2024). Smart Occupancy-driven Control for Ventilation Systems in Buildings with Privacy Concerns. In K. Arai (Ed.), Intelligent Systems and Applications: Proceedings of the 2023 Intelligent Systems Conference (IntelliSys) Volume 4 (pp. 773-791) https://doi.org/10.1007/978-3-031-47718-8_50

Andalibi, M., Shourangizhaghighi, A., Hajihosseini, M., Saaed Madani, S., Ziebert, C. & Boudjadar, J. (2023). Design and Simulation-Based Optimization of an Intelligent Autonomous Cruise Control System. Computers, 12(4), Article 84. https://doi.org/10.3390/computers12040084

Boudjadar, J. & Schultz, C. P. L. (2023). A Knowledge-Based Proactive Intelligent System for Buildings Occupancy Monitoring. 680-687. Paper presented at 19th International Conference on Software Technologies, Rome, Italy.

Singh, P. .., N., Haq, A. U. & Beliatis, M. (2024). Meta Standard Requirements for Harmonizing Dataspace Integration at the Edge. In 2023 IEEE Conference on Standards for Communications and Networking (CSCN) (pp. 130-135). IEEE. https://doi.org/10.1109/CSCN60443.2023.10453211

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

Jahangeer, H., Nawaz, S. J., Wyne, S. & Haq, A. U. (2023). A Novel Secret Key Generation Algorithm for Secure Wireless Communications. 261-265.

Tola, D. & Corke, P. (2023). Understanding URDF: A Survey Based on User Experience.

Tola, D. & Corke, P. (2023). Understanding URDF: A Dataset and Analysis.

Tola, D. & Corke, P. (2023). Understanding URDF: A Survey Based on User Experience. In Y. Jingang (Ed.), 2023 IEEE 19th International Conference on Automation Science and Engineering (CASE) IEEE. https://doi.org/10.1109/CASE56687.2023.10260660

Paredis, R., Gomes, C. & Vangheluwe, H. (2023). A Family of Digital T Workflows and Architectures: Exploring Two Cases. In A. Smirnov, H. Panetto & K. Madani (Eds.), Innovative Intelligent Industrial Production and Logistics: First International Conference, IN4PL 2020, Virtual Event, November 2-4, 2020, and Second International Conference, IN4PL 2021, Virtual Event, October 25-27, 2021, Revised Selected Papers (pp. 93-109). Springer. https://doi.org/10.1007/978-3-031-37228-5_6

Inci, E. O., Desmet, W., Gomes, C. & Croes, J. (2023). Error Estimators for Adaptive Scheduling Algorithm for Serial Co-Simulation. In M. J. Blas & G. Alvarez (Eds.), 2023 Annual Modeling and Simulation Conference (ANNSIM) (pp. 73-83). IEEE. https://ieeexplore.ieee.org/document/10155365

Oakes, B. J., Gomes, C., Larsen, P. G., Denil, J., Deantoni, J., Cambeiro, J. & Fitzgerald, J. (2023). Examining Model Qualities and Their Impact on Digital Twins. In M. J. Blas & G. Alvarez (Eds.), 2023 Annual Modeling and Simulation Conference (ANNSIM) (pp. 220-232). IEEE. https://ieeexplore.ieee.org/document/10155350

Böttjer, T., Tola, D., Kakavandi, F., Wewer, C. R., Ramanujan, D., Gomes, C., Larsen, P. G. & Iosifidis, A. (2023). A review of unit level digital twin applications in the manufacturing industry. CIRP Journal of Manufacturing Science and Technology, 45, 162-189. https://doi.org/10.1016/j.cirpj.2023.06.011

Kakavandi, F., Han, P., de Reus, R., Larsen, P. G. & Zhang, H. (2023). Interpretable Fault Detection Approach With Deep Neural Networks to Industrial Applications. In 2023 International Conference on Control, Automation and Diagnosis (ICCAD 2023) IEEE. https://doi.org/10.1109/ICCAD57653.2023.10152435

Abdolmaleki, H., Haugen, A. B., Merhi, Y., Nygaard, J. V. & Agarwala, S. (2023). Inkjet-printed flexible piezoelectric sensor for self-powered biomedical monitoring. Materials Today Electronics, 5, Article 100056. https://doi.org/10.1016/j.mtelec.2023.100056

Fathollahidehkordi, A., Gheisarnejad Chirani, M., Boudjadar, J., Derakhshandeh, S. Y. & Khooban, M. H. (2023). Multi-Criteria Design of Electric Transit Bus Based on Wireless Charging Infrastructure: A Case Study of Real Road Map in Wakefield. Automation , 4(3), 291-308. https://doi.org/10.3390/automation4030017

Bennedsen, J., Edström, K., Guðjónsdóttir, M. S., Sæmundsdóttir, I., Kuptasthien, N., Roslöf, J. & Sripakagorn, A. (2021). Editorial. Proceedings of the International CDIO Conference, 1-2.

Malmqvist, J., Bennedsen, J., Edström, K., Kuptasthien, N., Sripakagorn, A., Roslöf, J., Saemundsdottir, I. & Siiskonen, M. (2020). Editorial. In J. Malmqvist, J. Bennedsen, K. Edstrom, N. Kuptasthien, A. Sripakagorn, J. Roslof, I. Saemundsdottir & M. Siiskonen (Eds.), 16th International CDIO Conference, CDIO 2020 - Proceedings Chalmers University of Technology.

Bennedsen, J., Edström, K., Kuptasthien, N., Lauritsen, A. B., Roslöf, J. & Songer, R. (2019). Editorial. Proceedings of the International CDIO Conference.

Gudjonsdottir, M. S., Audunsson, H., Donoso, A. M., Kristjansson, G., Saemundsdóttir, I., Foley, J. T., Kyas, M., Sripakagorn, A., Roslöf, J., Bennedsen, J., Edström, K., Kuptasthien, N. & Lyng, R. (2022). Editorial. Proceedings of the International CDIO Conference, iii-iv.

Naseri, F., Kazemi, Z., Larsen, P. G., Arefi, M. M. & Schaltz, E. (2023). Cyber-Physical Cloud Battery Management Systems: Review of Security Aspects. Batteries, 9(7), Article 382. https://doi.org/10.3390/batteries9070382

Šeta, B., Sandberg, M., Brander, M., Tusher Mollah, M., Pokkalla, D., Kumar, V. & Spangenberg, J. (2023). Modeling fiber orientation and strand shape morphology in three-dimensional material extrusion additive manufacturing. Composites Part B: Engineering, 266, Article 110957. https://doi.org/10.1016/j.compositesb.2023.110957

Esterle, L., Dutt, N., Gruhl, C., Lewis, P. R., Marcenaro, L., Regazzoni, C. & Jantsch, A. (2023). Self-awareness in Cyber-Physical Systems: Recent Developments and Open Challenges. In 2023 Design, Automation & Test in Europe Conference & Exhibition (DATE) IEEE. https://doi.org/10.23919/DATE56975.2023.10137197

Tøttrup, M. F., Hu, E. C., Kramer, B. A., Macedo, H. D. & Esterle, L. (2023). Using INTO-CPS Tools in the Development of a Digital Twin for the F1TENTH Race Car. In P. Masci, C. Bernardeschi, P. Graziani, M. Koddenbrock & M. Palmieri (Eds.), Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops: International Conference on Software Engineering and Formal Methods (pp. 200-209). Springer. https://doi.org/10.1007/978-3-031-26236-4_18

Ejersbo, H., Lausdahl, K., Frasheri, M. & Esterle, L. (2023). Dynamic Runtime Integration of New Models in Digital Twins. ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, 44-55. https://doi.org/10.1109/SEAMS59076.2023.00016

Abbiati, G., Baş, E. E., Gomes, C. & Larsen, P. G. (2023). Hybrid fire testing using FMI-based co-simulation. Fire Safety Journal, 139, Article 103832. https://doi.org/10.1016/j.firesaf.2023.103832

Kazemi, Z., Rask, J. K., Gomes, C., Yildiz, E. & Larsen, P. G. (2023). Movable factory—A systematic literature review of concepts, requirements, applications, and gaps. Journal of Manufacturing Systems, 69, 189-207. https://doi.org/10.1016/j.jmsy.2023.06.008

Schultz, C. P. L., Zayed, Y. N. H., Kristoffersen, A. E., Lohm, G. & Kamari, A. (2023). Towards a human-centred framework for representing and reasoning about social values in buildings. 1-10. Paper presented at 30th EG-ICE: International Conference on Intelligent Computing in Engineering. https://www.ucl.ac.uk/bartlett/construction/sites/bartlett_construction/files/towards_a_human-centred_framework_for_representing_and_reasoning_about_social_values_in_buildings.pdf

Hansen, S. T., Gomes, C. & Kazemi, Z. (2023). Synthesizing Orchestration Algorithms for FMI 3.0. In M. J. Blas & G. Alvarez (Eds.), 2023 Annual Modeling and Simulation Conference (ANNSIM) (pp. 184-195). IEEE. https://ieeexplore.ieee.org/document/10155361

Alfalouji, Q., Schranz, T., Falay, B., Wilfling, S., Exenberger, J., Mattausch, T., Gomes, C. & Schweiger, G. (2023). Co-simulation for buildings and smart energy systems — A taxonomic review. Simulation Modelling Practice and Theory, 126, Article 102770. https://doi.org/10.1016/j.simpat.2023.102770

Aher, G. R., Boudjadar, J. & Ramanujan, D. (2023). Towards Simulation-Based Circular Product Design. Procedia CIRP, 116, 690-695. https://doi.org/10.1016/j.procir.2023.02.116

Gil Arboleda, S., Zapata-Madrigal, G. D., García-Sierra, R. & Cruz Salazar, L. A. (2022). Converging IoT protocols for the data integration of automation systems in the electrical industry. Journal of Electrical Systems and Information Technology, 9(1), 1-21. Article 1. https://doi.org/10.1186/s43067-022-00043-4

Talasila, P., Gomes, C., Mikkelsen, P. H., Arboleda, S. G., Kamburjan, E. & Larsen, P. G. (2023). Digital Twin as a Service (DTaaS): A Platform for Digital Twin Developers and Users. https://doi.org/10.1109/SWC57546.2023.10448890

Tamashiro, M. A., Schaper, M.-M. A., Jensen, A. V., Heick, R., Danielsen, B., Van Mechelen, M., Jensen, K. L., Smith, R. C. & Iversen, O. S. (2023). Teaching Technical and Societal Aspects of IoT - A case study using the Orbit IoT Kit. In DIS '23: : Proceedings of the 2023 ACM Designing Interactive Systems Conference (Vol. 1, pp. 1236-1247). Association for Computing Machinery. https://doi.org/10.1145/3563657.3596092

Kakavandi, F., Gomes, C., de Reus, R., Badstue, J., Jensen, J. L., Larsen, P. G. & Iosifidis, A. (2023). Towards Developing a Digital Twin for a Manufacturing Pilot Line: An Industrial Case Study. In E. Karaarslan, Ö. Aydin, Ü. Cali & M. Challenger (Eds.), Digital Twin Driven Intelligent Systems and Emerging Metaverse (pp. 39-64). Springer. https://doi.org/10.1007/978-981-99-0252-1_2

Kakavandi, F. & Larsen, P. G. (2023). Explainable Product Quality Assessment in a Medical Device Assembly Pilot Line. In 2022 10th International Conference on Control, Mechatronics and Automation (ICCMA) (pp. 271-275). IEEE. https://doi.org/10.1109/ICCMA56665.2022.10011621

Kakavandi, F., de Reus, R., Gomes, C., Heidari, N., Iosifidis, A. & Larsen, P. G. (2022). Product Quality Control in Assembly Machine under Data Restricted Settings. In 2022 IEEE 20th International Conference on Industrial Informatics, INDIN 2022 (pp. 735-741). IEEE. https://doi.org/10.1109/INDIN51773.2022.9976173

Displaying results 151 to 200 out of 1028

Back to the main page

Revised 13.11.2025

AU Engineering