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

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.

Sandberg, M., Hattel, J. H. & Spangenberg, J. (2022). A streamline-integration technique for simulating build-up of process-induced stresses and shape distortions in thermoset pultrusion processes.

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

Haq, A. U., Bilal, M. & Mihovska, A. (2023). UAV communication aided by Intelligent Reflective Surfaces- A Performance Analysis in the context of Industry 4.0. Paper presented at 25th Wireless Personal Multimedia Communications (WPMC) 2022, Herning, Denmark. https://wpmc-home.com/wpmc2022-aarhus-university/

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

Boudjadar, J. & Beck, M. M. (2022). Intelligent Time Synchronization Protocol for Energy Efficient Sensor Systems. In K. Arai (Ed.), Intelligent Systems and Applications - Proceedings of the 2021 Intelligent Systems Conference IntelliSys (pp. 609-623). Springer Science and Business Media Deutschland GmbH. https://doi.org/10.1007/978-3-030-82196-8_45

Zambrano, V., Mueller-Roemer, J., Sandberg, M., Talasila, P., Zanin, D., Larsen, P. G., Loeschner, E., Thronicke, W., Pietraroia, D., Landofi, G., Fontana, A., Laspalas, M., Antony, J., Poser, V., Kiss, T., Bergweiler, S., Pena Serna, S., Izquierdo, S., Viejo, I. ... Stork, A. (2022). Industrial Digitalization in the Industry 4.0 era: Classification, Reuse and Authoring of Digital Models on Digital Twin Platforms. Array, 14, Article 100176. https://doi.org/10.1016/j.array.2022.100176

Teizer, J., Johansen, K. W. & Schultz, C. P. L. (2022). The Concept of Digital Twin for Construction Safety. In F. Jazizadeh, T. Shealy & M. J. Garvin (Eds.), Construction Research Congress 2022: Computer Applications, Automation, and Data Analytics (pp. 1156-1165). American Society of Civil Engineers. https://doi.org/10.1061/9780784483961.121

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. In 2022 IEEE/SICE International Symposium on System Integration (SII) (pp. 77-82). IEEE. https://doi.org/10.1109/SII52469.2022.9708846

Larsen, P. G., Macedo, H. D., Fitzgerald, J., Pfeifer, H., Benedikt, M., Tonetta, S., Marguglio, A., Veneziano, G., Sutton, L., Gusmeroli, S. & Suciu, G. (2022). HUBCAP: A Novel Collaborative Approach to Model-Based Design of Cyber-Physical Systems. In M. S. Obaidat, T. Oren & F. D. Rango (Eds.), Simulation and Modeling Methodologies, Technologies and Applications. SIMULTECH 2020 (pp. 90-110). Springer. https://doi.org/10.1007/978-3-030-84811-8_5

Kulik, T., Dongol, B., Larsen, P. G., Macedo, H. D., Schnieder, S., Tran-Jørgensen, P. W. V. & Woodcock, J. (2022). A Survey of Practical Formal Methods for Security. Formal Aspects of Computing, 34(1), Article 3522582. https://doi.org/10.1145/3522582

Madsen, E., Tola, D., Hansen, C., Gomes, C. & Larsen, P. G. (2022). AURT: A Tool for Dynamics Calibration of Robot Manipulators. In 2022 IEEE/SICE International Symposium on System Integration, SII 2022 (pp. 190-195). IEEE. https://doi.org/10.1109/SII52469.2022.9708769

Kamari, A., Schultz, C. P. L. & Petersen, S. (Eds.) (2022). Digital Sustainability in Building Design: Special issue. Sustainability https://www.mdpi.com/journal/sustainability/special_issues/digital_building

Kamari, A., Kotula, B. M. & Schultz, C. P. L. (2022). A BIM-based LCA tool for sustainable building design during the early design stage. Smart and Sustainable Built Environment, 11(2), 217-244. https://doi.org/10.1108/SASBE-09-2021-0157

Böttjer, T., Ørnskov Rønsch, G., Gomes, C., Ramanujan, D., Iosifidis, A. & Larsen, P. G. (2022). Data-Driven Identification of Remaining Useful Life for Plastic Injection Moulds. In A.-L. Andersen, R. Andersen, T. D. Brunoe, M. Stoettrup Schioenning Larsen, K. Nielsen, A. Napoleone & S. Kjeldgaard (Eds.), Towards Sustainable Customization: Bridging Smart Products and Manufacturing Systems - Proceedings of the 8th Changeable, Agile, Reconfigurable and Virtual Production Conference CARV 2021 and 10th World Mass Customization and Personalization Conference MCPC 2021 (pp. 431-439). Springer. https://doi.org/10.1007/978-3-030-90700-6_49

Battle, N., Macedo, H. D. & Larsen, P. G. (2021). VDM Combinatorial Testing Guidelines.

Esterle, L., Gomes, C., Frasheri, M., Ejersbo, H., Tomforde, S. & Larsen, P. G. (2021). Digital twins for collaboration and self-integration. In E. El-Araby, V. Kalogeraki, D. Pianini, F. Lassabe, B. Porter, S. Ghahremani, I. Nunes, M. Bakhouya & S. Tomforde (Eds.), Proceedings - 2021 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion, ACSOS-C 2021 (pp. 172-177). IEEE. https://doi.org/10.1109/ACSOS-C52956.2021.00040

