Department of Electrical and Computer Engineering

Aarhus University Seal
 Department of Electrical and Computer Engineering Research Key areas in research & development Software Engineering & Computing Systems Publications

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

Larsen, P. G., Plat, N. & Battle, N. (2016). The 14th Overture Workshop: Towards Analytical Tool Chains: Electrical and Computer Engineering, Technical Report - ECE-TR-28. http://ojs.statsbiblioteket.dk/index.php/ece/article/view/24731/21669
Larsen, P. G. (2001). Ten Years of Historical Development "Bootstrapping" VDMTools. Journal of Universal Computer Science, 7(8), 692. http://www.jucs.org/jucs_7_8/ten_years_of_historical/Larsen_P_G.pdf
Hasse, C., Wallace, J., Brok, L. S., Gars Jensen, U., Skov, H., Schrøder, V. & Dupret, K. (2015). TEKU-modellen: Teknologiforståelse i professionerne. U Press.
Nielsen, M. & Larsen, P. G. (2022). Techtopia 250: Hvad er en digital tvilling?. Pictures, Video and sound recordings (digital) https://ida.dk/viden-og-netvaerk/idas-podcast/techtopia/techtopia-episoder-2022/techtopia-250-hvad-er-en-digital-tvilling
Askarpour, M., Aghaei, J., Boudjadar, J. & Niknam, T. (2020). Techno-economic potential gains of electric springs in distribution networks operations. IET Generation, Transmission & Distribution, 14(1 ), 98 - 107. https://doi.org/10.1049/iet-gtd.2019.0440
Hallerstede, S., Hansen, F. O., Holt, J., Lauritsen, R. W., Lorenzen, L. & Peleska, J. (2012). Technical Challenges of SoS Requirements Engineering. Paper presented at International Conference on System of Systems Engineering, Genoa, Italy. https://doi.org/10.1109/SYSoSE.2012.6384136
Tamashiro, M. A., Schaper, M.-M. A., Jensen, A. V., Heick, R., Danielsen, B., Van Mechelen, M., Jensen, K. L., Smith, R. C. & Iversen, O. S. (2023). Teaching Technical and Societal Aspects of IoT - A case study using the Orbit IoT Kit. In DIS '23: : Proceedings of the 2023 ACM Designing Interactive Systems Conference (Vol. 1, pp. 1236-1247). Association for Computing Machinery. https://doi.org/10.1145/3563657.3596092
Bennedsen, J. (2008). Teaching and learning introductory programming: a model-based approach. University of Oslo.
Miloradovic, B., Frasheri, M., Çürüklü, B., Ekström, M. & Papadopoulos, A. V. (2019). TAMER: Task Allocation in Multi-robot Systems Through an Entity-Relationship Model. In M. Baldoni, M. Dastani, B. Liao, Y. Sakurai & R. Zalila Wenkstern (Eds.), PRIMA 2019: Principles and Practice of Multi-Agent Systems - 22nd International Conference, Proceedings (pp. 478-486). Springer. https://doi.org/10.1007/978-3-030-33792-6
Freitas, L., Cavalcanti, A. L. C. & Woodcock, J. (2006). Taking Our Own Medicine: Applying the Refinement Calculus to State-Rich Refinement Model Checking. In Z. Liu & J. He (Eds.), Formal Methods and Software Engineering: 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006. Proceedings (pp. 697-716). Springer. https://doi.org/10.1007/11901433_38
Nielsen, C. B., Larsen, P. G., Fitzgerald, J., Woodcock, J. & Peleska, J. (2015). Systems of Systems Engineering: Basic Concepts, Model-Based Techniques, and Research Directions. A C M Computing Surveys, 48(2). https://doi.org/10.1145/2794381
Frasheri, M., Katsaros, P., Iosifidis, A., Hansen, S. T., Gomes, C., Evans, V. T. & Larsen, P. G. (2024). System Monitoring through a Digital Twin. In J. Fitzgerald, C. Gomes & P. G. Larsen (Eds.), The Engineering of Digital Twins (pp. 189-207). Springer. https://doi.org/10.1007/978-3-031-66719-0_9
Hansen, S. T., Gomes, C. & Kazemi, Z. (2023). Synthesizing Orchestration Algorithms for FMI 3.0. In M. J. Blas & G. Alvarez (Eds.), 2023 Annual Modeling and Simulation Conference (ANNSIM) (pp. 184-195). IEEE. https://ieeexplore.ieee.org/document/10155361
Hansen, S. T., Gomes, C., Larsen, P. G. & Van De Pol, J. (2021). Synthesizing Co-Simulation Algorithms with Step Negotiation and Algebraic Loop Handling. In C. R. Martin, M. J. Blas & A. I. Psijas (Eds.), 2021 Annual Modeling and Simulation Conference (ANNSIM) (pp. 62-73). IEEE. https://doi.org/10.23919/ANNSIM52504.2021.9552073
Gil Arboleda, S., Mikkelsen, P. H., Gomes, C. & Larsen, P. G. (2024). Survey on open-source digital twin frameworks–A case study approach. Software: Practice and Experience, 54(6), 929-960. https://doi.org/10.1002/spe.3305
Esparza Isasa, J. A., Larsen, P. G. & Bjerge, K. (2012). Supporting the Partitioning Process in Hardware/Software Co-design with VDM-RT. Paper presented at 10th overture workshop , Paris, France. http://eprint.ncl.ac.uk/file_store/production/186969/A035CB6F-B782-42ED-9C1F-CB4C29820CC0.pdf#page=5
Aher, G. R., Macedo, H. D., Larsen, P. G. & Ramanujan, D. (2023). Supporting Design for Circular Economy Using Lifecycle Co-Simulation. In ASME 2023 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference: 28th Design for Manufacturing and the Life Cycle Conference (DFMLC) Article DETC2023-116537, V005T05A006; American Society of Mechanical Engineers. https://doi.org/10.1115/DETC2023-116537
Larsen, P. G., Gamble, C., Pierce, K., Ribeiro, A. & Lausdahl, K. (2014). Support for Co-modelling and Co-simulation: The Crescendo Tool. In J. Fitzgerald, P. G. Larsen & M. Verhoef (Eds.), Collaborative Design for Embedded Systems : Co-modelling and Co-simulation (pp. 97-114). Springer. https://doi.org/10.1007/978-3-642-54118-6_5
Šeta, B., Brander, M., Sandberg, M., Mollah, M. T., Kumar, V. & Spangenberg, J. (2026). Subvoxel Control of Fiber Orientation via Multidirectional Shearing in 3D Printing. Advanced Science, 13(9), Article e11008. https://doi.org/10.1002/advs.202511008
Woodcock, J. (1989). Structuring specifications in Z. Software Engineering Journal, 4(1), 51-66. https://doi.org/10.1049/sej.1989.0007
Hallerstede, S. (2010). Structured Event-B Models and Proofs. In M. Frappier, U. Glässer, S. Khurshid, R. Laleau & S. Reeves (Eds.), Abstract State Machines, Alloy, B and Z: Second International Conference, ABZ 2010. Proceedings (pp. 273-286). Springer. https://doi.org/10.1007/978-3-642-11811-1_21
Talasila, P., Tcherniak, D., Jensen, A. M. D., Mahato, S., Schörghofer-Queiroz, A., Ulriksen, M. D., Abbiati, G., Larsen, P. G. & Damkilde, L. (2025). Structural Health Monitoring of Engineering Structures Using Digital Twins: A Digital Twin Platform Approach. In Á. Cunha & E. Caetano (Eds.), Experimental Vibration Analysis for Civil Engineering Structures, EVACES 2025 - Volume 1 (pp. 986-996). Springer Science+Business Media. https://doi.org/10.1007/978-3-031-96110-6_98
Kamari, A. & Schultz, C. P. L. (2025). Streamlining BIM-integrated LCA for rapid-iterative-informed-early stage upfront carbon assessment by architects and engineers. Architecture, Structures and Construction, 5(1), Article 5. https://doi.org/10.1007/s44150-024-00122-2
Banaei, M., Boudjadar, J. & Khooban, M. H. (2021). Stochastic Model Predictive Energy Management in Hybrid Emission-Free Modern Maritime Vessels. IEEE Transactions on Industrial Informatics, 17(8), 5430-5440. https://doi.org/10.1109/TII.2020.3027808
Sandberg, M., Yuksel, O., Baran, I., Spangenberg, J. & Hattel, J. H. (2021). Steady-state modelling and analysis of process-induced stress and deformation in thermoset pultrusion processes. Composites Part B: Engineering, 216, Article 108812. https://doi.org/10.1016/j.compositesb.2021.108812
Boudjadar, J., David, A., Kim, J. H., Larsen, K. G., Mikucionis, M., Nyman, U. M. & Skou, A. J. (2016). Statistical and exact Schedulability analysis of Hierarchical Scheduling Systems. Science of Computer Programming, 127, 103-130. https://doi.org/10.1016/j.scico.2016.05.008
Lewis, P. R., Esterle, L., Chandra, A., Rinner, B., Torresen, J. & Yao, X. (2015). Static, dynamic, and adaptive heterogeneity in distributed smart camera networks. ACM Transactions on Autonomous and Adaptive Systems, 10(2), Article 8. https://doi.org/10.1145/2764460
Butterfield, A., Gancarski, P. & Woodcock, J. (2009). State Visibility and Communication in Unifying Theories of Programming. In 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering IEEE. https://doi.org/10.1109/TASE.2009.57
Freitas, L., Woodcock, J. & Cavalcanti, A. L. C. (2006). State-rich model checking. Innovations in Systems and Software Engineering, 2, 49–64. https://doi.org/10.1007/s11334-006-0021-9
Woodcock, J., Andersen, M. S., Aranha, D. F., Hallerstede, S., Hansen, S. T., Jakobsen, N. K., Kulik, T., Larsen, P. G., Macedo, H. D., Martin, C. I. I. & Norrild, V. A. M. (2023). State of the Art Report: Verified Computation. https://doi.org/10.48550/arXiv.2308.15191
Jakobsen, N. K. (2026). State-Based Modelling with a Concept DSL. In M. Leuschel & F. Ishikawa (Eds.), Rigorous State-Based Methods - 11th International Conference, ABZ 2025, Proceedings (pp. 311-321). Springer. https://doi.org/10.1007/978-3-031-94533-5_18
Larsen, P. G. & Plat, N. (1992). Standards for Nonexecutable Specification Languages. The Computer Journal, 35(6), 567-573. http://comjnl.oxfordjournals.org/content/35/6/567.full.pdf
Gomes, C., Legat, B., Jungers, R. M. & Vangheluwe, H. (2019). Stable Adaptive Co-simulation: A Switched Systems Approach. In B. Schweizer (Ed.), IUTAM Symposium on Solver-Coupling and Co-Simulation: Proceedings of the IUTAM Symposium on Solver-Coupling and Co-Simulation, Darmstadt, Germany, September 18-20, 2017 (pp. 81-97). Springer. https://doi.org/10.1007/978-3-030-14883-6_5
Pierce, K., Lausdahl, K. & Frasheri, M. (2022). Speeding Up Design Space Exploration through Compiled Master Algorithms. In H. D. Macedo & K. Pierce (Eds.), Proceedings of the 20th International Overture Workshop (pp. 66-81) https://doi.org/10.48550/arXiv.2208.10233
Oda, T., Akari, K., Yamamoto, Y., Nakakoji, K., Chang, H.-M. & Larsen, P. G. (2021). Specifying Abstract User Interface in VDM-SL. In J. Fitzgerald, T. Oda & H. D. Macedo (Eds.), Proceedings of the 18th International Overture Workshop (pp. 5-20) https://arxiv.org/pdf/2101.07261.pdf
Jones, C. B., Larsen, P. G., Prinz, A., Raschke, A. & Snook, C. F. (2014). Specification of the Cash Dispenser in Parallel using ASM and VDM. 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
Schultz, C. P. L. & Bhatt, M. (2015). Spatial Symmetry Driven Pruning Strategies for Efficient Declarative Spatial Reasoning. In S. I. Fabrikant, M. Raubal, M. Bertolotto, C. Davies, S. Freundschuh & S. Bell (Eds.), Spatial Information Theory (1 ed., pp. 331-353). Springer International Publishing. https://doi.org/10.1007/978-3-319-23374-1
Jan, S., Schultz, C. P. L., Schwering, A. & Chipofya, M. (2015). Spatial Rules for Capturing Qualitatively Equivalent Configurations in Sketch maps. In T. Lechowski, P. Walega & M. Zawidzki (Eds.), Proceedings of the LQMR 2015 Workshop (Vol. 7, pp. 13-20) https://doi.org/10.15439/2015F372
Cavalcanti, A. L. C., Miyazawa, A., Payne, R. & Woodcock, J. (2017). Sound Simulation and Co-simulation for Robotics. In Present and Ulterior Software Engineering (pp. 173-194). Springer. https://doi.org/10.1007/978-3-319-67425-4_11
Esterle, L., Lewis, P. R., Yao, X. & Rinner, B. (2014). Socio-economic vision graph generation and handover in distributed smart camera networks. ACM Transactions on Sensor Networks, 10(2), 1-24. Article 2530001. https://doi.org/10.1145/2530001
Sitarz, M. K. & Boudjadar, J. (2024). Smart Occupancy-driven Control for Ventilation Systems in Buildings with Privacy Concerns. In K. Arai (Ed.), Intelligent Systems and Applications: Proceedings of the 2023 Intelligent Systems Conference (IntelliSys) Volume 4 (pp. 773-791) https://doi.org/10.1007/978-3-031-47718-8_50
Butterfield, A., Sherif, A. & Woodcock, J. (2007). Slotted-Circus: A UTP-Family of Reactive Theories. In J. Davies & J. Gibbons (Eds.), Integrated Formal Methods: 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedings (pp. 75-97). Springer. https://doi.org/10.1007/978-3-540-73210-5_5
Vathoopan, M., Dorofeev, K. & Zoitl, A. (2021). Skill-based engineering of automation systems: Use case and evaluation. In AutomationML: The Industrial Cookbook (pp. 555-577). Walter de Gruyter. https://doi.org/10.1515/9783110745979-033
Papadopoulos, A. V. & Esterle, L. (2020). Situational Trust in Self-aware Collaborating Systems. In 2020 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C) (pp. 91-94). IEEE. https://doi.org/10.1109/ACSOS-C51401.2020.00037
Wallace, J. & Hasse, C. (2014). Situating Technological Literacy in the Workplace. In J. Dakers (Ed.), New Frontiers in Technological Literacy: Breaking with the Past Palgrave Macmillan.
Letafat, A., Rafiei Foroushani, M., Sheikh, M., Afshari-Igder, M., Banaei, M., Boudjadar, J. & Khooban, M. H. (2020). Simultaneous energy management and optimal components sizing of a zero-emission ferry boat. Journal of Energy Storage, 28, Article 101215. https://doi.org/10.1016/j.est.2020.101215
Sandberg, M., Rasmussen, F. S., Hattel, J. H. & Spangenberg, J. (2019). Simulation of resin-impregnation, heat-transfer and cure in a resin-injection pultrusion process. AIP Conference Proceedings, 2113(1). https://doi.org/10.1063/1.5112527
Sandberg, M., Hattel, J. H. & Spangenberg, J. (2019). Simulation of liquid composite moulding using a finite volume scheme and the level-set method. International Journal of Multiphase Flow, 118, 183-192. https://doi.org/10.1016/j.ijmultiphaseflow.2019.06.014
Atiya, D., King, S. & Woodcock, J. (2005). Simpler Reasoning About System Properties: a Proof-by-Refinement Technique. Electronic Notes in Theoretical Computer Science, 137(2), 5-22. https://doi.org/10.1016/j.entcs.2005.04.022
Gheisarnejad, M., Khooban, M. H., Dragicevic, T. & Boudjadar, J. (2019). Shipboard Secondary Load Frequency Control Based on PPLs and Communication Degradations. In Proceedings: IECON 2019 - 45th Annual Conference of the IEEE Industrial Electronics Society (pp. 4063-4067). Article 8927457 IEEE. https://doi.org/10.1109/IECON.2019.8927457

Displaying results 201 to 250 out of 1053

Previous

1

2

3

4

5

6

7

8

9

10

Next

Revised 13.11.2025
-
AU Engineering