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ér efter: Dato | Forfatter | Titel

Tøttrup, M. F., Hu, E. C., Kramer, B. A., Macedo, H. D. & Esterle, L. (2023). Using INTO-CPS Tools in the Development of a Digital Twin for the F1TENTH Race Car. I P. Masci, C. Bernardeschi, P. Graziani, M. Koddenbrock & M. Palmieri (red.), Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops: International Conference on Software Engineering and Formal Methods (s. 200-209). Springer. https://doi.org/10.1007/978-3-031-26236-4_18

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

Tola, D., Gonçalves Gomes, C. Â., Schultz, C. P. L., Schlette, C., Hansen, C. & Esterle, L. (2021). RoboCIM: Towards a Domain Model for Industrial Robot System Configurators. I A. Soylu, A. T. Nezhad, N. Nikolov, I. Toma, A. Fensel & J. Vennekens (red.), Proceedings of the 15th International Rule Challenge, 7th Industry Track, and 5th Doctoral Consortium @ RuleML+RR 2021 co-located with 17th Reasoning Web Summer School (RW 2021) and 13th DecisionCAMP 2021 as part of Declarative AI 2021 CEUR-WS.org. http://ceur-ws.org/Vol-2956/paper12.pdf

Tola, D. & Larsen, P. G. (2021). A Co-Simulation Based Approach for Developing Safety-Critical Systems. I Proceedings of the 18th International Overture Workshop https://arxiv.org/pdf/2101.07261.pdf#page=65

Tola, D., Madsen, E., Gomes, C., Esterle, L., Schlette, C., Hansen, C. & Larsen, P. G. (2022). Towards Easy Robot System Integration: Challenges and Future Directions. I 2022 IEEE/SICE International Symposium on System Integration (SII) (s. 77-82). IEEE. https://doi.org/10.1109/SII52469.2022.9708846

Tola, D., Böttjer, T., Larsen, P. G. & Esterle, L. (2022). Towards Modular Digital Twins of Robot Systems. I Proceedings - 2022 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion, ACSOS-C 2022 (s. 95-100). IEEE. https://doi.org/10.1109/ACSOSC56246.2022.00040

Tola, D. & Corke, P. (2023). Understanding URDF: A Dataset and Analysis.

Tola, D. & Corke, P. (2023). Understanding URDF: A Survey Based on User Experience.

Tola, D. & Corke, P. (2023). Understanding URDF: A Survey Based on User Experience. I Y. Jingang (red.), 2023 IEEE 19th International Conference on Automation Science and Engineering (CASE) IEEE. https://doi.org/10.1109/CASE56687.2023.10260660

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

Tola, D., Gomes, C., Schultz, C., Schlette, C., Hansen, C. & Esterle, L. (2021). RoboCIM: Towards a domain model for industrial robot system configurators. CEUR Workshop Proceedings, 2956.

Tola, D. (2024). Enabling Digitalization in Modular Robotic Systems Integration. [Ph.d.-afhandling, Aarhus Universitet]. Aarhus University.

Tiwari, A., Smolka, S. A., Esterle, L., Lukina, A., Yang, J. & Grosu, R. (2017). Attacking the V: On the resiliency of adaptive-horizon MPC. I D. D’Souza & K. Narayan Kumar (red.), Automated Technology for Verification and Analysis - 15th International Symposium, ATVA 2017, Proceedings (s. 446-462). Springer. https://doi.org/10.1007/978-3-319-68167-2_29

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.

Thule, C. & Larsen, P. G. (2016). Investigating Concurrency in the Co-Simulation Orchestration Engine for INTO-CPS. I A. S. Kamkin, A. K. Petrenko & A. N. Terekhov (red.), Preliminary Proceedings of the 10th Spring/Summer Young Researchers' Colloquium on Software Engineering (SYRCoSE 2016) (s. 223-228). Institute for System Programming of the Russian Academy of Sciences (ISPRAS). http://syrcose.ispras.ru/2016/SYRCoSE2016_Proceedings.pdf

Thule, C. & Larsen, P. G. (2016). Investigating Concurrency in the Co-Simulation Orchestration Engine for INTO-CPS. Proceedings of the Institute for System Programming, 28(2), 139-156. https://doi.org/10.15514/ISPRAS-2016-28(2)-9

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

Thule, C., Gomes, C., Deantoni, J., Larsen, P. G., Brauer, J. & Vangheluwe, H. (2018). Towards the Verification of Hybrid Co-simulation Algorithms. I M. Mazzara, I. Ober & G. Salaün (red.), Software Technologies: Applications and Foundations - STAF 2018 Collocated Workshops, Revised Selected Papers (s. 5-20). Springer. https://doi.org/10.1007/978-3-030-04771-9_1

