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

Hallerstede, S. & Hatcliff, J. (2024). A Mechanized Semantics for Component-Based Systems in the HAMR AADL Runtime. I J. Cámara & S.-S. Jongmans (red.), Formal Aspects of Component Software: 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers (1 udg., s. 45-64). Springer. https://doi.org/10.1007/978-3-031-52183-6_3

Mendes, E., Watson, I., Triggs, C., Mosley, N. & Counsell, S. (2003). A Comparative Study of Cost Estimation Models for Web Hypermedia Applications. Empirical Software Engineering, 8, 163–196. https://doi.org/10.1023/A:1023062629183

Jahangir, M. F., Schultz, C. P. L. & Kamari, A. (2024). A review of drivers and barriers of Digital Twin adoption in building project development processes. Journal of Information Technology in Construction, 29, 141-178. https://doi.org/10.36680/j.itcon.2024.008

Gil Arboleda, S., Schou, C., Mikkelsen, P. H. & Larsen, P. G. (2024). Integrating Skills into Digital Twins in Cooperative Systems. I 2024 IEEE/SICE International Symposium on System Integration (SII) (s. 1124-1131). IEEE. https://doi.org/10.1109/SII58957.2024.10417610

Gil Arboleda, S., Mikkelsen, P. H., Tola, D., Schou, C. & Larsen, P. G. (2023). A Modeling Approach for Composed Digital Twins in Cooperative Systems. I 2023 IEEE 28th International Conference on Emerging Technologies and Factory Automation, ETFA 2023 (s. 1-8). IEEE. https://doi.org/10.1109/ETFA54631.2023.10275601

Lehner, D., Gil Arboleda, S., Mikkelsen, P. H., Larsen, P. G. & Wimmer, M. (2023). An Architectural Extension for Digital Twin Platforms to Leverage Behavioral ModelsBehaviors. I 2023 IEEE 19th International Conference on Automation Science and Engineering, CASE 2023 (s. 1-8). IEEE. https://doi.org/10.1109/CASE56687.2023.10260417

Gil Arboleda, S., Mikkelsen, P. H., Gomes, C. & Larsen, P. G. (2024). Survey on open-source digital twin frameworks–A case study approach. Software: Practice and Experience, 54(6), 929-960. https://doi.org/10.1002/spe.3305

Zayed, Y. N. H. (2023). Towards a Human-Centered Framework for the Assessment of Subjective Social Values in Buildings. I J. Vanthienen, T. Kliegr, P. Fodor, D. Lanti, D. Arndt, E. V. Kostylev, T. Mitsikas & A. Soylu (red.), RuleML+RR-Companion 2023: RuleML+RR Challenge and Doctoral Consortium 2023 CEUR-WS.org. https://ceur-ws.org/Vol-3485/paper6908.pdf

Frasheri, M., Lumer-Klabbers, G., Kvistgaard, J. L., Hausted, J. O., Thule, C., Esterle, L. & Larsen, P. G. (2023). Building Safer Robots: From Simulation to Hardware Deployment. 2023 27th International Conference on Methods and Models in Automation and Robotics, MMAR 2023 - Proceedings, 63-68. https://doi.org/10.1109/MMAR58394.2023.10242467

Frasheri, M., Miloradovic, B., Esterle, L. & Papadopoulos, A. V. (2023). GLocal: A Hybrid Approach to the Multi-Agent Mission Re-Planning Problem. Proceedings (IEEE Symposium Series on Computational Intelligence), 1696-1703. https://doi.org/10.1109/SSCI52147.2023.10371893

Hansen, S. T., Thule, C., Gomes, C., Lausdahl, K. G., Madsen, F. P., Abbiati, G. & Larsen, P. G. (2024). Co-simulation at different levels of expertise with Maestro2. Journal of Systems and Software, 209, Artikel 111905. https://doi.org/10.1016/j.jss.2023.111905

Abraham, E. (red.), Hallerstede, S. (red.), Hatcliff, J. (red.), Stewart, D. (red.) & 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. (red.) (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 Bind 3507 https://ceur-ws.org/Vol-3507/

Macedo, H. D. & Pierce, K. (2023). Proceedings of the 21st International Overture Workshop. http://arxiv.org/pdf/2311.07120v2

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

Oda, T., Dur, G., Ducasse, S. & Macedo, H. D. (2023). Implementation-First Approach of Developing Formal Semantics of a Simulation Language in VDM-SL.

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

Jensen, L. B., Jonas Lund, J. L., Pedersen, P. & Macedo, H. D. (2023). Assessing Resource Availability in Floodwater Systems for Use in Power-To-X Technologies. I M. Affenzeller, A. G. Bruzzone, E. Jimenez, F. Longo & A. Petrillo (red.), Proceedings of the 35th European Modeling & Simulation Symposium (EMSS 2023) https://doi.org/10.46354/i3m.2023.emss.023

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

Suetta, C., Merhi, Y., Mikkelsen, P. H. & Nygaard, J. V. (2023). Dry electrode integrated with garment. (Patentnummer 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. I R. Lyng, J. Bennedsen, L. Bettaieb, N. R. Bodsberg, K. Edstrom, M. S. Guojonsdottir, J. Roslof, O. K. Solbjorg & G. Oien (red.), 19th CDIO International Conference: Proceedings - Full Papers (s. 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. I Proceedings of the 19th International CDIO Conference (s. 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. I ASME 2023 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference: 28th Design for Manufacturing and the Life Cycle Conference (DFMLC) Artikel 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. I FLEPS 2021 - IEEE International Conference on Flexible and Printable Sensors and Systems Artikel 9469835 IEEE. https://doi.org/10.1109/FLEPS51544.2021.9469835

Boudjadar, J. & Islam, S. U. (2024). AgriScanNet-18: A Robust Multilayer CNN for Identification of Potato Plant Diseases. 291-308. Afhandling præsenteret på Intelligent Systems Conference, Amsterdam, Holland. 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. I K. Arai (red.), Intelligent Systems and Applications: Proceedings of the 2023 Intelligent Systems Conference (IntelliSys) Volume 4 (s. 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), Artikel 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. Afhandling præsenteret på 19th International Conference on Software Technologies, Rome, Italien.

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, Artikel 105159. https://doi.org/10.1016/j.autcon.2023.105159

Paredis, R., Gomes, C. & Vangheluwe, H. (2023). A Family of Digital T Workflows and Architectures: Exploring Two Cases. I A. Smirnov, H. Panetto & K. Madani (red.), 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 (s. 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. I M. J. Blas & G. Alvarez (red.), 2023 Annual Modeling and Simulation Conference (ANNSIM) (s. 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. I M. J. Blas & G. Alvarez (red.), 2023 Annual Modeling and Simulation Conference (ANNSIM) (s. 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. I 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, Artikel 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

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), Artikel 382. https://doi.org/10.3390/batteries9070382

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. I 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. I P. Masci, C. Bernardeschi, P. Graziani, M. Koddenbrock & M. Palmieri (red.), Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops: International Conference on Software Engineering and Formal Methods (s. 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, Artikel 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. Afhandling præsenteret på 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. I M. J. Blas & G. Alvarez (red.), 2023 Annual Modeling and Simulation Conference (ANNSIM) (s. 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, Artikel 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. Artikel 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.