Department of Electrical and Computer Engineering

Aarhus University Seal

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

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. In Y. Jingang (Ed.), 2023 IEEE 19th International Conference on Automation Science and Engineering (CASE) IEEE. https://doi.org/10.1109/CASE56687.2023.10260660
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. In P. Masci, C. Bernardeschi, P. Graziani, M. Koddenbrock & M. Palmieri (Eds.), Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops: International Conference on Software Engineering and Formal Methods (pp. 200-209). Springer. https://doi.org/10.1007/978-3-031-26236-4_18
Salleh, N., Mendes, E., Mendes, F., Lekamlage, D. & Petersen, K. (2023). Value-based Software Engineering: A Systematic Mapping Study. E-Informatica Software Engineering Journal , 17(1), Article 230106. https://doi.org/10.37190/e-Inf230106
Wallace, J. & Knudsen, L. E. D. (2023). Walking towards a method for multi-sited drawing. In J. Roldan, R. M. Viadel, M. Mosavarzadeh, K. Morimoto & R. L. Irwin (Eds.), Visual Methods, A/r/tography and Walking (pp. 144-159). Tirant Lo Blanch.
Kamari, A., Kotula, B. M. & Schultz, C. P. L. (2022). A BIM-based LCA tool for sustainable building design during the early design stage. Smart and Sustainable Built Environment, 11(2), 217-244. https://doi.org/10.1108/SASBE-09-2021-0157
Pianini, D., Pettinari, F., Casadei , R. & Esterle, L. (2022). A Collective Adaptive Approach to Decentralised k-Coverage in Multi-robot Systems. ACM Transactions on Autonomous and Adaptive Systems, 17(1-2), 1-39. Article 4. https://doi.org/10.1145/3547145
Kamari, A. & Schultz, C. P. L. (2022). A combined principal component analysis and clustering approach for exploring enormous renovation design spaces. Journal of Building Engineering , 48, Article 103971. https://doi.org/10.1016/j.jobe.2021.103971
Boudjadar, J. (2022). A Digital Twin Setup for Safety-aware Optimization of a Cyber-Physical System. 161-168. Paper presented at International Conference on Informatics in Control, Automation and Robotics, Lisbon, Portugal. https://doi.org/10.5220/0011272100003271
Rask, J. K., Madsen, F. P., Battle, N., Freitas, L., Macedo, H. D. & Larsen, P. G. (2022). Advanced VDM Support in Visual Studio Code. In H. D. Macedo & K. Pierce (Eds.), Proceedings of the 20th International Overture Workshop (pp. 34-49) https://doi.org/10.48550/arXiv.2208.10233
Boudjadar, J. (2022). A Flexible Implementation Model for Neural Networks on FPGAs. Paper presented at International Conference on Intelligent Systems Design and Applications.
Bakhtiarnia, A., Leporowski, B., Esterle, L. & Iosifidis, A. (2022). Analysis of the Effect of Low-Overhead Lossy Image Compression on the Performance of Visual Crowd Counting for Smart City Applications. In 2022 IEEE International Smart Cities Conference (ISC2) IEEE. https://doi.org/10.1109/ISC255366.2022.9921939
Sandberg, M., Hattel, J. H. & Spangenberg, J. (2022). A streamline-integration technique for simulating build-up of process-induced stresses and shape distortions in thermoset pultrusion processes.
Kulik, T., Dongol, B., Larsen, P. G., Macedo, H. D., Schnieder, S., Tran-Jørgensen, P. W. V. & Woodcock, J. (2022). A Survey of Practical Formal Methods for Security. Formal Aspects of Computing, 34(1), Article 3522582. https://doi.org/10.1145/3522582
Madsen, E., Tola, D., Hansen, C., Gomes, C. & Larsen, P. G. (2022). AURT: A Tool for Dynamics Calibration of Robot Manipulators. In 2022 IEEE/SICE International Symposium on System Integration, SII 2022 (pp. 190-195). IEEE. https://doi.org/10.1109/SII52469.2022.9708769
Johansen, K. W., Schultz, C. P. L. & Teizer, J. (2022). BIM-based fall hazard ontology and benchmark model for comparison of automated prevention through design approaches in construction safety. In J. Teizer & C. P. Leslie Schultz (Eds.), Proceedings of the 29thEG-ICE International Workshop on Intelligent Computing in Engineering (pp. 408-417) https://doi.org/10.7146/aul.455.c231
Hallerstede, S. (2022, Jun 14). Book review: Decision Procedures – An Algorithmic Point of View. (2 ed.) Springer Berlin, Heidelberg. Texts in Theoretical Computer Science. An EATCS Series https://www.fmeurope.org/2022/06/14/book-review-decision-procedures-an-algorithmic-point-of-view/
Villadsen, K., Dalgaard Jensen, M., Larsen, P. G. & Macedo, H. D. (2022). Bridging the Requirements-Specification Gap using Behaviour-Driven Development. In H. D. Macedo & K. Pierce (Eds.), Proceedings of the 20th International Overture Workshop (pp. 19-33) https://doi.org/10.48550/arXiv.2208.10233
Esterle, L. (2022). Collaborative Systems: Learning and Working Together. CEUR Workshop Proceedings, 3461.
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. In A. Cerone, M. Autili, A. Bucaioni, C. Gomes, P. Graziani, M. Palmieri & G. Venture (Eds.), 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 (pp. 238–244). Springer, Cham. https://doi.org/10.1007/978-3-031-12429-7_17
Gil Arboleda, S., Zapata-Madrigal, G. D., García-Sierra, R. & Cruz Salazar, L. A. (2022). Converging IoT protocols for the data integration of automation systems in the electrical industry. Journal of Electrical Systems and Information Technology, 9(1), 1-21. Article 1. https://doi.org/10.1186/s43067-022-00043-4
Volk, M., Yuksel, O., Baran, I., Hattel, J. H., Spangenberg, J. & Sandberg, M. (2022). Cost-efficient, automated, and sustainable composite profile manufacture: A review of the state of the art, innovations, and future of pultrusion technologies. Composites Part B: Engineering, 246, Article 110135. https://doi.org/10.1016/j.compositesb.2022.110135
Böttjer, T., Ørnskov Rønsch, G., Gomes, C., Ramanujan, D., Iosifidis, A. & Larsen, P. G. (2022). Data-Driven Identification of Remaining Useful Life for Plastic Injection Moulds. In A.-L. Andersen, R. Andersen, T. D. Brunoe, M. Stoettrup Schioenning Larsen, K. Nielsen, A. Napoleone & S. Kjeldgaard (Eds.), Towards Sustainable Customization: Bridging Smart Products and Manufacturing Systems - Proceedings of the 8th Changeable, Agile, Reconfigurable and Virtual Production Conference CARV 2021 and 10th World Mass Customization and Personalization Conference MCPC 2021 (pp. 431-439). Springer. https://doi.org/10.1007/978-3-030-90700-6_49
Hudert, M. M., Elvebakken, M. F., Meagher, M., Mangliar, L., Zhang, X. & Esterle, L. (2022). Deep learning enhanced robotic fabrication of timber-to-timber connections with densified hardwood nails. In Proceedings of the IASS 2022 Symposium affiliated with APCS 2022 conference: Innovation - Sustainability - Legacy (pp. 1740-1748)
Esterle, L. (2022). Deep learning in multiagent systems. In A. Iosifidis & A. Tefas (Eds.), Deep Learning for Robot Perception and Cognition (pp. 435-460). Elsevier. https://doi.org/10.1016/B978-0-32-385787-1.00022-1
del Palacio Gonzalez, A., Thylstrup, B., Pedersen, M. U., Danielsen, B., Kirk, H. B. & Jensen, K. L. (2022). Design and Testing of an Aftercare Mobile App for Substance Use Among Young Adults: An Interdisicplinary Approach in Denmark. Abstract from Lisbon addictions 2022, Lisabon, Portugal.
Leporowski, B. T., Tola, D., Hansen, C. & Iosifidis, A. (2022). Detecting Faults during Automatic Screwdriving: A Dataset and Use Case of Anomaly Detection for Automatic Screwdriving. In A.-L. Andersen, R. Andersen, T. D. Brunoe, M. Stoettrup Schioenning Larsen, K. Nielsen, A. Napoleone & S. Kjeldgaard (Eds.), Towards Sustainable Customization: Bridging Smart Products and Manufacturing Systems - Proceedings of the 8th Changeable, Agile, Reconfigurable and Virtual Production Conference CARV 2021 and 10th World Mass Customization and Personalization Conference MCPC 2021 (pp. 224-232). Springer. https://doi.org/10.1007/978-3-030-90700-6_25
Kamari, A., Schultz, C. P. L. & Petersen, S. (Eds.) (2022). Digital Sustainability in Building Design: Special issue. Sustainability https://www.mdpi.com/journal/sustainability/special_issues/digital_building
Esterle, L., Ejersbo, H., Frasheri, M., Gomes, C., Macedo, H. D. & Larsen, P. G. (2022). Digital Twins for Autonomous Intelligent Systems: From Development to Deployment. In Proceedings - 2022 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion, ACSOS-C 2022 (pp. 53-54). IEEE. https://doi.org/10.1109/ACSOSC56246.2022.00028
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.
Frasheri, M., Struhar, V., Papadopoulos, A. V. & Causevic, A. (2022). Ethics of Autonomous Collective Decision-Making: The Caesar Framework. Science and Engineering Ethics, 28(6), Article 61. https://doi.org/10.1007/s11948-022-00414-0
Merhi, Y. & Agarwala, S. (2022). Fabrication of flexible, and bioresorbable poly-l-lactide acid piezoelectric material with tunable properties. Materials Today: Proceedings, 70, 531-534. https://doi.org/10.1016/j.matpr.2022.09.553
Wright, T., Gomes, C. & Woodcock, J. (2022). Formally Verified Self-adaptation of an Incubator Digital Twin. In T. Margaria & B. Steffen (Eds.), Leveraging Applications of Formal Methods, Verification and Validation. Practice, ISoLA 2022 (pp. 89-109). Springer. https://doi.org/10.1007/978-3-031-19762-8_7
Ubys, L., Vancea, V. N., Kulik, T., Larsen, P. G., Boudjadar, J. & Aranha, D. F. (2022). Formal Model In-The-Loop for Secure Industrial Control Networks. In Formal Aspects of Component Software - 18th International Conference, FACS 2022, Proceedings (pp. 74-89). Springer. https://doi.org/10.1007/978-3-031-20872-0_5
Saleem, B., Badar, R., Manzoor, A., Judge, M. A., Boudjadar, J. & Islam, S. U. (2022). Fully Adaptive Recurrent Neuro-Fuzzy Control for Power System Stability Enhancement in Multi Machine System. IEEE Access, 10, 36464-36476. https://doi.org/10.1109/ACCESS.2022.3164455
Larsen, P. G., Macedo, H. D., Fitzgerald, J., Pfeifer, H., Benedikt, M., Tonetta, S., Marguglio, A., Veneziano, G., Sutton, L., Gusmeroli, S. & Suciu, G. (2022). HUBCAP: A Novel Collaborative Approach to Model-Based Design of Cyber-Physical Systems. In M. S. Obaidat, T. Oren & F. D. Rango (Eds.), Simulation and Modeling Methodologies, Technologies and Applications. SIMULTECH 2020 (pp. 90-110). Springer. https://doi.org/10.1007/978-3-030-84811-8_5
Zambrano, V., Mueller-Roemer, J., Sandberg, M., Talasila, P., Zanin, D., Larsen, P. G., Loeschner, E., Thronicke, W., Pietraroia, D., Landofi, G., Fontana, A., Laspalas, M., Antony, J., Poser, V., Kiss, T., Bergweiler, S., Pena Serna, S., Izquierdo, S., Viejo, I. ... Stork, A. (2022). Industrial Digitalization in the Industry 4.0 era: Classification, Reuse and Authoring of Digital Models on Digital Twin Platforms. Array, 14, Article 100176. https://doi.org/10.1016/j.array.2022.100176
Feng, H., Gomes, C., Gil Arboleda, S., Mikkelsen, P. H., Tola, D., Larsen, P. G. & Sandberg, M. (2022). Integration Of The Mape-K Loop In Digital Twins. In C. R. Martin, N. Emami, M. J. Blas & R. Rezaee (Eds.), Proceedings of the 2022 Annual Modeling and Simulation Conference, ANNSIM (pp. 102-113). IEEE. https://doi.org/10.23919/ANNSIM55834.2022.9859489
Boudjadar, J. & Beck, M. M. (2022). Intelligent Time Synchronization Protocol for Energy Efficient Sensor Systems. In K. Arai (Ed.), Intelligent Systems and Applications - Proceedings of the 2021 Intelligent Systems Conference IntelliSys (pp. 609-623). Springer Science+Business Media. https://doi.org/10.1007/978-3-030-82196-8_45
Li, B., Fitzgerald, J. & Schultz, C. (2022). Modelling the impacts of crowds on occupants in the built environment—A static, rule-based approach to human perception and movement. Advanced Engineering Informatics, 51, Article 101452. https://doi.org/10.1016/j.aei.2021.101452
Guven, Z. A. & Unalir, M. O. (2022). Natural language based analysis of SQuAD: An analytical approach for BERT. Expert Systems with Applications, 195, Article 116592. https://doi.org/10.1016/j.eswa.2022.116592
Kakavandi, F., de Reus, R., Gomes, C., Heidari, N., Iosifidis, A. & Larsen, P. G. (2022). Product Quality Control in Assembly Machine under Data Restricted Settings. In 2022 IEEE 20th International Conference on Industrial Informatics, INDIN 2022 (pp. 735-741). IEEE. https://doi.org/10.1109/INDIN51773.2022.9976173
Ul Haq, A., Bilal, M. & Mihovska, A. (2022). Resource Allocation Ensuring Physical Layer Security in Cooperative Non-Orthogonal Multiple Access in 6G Networks. In 2022 IEEE International Black Sea Conference on Communications and Networking (BlackSeaCom) (pp. 274-281). IEEE. https://doi.org/10.1109/BlackSeaCom54372.2022.9858307
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
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
Malmqvist, J., Lundqvist, U., Rosén, A., Edström, K., Gupta, R., Leong, H., Cheah, S. M., Bennedsen, J., Hugo, R., Kamp, A., Leifler, O., Gunnarsson, S., Roslöf, J. & Spooner, D. (2022). The CDIO Syllabus 3.0 - An Updated Statement of Goals. In 18th CDIO International Conference Proceedings - Full papers (pp. 18-36) https://en.ru.is/media/cdio2022/CDIO_2022_Proceedings.pdf
Guven, Z. A. (2022). The Comparison of Language Models with a Novel Text Filtering Approach for Turkish Sentiment Analysis. ACM Transactions on Asian and Low-Resource Language Information Processing, 22(2), Article 55. https://doi.org/10.1145/3557892
Teizer, J., Johansen, K. W. & Schultz, C. P. L. (2022). The Concept of Digital Twin for Construction Safety. In F. Jazizadeh, T. Shealy & M. J. Garvin (Eds.), Construction Research Congress 2022: Computer Applications, Automation, and Data Analytics (pp. 1156-1165). American Society of Civil Engineers. https://doi.org/10.1061/9780784483961.121
Hansen, S. T., Gomes, C. Â. G., Najafi, M., Sommer, T., Blesken, M., Zacharias, I., Kotte, O., Mai, P. R., Schuch, K., Wernersson, K., Bertsch, C., Blochwitz, T. & Junghanns, A. (2022). The FMI 3.0 Standard Interface for Clocked and Scheduled Simulations. Electronics, 11(21), Article 3635. https://doi.org/10.3390/electronics11213635

Displaying results 201 to 250 out of 1057

Previous

1

2

3

4

5

6

7

8

9

10

Next

Revised 13.11.2025
-
AU Engineering