Find

For students
For PhDs
For employees

Department of Electrical and Computer Engineering

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

Evans, V. T., Gomes, C. & Lucani Rötter, D. E. (2025). Precision on Demand: Propositional Logic for Event-Trigger Threshold Regulation. IEEE Internet of Things Journal, 12(3), 2674-2689. https://doi.org/10.1109/JIOT.2024.3476922

Larsen, P. G., Fitzgerald, J. S. & Fitzgerald, J. S. (2009). Practice-oriented courses in formal methods using VDM++. Formal Aspects of Computing, 21(3), 245-257. https://doi.org/10.1007/s00165-008-0068-5

Freitas, L., Woodcock, J. & Fu, Z. (2008). POSIX file store in Z/Eves: An experiment in the verified software repository. Science of Computer Programming, 74(4), 238-257. https://doi.org/10.1016/j.scico.2008.08.001

Freitas, L., Fu, Z. & Woodcock, J. (2007). POSIX file store in Z/Eves: an experiment in the verified software repository. In 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007) (pp. 3-14). IEEE. https://doi.org/10.1109/ICECCS.2007.36

Freitas, L., Woodcock, J. & Butterfield, A. (2008). POSIX and the Verification Grand Challenge: A Roadmap. In K. Breitman, J. Woodcock, R. Sterritt & M. G. Hinchey (Eds.), ICECCS 2008: THIRTEENTH IEEE INTERNATIONAL CONFERENCE ON THE ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS (pp. 153-162). IEEE Computer Society Press. https://doi.org/10.1109/ICECCS.2008.35

Schranz, T., Legaard, C. M., Tola, D. & Schweiger, G. (2021). Portable runtime environments for Python-based FMUs: Adding Docker support to UniFMU. In Proceedings of 14th Modelica Conference 2021 (pp. 419-424) https://doi.org/10.3384/ecp21181419

Kamari, A., Petersen, J. H. & Schultz, C. P. L. (2021). Popularizing DGNB in the Danish construction industry: A field study of the industry via a qualitative comparative analysis. In Proceedings of the 38th International Conference of CIB W78, Luxembourg, 13-15 October: Joint Conference CIB W78 - LDAC 2021 (pp. 638-649). Article 64. http://itc.scix.net/paper/w78-2021-paper-064

Cavalcanti, A. L. C., Harwood, W. & Woodcock, J. (2006). Pointers and Records in the Unifying Theories of Programming. 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. 200-216). Springer. https://doi.org/10.1007/11768173_12

Vathoopan, M., Cabral, J., Wenger, M., Knoll, A. & Zoitl, A. (2019). Planning and Engineering Component-Based Automation Systems in AutomationML. In Proceedings - 2019 24th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2019 (pp. 118-125). Article 8869437 IEEE. https://doi.org/10.1109/ETFA.2019.8869437

Merhi, Y. (2025). Piezoelectric and Crystallinity Enhancements in Poly-L-Lactide Acid (PLLA) for Bioresorbable Biomedical Sensor. [PhD dissertation, Aarhus University].

Larsen, P. G., Devauchelle, L. & Voss, H. (1997). PICGAL: Practical Use of Formal Specification to Develop a High Reliability Software. Paper presented at FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, Graz, Austria. http://www.springerlink.com/content/177585277426658t/?p=4e271544acc0424b95f53516dc4e75f8&pi=0

Larsen, P. G., Devauchelle, L. & Voss, H. (1997). PICGAL - Lessons Learnt from a Practical Use of Formal Specification to Develop a High-Reliability Software. Paper presented at Data Systems in Aerospace, Sevilla, Spain. http://adsabs.harvard.edu/full/1997ESASP.409..159D

Haq, A. U. (2025). Physical Layer Secret Key Generation and Coverage Enhancement for Time Variant UAV Wireless Communications. [PhD dissertation, Aarhus University].

Bennedsen, J. B. & Caspersen, M. E. (2012). Persistence of elementary programming skills. Computer Science Education, 22(2), 81-107. https://doi.org/10.1080/08993408.2012.692911

