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

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)

Ishikawa, F., Larsen, P. G. & S. Fitzgerald, J. (2018). Model-Based Design for Smart Products and Systems: Advanced Capabilities and Challenging Applications: NII Shonan Meeting Report No. 2017-18. National Institute of Informatics, Tokyo. http://shonan.nii.ac.jp/shonan/wp-content/uploads/2018/06/No.2017-18.pdf

Woodcock, J., Wellings, A. & Cavalcanti, A. L. C. (2016). Mobile CSP. In M. Cornélio & B. Roscoe (Eds.), Formal Methods: Foundations and Applications - 18th Brazilian Symposium, SBMF 2015, Proceedings (pp. 39-55). Springer. https://doi.org/10.1007/978-3-319-29473-5_3

Jastram, M., Hallerstede, S. & Ladenberger, L. (2011). Mixing Formal and Informal Model Elements for Tracing Requirements. In AVOCS'11: Proceedings of the 11th International Workshop on Automated Verification of Critical Systems (pp. (53-67)). European Association of Software Science and Technology. http://deploy-eprints.ecs.soton.ac.uk/330/1/avocs2011.pdf

Kristensen, C. K., Kirkegaard, J., Sanporean, C.-G., Budzik, M. K. & Sandberg, M. (2025). Mitigating Discoloration in PA11 SLS: Experimental DoE and Novel Simulation Approaches.

Gomes, C., Jungers, R. M., Legat, B. & Vangheluwe, H. (2019). Minimally Constrained Stable Switched Systems and Application to Co-simulation. In 2018 IEEE Conference on Decision and Control (CDC) (pp. 5676-5681). Article 8619223 IEEE. https://doi.org/10.1109/CDC.2018.8619223

Gomes, C., Jungers, R. M., Legat, B. & Vangheluwe, H. (2018). Minimally Constrained Stable Switched Systems and Application to Co-simulation. ArXiv. https://arxiv.org/pdf/1809.02648.pdf

Bayard Rasmussen, M., Thule, C., Macedo, H. D. & Larsen, P. G. (2019). Migrating the INTO-CPS Application to the Cloud. In C. Gamble & L. Diogo Couto (Eds.), Proceedings of the 17th Overture Workshop (pp. 47-62). Newcastle University.

Macedo, H. D., Bayard Rasmussen, M., Thule, C. & Larsen, P. G. (2020). Migrating the INTO-CPS Application to the Cloud. 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. 254-271). Springer. https://doi.org/10.1007/978-3-030-54997-8_17

Larsen, P. G., Fitzgerald, J. & Wolff, S. (2009). Methods for the Development of Distributed Real-Time Embedded Systems using VDM. International Journal of Software and Informatics, 3(2-3).

Le, L. & Bennedsen, J. (2014). Methodological Analysis of CDIO Papers. In Proceedings of the 10th International CDIO Conference: Sharing Successful Engineering Education Experiences Worldwide CDIO Initiative. http://www.cdio.org/node/6217

Singh, P. .., N., Haq, A. U. & Beliatis, M. (2024). Meta Standard Requirements for Harmonizing Dataspace Integration at the Edge. In 2023 IEEE Conference on Standards for Communications and Networking (CSCN) (pp. 130-135). IEEE. https://doi.org/10.1109/CSCN60443.2023.10453211

Yuksel, O., Sandberg, M., Hattel, J. H., Akkerman, R. & Baran, I. (2021). Mesoscale Process Modeling of a Thick Pultruded Composite with Variability in Fiber Volume Fraction. Materials, 14(13), Article 3763. https://doi.org/10.3390/ma14133763

Nuka, G. & Woodcock, J. (2004). Mechanising the Alphabetised Relational Calculus. Electronic Notes in Theoretical Computer Science, 95, 209-225. https://doi.org/10.1016/j.entcs.2004.04.013

Freitas, L. & Woodcock, J. (2007). Mechanising Mondex with Z/Eves. Formal Aspects of Computing, 20(1), 117–139. https://doi.org/10.1007/s00165-007-0059-y

Nuka, G. & Woodcock, J. (2006). Mechanising a Unifying Theory. In S. Dunne & B. Stoddart (Eds.), Unifying Theories of Programming: First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers (pp. 217-235). Springer. https://doi.org/10.1007/11768173_13

Butterfield, A., Freitas, L. & Woodcock, J. (2008). Mechanising a formal model of flash memory. Science of Computer Programming, 74(4), 219-237. https://doi.org/10.1016/j.scico.2008.09.014

Perna, J. I. & Woodcock, J. (2009). Mechanised Wire-wise Verification of Handel-C Synthesis. Electronic Notes in Theoretical Computer Science, 240, 201-219. https://doi.org/10.1016/j.entcs.2009.05.053

Merhi, Y., Mikkelsen, P. H., Suetta, C., Nygaard, J. V. & Agarwala, S. (2020). Mechanical performance of electronically functional smart textiles. In T. M. Buzug & H. Seitz (Eds.), Transactions on additive manufacturing meets medicine Infinite Science. https://doi.org/10.18416/AMMM.2020.2009012

