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

Kamari, A., Schultz, C. P. L. & Kirkegaard, P. H. (2018). NovaDM: Towards a formal, unified Renovation Domain Model for the generation of holistic renovation scenarios. In J. Karlshoj & R. Scherer (Eds.), eWork and eBusiness in Architecture, Engineering and Construction - Proceedings of the 12th European Conference on Product and Process Modelling, ECPPM 2018: Proceedings of the 12th European Conference on Product and Process Modelling (ECPPM 2018) (pp. 197-205). CRC Press/Balkema. https://doi.org/10.1201/9780429506215-25

Walega, P. A., Schultz, C. P. L. & Bhatt, M. (2016). Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories. ArXiv. https://arxiv.org/pdf/1606.07860.pdf

Li, B., Teizer, J. & Schultz, C. P. L. (2020). Non-Monotonic Spatial Reasoning for Safety Analysis in Construction. In Proceedings of the 22nd International Symposium on Principles and Practice of Declarative Programming, PPDP 2020 - Part of BOPL 2020 - Bologna Federated Conference on Programming Languages 2020: 22nd International Symposium on Principles and Practice of Declarative Programming (pp. 1-12). Article 16 Association for Computing Machinery. https://doi.org/10.1145/3414080.3414096

Johansen, K. W., Nielsen, R. O., Schultz, C. P. L. & Teizer, J. (2020). Non-monotonic Reasoning For Automated Progress Analysis Of Construction Operations. In N. Dawood , F. Pour Rahimian, S. Seyedzadeh & M. Sheikhkhoshkar (Eds.), Enabling the Development and Implementation of Digital Twins: Proceedings of the 20th International Conference on Construction Applications of Virtual Reality (pp. 292-303) https://www.researchgate.net/profile/Farzad-Pour-Rahimian/publication/344444905_Enabling_the_Development_and_Implementation_of_Digital_Twins_Proceedings_of_the_20th_International_Conference_on_Construction_Applications_of_Virtual_Reality/links/5fb3ec4445851518fdad5eab/Enabling-the-Development-and-Implementation-of-Digital-Twins-Proceedings-of-the-20th-International-Conference-on-Construction-Applications-of-Virtual-Reality.pdf

Roscoe, A. W., Woodcock, J. & Wulf, L. (1996). Non-interference through Determinism. Journal of Computer Security, 4(1), 27-53. https://doi.org/10.3233/JCS-1996-4103

Roscoe, A. W., Woodcock, J. & Wulf, L. (2005). Non-interference through determinism. In D. Gollmann (Ed.), Computer Security — ESORICS 94: Third European Symposium on Research in Computer Security Brighton, United Kingdom, November 7–9, 1994 Proceedings (pp. 31-53). Springer. https://doi.org/10.1007/3-540-58618-0_55

Larsen, P. G. (2020). New platform to help SMEs get started with cyber-physical systems. In J. Bruun (Ed.), Profile 2020 (pp. 30-33). Aarhus University, Department of Engineering. http://www.e-pages.dk/aarhusuniversitet/2231/html5/

Gleirscher, M., Foster, S. D. & Woodcock, J. (2019). New Opportunities for Integrated Formal Methods. ACM Computing Surveys, 52(6), 1-36. Article 117. https://doi.org/10.1145/3357231

Haq, A. U., Sefati, S. S., Nawaz, S. J., Mihovska, A. & Beliatis, M. (2025). Need of UAVs and Physical Layer Security in Next-generation Non-terrestrial Wireless Networks- Potential Challenges and Open Issues. IEEE Open Journal of Vehicular Technology, 6, 554-595. https://doi.org/10.1109/OJVT.2025.3525781

Kamari, A., Li, B. & Schultz, C. P. L. (2021). Navigating the vast landscape of spatially valid renovation scenarios. In V. Semenov & R. J. Scherer (Eds.), ECPPM 2021 - eWork and eBusiness in Architecture, Engineering and Construction: Proceedings of the 13th European Conference on Product & Process Modelling (ECPPM 2021), 15-17 September 2021, Moscow, Russia (pp. 163-170). CRC Press/Balkema. https://doi.org/10.1201/9781003191476-22

