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

Thule, C., Gomes, C., Deantoni, J., Larsen, P. G., Brauer, J. & Vangheluwe, H. (2018). Towards the Verification of Hybrid Co-simulation Algorithms. In M. Mazzara, I. Ober & G. Salaün (Eds.), Software Technologies: Applications and Foundations - STAF 2018 Collocated Workshops, Revised Selected Papers (pp. 5-20). Springer. https://doi.org/10.1007/978-3-030-04771-9_1

Sufrin , B. & Woodcock, J. (1987). Towards the formal specification of a simple programming support environment. Software Engineering Journal, 2(4), 86 – 94. https://doi.org/10.1049/sej.1987.0012 ,

Larsen, P. G., Talasila, P. & Fitzgerald, J. (2024). Towards the Composition of Digital Twins. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (pp. 103-122). Springer. https://doi.org/10.1007/978-3-031-67114-2_5

Kristoffersen, A. E., Kesik, T., Schultz, C. P. L. & Kamari, A. (2025). Towards Socially Sound Sustainable Building Projects with a Novel Life Cycle Assessment Method. In Proceedings of Smart and Sustainable Built Environment 2025 (pp. 1-10) https://isasbec.abc2.net/index.php/sasbe/article/view/2767

Chipofya, M., Jan, S., Schultz, C. P. L. & Schwering, A. (2017). Towards Smart Sketch Maps for Community-driven Land Tenure Recording Activities. Paper presented at 20th AGILE International Conference on Geographic Information Science, Wageningen, Netherlands. https://agile-online.org/images/conference_2017/Proceedings2017/shortpapers/155_ShortPaper_in_PDF.pdf

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

Larsen, P. G., Fitzgerald, J., Woodcock, J., Nilsson, R., Gamble, C. & Foster, S. (2016). Towards Semantically Integrated Models and Tools for Cyber-Physical Systems Design. In M. Tiziana & S. Bernhard (Eds.), Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, ISoLA 2016, Proceedings (Vol. II, pp. 171-186). Springer. https://doi.org/10.1007/978-3-319-47169-3_13

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

Thule, C., Palmieri, M., Gomes, C., Lausdahl, K., Macedo, H. D., Battle, N. & Larsen, P. G. (2020). Towards Reuse of Synchronization Algorithms in Co-simulation Frameworks. In J. Camara & M. Steffen (Eds.), Software Engineering and Formal Methods (pp. 50-66). Springer. https://doi.org/10.1007/978-3-030-57506-9_5

Gil Arboleda, S. (2024). Towards realization of Digital Twins for systems with coupled behavior. [PhD dissertation, Aarhus University]. Aarhus Universitet. https://doi.org/10.7146/aul.545

Larsen, P. G. (1995). Towards Proof Rules for the Full Standard VDM Specification Language. (1995-160 ed.) Danmarks Tekniske Universitet.

Larsen, P. G. (1993). Towards Proof Rules for Looseness in Explicit Definitions from VDM-SL. Paper presented at Semantics of Specification Languages, Utrecht, Netherlands. http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.10.4818

Oakes, B., Gomes, C., Abbiati, G., Kamburjan, E., Bas, E. E. & Engelsgaard, S. (2024). Towards Ontological Service-Driven Engineering of Digital Twins. In Proceedings: MODELS 2024 - ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings (pp. 464-469). Association for Computing Machinery. https://doi.org/10.1145/3652620.3688261

Bennedsen, J., Roslöf, J., Øien, G. E. D., Berge, R. A., Andersen, B. & Hansen, B. L. (2025). Towards Nordic University Collaboration on Lifelong Learning for Engineers: Triangulating Stakeholder Perspectives. In R. Kangaslampi, G. Langie, H.-M. Järvinen & B. Nagy (Eds.), SEFI 2025 - 53rd Annual Conference of the European Society for Engineering Education: Engineering and Society, Proceedings (pp. 150-160). European Society for Engineering Education (SEFI). https://doi.org/10.5281/zenodo.17631873

Frasheri, M., Talasila, P., Larsen, P. G. & Esterle, L. (2025). Towards multi-fidelity digital twins for dynamic adaption and efficient distributed simulation. In Proceedings - 2025 IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events, PerCom Workshops 2025 (2025 ed., pp. 128-133). IEEE. https://doi.org/10.1109/PerComWorkshops65533.2025.00053

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

Tang, X. & Woodcock, J. (2004). Towards Mobile Processes in Unifying Theories. In Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004. IEEE. https://doi.org/10.1109/SEFM.2004.1347502

Fabbri, T., Verhoef, M., Bandur, V., Perrotin, M., Tsiodras, T. & Larsen, P. G. (2016). Towards integration of Overture into TASTE. In P. G. Larsen, N. Plat & N. Battle (Eds.), The 14th Overture Workshop: Towards Analytical Tool Chains: Electrical and Computer Engineering (Vol. 4/28, pp. 94-108). Aarhus University, Department of Engineering. http://ojs.statsbiblioteket.dk/index.php/ece/article/view/24731/21669

