Publications within Software Engineering & Computing Systems

Larsen, P. G., Fitzgerald, J., Gomes, C., Woodcock, J., Basagiannis, S., Ulisse, A., Esterle, L., Lucani Rötter, D. E., Hansen, S. T. & Oakes, B. J. (2024). Future Directions and Challenges. I J. Fitzgerald, C. Gomes & P. G. Larsen (red.), The Engineering of Digital Twins (s. 363-386). Springer. https://doi.org/10.1007/978-3-031-66719-0_15

Vindbjerg, L. K. & Esterle, L. (2024). Generative Models for Temporal-based Task Definition. 109-114. Afhandling præsenteret på 5th IEEE International Conference on Autonomic Computing and Self-Organizing Systems. https://doi.org/10.1109/ACSOS-C63493.2024.00040

Gil Arboleda, S., Schou, C., Mikkelsen, P. H. & Larsen, P. G. (2024). Integrating Skills into Digital Twins in Cooperative Systems. I 2024 IEEE/SICE International Symposium on System Integration (SII) (s. 1124-1131). IEEE. https://doi.org/10.1109/SII58957.2024.10417610

de la Cour, J. D., Johnsen, C.-J. & Avery, J. E. (2024). Lockstep-Parallel Dualization of Surface Triangulations. I PASC '24: Proceedings of the Platform for Advanced Scientific Computing Conference Artikel 9 Association for Computing Machinery. https://doi.org/10.1145/3659914.3659923

Esterle, L., Montagna, S., Pianini, D., Aguzzi, G., Bellman, K. L., Ciatto, G., Contoli, C., Donati, M., Mariani, S., Rahmani, A., Savaglio, C., Storti, E., TaheriNejad, N., van der Sluis, O. & Wang, Z. (2024). MADTECC 2024: 1st Workshop on Medical Applications with Digital Twins and Edge-cloud Continuum - Welcome and Committees. I 2024 IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events (PerCom Workshops) (s. 30-31). IEEE. https://doi.org/10.1109/PerComWorkshops59983.2024.10502899

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

Talasila, P., Mikkelsen, P. H., Gil Arboleda, S. & Larsen, P. G. (2024). Realising Digital Twins. I J. Fitzgerald, C. Gomes & P. G. Larsen (red.), The Engineering of Digital Twins (s. 225-256). Springer. https://doi.org/10.1007/978-3-031-66719-0_11

Kristensen, M. H., Bonizzi, A., Gomes, C., Hansen, S. T., Isasa Martin, C. I., Iven, H., Kamburjan, E., Larsen, P. G., Leucker, M., Talasila, P., Evans, V. T., Tonetta, S., Vosteen, L. B. & Wright, T. D. (2024). Runtime Verification of Autonomous Systems Utilizing Digital Twins as a Service. I 2024 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C) (s. 121-127). IEEE. https://doi.org/10.1109/ACSOS-C63493.2024.00042

Kulik, T., Kazemi, Z. & Larsen, P. G. (2024). Security and Privacy-related Issues in a Digital Twin Context. I J. Fitzgerald, C. Gomes & P. G. Larsen (red.), The Engineering of Digital Twins (s. 313-334). Springer. https://doi.org/10.1007/978-3-031-66719-0_13

Gomes, C., Lucani Rötter, D. E., Iosifidis, A., Feng, H., Ejersbo, H. & Frasheri, M. (2024). Sensing and Communication of Data from the Physical Twin. I J. Fitzgerald, C. Gomes & P. G. Larsen (red.), The Engineering of Digital Twins (s. 147-171). Springer. https://doi.org/10.1007/978-3-031-66719-0_7#citeas

Sitarz, M. K. & Boudjadar, J. (2024). Smart Occupancy-driven Control for Ventilation Systems in Buildings with Privacy Concerns. I K. Arai (red.), Intelligent Systems and Applications: Proceedings of the 2023 Intelligent Systems Conference (IntelliSys) Volume 4 (s. 773-791) https://doi.org/10.1007/978-3-031-47718-8_50

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

Frasheri, M., Katsaros, P., Iosifidis, A., Hansen, S. T., Gomes, C., Evans, V. T. & Larsen, P. G. (2024). System Monitoring through a Digital Twin. I J. Fitzgerald, C. Gomes & P. G. Larsen (red.), The Engineering of Digital Twins (s. 189-207). Springer. https://doi.org/10.1007/978-3-031-66719-0_9

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. I M. Srećković, M. Kassem, R. Soman & A. Chassiakos (red.), Proceedings of the 2024 European Conference on Computing in Construction (s. 268-275) https://doi.org/10.35490/EC3.2024.186

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

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

Böttjer, T. (2024). Towards Manufacturing Digital Twins: A Case Study in the Injection Moulding Industry. [Ph.d.-afhandling, Aarhus Universitet]. Section of Electrical and Computer Engineering, Department of Engineering, Aarhus University, DK.

Oakes, B., Gomes, C., Abbiati, G., Kamburjan, E., Bas, E. E. & Engelsgaard, S. (2024). Towards Ontological Service-Driven Engineering of Digital Twins. I Proceedings: MODELS 2024 - ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings (s. 464-469). Association for Computing Machinery. https://doi.org/10.1145/3652620.3688261