Guven, Z. A. & Unalir, M. O. (2022). Natural language based analysis of SQuAD: An analytical approach for BERT. Expert Systems with Applications, 195, Article 116592. https://doi.org/10.1016/j.eswa.2022.116592

Spangsberg, E., Hesselvig, J., Nygaard, R. T., Budzik, M. K. & Sandberg, M. (2025). Multiscale Modelling of Heat Transfer in Selective Laser Sintering. engrXiv. https://doi.org/10.31224/4704

Neghina, M., Zamfirescu, C.-B., Larsen, P. G. & Pierce, K. (2020). Multi-paradigm modelling and co-simulation in prototyping a cyber-physical production system. In B. Tekinerdogan, D. Blouin, H. Vangheluwe, M. Goulao, P. Carreira & V. Amaral (Eds.), Multi-Paradigm Modelling Approaches for Cyber-Physical Systems (pp. 169-194). Academic Press. https://doi.org/10.1016/B978-0-12-819105-7.00012-X

Neghina, M., Zamfirescu, C.-B., Larsen, P. G., Lausdahl, K. G. & Pierce, K. (2018). Multi-Paradigm Discrete-Event Modelling and Co-simulation of Cyber-Physical Systems. Studies in Informatics and Control, 27(1), 33-42. https://doi.org/10.24846/v27i1y201804

Schultz, C. P. L. & Bhatt, M. (2012). Multimodal spatial data access for architecture design assistance. Journal of Artificial Intelligence for Engineering Design, Analysis and Manufacturing, 26(2), 177-203. https://doi.org/10.1017/S0890060412000066

Guven, Z. A. & Lamurias, A. (2023). Multilingual bi-encoder models for biomedical entity linking. Expert Systems, 40(9), Article e13388. https://doi.org/10.1111/exsy.13388

Brunell, C. & Bennedsen, J. (2013). Multi-level graduations in double degree engineering programmes between France and Denmark. In Procedings of the iCEER 2013 conference

Guven, Z. A., Mendes, E. & Baker, S. (2026). Multi-label text classification using prompting techniques via LLMs in Software Effort Estimation. IEEE Access, 14, 52753-52775. https://doi.org/10.1109/ACCESS.2026.3679475

Fathollahidehkordi, A., Gheisarnejad Chirani, M., Boudjadar, J., Derakhshandeh, S. Y. & Khooban, M. H. (2023). Multi-Criteria Design of Electric Transit Bus Based on Wireless Charging Infrastructure: A Case Study of Real Road Map in Wakefield. Automation , 4(3), 291-308. https://doi.org/10.3390/automation4030017

Kazemi, Z., Rask, J. K., Gomes, C., Yildiz, E. & Larsen, P. G. (2023). Movable factory—A systematic literature review of concepts, requirements, applications, and gaps. Journal of Manufacturing Systems, 69, 189-207. https://doi.org/10.1016/j.jmsy.2023.06.008

Iraji, M., Dehghani, M., Mohammadi, M., Vafamand, N. & Boudjadar, J. (2021). Motor Current Signature Analysis Using Shapelet. In H. Selvaraj, G. Chmaj & D. Zydek (Eds.), Proceedings of the 27th International Conference on Systems Engineering, ICSEng 2020 (pp. 23-33). Springer. https://doi.org/10.1007/978-3-030-65796-3_3

Stepney, S., Cooper, D. & Woodcock, J. (1998). More Powerful Z Data Refinement: Pushing the State of the Art in Industrial Refinement. In J. P. Bowen, A. Fett & M. G. Hinchey (Eds.), ZUM ’98: The Z Formal Specification Notation: 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998. Proceedings (Vol. 1, pp. 284-307). Springer Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-49676-2_20

Vathoopan, M., Johny, M., Zoitl, A. & Knoll, A. (2018). Modular Fault Ascription and Corrective Maintenance Using a Digital Twin. In 16th IFAC Symposium on Information Control Problems in Manufacturing INCOM 2018 (11 ed., Vol. 51, pp. 1041-1046) https://doi.org/10.1016/j.ifacol.2018.08.470

Vafamand, N., Boudjadar, J. & Khooban, M. H. (2020). Model predictive energy management in hybrid ferry grids. Energy Reports, 6(Supplement 2), 550-557. https://doi.org/10.1016/j.egyr.2019.11.118

