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

Lumer-Klabbers, G., Hausted, J. O., Kvistgaard, J. L., Macedo, H. D., Frasheri, M. & Larsen, P. G. (2021). Towards a digital twin framework for autonomous robots. In W. K. Chan, B. Claycomb, H. Takakura, J.-J. Yang, Y. Teranishi, D. Towey, S. Segura, H. Shahriar, S. Reisman & S. I. Ahamed (Eds.), 2021 IEEE 45th Annual Computers, Software, and Applications Conference (COMPSAC) (pp. 1254-1259). IEEE. https://doi.org/10.1109/COMPSAC51774.2021.00174

Schultz, C. P. L. & Bhatt, M. (2012). Towards a Declarative Spatial Reasoning System. In Proceeding ECAI'12 Proceedings of the 20th European Conference on Artificial Intelligence (pp. 925-926). IOS Press. https://doi.org/10.3233/978-1-61499-098-7-925

Lausdahl, K., Coleman, J. W. & Larsen, P. G. (2012). Towards a Co-simulation Semantics of VDM-RT/Overture and 20-sim. Paper presented at 10th overture workshop , Paris, France. http://eprint.ncl.ac.uk/file_store/production/186969/A035CB6F-B782-42ED-9C1F-CB4C29820CC0.pdf#page=34

Kamari, A., Schultz, C. P. L. & Kirkegaard, P. H. (2019). Towards a BIM-based Decision Support System for rapid generation and evaluation of holistic renovation scenarios. CIB Proceedings, 244-254. Article 24. http://itc.scix.net/pdfs/w78-2019-paper-024.pdf

Gil Arboleda, S., Oakes, B. J., Gomes, C., Frasheri, M. & Larsen, P. G. (2025). Toward a systematic reporting framework for Digital Twins: a cooperative robotics case study. Simulation, 101(3), 313-339. https://doi.org/10.1177/00375497241261406

Schultz, C. P. L. & Bhatt, M. (2011). TOWARD ACCESSING SPATIAL STRUCTURE FROM BUILDING INFORMATION MODELS. In Proceedings of 28th Urban Data Management Symposium (pp. 25-30). CRC Press, Taylor & Francis Group. https://www.int-arch-photogramm-remote-sens-spatial-inf-sci.net/XXXVIII-4-C21/25/2011/isprsarchives-XXXVIII-4-C21-25-2011.pdf

Rausch, C., Talebi, S., Poshdar, M., Li, B. & Schultz, C. (2022). Tolerance management domain model for semantic enrichment of BIMs. Automation in Construction, 141, Article 104394. https://doi.org/10.1016/j.autcon.2022.104394

Hallerstede, S. (2018). Tobias Nipkow and Gerwin Klein: Concrete Semantics with Isabelle/HOL. Formal Aspects of Computing, 30(3-4), 491-492. https://doi.org/10.1007/s00165-018-0454-6

Vafamand, N., Khooban, M. H., Dragicevic, T., Boudjadar, J. & Asemani, M. H. (2019). Time-Delayed Stabilizing Secondary Load Frequency Control of Shipboard Microgrids. IEEE Systems Journal, 13(3), 3233-3241. https://doi.org/10.1109/JSYST.2019.2892528

Merhi, Y., Agarwala, S., Goumarre, V. O. Y., Lozano Montero, K., Mantysalo, M., Klarskov, P. & Amarasinghe, Y. (2024). THz Spectroscopy Analysis of Crystallinity Optimization for Enhanced Piezoelectricity in Biodegradable Poly-L-Lactide Acid. In FLEPS 2024 - IEEE International Conference on Flexible and Printable Sensors and Systems, Proceedings: Conference Proceedings (pp. 1-4). IEEE. https://doi.org/10.1109/FLEPS61194.2024.10604083

Krings, S., Leuschel, M., Körner, P., Hallerstede, S. & Hasanagic, M. (2018). Three is a crowd: SAT, SMT and CLP on a chessboard. In F. Calimeri, K. Hamlen & N. Leone (Eds.), Practical Aspects of Declarative Languages - 20th International Symposium, PADL 2018, Proceedings: 20th International Symposium on Practical Aspects of Declarative Languages - PADL 2018 - Proceedings (Vol. 10702, pp. 63-79). Springer. https://doi.org/10.1007/978-3-319-73305-0_5

