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

Boudjadar, J., Islam, S. U. & Buyya, R. (2025). Dynamic FPGA reconfiguration for scalable embedded artificial intelligence (AI): A co-design methodology for convolutional neural networks (CNN) acceleration. Future Generation Computer Systems, 169, Article 107777. https://doi.org/10.1016/j.future.2025.107777

Güven, Z. A., Diri, B. & Cąkaloglu, T. (2020). Duygu analizi için n-asamali Gizli Dirichlet Ayirimi ile diger konu modelleme yöntemlerinin karsilastirilmas. Journal of the Faculty of Engineering and Architecture of Gazi University, 35(4), 2135-2145. https://doi.org/10.17341/gazimmfd.556104

Suetta, C., Merhi, Y., Agarwala, S., Mikkelsen, P. H. & Nygaard, J. V. (2023). Dry electrode integrated with garment. (Patent No. 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#

Wallace, J. (2008). Drawing Between Practices: Visual Art and Engineering Design. Paper presented at Art and Research: New Interfaces, København, Denmark.

Schultz, C. P. L. & Kamari, A. (2021). Diversity in Renovation Design: Theoretical Foundations of the Renovation Domain Model. Journal of Computing in Civil Engineering, 35(4), Article 04021006. https://doi.org/10.1061/(ASCE)CP.1943-5487.0000969

Nielsen, C. B., Lausdahl, K. & Larsen, P. G. (2014). Distributed Simulation of Formal Models in System of Systems Engineering. I E E E International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises. Proceedings, 211-216. https://doi.org/10.1109/WETICE.2014.74

Dieber, B., Esterle, L. & Rinner, B. (2012). Distributed resource-aware task assignment for complex monitoring scenarios in visual sensor networks. -. https://ieeexplore.ieee.org/document/6470131

Pedersen, N., Lausdahl, K. G., Vidal, E. S., Larsen, P. G. & Madsen, J. (2017). Distributed Co-Simulation of Embedded Control Software with Exhaust Gas Recirculation Water Handling System using INTO-CPS. In SIMULTECH 2017 - Proceedings of the 7th International Conference on Simulation and Modeling Methodologies, Technologies and Applications: Simultech 2017 (Vol. 1, pp. 73-82). SCITEPRESS Digital Library. https://doi.org/10.5220/0006412700730082

Pedersen, N., Lausdahl, K. G., Vidal, E. S., Thule, C., Larsen, P. G. & Madsen, J. (2019). Distributed Co-simulation of Embedded Control Software Using INTO-CPS. In M. S. Obaidat, T. Ören & F. De Rango (Eds.), Simulation and Modeling Methodologies, Technologies and Applications - 7th International Conference, SIMULTECH 2017, Revised Selected Papers: SIMULTECH 2017, Revised Selected Papers (pp. 33-54). Springer. https://doi.org/10.1007/978-3-030-01470-4_3

Esterle, L. & Lewis, P. R. (2020). Distributed autonomy and trade-offs in online multiobject k-coverage. Computational Intelligence, 36(2), 720-742. https://doi.org/10.1111/coin.12264

Larsen, P. G., Fitzgerald, J., Verhoef, M. & Pierce, K. (2014). Discrete-Event Modelling in VDM. In J. Fitzgerald, P. G. Larsen & M. Verhoef (Eds.), Collaborative Design for Embedded Systems : Co-modelling and Co-simulation (pp. 61-95). Springer. https://doi.org/10.1007/978-3-642-54118-6_4

Dideriksen, A. K., Andersen, M. F., Priest, J., Eriksen, N. F., Frandsen, M. T., Melvad, C., Rasmussen, T. F., Nielsen, N. H. K., Strømsnes, C. T., Ahlebæk, M. J., Samsing, S., Larsen, T. B., Don, J., Pedersen, L. A. N., Jacobsen, R. H., Rysgaard, S., Kim, J. M., Bayer, R., Christensen, C. ... Karoff, C. (2024). DISCO-2 – an ambitious earth observing student CubeSat for arctic climate research. Frontiers in Remote Sensing, 5, Article 1474560. https://doi.org/10.3389/frsen.2024.1474560

Merhi, Y. & Agarwala, S. (2021). Direct write of Dry electrodes on Healthcare Textiles. In FLEPS 2021 - IEEE International Conference on Flexible and Printable Sensors and Systems Article 9469835 IEEE. https://doi.org/10.1109/FLEPS51544.2021.9469835

Gomes, C., Kristensen, M. H., Andersen, M. S., Talasila, P., Feng, H., Wright, T. & Larsen, P. G. (2025). Digital Twin Tutorial: The Incubator Case Study. In J. P. Bowen, C. Gomes & Z. Liu (Eds.), Engineering Trustworthy Software Systems - 6th International School, SETSS 2024, Tutorial Lectures (pp. 68-101). Springer Science+Business Media. https://doi.org/10.1007/978-981-96-4656-2_3

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

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

Fitzgerald, J. S., Gomes, C., Larsen, P. G., Andersen, M. S., Gil, S. & Kristensen, M. H. (2026). Digital Twins: a Briefing for Formalists. In A. Sampaio & M. Stoelinga (Eds.), Formal Methods: 27th International Symposium, FM 2026, Proceedings (pp. 369-393). Springer. https://doi.org/10.1007/978-3-032-26220-2_19

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

Fitzgerald, J., Gomes, C., Johnsen, E. B., Kamburjan, E., Leucker, M. & Woodcock, J. (2025). Digital Twin Engineering. In T. Margaria & B. Steffen (Eds.), Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification - 12th International Symposium, ISoLA 2024, Proceedings (pp. 3-8). Springer Science+Business Media. https://doi.org/10.1007/978-3-031-75390-9_1

Betzer, J. S., Boudjadar, J., Frasheri, M. & Talasila, P. (2024). Digital Twin Enabled Runtime Verification for Autonomous Mobile Robots under Uncertainty. (pp. 10-17). ArXiv. https://doi.org/10.1109/DS-RT62209.2024.00012

Mendes, J. M., Frasheri, M. & Larsen, P. G. (2025). Digital Twin-Enabled Collision Mitigation for Path Constrained Applications. In 2025 11th International Conference on Automation, Robotics, and Applications (ICARA) (2025 ed., pp. 394-398) https://doi.org/10.1109/ICARA64554.2025.10977591

Jensen, A. M. D., Schoerghofer-Queiroz, A., Ulriksen, M. D., Tcherniak, D., Damkilde, L., Talasila, P., Larsen, P. G. & Abbiati, G. (2024). Digital twin as a service for damage prognosis of offshore wind turbine foundations. In W. Desmet, B. Pluymers, D. Moens & J. del Fresno Zarza (Eds.), Proceedings of ISMA 2024 - International Conference on Noise and Vibration Engineering and USD 2024 - International Conference on Uncertainty in Structural Dynamics (pp. 4127-4141). KU Leuven, Departement Werktuigkunde.

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

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

Baş, E. E., Abbiati, G., Gonçalves Gomes, C. Â., Jassmann, U. & Larsen, P. G. (2024). Digitalization of Large-Scale Testing Facilities for the Wind Industry: DIGIT-BENCH Digital Twin. Journal of Physics: Conference Series, 2767(4), Article 042033. https://doi.org/10.1088/1742-6596/2767/4/042033

Wallace, J. (2016). Different Perspectives of Use: Operators and Maintenance Workers in the Meat Industry. In Proceedings of the 8th Cambridge Workshop on Universal Access and Assistive Technology (pp. 65- 74). CWUAAT.

Wallace, J. (2010). Different matters of invention: design work as the transformation of dissimilar design artefacts. Danmarks Pædagogiske Universitetsskole, Aarhus Universitet.

Miyazawa, A., Ahmadi, S., Cavalcanti, A., Baxter, J., Post, M., Ribeiro, P., Timmis, J. & Wright, T. (2025). Diagrammatic physical robot models. Software and Systems Modeling, 24(5), 1549-1593. Article 103720. https://doi.org/10.1007/s10270-025-01270-9

Wolff, S., Larsen, P. G. & Noergaard, T. (2010). Development Process for Multi Disciplinary Embedded Control Systems. In Proceedings of the 7th EUROSIM Congress on Modelling and Simulation - EUROSIM 2010

Foldager, F. F., Larsen, P. G. & Green, O. (2017). Development of a Driverless Lawn Mower using Co-Simulation. Paper presented at 1st Workshop on Formal Co-Simulation of Cyber-Physical Systems, Trento, Italy. https://drive.google.com/open?id=0B2ej7mC7hWVrNFA0MUVybUF2VTg

Foldager, F. F., Larsen, P. G. & Green, O. (2018). Development of a driverless lawn mower using co-simulation. In A. Cerone & M. Roveri (Eds.), Software Engineering and Formal Methods - SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Revised Selected Papers (Vol. 10729, pp. 330-344). Springer. https://doi.org/10.1007/978-3-319-74781-1_23

Larsen, P. G. (2008). Development Guidelines for Real-Time Systems Using VDMTools. CSK WEB Systems.

Schultz, C. P. L., Amor, R. & W. Guesgen, H. (2008). Development Framework for Qualitative Spatial and Temporal Reasoning Systems. In 2008 AAAI Workshop (pp. 48-53) http://www.aaai.org/Papers/Workshops/2008/WS-08-11/WS08-11-007.pdf

Chang, W., Wei, R., Zhao, S., Wellings, A., Woodcock, J. & Burns, A. (2020). Development Automation of Real-Time Java: Model-Driven Transformation and Synthesis. ACM Transactions on Embedded Computing Systems, 19(5), Article 3391897. https://doi.org/10.1145/3391897

Clark, R., Bennedsen, J., Rouvrais, S., Kontio, J., Heikkenen, K., Georgsson, F., Matthiasdottir, A., Sæmundsdóttir, I., Karhu, M., Schrey-Niemenmaa, K. & Hernon, P. (2015). Developing a robust Self Evaluation Framework for Active Learning: The First Stage of an Erasmus + Project (QAEMarketPlace4HEI). In Proceedings of the 2015 43rd Annual SEFI Conference Article 56517 European Society for Engineering Education (SEFI). http://www.sefi.be/conference-2015/CHAP%205.%20Learning%20Specifi%20formats%20for%20Engineering%20Education/56517-%20R.%20CLARK.pdf

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

Øien, G. E. D. & Bennedsen, J. (2023). DEVELOPING A DIDACTIC FOUNDATION FOR THE TECH FACULTY AT AARHUS UNIVERSITY. In R. Lyng, J. Bennedsen, L. Bettaieb, N. R. Bodsberg, K. Edstrom, M. S. Guojonsdottir, J. Roslof, O. K. Solbjorg & G. Oien (Eds.), 19th CDIO International Conference: Proceedings - Full Papers (pp. 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

Jahangir, M. F., Kamari, A. & Schultz, C. P. L. (2024). Developing A Building Simulation Identity Card for Enhanced Safety and Collaboration in Emergency Evacuation Simulations. In M. Srećković, M. Kassem, R. Soman & A. Chassiakos (Eds.), Proceedings of the 2024 European Conference on Computing in Construction (pp. 128-135) https://doi.org/10.35490/EC3.2024.199, https://doi.org/10.35490/EC3.2024.199

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. 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. 224-232). Springer. https://doi.org/10.1007/978-3-030-90700-6_25

Broenink, J. F., Larsen, P. G., Verhoef, M., Kleijn, C., Jovanovic, D. & Pierce, K. (2010). Design Support and Tooling for Dependable Embedded Control Software. In SERENE 2010 2nd International Workshop on Software Engineering for Resilient Systems http://serene.uni.lu/Workshops/SERENE_2010

Foldager, F., Balling, O., Boel, M., Gamble, C., Larsen, P. G. & Green, O. (2018). Design Space Exploration in the Development of Agricultural Robots. In Proceedings of the EurAgEng 2018

Foldager, F., Balling, O., Boel, M., Gamble, C., Larsen, P. G. & Green, O. (2018). Design Space Exploration in the Development of Agricultural Robots. In Book of Abstracts of the European Conference on Agricultural Engineering: AgEng2018 (pp. 60-61). Wageningen University. https://doi.org/10.18174/471678

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.

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

Cooper, D., Stepney, S. & Woodcock, J. (2002). Derivation of Z Refinement Proof Rules: Forwards and backwards rules incorporating input/output refinement. University of York. https://www-users.cs.york.ac.uk/~susan/bib/ss/z/347.pdf

Badicu, A., Iordache, G., Suciu, G., Macedo, H. D., Sassanelli, C., Terzi, S. & Larsen, P. G. (2021). Deploying the Smart Energy Tool for Investment Simulation inside the HUBCAP Sandbox. In A. G. Bruzzone, J. S. Janosy, L. Nicoletti & G. Zacharewicz (Eds.), 9th International Workshop on Simulation for Energy, Sustainable Development and Environment, SESDE 2021 (pp. 18-26) https://doi.org/10.46354/i3m.2021.sesde.003

Wolff, S., Larsen, P. G. & Verhoef, M. (2014). Deploying Co-modelling in Commercial Practice. In J. Fitzgerald, P. G. Larsen & M. Verhoef (Eds.), Collaborative Design for Embedded Systems : Co-modelling and Co-simulation (pp. 263-270). Springer. https://doi.org/10.1007/978-3-642-54118-6_12

Larsen, P. G. (2020). Denmark’s first Centre for Digital Twins. In J. Bruun (Ed.), Profile 2020 (pp. 34-35). Aarhus University, Department of Engineering. http://www.e-pages.dk/aarhusuniversitet/2231/html5/

Gomes, C., Thule, C., Lausdahl, K. G., Larsen, P. G. & Vangheluwe, H. (2018). Demo: Stabilization Technique in INTO-CPS. In M. Mazzara, I. Ober & G. Salaün (Eds.), Software Technologies: Applications and Foundations - STAF 2018 Collocated Workshops, Revised Selected Papers (pp. 45-51). Springer. https://doi.org/10.1007/978-3-030-04771-9_4

Techel, J., Zhao, X., Talasila, S. R. K. P., Zhang, Q. & Lucani Rötter, D. E. (2019). Demonstration of Reliable IoT Distributed Storage using Network Codes. In 2019 16th IEEE Annual Consumer Communications and Networking Conference, CCNC 2019 Article 8651722 IEEE. https://doi.org/10.1109/CCNC.2019.8651722

Displaying results 701 to 750 out of 1057

Back to the main page

Revised 13.11.2025

AU Engineering