Gil Arboleda, S. (2024). Towards realization of Digital Twins for systems with coupled behavior. [Ph.d.-afhandling, Aarhus Universitet]. Aarhus University. https://doi.org/10.7146/aul.545

Larsen, P. G., Talasila, P. & Fitzgerald, J. (2024). Towards the Composition of Digital Twins. I Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (s. 103-122). Springer. https://doi.org/10.1007/978-3-031-67114-2_5

Tola, D. & Corke, P. (2024). Understanding URDF: A Dataset and Analysis. IEEE Robotics and Automation Letters, 9(5), 4479-4486. Artikel 10478618. https://doi.org/10.1109/LRA.2024.3381482

Wewer, C. R., Mahapatra, H., Esterle, L. & Larsen, P. G. (2024). Using FactoryML for Deployment of Machine Learning Models in Industrial Production. I T. Facchinetti, A. Cenedese, L. L. Bello, S. Vitturi, T. Sauter & F. Tramarin (red.), 2024 IEEE 29th International Conference on Emerging Technologies and Factory Automation, ETFA 2024 IEEE. https://doi.org/10.1109/ETFA61755.2024.10710938

H. Bohlbro, C., Macedo, H. D., Tola, D., Esterle, L. & Larsen, P. G. (2024). Visualisation in a Digital Twin Context. I J. Fitzgerald, C. Gomes & P. G. Larsen (red.), The Engineering of Digital Twins (s. 175-188). Springer. https://doi.org/10.1007/978-3-031-66719-0_8

Staugaard, J., Bennedsen, J., Seidl, C., Nicolajsen, S., Fink, M. & Brabrand, C. (2024). Visualizing the Conceptual Framework of Object Orientation for Novice Programmers. I 2024 IEEE Frontiers in Education Conference, FIE 2024 - Proceedings IEEE. https://doi.org/10.1109/FIE61694.2024.10893141

Muntean, I., Frasheri, M. & Munaro, T. (2025). A Case Study on the Application of Digital Twins for Enhancing CPS Operations. Electronic Proceedings in Theoretical Computer Science, EPTCS, 418, 24-31. https://doi.org/10.4204/EPTCS.418.3

Vanommeslaeghe, Y., Gomes, C., Van Acker, B., Denil, J. & De Meulenaere, P. (2025). Adapting parallel DEVS semantics to FMI 3.0 co-simulation using synchronous clocks. Simulation. Advance online publication. https://doi.org/10.1177/00375497251393255

Razmi, P., Rahimi, T., Gheisarnejad Chirani, M. & Khooban, M. H. (2025). Adaptive fuzzy gain scheduling PID controller for frequency regulation in modern power system. IET Renewable Power Generation, 19(1), Artikel e12569. https://doi.org/10.1049/rpg2.12569

Boudjadar, J. & Frasheri, M. (2025). A Digital Twin Enabled Runtime Analysis and Mitigation for Autonomous Robots Under Uncertainties. I Proceedings of the 22nd International Conference on Informatics in Control, Automation and Robotics - Volume 2: ICINCO (s. 96-104). SCITEPRESS Digital Library. https://doi.org/10.5220/0013772600003982

Zayed, Y. N. H., Kristoffersen, A. E., Lohm, G., Kamari, A. & Schultz, C. P. L. (2025). A Formalization Framework for Integrating Social Design Intentions into Digital Building Models. Sustainability, 17(17), Artikel 7739. https://doi.org/10.3390/su17177739

Thylstrup, B., Schrøder, S., Fabricius, V. A. V., Brummer, J. E., Kirk, H. B. & del Palacio González , A. (2025). AfterCare – udvikling og pilottest af mobilapplikation til forebyggelse af tilbagefald af alkohol- og cannabisbrug blandt unge voksne.

Hallerstede, S. & Hatcliff, J. (2025). A mechanized semantics for component-based systems in the HAMR AADL runtime. Science of Computer Programming, 245, Artikel 103312. https://doi.org/10.1016/j.scico.2025.103312

Blasco Román, S. & Böttjer, T. (2025). A Methodological Approach to Prioritize Digital Twin Development in Manufacturing. Applied Stochastic Models in Business and Industry, 41(3), Artikel e2889. https://doi.org/10.1002/asmb.2889

Gil Arboleda, S., Kamburjan, E., Talasila, P. & Larsen, P. G. (2025). An architecture for coupled digital twins with semantic lifting. Software and Systems Modeling, 24(5), 1379-1404. https://doi.org/10.1007/s10270-024-01221-w

Maheshwari, R., Loidl, M., Khare, R. & Cools, M. (2025). Are we measuring what matters? A multilayered framework evaluating active mobility infrastructure through PLOS, BLOS and 15 minute city principles. Journal of Cycling and Micromobility Research, 6, Artikel 100089. https://doi.org/10.1016/j.jcmr.2025.100089