Canham, S. J. & Woodcock, J. (2015). Three Approaches to Timed External Choice in UTP. In D. Naumann (Ed.), Unifying Theories of Programming: 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers (pp. 1-20). Springer. https://doi.org/10.1007/978-3-319-14806-9_1

Bicarregui, J. C. . Hoare, C. A. R. & Woodcock, J. (2006). The verified software repository: a step towards the verifying compiler. Formal Aspects of Computing, 18(2), 143–151. https://doi.org/10.1007/s00165-005-0079-4

Woodcock, J. & Banach, R. (2007). The Verification Grand Challenge. Journal of Universal Computer Science, 13(5), 661-668. http://www.jucs.org/jucs_13_5/the_verification_grand_challenge/jucs_13_5_0661_0668_woodcock.pdf

M. dos Santos, O., Woodcock, J., Freeman Paige, R. & King, S. (2009). The Use of Model Transformation in the INESS Project. In F. S. de Boer, M. M. Bonsangue, S. Hallerstede & M. Leuschel (Eds.), Formal Methods for Components and Objects: 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers (Vol. 1, pp. 147-165). Springer. https://doi.org/10.1007/978-3-642-17071-3

Wallace, J. (2008). The Use of Art Practice within Formal Design Structures: A Case Study and Framework. Design Principles and Practices: An International Journal, 2(1), 67-74.

Rask, J. K., Madsen, F. P., Battle, N., Macedo, H. D. & Larsen, P. G. (2021). The Specification Language Server Protocol: A Proposal for Standardised LSP Extensions. In J. Proença & A. Paskevich (Eds.), Proceedings of the 6th Workshop on Formal Integrated Development Environment (Vol. 338, pp. 3-18). Open Publishing Association. https://doi.org/10.4204/EPTCS.338.3

Bhatt, M., Schultz, C. P. L. & Huang, M. (2012). The Shape of Empty Space: Human-Centred Cognitive Foundations in Computing for Spatial Design. In Visual Languages and Human-Centric Computing (VL/HCC), 2012 IEEE Symposium on (pp. 33-40). IEEE. http://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=6344477

Woodcock, J. & Cavalcanti, A. L. C. (2002). The Semantics of Circus. In D. Bert, J. P. Bowen, M. C. Henson & K. Robinson (Eds.), ZB 2002:Formal Specification and Development in Z and B: 2nd International Conference of B and Z Users Grenoble, France, January 23–25, 2002 Proceedings (pp. 184-203). Springer. https://doi.org/10.1007/3-540-45648-1_10

Cavalcanti, A. L. C., Wellings, A. & Woodcock, J. (2011). The Safety-Critical Java Memory Model: A Formal Account. In M. Butler & W. Schulte (Eds.), FM 2011: Formal Methods (Vol. 1, pp. 246-261). Springer. https://doi.org/10.1007/978-3-642-21437-0

Larsen, P. G. (1998). The Return of VDM to Austria. Telematik, 1-6. http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.54.3949&rep=rep1&type=pdf

Woodcock, J. (1991). The Refinement Calculus. In S. Prehn & H. Toetenel (Eds.), VDM '91 Formal Software Development Methods: 4th International Symposium of VDM Europe Noordwijkerhout, The Netherlands, October 21–25, 1991 Proceedings (pp. 80-95). Springer. https://doi.org/10.1007/BFb0019996

Schrey-Niemenmaa, K., Clark, R., Matthiasdottir, A., Georgsson, F., Kontio, J., Bennedsen, J., Rouvrais, S. & Hermon, P. (2018). The Power of Self-evaluation Based Cross-Sparring in Developing the Quality of Engineering Programmes. In M. E. Auer & K.-S. Kim (Eds.), Engineering Education for a Smart Society - World Engineering Education Forum and Global Engineering Deans Council, 2016 (Vol. 627, pp. 158-174). Springer. https://doi.org/10.1007/978-3-319-60937-9_13

Fitzgerald, J., Larsen, P. G., Gomes, C., Charlton, R., Kristensen, K., Basagiannis, S. & Åkeson, J. (2024). The Potential of Digital Twins: Four Industry Perspectives. In J. Fitzgerald, C. Gomes & P. G. Larsen (Eds.), The Engineering of Digital Twins (pp. 19-43). Springer. https://doi.org/10.1007/978-3-031-66719-0_2

