Aarhus University Seal

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

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
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
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.
Š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
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
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
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
Waheed, H., Akram, W., Islam, S. U., Hadi, A., Boudjadar, J. & Zafar, N. (2023). A Mobile-Based System for Detecting Ginger Leaf Disorders Using Deep Learning. Future Internet, 15(3), Article 86. https://doi.org/10.3390/fi15030086
Johansen, K. W., Schultz, C. & Teizer, J. (2023). Hazard ontology and 4D benchmark model for facilitation of automated construction safety requirement analysis. Computer-Aided Civil and Infrastructure Engineering, 38(15), 2128-2144. https://doi.org/10.1111/mice.12988
Kamari, A. & Schultz, C. P. L. (2023). How can LCA inform early-stage design to meet Danish regulations? The sustainability opportunity metric. In E. Hjelseth, S. F. Sujan & R. J Scherer (Eds.), ECPPM 2022 - eWork and eBusiness in Architecture, Engineering and Construction 2022: Proceedings of the 14th European Conference on Product and Process Modelling (ECPPM 2022), September 14-16, 2022, Trondheim, Norway (pp. 27-34). CRC Press. https://doi.org/10.1201/9781003354222-4
Merhi, Y., Betancur, P. F., Ripolles, T. S., Suetta, C., Brage-Andersen, M. R., Hansen, S. K., Frydenlund, A., Nygaard, J. V., Mikkelsen, P. H., Boix, P. P. & Agarwala, S. (2023). Printed dry electrode for neuromuscular electrical stimulation (NMES) for e-textile. Nanoscale, 15(11), 5337-5344. https://doi.org/10.1039/d2nr06008f
Sandberg, M., Hattel, J. H. & Spangenberg, J. (2023). Flow‑Induced Fibre Compaction in Resin‑Injection Pultrusion. Transport in Porous Media, 147(3), 541-571. https://doi.org/10.1007/s11242-023-01911-x
Malmqvist, J., Lundqvist, U., Rosén, A., Edström, K., Gupta, R., Leong, H., Cheah, S. M., Bennedsen, J., Hugo, R., Kamp, A., Leifler, O., Gunnarsson, S., Roslöf, J. & Spooner, D. (2022). The CDIO Syllabus 3.0 - An Updated Statement of Goals. In 18th CDIO International Conference Proceedings - Full papers (pp. 18-36) https://en.ru.is/media/cdio2022/CDIO_2022_Proceedings.pdf
Schranz, T., Legaard, C. M., Tola, D. & Schweiger, G. (2021). Portable runtime environments for Python-based FMUs: Adding Docker support to UniFMU. In Proceedings of 14th Modelica Conference 2021 (pp. 419-424) https://doi.org/10.3384/ecp21181419
Wright, T., Gomes, C. & Woodcock, J. (2022). Formally Verified Self-adaptation of an Incubator Digital Twin. In T. Margaria & B. Steffen (Eds.), Leveraging Applications of Formal Methods, Verification and Validation. Practice, ISoLA 2022 (pp. 89-109). Springer. https://doi.org/10.1007/978-3-031-19762-8_7
Kulik, T., Gomes, C., Macedo, H. D., Hallerstede, S. & Larsen, P. G. (2022). Towards Secure Digital Twins. In T. Margaria & B. Steffen (Eds.), Leveraging Applications of Formal Methods, Verification and Validation. Practice, ISoLA 2022 (pp. 159-176). Springer. https://doi.org/10.1007/978-3-031-19762-8_11
Boudjadar, J. (2022). A Flexible Implementation Model for Neural Networks on FPGAs. Paper presented at International Conference on Intelligent Systems Design and Applications.
Boudjadar, J. (2022). A Digital Twin Setup for Safety-aware Optimization of a Cyber-Physical System. 161-168. Paper presented at International Conference on Informatics in Control, Automation and Robotics, Lisbon, Portugal. https://doi.org/10.5220/0011272100003271
Chronopoulos, C., Teizer, J. & Esterle, L. (2022). Trajectory Prediction: A Review of Methods and Challenges in Construction Safety. In J. Teizer & C. P. Leslie Schultz (Eds.), Proceedings of the 29thEG-ICE International Workshop on Intelligent Computing in Engineering (pp. 428-438). European Group for Intelligent Computing in Engineering (EG-ICE). https://doi.org/10.7146/aul.455.c233
Johansen, K. W., Schultz, C. P. L. & Teizer, J. (2022). BIM-based fall hazard ontology and benchmark model for comparison of automated prevention through design approaches in construction safety. In J. Teizer & C. P. Leslie Schultz (Eds.), Proceedings of the 29thEG-ICE International Workshop on Intelligent Computing in Engineering (pp. 408-417) https://doi.org/10.7146/aul.455.c231
Farooq, W., Islam, S. U., Khan, M. A., Rehman, S., Gulzari, U. A. & Boudjadar, J. (2022). UGAVs-MDVR: A Cluster-Based Multicast Routing Protocol for Unmanned Ground and Aerial Vehicles Communication in VANET. Applied Sciences, 12(23), Article 11995. https://doi.org/10.3390/app122311995
Hudert, M. M., Elvebakken, M. F., Meagher, M., Mangliar, L., Zhang, X. & Esterle, L. (2022). Deep learning enhanced robotic fabrication of timber-to-timber connections with densified hardwood nails. In Proceedings of the IASS 2022 Symposium affiliated with APCS 2022 conference: Innovation - Sustainability - Legacy (pp. 1740-1748)
Hansen, S. T., Thule, C., Gomes, C., van de Pol, J., Palmieri, M., Inci, E. O., Madsen, F., Alfonso, J., Castellanos, J. Á. & Rodriguez, J. M. (2022). Verification and synthesis of co-simulation algorithms subject to algebraic loops and adaptive steps. International Journal on Software Tools for Technology Transfer, 24(6), 999-1024. https://doi.org/10.1007/s10009-022-00686-8
Talasila, P., Crăciunean, C., Bogdan-Constantin, P., Larsen, P. G., Zamfirescu, C.-B. & Scovill, A. (2022). Comparison Between the HUBCAP and DIGITBrain Platforms for Model-Based Design and Evaluation of Digital Twins. In A. Cerone, M. Autili, A. Bucaioni, C. Gomes, P. Graziani, M. Palmieri & G. Venture (Eds.), Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops - CIFMA, CoSim-CPS, OpenCERT, ASYDE, Revised Selected Papers: CIFMA, CoSim-CPS, OpenCERT, ASYDE, Revised Selected Papers (pp. 238–244). Springer, Cham. https://doi.org/10.1007/978-3-031-12429-7_17