Yuksel, O., Sandberg, M., Baran, I., Ersoy, N., Hattel, J. H. & Akkerman, R. (2021). Material characterization of a pultrusion specific and highly reactive polyurethane resin system: Elastic modulus, rheology, and reaction kinetics. Composites Part B: Engineering, 207, Article 108543. https://doi.org/10.1016/j.compositesb.2020.108543

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. In 2021 International Balkan Conference on Communications and Networking, BalkanCom 2021 (pp. 143-147). IEEE. https://doi.org/10.1109/BalkanCom53780.2021.9593258

Knudsen, L. E. D., Wallace, J. & Sabroe, M. (2024). Mapping post-industrial areas through entanglements of time and space. In N. Lee, M. Mosavarzadeh, J. Ursino & R. Irwin (Eds.), Material and Digital A/r/tographic Explorations : Walking Matters (pp. 189-208). Springer. https://doi.org/10.1007/978-981-99-5374-5

Larsen, P. G., Andersen, M., Elmstrøm, R. & Bøgh Lassen, P. (1992). Making specifications executable - using IPTES Meta-IV. Paper presented at 18th EUROMICRO Symposium on Microprocessing and Microprogramming - EUROMICRO 92, Paris, France. http://pglconsult.dk/private/euro.pdf

Wallace, J. (2015). Makers not users: the material shaping of technology through use. In The stranger: on the understanding of and socialising with, the stranger in a globalised and constantly changing world DPU - Danmarks Institut for Pædagogik og Uddannelse. http://edu.au.dk/fileadmin/edu/Cursiv/CURSIV_16_www.pdf

Thule, C., Lausdahl, K. G., Gomes, C., Meisl, G. & Larsen, P. G. (2019). Maestro: The INTO-CPS co-simulation framework. Simulation Modelling Practice and Theory, 92, 45-61. https://doi.org/10.1016/j.simpat.2018.12.005

Esterle, L., Montagna, S., Pianini, D., Aguzzi, G., Bellman, K. L., Ciatto, G., Contoli, C., Donati, M., Mariani, S., Rahmani, A., Savaglio, C., Storti, E., TaheriNejad, N., van der Sluis, O. & Wang, Z. (2024). MADTECC 2024: 1st Workshop on Medical Applications with Digital Twins and Edge-cloud Continuum - Welcome and Committees. In 2024 IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events (PerCom Workshops) (pp. 30-31). IEEE. https://doi.org/10.1109/PerComWorkshops59983.2024.10502899

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

Chipofya, M., Karamesouti, M., Schultz, C. & Schwering, A. (2020). Local Domain Models for Land Tenure Documentation and their Interpretation into the LADM. Land Use Policy, 99, Article 105005. https://doi.org/10.1016/j.landusepol.2020.105005

Woodcock, J. & Freitas, L. (2008). Linking VDM and Z. In K. Breitman, J. Woodcock, R. Sterritt & M. G. Hinchey (Eds.), 13th IEEE International Conference on Engineering of Complex Computer Systems (iceccs 2008) (pp. 143-152). IEEE. https://doi.org/10.1109/ICECCS.2008.36

Fitzgerald, J., Larsen, P. G. & Verhoef, M. (2014). Linking Design Disciplines in Cyber-Physical System Development: The DESTECS/Crescendo Technology. ERCIM News, 97(April), 23-24. http://ercim-news.ercim.eu/images/stories/EN97/EN97-web.pdf

Zayed, Y. N. H., Kristoffersen, A. E., Kamari, A. & Schultz, C. P. L. (2025). Leveraging Large Language Models in Capturing Architects Social Design Intentions in Buildings A Case Study. In Proceedings of SBE2025 Zurich: Sustainable Built Environment Conference (SBE25) https://doi.org/10.3929/ethz-c-000785697

Esterle, L. & Brown, J. N. A. (2019). Levels of networked self-awareness. -, 237-238. https://doi.org/10.1109/FAS-W.2018.00054

Chipofya, M., Schwering, A., Jan, S., Schultz, C. P. L. & Harason, E. (2015). Left/right relations for Qualitative Spatial Representation of Networks. In 14th Mexican International Conference on Artificial Intelligence

Lewis, P. R., Esterle, L., Chandra, A., Rinner, B. & Yao, X. (2013). Learning to be different: Heterogeneity and efficiency in distributed smart camera networks. International Conference on Self-Adaptive and Self-Organizing Systems, SASO, 209-218. https://doi.org/10.1109/SASO.2013.20

Zhao, H., Zeng, X., Chen, T., Liu, Z. & Woodcock, J. (2020). Learning Safe Neural Network Controllers with Barrier Certificates. (pp. 177-185). ArXiv. https://doi.org/10.1007/978-3-030-62822-2_11

