Publications within Software Engineering & Computing Systems

Hansen, S. T., Gomes, C. Â. G., Najafi, M., Sommer, T., Blesken, M., Zacharias, I., Kotte, O., Mai, P. R., Schuch, K., Wernersson, K., Bertsch, C., Blochwitz, T. & Junghanns, A. (2022). The FMI 3.0 Standard Interface for Clocked and Scheduled Simulations. Electronics, 11(21), Artikel 3635. https://doi.org/10.3390/electronics11213635

Rausch, C., Talebi, S., Poshdar, M., Li, B. & Schultz, C. (2022). Tolerance management domain model for semantic enrichment of BIMs. Automation in Construction, 141, Artikel 104394. https://doi.org/10.1016/j.autcon.2022.104394

Li, B., Schultz, C., Teizer, J., Golovina, O. & Melzner, J. (2022). Towards a unifying domain model of construction safety, health and well-being: SafeConDM. Advanced Engineering Informatics, 51, Artikel 101487. https://doi.org/10.1016/j.aei.2021.101487

Tola, D., Madsen, E., Gomes, C., Esterle, L., Schlette, C., Hansen, C. & Larsen, P. G. (2022). Towards Easy Robot System Integration: Challenges and Future Directions. I 2022 IEEE/SICE International Symposium on System Integration (SII) (s. 77-82). IEEE. https://doi.org/10.1109/SII52469.2022.9708846

Tola, D., Böttjer, T., Larsen, P. G. & Esterle, L. (2022). Towards Modular Digital Twins of Robot Systems. I Proceedings - 2022 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion, ACSOS-C 2022 (s. 95-100). IEEE. https://doi.org/10.1109/ACSOSC56246.2022.00040

Kulik, T., Gomes, C., Macedo, H. D., Hallerstede, S. & Larsen, P. G. (2022). Towards Secure Digital Twins. I T. Margaria & B. Steffen (red.), Leveraging Applications of Formal Methods, Verification and Validation. Practice, ISoLA 2022 (s. 159-176). Springer. https://doi.org/10.1007/978-3-031-19762-8_11

Lund, J., Jensen, L. B., Macedo, H. D. & Larsen, P. G. (2022). Towards UML and VDM Support in the VS Code Environment. I H. D. Macedo & K. Pierce (red.), Proceedings of the 20th International Overture Workshop (s. 50-65) https://doi.org/10.48550/arXiv.2208.10233

Chronopoulos, C., Teizer, J. & Esterle, L. (2022). Trajectory Prediction: A Review of Methods and Challenges in Construction Safety. I J. Teizer & C. P. Leslie Schultz (red.), Proceedings of the 29thEG-ICE International Workshop on Intelligent Computing in Engineering (s. 428-438). European Group for Intelligent Computing in Engineering (EG-ICE). https://doi.org/10.7146/aul.455.c233

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

Feng, H., Gomes, C., Sandberg, M., Macedo, H. D. & Larsen, P. G. (2022). Under What Conditions Does a Digital Shadow Track a Periodic Linear Physical System? I A. Cerone, M. Autili, A. Bucaioni, C. Gomes, P. Graziani, M. Palmieri, M. Temperini & G. Venture (red.), Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops - CIFMA, CoSim-CPS, OpenCERT, ASYDE, Revised Selected Papers (s. 143-155). Springer. https://doi.org/10.1007/978-3-031-12429-7_11

Bennedsen, J., Böttjer, T. & Tola, D. (2022). Using GitHub classroom in teaching programming. I 18th CDIO International Conference Proceedings - Full papers (s. 690-702) https://www.diva-portal.org/smash/get/diva2:1705223/FULLTEXT01.pdf#page=704

Oda, T., Kusakabe, S., Chang, H.-M. & Larsen, P. G. (2022). VDM-SL in action: A FRAM-based approach to contextualise formal specifications. I H. D. Macedo & K. Pierce (red.), Proceedings of the 20th International Overture Workshop (s. 5-18) https://doi.org/10.48550/arXiv.2208.10233

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

Hansen, S. T. (2023). Accurate Co-simulation of Cyber-Physical Systems. [Ph.d.-afhandling, Aarhus Universitet]. Aarhus Universitet.

Gheisarnejad Chirani, M., Sharifzadeh, M., Khooban, M. H. & Al-Haddad, K. (2023). Adaptive Fuzzy Q-Learning Control Design and Application to Grid-Tied Nine-level Packed E-Cell (PEC9) Inverter. IEEE Transactions on Industrial Electronics, 70(1), 1071-1076. https://doi.org/10.1109/TIE.2022.3153803

