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

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://arxiv.org/pdf/2009.09826.pdf

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

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

Thule, C. & Larsen, P. G. (2016). Investigating Concurrency in the Co-Simulation Orchestration Engine for INTO-CPS. Proceedings of the Institute for System Programming, 28(2), 139-156. https://doi.org/10.15514/ISPRAS-2016-28(2)-9

Bennedsen, J. (2008). Introduction to part I issues in introductory programming courses. In Reflections on the Teaching of Programming - Methods and Implementations (pp. 3-5) https://doi.org/10.1007/978-3-540-77934-6_1

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

Wing, J. & Woodcock, J. (2000). Introduction: Special Issues for FM'99, the First World Congress on Formal Methods in the Development of Computing Systems. Formal Methods in System Design, 17, 199–200. https://doi.org/10.1023/A:1026521916117

Talasila, P., Sanjari, A., Villadsen, K., Thule, C., Larsen, P. G. & Macedo, H. D. (2021). Introducing Regression Tests and Upgrades to the INTO-CPS Application. In L. Cleophas & M. Massink (Eds.), Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops - ASYDE, CIFMA, and CoSim-CPS, 2020, Revised Selected Papers: ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14–15, 2020, Revised Selected Papers (pp. 311-317). Springer. https://doi.org/10.1007/978-3-030-67220-1_23

Bandur, V., Larsen, P. G., Lausdahl, K., Thule, C., Gamble, C., Payne, R., Pop, A., Brosse, E., Brauer, J., Lapschies, F., Groothuis, M., Bokhove, T., Kleijn, C. & Couto, L. D. (2017). INTO-CPS tool chain user manual. Aarhus University. https://into-cps.github.io/download/

Lausdahl, K., Ishikawa, H. & Larsen, P. G. (2015). Interpreting Implicit VDM Specifications using ProB. University of Newcastle-upon-Tyne. Computing Science. Technical Report Series, CS-TR-1446, 1-15. http://www.cs.ncl.ac.uk/publications/trs/papers/1446.pdf

Larsen, P. G. & Verhoef, M. (2007). Interpreting Distributed System Architecture using VDM++ : A Case Study. Paper presented at 5th Annual Conference on SYstems Engineering Research, Hoboken, United States. http://sse.stevens.edu/fileadmin/cser/2007/proceedings/13.pdf

Kakavandi, F., Han, P., de Reus, R., Larsen, P. G. & Zhang, H. (2023). Interpretable Fault Detection Approach With Deep Neural Networks to Industrial Applications. In 2023 International Conference on Control, Automation and Diagnosis (ICCAD 2023) IEEE. https://doi.org/10.1109/ICCAD57653.2023.10152435

David, I., Shao, G., Gomes, C., Tilbury, D. & Zarkout, B. (2025). Interoperability of Digital Twins: Challenges, Success Factors, and Future Research Directions. In T. Margaria & B. Steffen (Eds.), Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification - 12th International Symposium, ISoLA 2024, Proceedings (pp. 27-46). Springer Science and Business Media Deutschland GmbH. https://doi.org/10.1007/978-3-031-75390-9_3

Bennedsen, J. B. (2010). Internship - how effective is it?. Poster session presented at 6th International CDIO Conference, Montréal, Canada.

Boudjadar, J. & Beck, M. M. (2021). Intelligent Time Synchronization Protocol for Energy Efficient Sensor Systems. Paper presented at Intelligent Systems Conference , Amsterdam, Netherlands.

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

Glässer, U., Hallerstede, S., Leuschel, M. & Riccobene, E. (2014). Integration of Tools for Rigorous Software Construction and Analysis. In U. Glässer, S. Hallerstede, M. Leuschel & E. Riccobene (Eds.), Integration of Tools for Rigorous Software Construction and Analysis (Dagstuhl Seminar 13372) (Vol. Dagstuhl Reports, Volume 3, Issue 9). Dagstuhl Publishing. https://doi.org/10.4230/DagRep.3.9.74

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

Masci, P., Monteiro Duarte Couto, L. D., Larsen, P. G. & Curzon, P. (2015). Integrating the PVSio-web modelling and prototyping environment with Overture. In Proceedings of the 13th Overture Workshop (Vol. Grace-TR 2015-06, pp. 33-47). National Institute of Informatics, Tokyo. http://grace-center.jp/wp-content/uploads/2012/05/13thOverture-Proceedings.pdf

Gil Arboleda, S., Schou, C., Mikkelsen, P. H. & Larsen, P. G. (2024). Integrating Skills into Digital Twins in Cooperative Systems. In 2024 IEEE/SICE International Symposium on System Integration (SII) (pp. 1124-1131). IEEE. https://doi.org/10.1109/SII58957.2024.10417610