Koeva, M., Bennett, R., Crommelinck, S., Stöcker, C., Crompvoets, J., Ho, S., Schwering, A., Chipofya, M., Schultz, C. P. L., Zein, T., Biraro, M., Wayumba, R. & Kundert, K. (2017). Towards Innovative Geospatial Tools for Fit-for-Purpose Land Rights Mapping. In The International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences, (Vol. XLII-2/W7, pp. 37-43) https://doi.org/10.5194/isprs-archives-XLII-2-W7-37-2017

Møldrup Legaard, C., Thule, C. & Larsen, P. G. (2019). Towards Graphical Conguration in the INTO-CPS Application. In C. Gamble & L. Diogo Couto (Eds.), Proceedings of the 17th Overture Workshop (pp. 3-16). Newcastle University.

Legaard, C. M., Thule, C. & Larsen, P. G. (2019). Towards Graphical Configuration in the INTO-CPS Application. In 17TH OVERTURE WORKSHOP

Kulik, T. & Larsen, P. G. (2018). Towards Formal Verification of Cyber Security Standards. Proceedings of the Institute for System Programming, 30(4), 79-94. https://doi.org/10.15514/ISPRAS-2018-30(4)-5

Kulik, T. & Larsen, P. G. (2018). Towards Formal Verification of Cyber Security Standards. In A. S. Kamkin, A. K. Petrenko & A. N. Terekhov (Eds.), SYRCoSE 2018: Preliminary Proceedings of the 12th Spring/Summer Young Researchers’ Colloquium on Software Engineering (pp. 20-25). Rossijskaja akademija nauk / Russian Academy of Sciences. http://syrcose.ispras.ru/2018/SYRCoSE2018_Proceedings.pdf

Kulik, T., Boudjadar, J. & Aranha, D. F. (2020). Towards Formally Verified Key Management for Industrial Control Systems. 119-129. Paper presented at 8th International Conference on Formal Methods in Software Engineering, Seoul, Korea, Republic of. https://doi.org/10.1145/3372020.3391555

Frasheri, M., Talasila, P. & Scherma, V. (2025). Towards Federated Digital Twin Platforms. Electronic Proceedings in Theoretical Computer Science, EPTCS, 418, 32-38. https://doi.org/10.4204/EPTCS.418.4

Monteiro Duarte Couto, L. D., Larsen, P. G., Hasanagic, M., Kanakis, G., Lausdahl, K. G. & Tran-Jørgensen, P. W. V. (2015). Towards Enabling Overture as a Platform for Formal Notation IDEs. In Proceedings of the 2nd International Workshop on Formal Integrated Development Environment: F-IDE 2015 (Vol. 187, pp. 14-27) https://doi.org/10.4204/EPTCS.187.2