Sandberg, M., Kabachi, A., Volk, M., Bo Salling, F., Ermanni, P., Hattel, J. H. & Spangenberg, J. (2020). Permeability and compaction behaviour of air-texturised glass fibre rovings: A characterisation study. Journal of Composite Materials, 54(27), 4241-4252. https://doi.org/10.1177/0021998320926703

Talasila, P. & Lucani Rötter, D. E. (2021). Performance of Generalized Deduplication Under Different Input Conditions. In European Wireless Conference: 26th European Wireless Conference (pp. 84-90). IEEE. https://ieeexplore.ieee.org/document/9657095

Boudjadar, J., Kim, H. J. & Nadjm-Tehrani, S. (2016). Performance-aware Scheduling of Multicore Time-critical Systems. In 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2016 (pp. 105-114). Article 7797753 IEEE. https://doi.org/10.1109/MEMCOD.2016.7797753

Bhatt, M. & Schultz, C. P. L. (2014). PEOPLE-CENTERED SPATIAL DESIGN: ON VISUO-SPATIAL COGNITION IN THE BUILT ENVIRONMENT. In INTERNATIONAL CONFERENCE ON HUMAN BEHAVIOR IN DESIGN https://doi.org/10.13140/2.1.4184.8327

Hesselvig, J., Nygaard, R. T., Budzik, M. K. & Sandberg, M. (2025). Particle Flow and Printing Path Effects in SLS. Abstract from EPF European Polymer Congress, Groningen, Netherlands.

Kamari, A., Kirkegaard, P. H. & Schultz, C. P. L. (2021). PARADIS - A process integrating tool for rapid generation and evaluation of holistic renovation scenarios. Journal of Building Engineering , 34, Article 101944. https://doi.org/10.1016/j.jobe.2020.101944

Gamble, C., Mansfield, M., Fitzgerald, J. & Larsen, P. G. (2015). Pacemaker Parameter Tuning using Crescendo. In Proceedings of the13th Overture Workshop (Vol. Grace-TR 2015-06, pp. 116-131). National Institute of Informatics, Tokyo. http://grace-center.jp/wp-content/uploads/2012/05/13thOverture-Proceedings.pdf

Thule, C., Lausdahl, K. G. & Larsen, P. G. (2018). Overture FMU: Export VDM-RT Models as Tool-Wrapper FMUs. In K. Pierce & M. Verheof (Eds.), The 16th Overture Workshop (Vol. CS-TR-1524, pp. 23-39). Newcastle University. https://www.ncl.ac.uk/media/wwwnclacuk/schoolofcomputingscience/files/trs/1524.pdf#section*.9

Boudjadar, J., Hyun Kim, J., Legay, A. & Choi, J.-Y. (2015). Optimizing the Resource Requirements of Hierarchical Scheduling Systems. In 8th International Workshop on Compositional Theory and Technology for Real-Time Embedded Systems https://www.researchgate.net/publication/284182983_Optimizing_the_Resource_Requirements_of_Hierarchical_Scheduling_Systems

Moradi, M., Gomes, C., Oakes, B. J. & Denil, J. (2019). Optimizing fault injection in fmi co-simulation through sensitivity partitioning. Simulation Series, 2019-July. https://bentleyjoakes.github.io/assets/publications/Moradi2019%20-%20Optimizing%20Fault%20Injection%20in%20FMI%20Co-Simulation%20Through%20Sensitivity%20Partitioning.pdf

Wolff, S., Rohde, J., Toftegaard, T. S., Larsen, P. G., Lausdahl, K. G., Ribeiro, A. & Stender, M. H. (2010). Optimizing Energy Usage in Private Households. In R. Prasad, S. Ohmori & D. Šimunić (Eds.), Towards Green ICT (pp. 185-210). River Pulishers.

Banaei, M., Boudjadar, J. & Khooban, M. H. (2021). Optimal Energy Resources Scheduling of Hybrid Diesel/Battery Ships in Shallow Waters. In H. Selvaraj, G. Chmaj & D. Zydek (Eds.), Proceedings of the 27th International Conference on Systems Engineering, ICSEng 2020 (pp. 369-378). Springer. https://doi.org/10.1007/978-3-030-65796-3_36

