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. & 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

Boudjadar, J. & Islam, S. U. (2023). 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

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.

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. I DIS '23: : Proceedings of the 2023 ACM Designing Interactive Systems Conference (Bind 1, s. 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. I E. Karaarslan, Ö. Aydin, Ü. Cali & M. Challenger (red.), Digital Twin Driven Intelligent Systems and Emerging Metaverse (s. 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. I 2022 10th International Conference on Control, Mechatronics and Automation (ICCMA) (s. 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. I 2022 IEEE 20th International Conference on Industrial Informatics, INDIN 2022 (s. 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), Artikel 86. https://doi.org/10.3390/fi15030086

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

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

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

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

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

Fathollahidehkordi, A., Gheisarnejad Chirani, M., Boudjadar, J., Homayounzadeh, M. & Khooban, M. H. (2023). Optimal Design of Wireless Charging Electric Buses-Based Machine Learning: A Case Study of Nguyen-Dupuis Network. I E E E Transactions on Vehicular Technology, 72(7), 8449-8458. https://doi.org/10.1109/TVT.2023.3247838

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

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

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. I 18th CDIO International Conference Proceedings - Full papers (s. 18-36) https://en.ru.is/media/cdio2022/CDIO_2022_Proceedings.pdf

Wright, T., Gomes, C. & Woodcock, J. (2022). Formally Verified Self-adaptation of an Incubator Digital Twin. I T. Margaria & B. Steffen (red.), Leveraging Applications of Formal Methods, Verification and Validation. Practice, ISoLA 2022 (s. 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. 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

Boudjadar, J. (2022). A Flexible Implementation Model for Neural Networks on FPGAs. Afhandling præsenteret på International Conference on Intelligent Systems Design and Applications.

Boudjadar, J. (2022). A Digital Twin Setup for Safety-aware Optimization of a Cyber-Physical System. Afhandling præsenteret på International Conference on Informatics in Control, Automation and Robotics, Lisbon, Portugal.

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) https://ebooks.au.dk/aul/catalog/view/455/311/1837-3

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. I J. Teizer & C. P. Leslie Schultz (red.), Proceedings of the 29thEG-ICE International Workshop on Intelligent Computing in Engineering (s. 408-417) https://ebooks.au.dk/aul/catalog/view/455/311/1837-3

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

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. I Proceedings of the IASS 2022 Symposium affiliated with APCS 2022 conference: Innovation - Sustainability - Legacy (s. 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. I A. Cerone, M. Autili, A. Bucaioni, C. Gomes, P. Graziani, M. Palmieri & G. Venture (red.), 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 (s. 238–244). Springer, Cham. https://doi.org/10.1007/978-3-031-12429-7_17

Viser resultater 51 til 100 ud af 866

Forrige

Næste

Back to the main page

Revideret 10.08.2023

AU Engineering