Thule, C., Lausdahl, K. G., Gomes, C., Meisl, G. & Larsen, P. G. (2019). Maestro: The INTO-CPS co-simulation framework. Simulation Modelling Practice and Theory, 92, 45-61. https://doi.org/10.1016/j.simpat.2018.12.005

Thule, C., Palmieri, M., Gomes, C., Lausdahl, K., Macedo, H. D., Battle, N. & Larsen, P. G. (2020). Towards Reuse of Synchronization Algorithms in Co-simulation Frameworks. I J. Camara & M. Steffen (red.), Software Engineering and Formal Methods (s. 50-66). Springer. https://doi.org/10.1007/978-3-030-57506-9_5

Thule, C., Gomes, C. & Lausdahl, K. G. (2020). Formally Verified FMI Enabled External Data Broker: Rabbitmq FMU. I Proceedings of the 2020 Summer Simulation Conference (Bind 52, s. 1-12). Artikel 12 Association for Computing Machinery. https://doi.org/10.5555/3427510.3427533

Thomsen, A. K., Rasmussen, B. S., Frasheri, M., Gil Arboleda, S. & Larsen, P. G. (2025). Towards Digital Twin Aided Autonomy for a UR3e Robotic Manipulator. I A. Cavalcanti, S. Foster & R. Richardson (red.), Towards Autonomous Robotic Systems (s. 295-309). Springer. https://doi.org/10.1007/978-3-032-01486-3_24

Teizer, J., Johansen, K. W. & Schultz, C. P. L. (2022). The Concept of Digital Twin for Construction Safety. I F. Jazizadeh, T. Shealy & M. J. Garvin (red.), Construction Research Congress 2022: Computer Applications, Automation, and Data Analytics (s. 1156-1165). American Society of Civil Engineers. https://doi.org/10.1061/9780784483961.121

Techel, J., Zhao, X., Talasila, S. R. K. P., Zhang, Q. & Lucani Rötter, D. E. (2019). Demonstration of Reliable IoT Distributed Storage using Network Codes. I 2019 16th IEEE Annual Consumer Communications and Networking Conference, CCNC 2019 Artikel 8651722 IEEE. https://doi.org/10.1109/CCNC.2019.8651722

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

Tang, X. & Woodcock, J. (2004). Towards Mobile Processes in Unifying Theories. I Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004. IEEE. https://doi.org/10.1109/SEFM.2004.1347502

Tang, X. & Woodcock, J. (2004). Travelling Processes. I D. Kozen (red.), Mathematics of Program Construction: 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004. Proceedings (s. 381-399). Springer. https://doi.org/10.1007/978-3-540-27764-4_20

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. I DIS '23: : Proceedings of the 2023 ACM Designing Interactive Systems Conference (Bind 1, s. 1236-1247). Association for Computing Machinery. https://doi.org/10.1145/3563657.3596092

Talasila, S. R. K. P. & Lucani Rötter, D. E. (2019). Generalized Deduplication: Lossless Compression by Clustering Similar Data. I Proceeding of the 2019 IEEE 8th International Conference on Cloud Networking, CloudNet 2019 Artikel 9064140 IEEE. https://doi.org/10.1109/CloudNet47604.2019.9064140

Talasila, P., Sanjari, A., Villadsen, K., Thule, C., Larsen, P. G. & Macedo, H. D. (2021). Introducing Regression Tests and Upgrades to the INTO-CPS Application. I L. Cleophas & M. Massink (red.), Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops - ASYDE, CIFMA, and CoSim-CPS, 2020, Revised Selected Papers: ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14–15, 2020, Revised Selected Papers (s. 311-317). Springer. https://doi.org/10.1007/978-3-030-67220-1_23

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

Talasila, P., Crăciunean, C., Bogdan-Constantin, P., Larsen, P. G., Zamfirescu, C.-B. & Scovill, A. (2022). Comparison Between the HUBCAP and DIGITBrain Platforms for Model-Based Design and Evaluation of Digital Twins. I A. Cerone, M. Autili, A. Bucaioni, C. Gomes, P. Graziani, M. Palmieri & G. Venture (red.), Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops - CIFMA, CoSim-CPS, OpenCERT, ASYDE, Revised Selected Papers: CIFMA, CoSim-CPS, OpenCERT, ASYDE, Revised Selected Papers (s. 238–244). Springer, Cham. https://doi.org/10.1007/978-3-031-12429-7_17

