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

King, D. W., Esterle, L. & Peterson, G. L. (2019). Entropy-Based Team Self-Organization with Signal Suppression. In H. Fellermann, J. Bacardit, Á. Goñi Moreno & R. Füchslin (Eds.), ALIFE 2019: The 2019 Conference on Artificial Life (Vol. 31, pp. 145-152). MIT Press. https://doi.org/10.1162/isal_a_00154

Haq, A. U., Singh, P., Mihovska, A. & Beliatis, M. J. (2025). Enhancing Security in Near-Field RIS Communications Assisted by UAV. IEEE Transactions on Consumer Electronics, 71(4), 10404-10417. https://doi.org/10.1109/TCE.2025.3597084

Larsen, P. G., Kristiansen, E. L., Bennedsen, J. & Bjerge, K. (2017). Enhancing non-technical skills by a multidisciplinary engineering summer school. European Journal of Engineering Education, 42(6), 1076-1096. https://doi.org/10.1080/03043797.2016.1261278

Woodcock, J. (2014). Engineering UToPiA: Formal Semantics for CML. In C. Jones, P. Pihlajasaari & J. Sun (Eds.), FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16, 2014. Proceedings (pp. 22-41). Springer. https://doi.org/10.1007/978-3-319-06410-9_3

Fitzgerald, J., Larsen, P. G., Margaria, T. & Woodcock, J. (2021). Engineering of Digital Twins for Cyber-Physical Systems. In T. Margaria & B. Steffen (Eds.), Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings (pp. 49-53). Springer. https://doi.org/10.1007/978-3-030-83723-5_4

Brandenbourger, B., Vathoopan, M. & Zoitl, A. (2016). Engineering of automation systems using a metamodel implemented in AutomationML. IEEE International Conference on Industrial Informatics (INDIN), 363-370. https://doi.org/10.1109/INDIN.2016.7819187

Banaei, M., Ghanami, F., Rafiei Foroushani, M., Boudjadar, J. & Khooban, M. H. (2020). Energy Management of Hybrid Diesel/Battery Ships in Multidisciplinary Emission Policy Areas. Energies, 13(16), Article 4179. https://doi.org/10.3390/en13164179

Rafiei Foroushani, M., Boudjadar, J. & Khooban, M. H. (2021). Energy Management of a Zero-Emission Ferry Boat with a Fuel Cell-Based Hybrid Energy System: Feasibility Assessment. IEEE Transactions on Industrial Electronics, 68(2), 1739-1748. https://doi.org/10.1109/TIE.2020.2992005

Beck, M. M., Boudjadar, J. & Chougui, Y. (2021). Energy Efficient Real-time Calibration of Wireless Sensor Networks for Smart Buildings. 63-77. Paper presented at International Symposium on Intelligent and Autonomous Systems, Tallinn, Estonia. https://doi.org/10.1007/978-3-030-87657-9_5

Rehman, Z. U., Hassan, U., Islam, S. U., Gallos, P. & Boudjadar, J. (2025). Energy-Efficient AI for Medical Diagnostics: Performance and Sustainability Analysis of ResNet and MobileNet. In Intelligent Health Systems – From Technology to Data and Knowledge (pp. 1225-1229). IOS Press. https://doi.org/10.3233/SHTI250585

Isasa, J. A. E., Larsen, P. G. & Hansen, F. O. (2017). Energy-aware model-driven development of a wearable healthcare device. In M. Huhn & L. Williams (Eds.), Software Engineering in Health Care: FHIES 2014 and SEHC 2014, Revised Selected Papers (Vol. 9062 , pp. 44-63). Springer. https://doi.org/10.1007/978-3-319-63194-3_4

Esparza Isasa, J. A., Larsen, P. G. & Hansen, F. O. (2014). Energy-Aware Design of Embedded Software through Modelling and Simulation. In A. Kamkin, A. Petrenko & A. Terekhov (Eds.), Preliminary Proceedings of the 8th Spring/Summer Young Researchers’ Colloquium on Software Engineering: SYRCoSE 2014 (pp. 51-56). Institute for System Programming, Russian Academy of Sciences (ISPRAS). http://syrcose.ispras.ru/2014/files/submissions/08_syrcose2014.pdf