Bennedsen, J. (2004). Learning Objects in Use. In The Internet Society: Advances in Learning, Commerce and Security (pp. 61-68). WIT Pres.

Bennedsen, J. & Fjuk, A. (2006). Learning object-orientation by professional adults. International Journal of Continuing Engineering Education and Life-Long Learning, 16(6), 453-465. https://doi.org/10.1504/IJCEELL.2006.011890

Bennedsen, J. & Fjuk, A. (2006). Learning Object-Orientation by Professional Aduklts. International Journal of Continuing Engineering Education and Life-Long Learning, 16(6), 453-465.

Godsk, M., Hougaard, R. F. & Bennedsen, J. (2018). Learning Design, Learning Analytics, and Learning Management Systems. 2149–2154. Paper presented at iCERi2018, Sevilla, Spain.

Bennedsen, J., Keiding, T. B. & Godsk, M. (2020). Learning design and the tension between strategy and didactics. In J. Malmqvist, J. Bennedsen, K. Edström, N. Kuptasthien, A. Sripakagorn, J. Roslöf, I. Saemundsdottir & M. Siiskonen (Eds.), The 16th International CDIO Conference: Proceedings – Full Papers (Vol. 2, pp. 285-295). Chalmers tekniska högskola. https://research.chalmers.se/publication/519263/file/519263_Fulltext.pdf

Larsen, P. G., Fitzgerald, J. & Riddle, S. (2006). Learning by Doing: Practical Courses in Lightweight Formal Methods using VDM++. In Technical Report: CS-TR-992

Beevi, F. H. A., Pedersen, C. F., Wagner, S. R. & Hallerstede, S. (2014). Lateral Fall Detection via Events in Linear Prediction Residual of Acceleration. In C. Ramos, P. Novais, C. Ehrwein Nihan & J. M. Corchado Rodriguez (Eds.), Ambient Intelligence - Software and Applications: 5th International Symposium on Ambient Intelligence (Vol. 291, pp. 201-208). Springer. https://doi.org/10.1007/978-3-319-07596-9_22

Güven, Z. A. (2025). Large-scale impact analysis on large language models for Turkish question-answering. Journal of the Faculty of Engineering and Architecture of Gazi University, 40(3), 1787-1796. https://doi.org/10.17341/gazimmfd.1538022

Minku, L. L., Esterle, L., Nebehay, G. & Chen, R. (2016). Knowledge representation and modelling: Structures and trade-offs. In Natural Computing Series (pp. 79-111). Springer. https://doi.org/10.1007/978-3-319-39675-0_6

Bennedsen, J. & Christensen, M. (2012). Key-factors for a Successful CDIO Implementation in a Danish Context. Paper presented at 8th International CDIO Conference, Brisbane, Australia. http://www.cdio.org/files/document/file/key-factors_for_a_successful_cdio_implementation_in_a_danish_context_.pdf

Omori , Y., Araki, K. & Larsen, P. G. (2015). JODTool on the Overture Tool to manage formal requirement dictionaries. In Proceedings of the 13th Overture Workshop (Vol. 2015-06, pp. 3-17). National Institute of Informatics, Tokyo. http://grace-center.jp/wp-content/uploads/2012/05/13thOverture-Proceedings.pdf

Esterle, L. & Brown, J. N. A. (2020). I Think Therefore You Are: Models for Interaction in Collectives of Self-aware Cyber-physical Systems. ACM Transactions on Cyber-Physical Systems, 4(4), Article 39. https://doi.org/10.1145/3375403

Amiri, M., Dehghani, M., Khayatian, A., Mohammadi, M., Vafamand, N. & Boudjadar, J. (2021). Investigation of Wind Energy Impact on Power Systems Stability Using Lyapunov Exponents. In H. Selvaraj, G. Chmaj & D. Zydek (Eds.), Proceedings of the 27th International Conference on Systems Engineering, ICSEng 2020 (pp. 12-22). Springer. https://doi.org/10.1007/978-3-030-65796-3_2

Guimarães, G., Costa, I., Perkusich, M., Mendes, E., Santos, D., Almeida, H. & Perkusich, A. (2024). Investigating the relationship between personalities and agile team climate: A replicated study. Information and Software Technology, 169, Article 107407. https://doi.org/10.1016/j.infsof.2024.107407

Thule, C. & Larsen, P. G. (2016). Investigating Concurrency in the Co-Simulation Orchestration Engine for INTO-CPS. In A. S. Kamkin, A. K. Petrenko & A. N. Terekhov (Eds.), Preliminary Proceedings of the 10th Spring/Summer Young Researchers' Colloquium on Software Engineering (SYRCoSE 2016) (pp. 223-228). Institute for System Programming of the Russian Academy of Sciences (ISPRAS). http://syrcose.ispras.ru/2016/SYRCoSE2016_Proceedings.pdf

Displaying results 451 to 500 out of 1053

Back to the main page

Revised 13.11.2025

AU Engineering