Talasila, P., Gomes, C., Mikkelsen, P. H., Arboleda, S. G., Kamburjan, E. & Larsen, P. G. (2023). Digital Twin as a Service (DTaaS): A Platform for Digital Twin Developers and Users. https://doi.org/10.1109/SWC57546.2023.10448890

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

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

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. I Á. Cunha & E. Caetano (red.), Experimental Vibration Analysis for Civil Engineering Structures, EVACES 2025 - Volume 1 (s. 986-996). Springer Science+Business Media. https://doi.org/10.1007/978-3-031-96110-6_98

Taherinejad, N., Lewis, P., Jantsch, A., Rahmani, A. & Esterle, L. (2019). Resource constrained self-aware cyber-physical systems (Tutorial). -, 259-260. https://doi.org/10.1109/FAS-W.2019.00071

Sufrin , B. & Woodcock, J. (1987). Towards the formal specification of a simple programming support environment. Software Engineering Journal, 2(4), 86 – 94. https://doi.org/10.1049/sej.1987.0012 ,

Suetta, C., Frandsen, U., Nygaard, J. V. & Mikkelsen, P. H. (2018). Compression garment for providing neuromuscular electrical stimulation. (Patentnummer WO2018/206067 A1). https://dk.espacenet.com/publicationDetails/biblio?DB=EPODOC&II=0&ND=3&adjacent=true&locale=dk_DK&FT=D&date=20181115&CC=WO&NR=2018206067A1&KC=A1#

Suetta, C., Merhi, Y., Agarwala, S., Mikkelsen, P. H. & Nygaard, J. V. (2023). Dry electrode integrated with garment. (Patentnummer WO2023209148 (A1)). https://dk.espacenet.com/publicationDetails/biblio?DB=EPODOC&II=0&ND=3&adjacent=true&locale=dk_DK&FT=D&date=20231102&CC=WO&NR=2023209148A1&KC=A1#

Suchan, J., Bhatt, M. & Schultz, C. P. L. (2016). Deeply Semantic Inductive Spatio-Temporal Learning. I 26th International Conference on Inductive Logic Programming https://arxiv.org/pdf/1608.02693.pdf

Suchan, J., Bhatt, M., Walega, P. & Schultz, C. P. L. (2018). Visual Explanation by High-Level Abduction On Answer-Set Programming Driven Reasoning about Moving Objects. I 32nd AAAI Conference on Artificial Intelligence, AAAI 2018: AAAI-18 (s. 1965-1972). AAAI Press. https://www.aaai.org/ocs/index.php/AAAI/AAAI18/paper/view/17303/15902

Strandberg, P. E., Frasheri, M. & Enoiu, E. P. (2021). Ethical AI-Powered Regression Test Selection. I 2021 IEEE International Conference on Artificial Intelligence Testing (AITest) (s. 83-84). IEEE. https://doi.org/10.1109/AITEST52744.2021.00025

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

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

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

Sohier, H., Schultz, C. P. L., Zayed, Y. N. H., Kamari, A., Jonveaux, L., Zavitsas, K., Pantelide, G., Trinanes, J., Alejandre, A., Mberi, J. & Maxim, C. (2026). Accelerating the Transition to Green Building Neighbourhoods: A New Decision Support Platform. ABC2: Journal of Architecture, Building, Construction, and Cities, 2026(2), 11-22. https://abc2.net/index.php/journal/article/view/23

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

Singh, P. .., N., Haq, A. U. & Beliatis, M. (2024). Meta Standard Requirements for Harmonizing Dataspace Integration at the Edge. I 2023 IEEE Conference on Standards for Communications and Networking (CSCN) (s. 130-135). IEEE. https://doi.org/10.1109/CSCN60443.2023.10453211

Singh, P., Haq, A. U. & Presser, M. (2025). Towards a Responsible AI Adoption/Adaptation (RAA) Ecosystem: Vision and Model to Keep Socio-Technological Balance. I M. Presser, A. Skarmeta & S. Krco (red.), Global Internet of Things and Edge Computing Summit - 2nd International Summit, GIECS 2025, Proceedings: Second International Summit, GIECS 2025, Madrid, Spain, September 22, 2025, Proceedings (s. 71-92). Springer. https://doi.org/10.1007/978-3-032-09555-8_5

Viser resultater 101 til 150 ud af 1029

Forrige

Næste

Back to the main page

Revideret 13.11.2025

AU Engineering