Toor, A., Islam, S. U., Sohail, N., Akhunzada, A., Boudjadar, J., Khattak, H. A., Din, I. U. & Rodrigues, J. J. P. C. (2019). Energy and performance aware fog computing: A case of DVFS and green renewable energy. Future Generation Computer Systems, 101, 1112-1121. https://doi.org/10.1016/j.future.2019.07.010

Schultz, C. P. L. & Bhatt, M. (2015). Encoding Relative Orientation and Mereotopology Relations with Geometric Constraints in CLP(QS). In Annals of Computer Science and Information Systems (Vol. 7, pp. 55-63) http://bazekon.icm.edu.pl/bazekon/element/bwmeta1.element.ekon-element-000171419090

Kazemi, Z., Yildiz, E. & Larsen, P. G. (2024). Enabling Flexible Manufactuirng in Wind Industry Based on Movable Factory Concept: Definitions, Requirements, and Challenges. In 2024 IEEE International Conference on Industrial Technology (ICIT) IEEE. https://doi.org/10.1109/ICIT58233.2024.10540826

Tola, D. (2024). Enabling Digitalization in Modular Robotic Systems Integration. [PhD dissertation, Aarhus University]. Aarhus Universitet.

Couto, L. D., Tran-Jørgensen, P. W. V., Nilsson, R. S. & Larsen, P. G. (2020). Enabling continuous integration in a formal methods setting. International Journal on Software Tools for Technology Transfer, 22(6), 667-683. https://doi.org/10.1007/s10009-019-00546-y

Larsen, P. G., Soulioti, G., Macedo, H. D., Alifragkis, V., Fitzgerald, J., Livanos, N., Pfeifer, H., Pasquinelli, M., Benedict, M., Thule, C., Tonetta, S., Stritzelberger, B., Marguglio, A., Sutton, L. F., Obstbaum, M., Gusmeroli, S., Beutenmüller, F., Jr., G. S., Wijnands, Q. & Talasila, P. (2020). Enabling Combining Models and Tools in an Online MBSE Collaboration Platform. In Model Based Space Systems and Software Engineering (MBSE2020) https://indico.esa.int/event/329/attachments/3868/5508/Abstracts_combined.pdf

Castillo-Sánchez, J. B., Cano-García, J. M., González-Parada, E. & Frasheri, M. (2025). Enabling Autonomous Agents for Mobile Wireless Sensor Networks. Applied Sciences (Switzerland), 15(11), Article 6193. https://doi.org/10.3390/app15116193

Wallace, J. (2012). Emergent Artefacts of Ethnography and Processual Engagements of design. In Design and Anthropology (pp. 207-218). Ashgate.

Bhatt, M., Suchan, J., Kondyli, V. & Schultz, C. P. L. (2016). Embodied visuo-locomotive experience analysis: immersive reality based summarisation of experiments in environment-behaviour studies. In Proceedings of the ACM Symposium on Applied Perception, SAP 2016 (pp. 133-133) https://doi.org/10.1145/2931002.2948720

Krukar, J., Manivannan, C., Bhatt, M. & Schultz, C. P. L. (2021). Embodied 3D isovists: A method to model the visual perception of space. Environment and Planning B: Urban Analytics and City Science, 48(8), 2307-2325. https://doi.org/10.1177/2399808320974533

Macedo, H. D., Nilsson, R. S. & Larsen, P. G. (2019). Embedding deviation-tolerance in a harvest logistic solution. Computers, 8(2). https://doi.org/10.3390/computers8020031

Esparza Isasa, J. A., Hansen, F. O. & Larsen, P. G. (2013). Embedded Systems Energy Consumption Analysis Through Co-modelling and Simulation. World Academy of Science, Engineering and Technology. Proceedings, 78, 424-430. http://www.waset.org/journals/waset/v78/v78-74.pdf