Li, B., Fitzgerald, J. & Schultz, C. (2022). Modelling the impacts of crowds on occupants in the built environment—A static, rule-based approach to human perception and movement. Advanced Engineering Informatics, 51, Article 101452. https://doi.org/10.1016/j.aei.2021.101452

Kulik, T., Macedo, H. D., Talasila, P. & Larsen, P. G. (2021). Modelling the HUBCAP Sandbox Architecture In VDM: A Study In Security. In J. Fitzgerald, T. Oda & H. D. Macedo (Eds.), Proceedings of the 18th International Overture Workshop (pp. 20-35) https://arxiv.org/pdf/2101.07261.pdf

Wei, K., Woodcock, J. & Burns, A. (2013). Modelling temporal behaviour in complex systems with Timebands. Formal Methods in System Design, 3(43), 520–551. https://doi.org/10.1007/s10703-013-0193-5

Fitzgerald, J. & Larsen, P. G. (1998). Modelling Systems: Practical Tools and Techniques in Software Development. (1 ed.) Cambridge University Press.

Hallerstede, S., Kristensen, K. & Larsen, P. G. (2014). Modelling of Systems of Systems - An Event-B Perspective of a VDM Project. In M. Butler & S. Hallerstede (Eds.), Proceedings of the 5th Rodin User and Developer Workshop, 2014 http://eprints.soton.ac.uk/365301/1/Proceedings.pdf

Chipofya, M., Karamesouti, M., Jan, S., Schwering, A., Murcia, C., Schultz, C. P. L., Ho, S., Osewe, G. & Chika, B. (2018). Modelling Local Knowledge for Inclusive and Responsive Land Information Systems: The Southern Kenyan Maasai Ontology. Poster session presented at World Bank Conference on Land and Poverty 2018, Washington D. C., District of Columbia, United States. https://its4land.com/world-bank-land-and-poverty-conference-2018/

Abbiati, G., Gomes, C., Sandberg, M., Kazemi, Z., Hansen, S. T. & Larsen, P. G. (2024). Modelling for Digital Twins. In J. Fitzgerald, C. Gomes & P. G. Larsen (Eds.), The Engineering of Digital Twins (pp. 89-127). Springer. https://doi.org/10.1007/978-3-031-66719-0_5

Esparza Isasa, J. A., Jørgensen, P. W. V., Nielsen, C. B. & Hallerstede, S. (2014). Modelling Energy Consumption in Embedded Systems with VDM-RT. In Y. Ameur & K.-D. Schewe (Eds.), Abstract State Machines, Alloy, B, TLA, VDM, and Z: v (pp. 130-135 ). Springer VS. https://doi.org/10.1007/978-3-662-43652-3_1

Esparza Isasa, J. A. & Larsen, P. G. (2013). Modelling different CPU power states in VDM-RT. In K. Pierce & S. Hallerstede (Eds.), Proceedings of the 11th Overture Workshop, 2013 Aarhus University, Department of Engineering. http://eng.au.dk/fileadmin/DJF/ENG/PDF-filer/Tekniske_rapporter/ECE-TR-17-samlet.pdf

Li, B., Fitzgerald, J. & Schultz, C. P. L. (2020). Modelling Co-presence in the Built Environment - a Spatio-temporal Approach to Human Perception and Movement. In L. C. Ungureanu & T. Hartmann (Eds.), EG-ICE 2020 Workshop on Intelligent Computing in Engineering, Proceedings: Workshop on Intelligent Computing in Engineering (pp. 215-225). Universitätsverlag der TU Berlin. https://doi.org/10.14279/depositonce-9977

Plat, N., Larsen, P. G. & Pierce, K. (2016). Modelling Collaborative Systems and Automated Negotiations. 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. 108-123). Aarhus University, Department of Engineering. http://ojs.statsbiblioteket.dk/index.php/ece/article/view/24731/21669

Hallerstede, S. & Larsen, P. G. (2013). Modelling a Smart Grid System-of-Systems using VDM. In K. Pierce & S. Hallerstede (Eds.), Proceedings of The 11th Overture Workshop, 2013 http://eng.au.dk/fileadmin/DJF/ENG/PDF-filer/Tekniske_rapporter/ECE-TR-17-samlet.pdf