Krukar, J., Schultz, C. P. L. & Bhatt, M. (2017). Towards Embodied 3D Isovists: Incorporating cognitively-motivated semantics of `space’ and the architectural environment in 3D visibility analysis. In T. Heitor, M. Serra, J. Pinelo Silva, M. Bacharel & L. Cannas da Silva (Eds.), Proceedings - 11th International Space Syntax Symposium, SSS 2017 (pp. 166.1-166.13). Article #166 Instituto Superior Técnico, Departamento de Engenharia Civil, Arquitetura e Georrecursos, Portugal. http://www.11ssslisbon.pt/docs/book-proceedings-05072017.pdf

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

Li, B., Nielsen, R. O., Johansen, K. W., Teizer, J., Larsen, P. G. & Schultz, C. (2021). Towards Digital Twins for Knowledge-Driven Construction Progress and Predictive Safety Analysis on a Construction Site. In T. Margaria & B. Steffen (Eds.), Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings (pp. 153-174). Springer. https://doi.org/10.1007/978-3-030-83723-5_11

Thomsen, A. K., Rasmussen, B. S., Frasheri, M., Gil Arboleda, S. & Larsen, P. G. (2025). Towards Digital Twin Aided Autonomy for a UR3e Robotic Manipulator. In A. Cavalcanti, S. Foster & R. Richardson (Eds.), Towards Autonomous Robotic Systems (pp. 295-309). Springer. https://doi.org/10.1007/978-3-032-01486-3_24

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

Biglari, R., Gomes, C. & Denil, J. (2025). TOWARDS A VALIDITY FRAME OF MULTI-MODAL SURROGATE MODELS FOR TRAFFIC SIMULATION. In S. Ferrero-Losada & A. B. Abdelnabi (Eds.), ANNSIM 2025 - Annual Modeling and Simulation Conference 2025 IEEE.

Schultz, C. P. L., Li, B. & Teizer, J. (2020). Towards a Unifying Domain Model of Construction Safety: SafeConDM. In L. C. Ungureanu & T. Hartmann (Eds.), EG-ICE 2020 Workshop on Intelligent Computing in Engineering, Proceedings: Workshop on Intelligent Computing in Engineering (pp. 363-372). Universitätsverlag der TU Berlin. https://doi.org/10.14279/depositonce-9977

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, Article 101487. https://doi.org/10.1016/j.aei.2021.101487

Schultz, C. P. L., Amor, R. & W. Guesgen, H. (2009). Towards A Theory of Application for QSTR Systems. In B. Nebel & S. Wölfl (Eds.), Papers from the 2009 AAAI Spring Symposium: Technical Report SS-09-02 (pp. 29-34). AAAI Press. https://www.cs.auckland.ac.nz/~trebor/papers/SCHU09D.pdf

Battle, N., Thule, C., Gomes, C., Macedo, H. D. & Larsen, P. G. (2019). Towards a Static Check of FMUs in VDM-SL. In C. Gamble & L. Diogo Couto (Eds.), Proceedings of the 17th Overture Workshop (pp. 17-32). Newcastle University. https://www.researchgate.net/publication/336409277_Towards_a_Static_Check_of_FMUs_in_VDM-SL

Battle, N., Thule, C., Gomes, C., Macedo, H. D. & Larsen, P. G. (2020). Towards a Static Check of FMUs in VDM-SL. In E. Sekerinski, N. Moreira, J. N. Oliveira, D. Ratiu, R. Guidotti, M. Farrell, M. Luckcuck, D. Marmsoler, J. Campos, T. Astarte, L. Gonnord, A. Cerone, L. Couto, B. Dongol, M. Kutrib, P. Monteiro & D. Delmas (Eds.), Formal Methods: FM 2019 International Workshops (pp. 272-288). Springer. https://doi.org/10.1007/978-3-030-54997-8_18

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

Boudjadar, J. & Macedo, H. D. (2019). Towards a Schedulability-driven Architecture Exploration for Mixed Criticality Multicore Systems. In Proceedings of the 2018 IEEE/ACM 22nd International Symposium on Distributed Simulation and Real Time Applications, DS-RT 2018 (pp. 37-46). Article 8600927 IEEE. https://doi.org/10.1109/DISTRA.2018.8600927

Singh, P., Haq, A. U. & Presser, M. (2025). Towards a Responsible AI Adoption/Adaptation (RAA) Ecosystem: Vision and Model to Keep Socio-Technological Balance. In M. Presser, A. Skarmeta & S. Krco (Eds.), Global Internet of Things and Edge Computing Summit - 2nd International Summit, GIECS 2025, Proceedings: Second International Summit, GIECS 2025, Madrid, Spain, September 22, 2025, Proceedings (pp. 71-92). Springer. https://doi.org/10.1007/978-3-032-09555-8_5

Jørgensen, P. W. V. & Larsen, P. G. (2013). Towards an Overture Code Generator. In K. Pierce & S. Hallerstede (Eds.), Proceedings of the 11th Overture Workshop (Vol. Technical Report ECE-TR-17, pp. 22-27). Aarhus Universitet, Institut for Ingeniørvidenskab . http://www.eng.au.dk/fileadmin/DJF/ENG/PDF-filer/Tekniske_rapporter/ECE-TR-17-samlet.pdf

Vathoopan, M., Brandenbourger, B., George, A. & Zoitl, A. (2017). Towards an integrated plant engineering process using a data conversion tool for AutomationML. In 2017 IEEE International Conference on Industrial Technology, ICIT 2017 (pp. 1205-1210). Article 7915534 IEEE. https://doi.org/10.1109/ICIT.2017.7915534

Christiansen, M. P., Bjerge, K., Edwards, G. T. C. & Larsen, P. G. (2012). Towards a Methodology for Modelling and Validation of an Agriculture vehicle's Dynamics and Control. Paper presented at International Conference on Integrated Modeling and Analysis in Applied Control and Automation, Wien, Austria.

Wei, K. & Woodcock, J. (2015). Towards Algebraic Semantics of Circus Time. In D. Naumann (Ed.), Unifying Theories of Programming: 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers (pp. 84-104). Springer. https://doi.org/10.1007/978-3-319-14806-9_5

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. Paper presented at 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

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

Lewis, P., Bellman, K. L., Landauer, C., Esterle, L., Glette, K., Diaconescu, A. & Giese, H. (2017). Towards a framework for the levels and aspects of self-aware computing systems. In Self-Aware Computing Systems (pp. 51-85). Springer International Publishing AG. https://doi.org/10.1007/978-3-319-47474-8_3

Larsen, P. G., Meincke Arentoft, M., Monahan, B. & Bear, S. (1989). Towards a Formal Semantics of the BSI/VDM Specification Language. Paper presented at Information Processing 89, San Francisco, United States. http://pglconsult.dk/private/ifip.pdf

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

Foldager, F. F., Thule, C., Balling, O. & Larsen, P. G. (2021). Towards a Digital Twin - Modelling an Agricultural Vehicle. In T. Margaria & B. Steffen (Eds.), Leveraging Applications of Formal Methods, Verification and Validation: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part IV (pp. 109-123). Springer. https://doi.org/10.1007/978-3-030-83723-5_8

Displaying results 101 to 150 out of 1053

Back to the main page

Revised 13.11.2025

AU Engineering