Larsen, P. G., Battle, N., Ferreira, M., Fitzgerald, J., Lausdahl, K. & Verhoef, M. (2010). The Overture Initiative Integrating Tools for VDM. Software Engineering Notes, 35(1), 1-6. https://doi.org/10.1145/1668862.1668864

Kounev, S., Lewis, P., Bellman, K. L., Bencomo, N., Camara, J., Diaconescu, A., Esterle, L., Geihs, K., Giese, H., Götz, S., Inverardi, P., Kephart, J. O. & Zisman, A. (2017). The notion of self-aware computing. In Self-Aware Computing Systems (pp. 3-16). Springer International Publishing AG. https://doi.org/10.1007/978-3-319-47474-8_1

Woodcock, J. (2008). The Miracle of Reactive Programming. In A. Butterfield (Ed.), Unifying Theories of Programming: Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers (pp. 202-217). Springer. https://doi.org/10.1007/978-3-642-14521-6_12

Feo-Arenis, S., Verhoef, M. & Larsen, P. G. (2017). The Mars-Rover Case Study Modelled Using INTO-CPS. In J. S. Fitzgerald, P. W. V. Tran-Jørgensen & T. Oda (Eds.), The 15th Overture Workshop: New Capabilities and Applications for Model-based Systems Engineering: Proceedings (pp. 130-144). Newcastle University.

Karamesouti, M., Schultz, C. P. L., Chipofya, M., Jan, S., Murcia Galeano, C. E., Schwering, A. & Timm, C. (2018). THE MAASAI OF SOUTHERN KENYA DOMAIN MODEL OF LAND USE. In ISPRS Annals of the Photogrammetry, Remote Sensing and Spatial Information Sciences: ISPRS TC IV Mid-term Symposium “3D Spatial Information Science – The Engine of Change” (Vol. IV-4, pp. 105-112). International Society for Photogrammetry and Remote Sensing. https://doi.org/10.5194/isprs-annals-IV-4-105-2018

Lausdahl, K. G., Thule, C., Larsen, P. G., Höll, J., Klueber, A., Pfeil, M. & Fässler, V. (2017). The INTO-CPS Co-Simulation Orchestration Engine – Experiences with FMI 2.0 and proposed extensions. Abstract from FMI User meeting, Prag, Czech Republic.

Larsen, P. G., Fitzgerald, J., Woodcock, J., König, C., Basagiannis, S., Brosse, E., Gomes, C., Cabral, J., Macedo, H. D., Thule, C., Sadovykh, A., Zamfirescu, C.-B., Neghina, M., Pierce, K., Gamble, C. & Payne, R. (2018). The INtegrated TOolchain for Cyber-Physical Systems (INTO-CPS): a Guide. http://into-cps.org/fileadmin/into-cps.org/Filer/INTO-CPS-Manifesto.pdf

Feng, H., Gomes, C., Thule, C., Lausdahl, K., Sandberg, M. & Larsen, P. G. (2021). The Incubator Case Study for Digital Twin Engineering. ArXiv. https://arxiv.org/pdf/2102.10390.pdf

Schultz, C. P. L., Amor, R. & W. Guesgen, H. (2010). The Impact of Qualification on the Application of Qualitative Spatial and Temporal Reasoning Calculi. In J. Li (Ed.), AI 2010: Advances in Artificial Intelligence: 23rd Australasian Joint Conference, Adelaide, Australia, December 7-10, 2010. Proceedings (pp. 62-71). Springer. https://doi.org/10.1007/978-3-642-17432-2_7

Elstrøm, R., Larsen, P. G., Elstrøm, B. & Bøgh Lassen, P. (1994). The IFAD VDM-SL toolbox: a practical approach to formal specifications. ACM SIGPLAN Notices, 29(9), 77. http://delivery.acm.org/10.1145/190000/185028/p77-elmstrom.pdf?ip=130.225.0.242&acc=ACTIVE%20SERVICE&CFID=82297251&CFTOKEN=45878467&__acm__=1327920335_55e27fc4e0d36e1171a9a9c31a69a65b

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. In M. Sjölund, L. Buffoni, A. Pop & L. Ochel (Eds.), Proceedings of 14th Modelica Conference 2021, Linköping, Sweden, September 20-24, 2021 (pp. 17-26) https://doi.org/10.3384/ecp2118117

