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

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

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, Article 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. 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

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, Article 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. Article 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. In Electric Transportation Systems in Smart Power Grids (pp. 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. In 18th CDIO International Conference Proceedings - Full papers (pp. 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. 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. Paper presented at 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. 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://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), 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

Esterle, L. & King, D. W. (2021). Loosening Control—A Hybrid Approach to Controlling Heterogeneous Swarms. ACM Transactions on Autonomous and Adaptive Systems, 16(2), Article 5. https://doi.org/10.1145/3502725

Pianini, D., Pettinari, F., Casadei , R. & Esterle, L. (2022). A Collective Adaptive Approach to Decentralised k-Coverage in Multi-robot Systems. ACM Transactions on Autonomous and Adaptive Systems, 17(1-2), 1-39. Article 4. https://doi.org/10.1145/3547145

Esterle, L., Ejersbo, H., Frasheri, M., Gomes, C., Macedo, H. D. & Larsen, P. G. (2022). Digital Twins for Autonomous Intelligent Systems: From Development to Deployment. In Proceedings - 2022 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion, ACSOS-C 2022 (pp. 53-54). IEEE. https://doi.org/10.1109/ACSOSC56246.2022.00028

Esterle, L., Porter, B. & Woodcock, J. (2021). Verification and Uncertainties in Self-integrating System. In 2021 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C) (pp. 220-225) https://doi.org/10.1109/ACSOS-C52956.2021.00050

Bakhtiarnia, A., Leporowski, B., Esterle, L. & Iosifidis, A. (2022). Analysis of the Effect of Low-Overhead Lossy Image Compression on the Performance of Visual Crowd Counting for Smart City Applications. In 2022 IEEE International Smart Cities Conference (ISC2) IEEE. https://doi.org/10.1109/ISC255366.2022.9921939

del Palacio Gonzalez, A., Thylstrup, B., Pedersen, M. U., Danielsen, B., Kirk, H. B. & Jensen, K. L. (2022). Design and Testing of an Aftercare Mobile App for Substance Use Among Young Adults: An Interdisicplinary Approach in Denmark. Abstract from Lisbon addictions 2022, Lisabon, Portugal.

Frasheri, M., Struhar, V., Papadopoulos, A. V. & Causevic, A. (2022). Ethics of Autonomous Collective Decision-Making: The Caesar Framework. Science and Engineering Ethics, 28(6), Article 61. https://doi.org/10.1007/s11948-022-00414-0

Merhi, Y. & Agarwala, S. (2022). Fabrication of flexible, and bioresorbable poly-l-lactide acid piezoelectric material with tunable properties. Materials Today: Proceedings, 70, 531-534. https://doi.org/10.1016/j.matpr.2022.09.553

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), Article 3635. https://doi.org/10.3390/electronics11213635

Saleem, B., Badar, R., Manzoor, A., Judge, M. A., Boudjadar, J. & Islam, S. U. (2022). Fully Adaptive Recurrent Neuro-Fuzzy Control for Power System Stability Enhancement in Multi Machine System. IEEE Access, 10, 36464-36476. https://doi.org/10.1109/ACCESS.2022.3164455

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

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

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? In A. Cerone, M. Autili, A. Bucaioni, C. Gomes, P. Graziani, M. Palmieri, M. Temperini & G. Venture (Eds.), Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops - CIFMA, CoSim-CPS, OpenCERT, ASYDE, Revised Selected Papers (pp. 143-155). Springer. https://doi.org/10.1007/978-3-031-12429-7_11

Feng, H., Gomes, C., Sandberg, M., Thule, C., Lausdahl, K. & Larsen, P. G. (2021). Developing a Physical and Digital Twin: An Example Process Model. In Companion Proceedings - 24th International Conference on Model-Driven Engineering Languages and Systems, MODELS-C 2021 (pp. 286-295). IEEE. https://doi.org/10.1109/MODELS-C53483.2021.00050

Volk, M., Yuksel, O., Baran, I., Hattel, J. H., Spangenberg, J. & Sandberg, M. (2022). Cost-efficient, automated, and sustainable composite profile manufacture: A review of the state of the art, innovations, and future of pultrusion technologies. Composites Part B: Engineering, 246, Article 110135. https://doi.org/10.1016/j.compositesb.2022.110135

Ubys, L., Vancea, V. N., Kulik, T., Larsen, P. G., Boudjadar, J. & Aranha, D. F. (2022). Formal Model In-The-Loop for Secure Industrial Control Networks. In Formal Aspects of Component Software - 18th International Conference, FACS 2022, Proceedings (pp. 74-89). Springer. https://doi.org/10.1007/978-3-031-20872-0_5

Nielsen, M. & Larsen, P. G. (2022). Techtopia 250: Hvad er en digital tvilling?. Pictures, Video and sound recordings (digital) https://ida.dk/viden-og-netvaerk/idas-podcast/techtopia/techtopia-episoder-2022/techtopia-250-hvad-er-en-digital-tvilling

Feng, H., Gomes, C., Gil Arboleda, S., Mikkelsen, P. H., Tola, D., Larsen, P. G. & Sandberg, M. (2022). Integration Of The Mape-K Loop In Digital Twins. In C. R. Martin, N. Emami, M. J. Blas & R. Rezaee (Eds.), Proceedings of the 2022 Annual Modeling and Simulation Conference, ANNSIM (pp. 102-113). IEEE. https://doi.org/10.23919/ANNSIM55834.2022.9859489

Pierce, K., Lausdahl, K. & Frasheri, M. (2022). Speeding Up Design Space Exploration through Compiled Master Algorithms. In H. D. Macedo & K. Pierce (Eds.), Proceedings of the 20th International Overture Workshop (pp. 66-81) https://doi.org/10.48550/arXiv.2208.10233

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

Rask, J. K., Madsen, F. P., Battle, N., Freitas, L., Macedo, H. D. & Larsen, P. G. (2022). Advanced VDM Support in Visual Studio Code. In H. D. Macedo & K. Pierce (Eds.), Proceedings of the 20th International Overture Workshop (pp. 34-49) https://doi.org/10.48550/arXiv.2208.10233

Villadsen, K., Dalgaard Jensen, M., Larsen, P. G. & Macedo, H. D. (2022). Bridging the Requirements-Specification Gap using Behaviour-Driven Development. In H. D. Macedo & K. Pierce (Eds.), Proceedings of the 20th International Overture Workshop (pp. 19-33) https://doi.org/10.48550/arXiv.2208.10233

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

Macedo, H. D. & Pierce, K. (Eds.) (2022). Proceedings of the 20th International Overture Workshop. https://doi.org/10.48550/arXiv.2208.10233

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

Esterle, L. (2022). Deep learning in multiagent systems. In A. Iosifidis & A. Tefas (Eds.), Deep Learning for Robot Perception and Cognition (pp. 435-460). Elsevier. https://doi.org/10.1016/B978-0-32-385787-1.00022-1

Displaying results 101 to 150 out of 894

Back to the main page

Revised 10.08.2023

AU Engineering