Böttjer, T., Sandberg, M., Larsen, P. G. & Macedo, H. D. (2021). Modelling an Injection Moulding Machine using the Vienna Development Method. In H. D. Macedo, C. Thule & K. Pierce (Eds.), Proceedings of the 19th International Overture Workshop (pp. 51-65) https://arxiv.org/abs/2110.09371

Woodcock, J., Oliveira, M., Burns, A. & Wei, K. (2010). Modelling and Implementing Complex Systems with Timebands. In Secure System Integration and Reliability Improvement (pp. 1-13) https://doi.org/10.1109/SSIRI.2010.7

Fitzgerald, J., Larsen, P. G. & Woodcock, J. (2012). Modelling and Analysis Technology for Systems of Systems Engineering: Research Challenges. Paper presented at INCOSE, Rom, Italy.

Larsen, P. G., Fitzgerald, J. & Sahara, S. (Eds.) (2008). Modelling and Analysis in VDM: Proceedings of the Fourth VDM/Overture Workshop. University of Newcastle upon Tyne. http://www.cs.ncl.ac.uk/publications/trs/papers/1099.pdf

Frasheri, M., Esterle, L. & Papadopoulos, A. V. (2020). Modeling the willingness to interact in cooperative multi-robot systems. In A. Rocha, L. Steels & J. van den Herik (Eds.), ICAART 2020 - Proceedings of the 12th International Conference on Agents and Artificial Intelligence (pp. 62-72). SCITEPRESS Digital Library. https://doi.org/10.5220/0008951900620072

Šeta, B., Sandberg, M., Brander, M., Tusher Mollah, M., Pokkalla, D., Kumar, V. & Spangenberg, J. (2023). Modeling fiber orientation and strand shape morphology in three-dimensional material extrusion additive manufacturing. Composites Part B: Engineering, 266, Article 110957. https://doi.org/10.1016/j.compositesb.2023.110957

Freitas, L., Hallerstede, S., Hansen, D., Kuppe, M., Mejia, F., Merz, S., Vanzetto, H. & Winter, K. (2014). Modeling Dijkstra’s Termination Detection Algorithm in TLA+. 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

Brandenbourger, B., Vathoopan, M. & Zoitl, A. (2017). Modeling and verifying behavioral constraints for automation systems. In 2017 IEEE 15th International Conference on Industrial Informatics (INDIN) (pp. 345-350) https://doi.org/10.1109/INDIN.2017.8104796

Larsen, P. G. & Agerholm, S. (1997). Modeling and Validating SAFER in VDM-SL. Paper presented at Fourth NASA Langley Formal Methods Workshop, Langley, United States. http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.56.4157&rep=rep1&type=pdf

Larsen, P. G., Verhoef, M. & Hooman, J. (2006). Modeling and Validating Distributed Embedded Real-Time Systems with VDM++. In J. Misra, T. Nipkow & E. Sekerinski (Eds.), FM 2006: Formal Methods: 14th International Symposium on Formal Methods. Proceedings (pp. 147-162). Springer.

Bennedsen, J. & Caspersen, M. E. (2008). Model-Driven Programming. In Reflectionson the Teaching of Programming (Vol. LNCS 4821, pp. 116-129). Springer LNCS.

Boudjadar, J., Kim, J. H., G. Larsen, K. & Nyman, U. M. (2014). Model Checking Process Algebra of Communicating Resources for Real-time Systems. In 2014 26th Euromicro Conference on Real-Time Systems (pp. 51-60) https://doi.org/10.1109/ECRTS.2014.24

Ye, K. & Woodcock, J. (2015). Model checking of state-rich formalism by linking to CSP∥B. International Journal on Software Tools for Technology Transfer, 19(1), 73–96. https://doi.org/10.1007/s10009-015-0402-1

Mota, A., Farias, A., Woodcock, J. & Larsen, P. G. (2015). Model checking CML : tool development and industrial applications. Formal Aspects of Computing, 5(27), 975–1001. https://doi.org/10.1007/s00165-015-0342-2

Displaying results 401 to 450 out of 1053

Back to the main page

Revised 13.11.2025

AU Engineering