Macedo, H. D., Sassanelli, C., Larsen, P. G. & Terzi, S. (2021). Facilitating model-based design of cyber-manufacturing systems. Procedia CIRP, 104, 1936-1941. https://doi.org/10.1016/j.procir.2021.11.327

Kamari, A. & Schultz, C. P. L. (2022). A combined principal component analysis and clustering approach for exploring enormous renovation design spaces. Journal of Building Engineering , 48, Article 103971. https://doi.org/10.1016/j.jobe.2021.103971

Paredis, R., Gonçalves Gomes, C. Â. & Vangheluwe, H. (2021). Towards a Family of Digital Model/Shadow/Twin Workflows and Architectures: In H. Panetto, M. Macchi & K. Madani (Eds.), Proceedings of the 2nd International Conference on Innovative Intelligent Industrial Production and Logistics, IN4PL 2021 (pp. 174-182). SCITEPRESS Digital Library. https://doi.org/10.5220/0010717600003062

Junghanns, A., Blochwitz, T., Bertsch, C., Sommer, T., Wernersson, K., Pillekeit, A., Zacharias, I., Blesken, M., Mai, P. R., Schuch, K., Schulze, C., Gonçalves Gomes, C. Â. & Najafi, M. (2021). The Functional Mock-up Interface 3.0 - New Features Enabling New Applications. In M. Sjölund, L. Buffoni, A. Pop & L. Ochel (Eds.), Proceedings of 14th Modelica Conference 2021, Linköping, Sweden, September 20-24, 2021 (pp. 17-26) https://doi.org/10.3384/ecp2118117

Hansen, S. T., Gomes, C., Palmieri, M., Thule, C., van de Pol, J. & Woodcock, J. (2021). Verification of Co-simulation Algorithms Subject to Algebraic Loops and Adaptive Steps. In A. L. Lafuente & A. Mavridou (Eds.), Formal Methods for Industrial Critical Systems (pp. 3-20). Springer. https://doi.org/10.1007/978-3-030-85248-1_1

Gonçalves Gomes, C. Â., Najafi, M., Sommer, T., Blesken, M., Zacharias, I., Kotte, O., Mai, P. R., Schuch, K., Wernersson, K., Bertsch, C., Blochwitz, T. & Junghanns, A. (2021). The FMI 3.0 Standard Interface for Clocked and Scheduled Simulations. In M. Sjölund, L. Buffoni, A. Pop & L. Ochel (Eds.), Proceedings of 14th Modelica Conference 2021, Linköping, Sweden, September 20-24, 2021 (pp. 27-36) https://doi.org/10.3384/ecp2118127

Gonçalves Gomes, C. Â., Abbiati, G. & Larsen, P. G. (2021). Seismic Hybrid Testing using FMI-based Co-Simulation. In M. Sjölund, L. Buffoni, A. Pop & L. Ochel (Eds.), Proceedings of 14th Modelica Conference 2021, Linköping, Sweden, September 20-24, 2021 (pp. 287-295) https://doi.org/10.3384/ecp21181287

Battle, N., Thule, C., Gonçalves Gomes, C. Â., Macedo, H. D. & Larsen, P. G. (2020). Towards a Static Check of FMUs in VDM-SL. 272-288. https://doi.org/10.1007/978-3-030-54997-8_18

Feng, H., Gomes, C., Iosifidis, A. & Larsen, P. G. (2021). Model-based monitoring and state estimation for digital twins: The Kalman filter. In C. R. Martin, M. J. Blas & A. I. Psijas (Eds.), Annual Modeling and Simulation Conference (ANNSIM 2021) (pp. 1-2)

Gil Arboleda, S., Zapata-Madrigal, G. D. & García-Sierra, R. (2021). Using X-Road to Implement Open Data in Electrical Systems and Promote the Integration with Smart City and Open Governance Strategies. TecnoLógicas, 24(52). https://doi.org/10.22430/22565337.1950

Gil Arboleda, S., Zapata-Madrigal, G. D. & Giraldo-Gómez, G. L. (2021). An Ontological Model to Integrate and Assist Virtualization of Automation Systems for Industry 4.0. Smart and Sustainable Manufacturing Systems, 5(1), 181-207. https://doi.org/10.1520/SSMS20210010

Böttjer, T., Ørnskov Rønsch, G., Gonçalves Gomes, C. Â., Ramanujan, D., Iosifidis, A. & Larsen, P. G. (2021). Data-Driven Identification of Remaining Useful Life for Plastic Injection Moulds. In A.-L. Andersen, R. Andersen, D. Brunoe, M. Stoettrup Schioenning Larsen, K. Nielsen, A. Napoleone & S. Kjeldgaard (Eds.), Towards Sustainable Customization: Bridging Smart Products and Manufacturing Systems: Proceedings of the Changeable, Agile, Reconﬁgurable and Virtual Production Conference and the World Mass Customization & Personalization Conference (pp. 431-439). Springer. https://www.springerprofessional.de/en/data-driven-identification-of-remaining-useful-life-for-plastic-/19816878

Displaying results 201 to 250 out of 995

Back to the main page

Revised 13.11.2025

AU Engineering