Hardin, D., Amundson, I., Babar, J., Cofer, D., Hasan, S., Hoech, K., Belt, J., Hatcliff, J., Robby & Hallerstede, S. (2025). Automated SysML v2 System Model to Memory-Safe Language Code Generation for Avionics Applications. I DASC 2025 - Digital Avionics Systems Conference, Conference Proceedings IEEE. https://doi.org/10.1109/DASC66011.2025.11257170

Mrozowska, M. A., Avery, J., Stoustrup, A., Nuterman, R., Johnsen, C. J., Thormann, A. & Jochum, M. (2025). Bayesian Optimization With GPU Acceleration for Ocean Models. Journal of Geophysical Research: Machine Learning and Computation, 2(3), Artikel e2024JH000517. https://doi.org/10.1029/2024JH000517

Li, B. & Schultz, C. P. L. (2025). Clingo2DSR - A clingo-based software system for declarative spatial reasoning. Spatial Cognition & Computation, 25(1), 69-119. https://doi.org/10.1080/13875868.2024.2324875

Zayed, Y. N. H., Kamari, A. & Schultz, C. P. L. (2025). Co-creation of Prospect: a BIM-based Plugin Enabling Architects to Embed Social Design Intentions in Building Models. Abstract fra Joint EC3 (European Conference on Computing in Construction) and CIB W78 (Information Technology for Construction) 2025, Porto, Portugal. https://ec-3.org/publications/conferences/EC32025/papers/EC32025_173.pdf

Kakavandi, F., Han, P., Nerenst, T. B., De Reus, R., Gomes, C. & Larsen, P. G. (2025). Comparative Study in Fault Detection under Data Scarcity for Pharmaceutical Device Manufacturing. I 2025 International Conference on Control, Automation and Diagnosis, ICCAD 2025 IEEE. https://doi.org/10.1109/ICCAD64771.2025.11099417

Talasila, P., Gomes, C., Vosteen, L. B., Iven, H., Leucker, M., Gil, S., Mikkelsen, P. H., Kamburjan, E. & Larsen, P. G. (2025). Composable digital twins on Digital Twin as a Service platform. Simulation, 101(3), 287-311. https://doi.org/10.1177/00375497241298653

Hallerstede, S., Robby & Hatcliff, J. (2025). Danvy’s Mystery Functions in Slang. I F. Henglein, J. Lawall, J. Palsberg & S. Ilya (red.), OLIVIERFEST 2025 - Proceedings of the Workshop Dedicated to Olivier Danvy on the Occasion of His 64th Birthday (s. 14-25). Association for Computing Machinery. https://doi.org/10.1145/3759427.3760363

Miyazawa, A., Ahmadi, S., Cavalcanti, A., Baxter, J., Post, M., Ribeiro, P., Timmis, J. & Wright, T. (2025). Diagrammatic physical robot models. Software and Systems Modeling, 24(5), 1549-1593. Artikel 103720. https://doi.org/10.1007/s10270-025-01270-9

Mendes, J. M., Frasheri, M. & Larsen, P. G. (2025). Digital Twin-Enabled Collision Mitigation for Path Constrained Applications. I 2025 11th International Conference on Automation, Robotics, and Applications (ICARA) (2025 udg., s. 394-398) https://doi.org/10.1109/ICARA64554.2025.10977591

Fitzgerald, J., Gomes, C., Johnsen, E. B., Kamburjan, E., Leucker, M. & Woodcock, J. (2025). Digital Twin Engineering. I T. Margaria & B. Steffen (red.), Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification - 12th International Symposium, ISoLA 2024, Proceedings (s. 3-8). Springer Science and Business Media Deutschland GmbH. https://doi.org/10.1007/978-3-031-75390-9_1

Gomes, C., Kristensen, M. H., Andersen, M. S., Talasila, P., Feng, H., Wright, T. & Larsen, P. G. (2025). Digital Twin Tutorial: The Incubator Case Study. I J. P. Bowen, C. Gomes & Z. Liu (red.), Engineering Trustworthy Software Systems - 6th International School, SETSS 2024, Tutorial Lectures (s. 68-101). Springer Science and Business Media Deutschland GmbH. https://doi.org/10.1007/978-981-96-4656-2_3

Boudjadar, J., Islam, S. U. & Buyya, R. (2025). Dynamic FPGA reconfiguration for scalable embedded artificial intelligence (AI): A co-design methodology for convolutional neural networks (CNN) acceleration. Future Generation Computer Systems, 169, Artikel 107777. https://doi.org/10.1016/j.future.2025.107777

Kristensen, M., Wright, T. D., Gomes, C., Esterle, L. & Larsen, P. G. (2025). DynSRV: Dynamically Updated Properties for Stream Runtime Verification. I Runtime Verification (s. 101-119). Springer. https://doi.org/10.1007/978-3-032-05435-7_7

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

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

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. I M. Dohler, A. Melot & M. A. Lopez (red.), Proceedings of the 11th International Operational Modal Analysis Conference, IOMAC 2025 (s. 271-279). International Operational Modal Analysis Conference (IOMAC). https://iomac2025.sciencesconf.org/596439/document

Viser resultater 251 til 300 ud af 343

Forrige

Næste

Revideret 10.08.2023

Heidi Søndergaard