Dieber, B., Simonjan, J., Esterle, L., Rinner, B., Nebehay, G., Pflugfelder, R. & Fernandez, G. J. (2013). Ella: Middleware for multi-camera surveillance in heterogeneous visual sensor networks. Paper presented at 2013 7th International Conference on Distributed Smart Cameras, ICDSC 2013, Palm Springs, CA, United States. https://doi.org/10.1109/ICDSC.2013.6778223

Frydenlund, A., Poggi, A. I., Hansen, S. K., Brage-Andersen, M., Merhi, Y., Agarwala, S., Mikkelsen, P. H., Nygaard, J. V., Steffensen, I. E. & Suetta, C. (2021). Elektrisk stimulation mod muskel- og funktionstab hos en patient indlagt med COVID-19. Ugeskrift for Læger, 183(20), 1-4. Article V03210275. https://ugeskriftet.dk/files/scientific_article_files/2021-05/v03210275_web.pdf

Khooban, M. H., Gheisarnezhad , M., Vafamand, N. & Boudjadar, J. (2019). Electric Vehicle Power Propulsion System Control Based on Time-Varying Fractional Calculus: Implementation and Experimental Results. IEEE Transactions on Intelligent Vehicles, 4(2), 255-264. Article 8671754. https://doi.org/10.1109/TIV.2019.2904415

Gil Arboleda, S., D. Zapata-Madrigal, G. & García-Sierra, R. (2020). Electrical Internet of Things - EIoT: A Platform for the Data Management in Electrical Systems. In K. Arai, R. Bhatia & S. Kapoor (Eds.), Proceedings of the Future Technologies Conference (FTC) 2019 (pp. 49-65). Springer. https://doi.org/10.1007/978-3-030-32523-7_4

Tcherniak, D., Talasila, P., Ulriksen, M. D., Abbiati, G., Mahato, S. & Jensen, A. M. D. (2025). Efficient system identification, model updating, and virtual sensing in the Digital-Twin-as-a-Service software platform. In M. Dohler, A. Melot & M. A. Lopez (Eds.), Proceedings of the 11th International Operational Modal Analysis Conference, IOMAC 2025 (pp. 271-279). International Operational Modal Analysis Conference (IOMAC). https://iomac2025.sciencesconf.org/596439/document

Hesselvig, J., Nygaard, R. T., Budzik, M. K. & Sandberg, M. (2025). Efficient continuum-based modelling and analysis of polymer SLS: Insights into particle sintering and densification in straight and corner scanning passes. Additive Manufacturing, 109, Article 104828. https://doi.org/10.1016/j.addma.2025.104828

Hansen, S. K., Hansen, P., Berry, T. W., Grønbæk, H. D., Olsen, C. M., Merhi, Y., Agarwala, S., Aagaard, P., Hvid, L. G., Agergaard, J., Dela, F. & Suetta, C. (2025). Effects of neuromuscular electrical stimulation on voluntary muscle activation and peripheral muscle contractility following short-term bed rest. Experimental Physiology, 110(12), 1966-1977. https://doi.org/10.1113/EP092194

Homayoun, S., Haraldsdóttir, M., Lynge, E. & Jensen, C. D. (2024). Effective Noise Reduction in NDR Systems: A Simple Yet Powerful Apriori-Based Approach. Sensors, 24(20), Article 6547. https://doi.org/10.3390/s24206547

Fitzgerald, J., Ishikawa, F. & Larsen, P. G. (2020). Editorial to the theme section on model-based engineering of smart systems. Software and Systems Modeling, 19(3), 579-580. https://doi.org/10.1007/s10270-019-00758-5

Liu, Z. & Woodcock, J. (2011). Editorial. Formal Aspects of Computing, 23(2), 151. https://doi.org/10.1007/s00165-011-0173-8

Freeman Paige, R., Brooke, P. J., Song Dong, J. & Woodcock, J. (2009). Editorial. Formal Aspects of Computing, 21(4). https://doi.org/10.1007/s00165-009-0113-z

Jones, C. B. & Woodcock, J. (2007). Editorial. Formal Aspects of Computing, 20(1), 1-3. https://doi.org/10.1007/s00165-007-0064-1

Jones, C. & Woodcock, J. (2007). Editorial. Formal Aspects of Computing, 19(4), 415–416. https://doi.org/10.1007/s00165-007-0046-3