Frasheri, M., Ejersbo, H., Thule, C., Gomes, C., Kvistgaard, J. L., Larsen, P. G. & Esterle, L. (2023). Addressing time discrepancy between digital and physical twins. Robotics and Autonomous Systems, 161, Artikel 104347. https://doi.org/10.1016/j.robot.2022.104347

Jensen, M., Toft Jacobsen, J., Sharifirad, I. & Boudjadar, J. (2023). Advanced Acceleration and Implementation of Convolutional Neural Networks on FPGAs. I J. Chen & L. T. Yang (red.), 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 (s. 558-565). IEEE. https://doi.org/10.1109/HPCC-DSS-SmartCity-DependSys60770.2023.00082

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

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.

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

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

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

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

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

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. I 2023 27th International Conference on Methods and Models in Automation and Robotics, MMAR 2023 - Proceedings (s. 63-68). IEEE. https://doi.org/10.1109/MMAR58394.2023.10242467

Zhang, B., Yan, S., Li, B., Wu, S., Feng, H., Gao, X., Song, X. & Siddique, K. H. M. (2023). Combining organic and chemical fertilizer plus water-saving system reduces environmental impacts and improves apple yield in rainfed apple orchards. Agricultural Water Management, 288, Artikel 108482. https://doi.org/10.1016/j.agwat.2023.108482

Armacki, A., Milosevic, N., Bajovic, D., Kar, S., Jakovetic, D., Bakhtiarnia, A., Esterle, L., Muscat, A. & Festi, T. (2023). Communication efficient model-aware federated learning for visual crowd counting and density estimation in smart cities. I 31st European Signal Processing Conference, EUSIPCO 2023 - Proceedings (s. 875-879). European Signal Processing Conference, EUSIPCO. https://doi.org/10.23919/EUSIPCO58844.2023.10289938

Legaard, C. M., Schranz, T., Schweiger, G., Drgona, J., Falay, B., Gomes, C., Iosifidis, A., Abkar, M. & Larsen, P. G. (2023). Constructing Neural Network Based Models for Simulating Dynamical Systems. ACM Computing Surveys, 55(11), 1-34. Artikel 236. https://doi.org/10.1145/3567591

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

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

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

Ø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

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

Feng, H. (2023). Digital Twin Engineering with an Application to an Incubator. [Ph.d.-afhandling, Aarhus Universitet]. Aarhus Universitet.

Naseri, F., Gil Arboleda, S., Barbu, C., Cetkin, E., Yarimca, G., Jensen, A. C., Larsen, P. G. & Gomes, C. (2023). Digital twin of electric vehicle battery systems: Comprehensive review of the use cases, requirements, and platforms. Renewable and Sustainable Energy Reviews, 179, Artikel 113280. https://doi.org/10.1016/j.rser.2023.113280

Suetta, C., Merhi, Y., Agarwala, S., 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#

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

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.

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

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

Larsen, P. G., Esterle, L., Fitzgerald, J. & Frasheri, M. (2023). Fault Injection in Co-simulation and Digital Twins for Cyber-Physical Robotic Systems. I Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (s. 222-236). Springer Science and Business Media Deutschland GmbH. https://doi.org/10.1007/978-3-031-40132-9_14

Aguzzi, G., Viroli, M. & Esterle, L. (2023). Field-informed Reinforcement Learning of Collective Tasks with Graph Neural Networks. I Proceedings - 2023 IEEE International Conference on Autonomic Computing and Self-Organizing Systems, ACSOS 2023 (s. 37-46). IEEE. https://doi.org/10.1109/ACSOS58161.2023.00021

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

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. I E. Hjelseth, S. F. Sujan & R. J Scherer (red.), 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 (s. 27-34). CRC Press. https://doi.org/10.1201/9781003354222-4

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

Gheisarnejad Chirani, M., Mosayebi, M., Rafiei Foroushani, M., Boudjadar, J. & Khooban, M. H. (2023). Hybrid Power Systems for Smart Marine Power Grids: Demonstration and Case Study. I Electric Transportation Systems in Smart Power Grids (s. 473-492). CRC Press. https://doi.org/10.1201/9781003293989

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

Viser resultater 151 til 200 ud af 343

Forrige

Næste

Revideret 10.08.2023

Heidi Søndergaard