Fathollahidehkordi, A., Gheisarnejad Chirani, M., Boudjadar, J., Homayounzadeh, M. & Khooban, M. H. (2023). Optimal Design of Wireless Charging Electric Buses-Based Machine Learning: A Case Study of Nguyen-Dupuis Network. I E E E Transactions on Vehicular Technology, 72(7), 8449-8458. https://doi.org/10.1109/TVT.2023.3247838

Banaei, M., Boudjadar, J., Ebrahimy, R. & Madsen, H. (2021). Optimal Control Strategies of Fuel cell/Battery Based Zero-Emission Ships: A Survey. In IECON 2021 - 47th Annual Conference of the IEEE Industrial Electronics Society IEEE. https://doi.org/10.1109/IECON48115.2021.9589512

Woodcock, J., Cavalcanti, A. L. C. & Freitas, L. (2005). Operational Semantics for Model Checking Circus. In J. Fitzgerald, I. J. Hayes & A. Tarlecki (Eds.), FM 2005: Formal Methods: International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005. Proceedings (pp. 237-252). Springer. https://doi.org/10.1007/11526841_17

Vathoopan, M., Boudjadar, J., Hertwig, M. M. & Lentes, J. (2025). Ontology-Driven Simulations for Quantified Service Discovery in Manufacturing Ecosystems. In D. Maga (Ed.), 2025 29th International Symposium on Distributed Simulation and Real Time Applications (DS-RT) IEEE. https://doi.org/10.1109/DS-RT68115.2025.11186005

Bolton, C., Davies, J. & Woodcock, J. (1999). On the Refinement and Simulation of Data Types and Processes. In K. Araki, A. Galloway & K. Taguchi (Eds.), IFM’99: Proceedings of the 1st International Conference on Integrated Formal Methods, York, 28-29 June 1999 (pp. 273-292). Springer. https://doi.org/10.1007/978-1-4471-0851-1

Hallerstede, S. (2011). On the Purpose of Event-B Proof Obligations. Formal Aspects of Computing, 23(1), 133-150. https://doi.org/10.1007/s00165-009-0138-3

Larsen, P. G. (1998). On the Industrial Value of Models. Paper presented at 2nd BCS-FACS Northern Formal Methods Workshop, Ilkley, United Kingdom.

Hallerstede, S., Larsen, P. G., Boudjadar, J., Schultz, C. P. L. & Esterle, L. (2020). On the Design of a New Software Engineering Curriculum in Computer Engineering. In J.-M. Bruel, A. Capozucca, M. Mazzara, B. Meyer, A. Naumchev & A. Sadovykh (Eds.), Frontiers in Software Engineering Education: FISEE 2019 (pp. 178-195). Springer. https://doi.org/10.1007/978-3-030-57663-9_12, https://doi.org/10.1007%2F978-3-030-57663-9

Vejdanparast, A., Lewis, P. R. & Esterle, L. (2018). Online zoom selection approaches for coverage redundancy in visual sensor networks. -. https://doi.org/10.1145/3243394.3243697

Esterle, L. & Lewis, P. R. (2017). Online multi-object κ-coverage with mobile smart cameras. -, 107-112. https://doi.org/10.1145/3131885.3131909

Gmehlich, R., Grau, K., Hallerstede, S., Leuschel, M., Lösch, F. & Plagge, D. (2011). On Fitting a Formal Method into Practice. In S. Qin & Z. Qiu (Eds.), Formal Methods and Software Engineering: 13th International Conference on Formal Engineering Methods, ICFEM 2011 (pp. 195-210). Springer. https://doi.org/10.1007/978-3-642-24559-6_15

Yelkotwar, P., Raj, R., Pingle, A., Talasila, P. & Goveas, N. (2025). On-Demand Cardiac Digital Twins: A Case Study on DevOps workflows for Digital Twin Platforms. In Proceedings - 2025 ACM/IEEE 28th International Conference on Model Driven Engineering Languages and Systems Companion, MODELS-C 2025 (pp. 236-242). IEEE. https://doi.org/10.1109/MODELS-C68889.2025.00041