Gudjonsdottir, M. S., Audunsson, H., Donoso, A. M., Kristjansson, G., Saemundsdóttir, I., Foley, J. T., Kyas, M., Sripakagorn, A., Roslöf, J., Bennedsen, J., Edström, K., Kuptasthien, N. & Lyng, R. (2022). Editorial. Proceedings of the International CDIO Conference, iii-iv.

Bennedsen, J., Edström, K., Kuptasthien, N., Lauritsen, A. B., Roslöf, J. & Songer, R. (2019). Editorial. Proceedings of the International CDIO Conference.

Malmqvist, J., Bennedsen, J., Edström, K., Kuptasthien, N., Sripakagorn, A., Roslöf, J., Saemundsdottir, I. & Siiskonen, M. (2020). Editorial. In J. Malmqvist, J. Bennedsen, K. Edstrom, N. Kuptasthien, A. Sripakagorn, J. Roslof, I. Saemundsdottir & M. Siiskonen (Eds.), 16th International CDIO Conference, CDIO 2020 - Proceedings Chalmers University of Technology.

Bennedsen, J., Edström, K., Guðjónsdóttir, M. S., Sæmundsdóttir, I., Kuptasthien, N., Roslöf, J. & Sripakagorn, A. (2021). Editorial. Proceedings of the International CDIO Conference, 1-2.

Lyng, R., Bennedsen, J., Bettaieb, L., Bodsberg, N. R., Edström, K., Guðjónsdóttir, M. S., Roslöf, J., Solbjørg, O. K. & Øien, G. (2023). Editorial. In Proceedings of the 19th International CDIO Conference (pp. iv-v). NTNU Norwegian University of Science and Technology.

Casadei, R., Esterle, L., Gamble, R., Harvey, P. & Wanner, E. F. (2024). Editorial: Understanding and engineering cyber-physical collectives. Frontiers in Robotics and AI, 11, Article 1407421. https://doi.org/10.3389/frobt.2024.1407421

Bettaieb, L., Ajailia, N., Bennedsen, J., Edström, K., Singh, M. N., Lyng, R., Maynard, N., Malmqvist, J. & Byström, F. (2024). Editorial. Proceedings of the International CDIO Conference, IV-V.

Hasanpour, M. A., Kirkegaard, M. & Fafoutis, X. (2025). EdgeMark: An automation and benchmarking system for embedded artificial intelligence tools. Journal of Systems Architecture, 167, Article 103488. https://doi.org/10.1016/j.sysarc.2025.103488

Krukar, J. & Schultz, C. (2025). Ecological validity of architectural cognition: a framework. Architectural Science Review, 68(5), 355-362. https://doi.org/10.1080/00038628.2024.2410741

Santos, P. E., Syfuss, L., Dee, H., Schultz, C. P. L. & Bhatt, M. (2016). Eclipse in Occlusion: A mereotopological representation of celestial eclipses. In 29th International Workshop on Qualitative Reasoning

Kristensen, M., Wright, T. D., Gomes, C., Esterle, L. & Larsen, P. G. (2026). DynSRV: Dynamically Updated Properties for Stream Runtime Verification. In B. Könighofer & H. Torfah (Eds.), Runtime Verification - 25th International Conference, RV 2025, Proceedings (pp. 101-119). Springer. https://doi.org/10.1007/978-3-032-05435-7_7

Ejersbo, H., Lausdahl, K., Frasheri, M. & Esterle, L. (2023). Dynamic Runtime Integration of New Models in Digital Twins. ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, 44-55. https://doi.org/10.1109/SEAMS59076.2023.00016

Piciarelli, C., Esterle, L., Khan, A., Rinner, B. & Foresti, G. L. (2016). Dynamic Reconfiguration in Camera Networks: A Short Survey. IEEE Transactions on Circuits and Systems for Video Technology, 26(5), 965-977. Article 7095560. https://doi.org/10.1109/TCSVT.2015.2426575

Displaying results 651 to 700 out of 1057

Back to the main page

Revised 13.11.2025

AU Engineering