Woodcock, J., Gardiner , P. H. B. & Hulance, J. R. (1994). The Formal Specification in Z of Defence Standard 00-56. In J. P. Bowen & J. A. Hall (Eds.), Z User Workshop (pp. 9-28). Springer/BCS. https://doi.org/10.1007/978-1-4471-3452-7

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. In M. Sjölund, L. Buffoni, A. Pop & L. Ochel (Eds.), Proceedings of 14th Modelica Conference 2021, Linköping, Sweden, September 20-24, 2021 (pp. 27-36) https://doi.org/10.3384/ecp2118127

Hansen, S. T., Gomes, C. Â. G., Najafi, M., Sommer, T., Blesken, M., Zacharias, I., Kotte, O., Mai, P. R., Schuch, K., Wernersson, K., Bertsch, C., Blochwitz, T. & Junghanns, A. (2022). The FMI 3.0 Standard Interface for Clocked and Scheduled Simulations. Electronics, 11(21), Article 3635. https://doi.org/10.3390/electronics11213635

Wing, J. & Woodcock, J. (2000). The First World Congress on Formal Methods in the Development of Computing Systems. Formal Aspects of Computing, 12, 145-146. https://doi.org/10.1007/PL00011167

Larsen, P. G. & Fitzgerald, J. (2016). The evolution of VDM tools from the 1990s to 2015 and the influence of CAMILA. Journal of Logical and Algebraic Methods in Programming, 85(5, Part 2), 985-998. https://doi.org/10.1016/j.jlamp.2015.10.001

Fitzgerald, J., Gomes, C. & Larsen, P. G. (Eds.) (2024). The Engineering of Digital Twins. Springer, Cham. https://doi.org/10.1007/978-3-031-66719-0

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. 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.9552130

Bennedsen, J. (2006). The Dissemination of Pedagogical Patterns. Computer Science Education, 16(2), 119-136.

Hallerstede, S. (2016). The correctness of event-B inductive convergence. Science of Computer Programming, 131(December), 94-108. https://doi.org/10.1016/j.scico.2016.04.012

Teizer, J., Johansen, K. W. & Schultz, C. P. L. (2022). The Concept of Digital Twin for Construction Safety. In F. Jazizadeh, T. Shealy & M. J. Garvin (Eds.), Construction Research Congress 2022: Computer Applications, Automation, and Data Analytics (pp. 1156-1165). American Society of Civil Engineers. https://doi.org/10.1061/9780784483961.121

Esterle, L. & Brown, J. N. A. (2020). The Competence Awareness Window: Knowing what i can and cannot do. In E. El-Araby, S. Tomforde, T. Wood, P. Kumar, C. Raibulet, I. Petri, G. Valentini, P. Nelson & B. Porter (Eds.), 2020 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C) (pp. 62-63). IEEE. https://doi.org/10.1109/ACSOS-C51401.2020.00031

Guven, Z. A. (2022). The Comparison of Language Models with a Novel Text Filtering Approach for Turkish Sentiment Analysis. ACM Transactions on Asian and Low-Resource Language Information Processing, 22(2), Article 55. https://doi.org/10.1145/3557892

Woodcock, J., Stepney, S., Cooper, D., Clark, J. & Jacob, J. (2007). The certification of the Mondex electronic purse to ITSEC Level E6. Formal Aspects of Computing, 20(1), 5–19. https://doi.org/10.1007/s00165-007-0060-5

Malmqvist, J., Lundqvist, U., Rosén, A., Edström, K., Gupta, R., Leong, H., Cheah, S. M., Bennedsen, J., Hugo, R., Kamp, A., Leifler, O., Gunnarsson, S., Roslöf, J. & Spooner, D. (2022). The CDIO Syllabus 3.0 - An Updated Statement of Goals. In 18th CDIO International Conference Proceedings - Full papers (pp. 18-36) https://en.ru.is/media/cdio2022/CDIO_2022_Proceedings.pdf

Zayed, Y. N. H., Kristoffersen, A. E., Lohm, G., Kamari, A. & Schultz, C. P. L. (2024). The Anatomy of an Architect´s Argument: Formally Capturing Socially-Oriented Design Intentions in the Built Environment. In M. Srećković, M. Kassem, R. Soman & A. Chassiakos (Eds.), Proceedings of the 2024 European Conference on Computing in Construction (pp. 268-275) https://doi.org/10.35490/EC3.2024.186

Displaying results 151 to 200 out of 1057

Back to the main page

Revised 13.11.2025

AU Engineering