Larsen, P. G., Fitzgerald, J., Woodcock, J., Fritzson, P., Brauer, J., Kleijn, C., Lecomte, T., Pfeil, M., Green, O., Basagiannis, S. & Sadovykh, A. (2016). Integrated tool chain for model-based design of Cyber-Physical Systems: The INTO-CPS project. In 2016 2nd International Workshop on Modelling, Analysis, and Control of Complex CPS (CPS Data) (pp. 1-6). IEEE. https://doi.org/10.1109/CPSData.2016.7496424

Larsen, P. G., Thule, C., Lausdahl, K. G., Bandur, V., Gamble, C., Brosse, E., Sadovykh, A., Bagnato, A. & Couto, L. D. (2016). Integrated Tool Chain for Model-Based Design of Cyber-Physical Systems. In P. G. Larsen, N. Plat & N. Battle (Eds.), The 14th Overture Workshop: Towards Analytical Tool Chains: Technical report ECE - TR - 28 (Vol. 4/28, pp. 63-79). Aarhus University, Department of Engineering. http://ojs.statsbiblioteket.dk/index.php/ece/article/view/24731/21669

Ouy, J., Lecomte, T., Christiansen, M. P., Vill Henriksen, A., Hallerstede, S., Larsen, P. G., Jæger, C. D., Basagiannis, S., Couto, L. D., El-din Mady, A., Ridouanne, H., Moner Poy, H., Valverde Alcala, J., König, C. & Balcu, N. (2016). INtegrated TOol chain for model-based design of CPSs: D1.2 - Case Studies 2. http://projects.au.dk/fileadmin/D1.2a_Case_Studies.pdf

Abraham, E. (Ed.), Hallerstede, S. (Ed.), Hatcliff, J. (Ed.), Stewart, D. (Ed.) & Abou El Wafa, N. (2023). Integrated Rigorous Analysis in Cyber-Physical Systems Engineering. Dagstuhl Reports, 13(1), 155-183. https://doi.org/10.4230/DagRep.13.1.155

Schultz, C. P. L. & Bhatt, M. (2013). InSpace3D: A Middleware for Built Environment Data Access and Analytics. In W. Agresti, J. O. Aje, S. Baek, I. Bojanova, F. Bouthillier, F. J. Cantu Ortiz, A. Carswell, I. Casas, G. Darkazalli, E. A. Edmonds, C. Ghezzi, R. Khan, M. Koval, M. Levi, B. Lin & R. V. McCarthy (Eds.), Procedia Computer Science (Vol. 18, pp. 80-89) https://doi.org/10.1016/j.procs.2013.05.171

Abdolmaleki, H., Haugen, A. B., Merhi, Y., Nygaard, J. V. & Agarwala, S. (2023). Inkjet-printed flexible piezoelectric sensor for self-powered biomedical monitoring. Materials Today Electronics, 5, Article 100056. https://doi.org/10.1016/j.mtelec.2023.100056

Couto, L. D., Basagiannis, S., Ridouane, E. H., Hasanagic, M. & Larsen, P. G. (2018). Injecting Formal Verification in FMI-based Co-Simulations of Cyber-Physical Systems. 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. 284-299). Springer. https://doi.org/10.1007/978-3-319-74781-1_20

Aher, G., Sandberg, M., Boudjadar, J. & Ramanujan, D. (2025). Informing circularity-focused design optimization using parametric life-cycle engineering simulation models. Smart and Sustainable Manufacturing Systems, 9(1), 11-36. https://doi.org/10.1520/SSMS20240018

Bicarregui, J. C., Fitzgerald, J., Larsen, P. G. & Woodcock, J. (2009). Industrial Practice in Formal Methods : A Review. In FM 2009: Formal Methods : Lecture Notes in Computer Science (Vol. 5850/2009, pp. 810-813) https://doi.org/10.1007/978-3-642-05089-3_52

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

Fitzgerald, J., Bicarregui, J. C., Larsen, P. G. & Woodcock, J. C. P. (2013). Industrial Deployment of Formal Methods: Trends and Challenges. In A. Romanovsky & M. Thomas (Eds.), The DEPLOY book: Industrial deployment of system engineering methods providing high dependability and productivity Springer.

Verhoef, M. & Larsen, P. G. (2014). Industrial Application of Co-modelling and Co-simulation Technology. In J. Fitzgerald, P. G. Larsen & M. Verhoef (Eds.), Collaborative Design for Embedded Systems : Co-modelling and Co-simulation (pp. 223-258). Springer. https://doi.org/10.1007/978-3-642-54118-6_11

Displaying results 451 to 500 out of 996

Back to the main page

Revised 13.11.2025

AU Engineering