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

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

Feng, H., Gomes, C., Sandberg, M., Thule, C., Lausdahl, K. & Larsen, P. G. (2021). Developing a Physical and Digital Twin: An Example Process Model. I Companion Proceedings - 24th International Conference on Model-Driven Engineering Languages and Systems, MODELS-C 2021 (s. 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, Artikel 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. I Formal Aspects of Component Software - 18th International Conference, FACS 2022, Proceedings (s. 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?. Billeder, Video- og Lydoptagelser (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. I C. R. Martin, N. Emami, M. J. Blas & R. Rezaee (red.), Proceedings of the 2022 Annual Modeling and Simulation Conference, ANNSIM (s. 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. I H. D. Macedo & K. Pierce (red.), Proceedings of the 20th International Overture Workshop (s. 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. 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

Rask, J. K., Madsen, F. P., Battle, N., Freitas, L., Macedo, H. D. & Larsen, P. G. (2022). Advanced VDM Support in Visual Studio Code. I H. D. Macedo & K. Pierce (red.), Proceedings of the 20th International Overture Workshop (s. 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. I H. D. Macedo & K. Pierce (red.), Proceedings of the 20th International Overture Workshop (s. 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. 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

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. Afhandling præsenteret på 25th Wireless Personal Multimedia Communications (WPMC) 2022, Herning, Danmark. 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, Artikel 104394. https://doi.org/10.1016/j.autcon.2022.104394

Esterle, L. (2022). Deep learning in multiagent systems. I A. Iosifidis & A. Tefas (red.), Deep Learning for Robot Perception and Cognition (s. 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. I K. Arai (red.), Intelligent Systems and Applications - Proceedings of the 2021 Intelligent Systems Conference IntelliSys (s. 609-623). Springer Science+Business Media. 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, Artikel 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. I F. Jazizadeh, T. Shealy & M. J. Garvin (red.), Construction Research Congress 2022: Computer Applications, Automation, and Data Analytics (s. 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. I 2022 IEEE/SICE International Symposium on System Integration (SII) (s. 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. I M. S. Obaidat, T. Oren & F. D. Rango (red.), Simulation and Modeling Methodologies, Technologies and Applications. SIMULTECH 2020 (s. 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), Artikel 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. I 2022 IEEE/SICE International Symposium on System Integration, SII 2022 (s. 190-195). IEEE. https://doi.org/10.1109/SII52469.2022.9708769

Kamari, A., Schultz, C. P. L. & Petersen, S. (red.) (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. I A.-L. Andersen, R. Andersen, T. D. Brunoe, M. Stoettrup Schioenning Larsen, K. Nielsen, A. Napoleone & S. Kjeldgaard (red.), 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 (s. 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. I E. El-Araby, V. Kalogeraki, D. Pianini, F. Lassabe, B. Porter, S. Ghahremani, I. Nunes, M. Bakhouya & S. Tomforde (red.), Proceedings - 2021 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion, ACSOS-C 2021 (s. 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, Artikel 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: I H. Panetto, M. Macchi & K. Madani (red.), Proceedings of the 2nd International Conference on Innovative Intelligent Industrial Production and Logistics, IN4PL 2021 (s. 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. I M. Sjölund, L. Buffoni, A. Pop & L. Ochel (red.), Proceedings of 14th Modelica Conference 2021, Linköping, Sweden, September 20-24, 2021 (s. 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. I A. L. Lafuente & A. Mavridou (red.), Formal Methods for Industrial Critical Systems (s. 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. I M. Sjölund, L. Buffoni, A. Pop & L. Ochel (red.), Proceedings of 14th Modelica Conference 2021, Linköping, Sweden, September 20-24, 2021 (s. 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. I M. Sjölund, L. Buffoni, A. Pop & L. Ochel (red.), Proceedings of 14th Modelica Conference 2021, Linköping, Sweden, September 20-24, 2021 (s. 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. I C. R. Martin, M. J. Blas & A. I. Psijas (red.), Annual Modeling and Simulation Conference (ANNSIM 2021) (s. 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. I A.-L. Andersen, R. Andersen, D. Brunoe, M. Stoettrup Schioenning Larsen, K. Nielsen, A. Napoleone & S. Kjeldgaard (red.), 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 (s. 431-439). Springer. https://www.springerprofessional.de/en/data-driven-identification-of-remaining-useful-life-for-plastic-/19816878

Frasheri, M., Thule, C., Macedo, H. D., Lausdahl, K., Larsen, P. G. & Esterle, L. (2021). Fault Injecting Co-simulations for Safety. 6-13. Afhandling præsenteret på 5th International Conference on System Reliability and Safety, Palermo, Italien. https://doi.org/10.1109/ICSRS53853.2021.9660728

Chronopoulos, C., Johansen, K. W., Teizer, J., Schultz, C. P. L. & Esterle, L. (2021). Towards a Holistic, Self-Organised Safety Framework for Construction. I Proceedings - 2021 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion, ACSOS-C 2021 (s. 238-243). IEEE. https://doi.org/10.1109/ACSOS-C52956.2021.00060

Leporowski, B. T., Tola, D., Hansen, C. & Iosifidis, A. (2022). Detecting Faults during Automatic Screwdriving: A Dataset and Use Case of Anomaly Detection for Automatic Screwdriving. I A.-L. Andersen, R. Andersen, T. D. Brunoe, M. Stoettrup Schioenning Larsen, K. Nielsen, A. Napoleone & S. Kjeldgaard (red.), 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 (s. 224-232). Springer. https://doi.org/10.1007/978-3-030-90700-6_25

Li, B., Fitzgerald, J. & Schultz, C. (2022). Modelling the impacts of crowds on occupants in the built environment—A static, rule-based approach to human perception and movement. Advanced Engineering Informatics, 51, Artikel 101452. https://doi.org/10.1016/j.aei.2021.101452

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

Bajovic, D., Bakhtiarnia, A., Bravos, G., Brutti, A., Burkhardt, F., Cauchi, D., Chazapis, A., Cianco, C., Dall'Asen, N., Delic, V., Dimou, C., Djokic, D., Escobar-Molero, A., Esterle, L., Eyben, F., Farella, E., Festi, T., Geromitsos, A., Giakoumakis, G. ... Zammit, J. (2021). MARVEL: Multimodal Extreme Scale Data Analytics for Smart Cities Environments. I 2021 International Balkan Conference on Communications and Networking, BalkanCom 2021 (s. 143-147). IEEE. https://doi.org/10.1109/BalkanCom53780.2021.9593258

Banaei, M., Boudjadar, J., Ebrahimy, R. & Madsen, H. (2021). Optimal Control Strategies of Fuel cell/Battery Based Zero-Emission Ships: A Survey. I IECON 2021 - 47th Annual Conference of the IEEE Industrial Electronics Society IEEE. https://doi.org/10.1109/IECON48115.2021.9589512

Strandberg, P. E., Frasheri, M. & Enoiu, E. P. (2021). Ethical AI-Powered Regression Test Selection. I 2021 IEEE International Conference on Artificial Intelligence Testing (AITest) (s. 83-84). IEEE. https://doi.org/10.1109/AITEST52744.2021.00025

Tola, D. & Larsen, P. G. (2021). A Co-Simulation Based Approach for Developing Safety-Critical Systems. I Proceedings of the 18th International Overture Workshop https://arxiv.org/pdf/2101.07261.pdf#page=65

Hansen, S. T., Gomes, C., Larsen, P. G. & Van De Pol, J. (2021). Synthesizing Co-Simulation Algorithms with Step Negotiation and Algebraic Loop Handling. I C. R. Martin, M. J. Blas & A. I. Psijas (red.), 2021 Annual Modeling and Simulation Conference (ANNSIM) (s. 62-73). IEEE. https://doi.org/10.23919/ANNSIM52504.2021.9552073

Feng, H., Gomes, C., Thule, C., Lausdahl, K., Iosifidis, A. & Larsen, P. G. (2021). Introduction to Digital Twin Engineering. I C. R. Martin, M. J. Blas & A. I. Psijas (red.), 2021 Annual Modeling and Simulation Conference (ANNSIM) (s. 1-12). IEEE. https://doi.org/10.23919/ANNSIM52504.2021.9552135

Inci, E. O., Croes, J., Desmet, W., Gomes, C., Thule, C., Lausdahl, K. & Larsen, P. G. (2021). The Effect and Selection of Solution Sequence in Co-Simulation. I C. R. Martin, M. J. Blas & A. I. Psijas (red.), 2021 Annual Modeling and Simulation Conference (ANNSIM) (s. 1-12). IEEE. https://doi.org/10.23919/ANNSIM52504.2021.9552130

Viser resultater 251 til 300 ud af 1040

Forrige

Næste

Back to the main page

Revideret 13.11.2025

AU Engineering