Hasse, C. & Wallace, J. (2014). Omsorgsteknologier. In F. Olesen & L. Huniche (Eds.), Teknologi i sundhedspraksis (pp. 83-105). Munksgaard .

Frasheri, M., Gomes, C., Esterle, L. & Larsen, P. G. (2026). Obtaining Services from Digital Twins in Industrial Settings. In Handbook of the Metaverse (pp. 283-315). Springer Nature. https://doi.org/10.1007/978-3-032-03296-6_9

G. Aydal, E., Freeman Paige, R. & Woodcock, J. (2008). Observations for Assertion-based Scenarios in the context of Model Validation and Extension to Test Case Generation. In 2008 IEEE International Conference on Software Testing Verification and Validation Workshop (pp. 11-20). IEEE. https://doi.org/10.1109/ICSTW.2008.29

G. Aydal, E., Freeman Paige, R. & Woodcock, J. (2008). Observations for Assertion-based Scenarios in the context of ModelValidation. In T. Margaria, J. Padberg, G. Taentzer, J. Cabot, M. Gogolla & P. Van Gorp (Eds.), Electronic Communications of the EASST: Proceedings of the8th International Workshop onOCL Concepts and Tools (OCL 2008)at MoDELS 2008 https://journal.ub.tu-berlin.de/eceasst/article/view/181/178

Bennedsen, J. & Schulte, C. (2013). Object interaction competence model v. 2.0. In Learning and Teaching in Computing and Engineering (LaTiCE) 2013 - Proceedings (pp. 9-16). Article 6542233 IEEE. https://doi.org/10.1109/LaTiCE.2013.43

Sandberg, M. (2020). Numerical Modelling of Material Flow in the Resin-injection Pultrusion Process. Technical University of Denmark.

Sandberg, M., Hattel, J. H. & Spangenberg, J. (2018). Numerical modelling and optimisation of fibre wet-out in resin-injection pultrusion processes. In 18th European Conference on Composite Materials (ECCM-18) Applied Mechanics Laboratory.

Sandberg, M., Yuksel, O., Comminal, R. B., Sonne, M. R., Jabbari, M., Bo Salling, F., Baran, I., Spangenberg, J. & Hattel, J. H. (2020). Numerical modeling of the mechanics of pultrusion. In Mechanics of Materials in Modern Manufacturing Methods and Processing Techniques: Elsevier Series in Mechanics of Advanced Materials (pp. 173-195). Elsevier. https://doi.org/10.1016/B978-0-12-818232-1.00006-0

Šeta, B., Sandberg, M., Brander, M., Mollah, M. T., Pokkalla, D. K., Kumar, V. & Spangenberg, J. (2024). Numerical modeling of fiber orientation in multi-layer, isothermal material-extrusion big area additive manufacturing. Additive Manufacturing, 92, Article 104396. https://doi.org/10.1016/j.addma.2024.104396

Sandberg, M., Yuksel, O., Baran, I., Hattel, J. H. & Spangenberg, J. (2021). Numerical and experimental analysis of resin-flow, heat-transfer, and cure in a resin-injection pultrusion process. Composites Part A: Applied Science and Manufacturing, 143, Article 106231. https://doi.org/10.1016/j.compositesa.2020.106231

Salling, F. B., Sandberg, M., Spangenberg, J. & Hattel, J. H. (2020). Numerical and experimental analyses in composites processing: impregnation, heat transfer, resin cure and residual stresses. IOP Conference Series-Materials Science and Engineering, 942(1), Article 012003. https://doi.org/10.1088/1757-899X/942/1/012003

Ostrowski, H., Sandberg, M. & Budzik, M. K. (2025). Novel fracture mechanics tests for thin 3D printed materials. Abstract from EPF European Polymer Congress, Groningen, Netherlands.

Displaying results 351 to 400 out of 1053

8

Back to the main page

Revised 13.11.2025

-

AU Engineering