Aarhus University Seal

Publications at Department of Electrical and Computer Engineering

Under publication list you can find a complete list of the publications that are written by employees at the Publications at Department of Electrical and Computer Engineering.

Publication list

Sort by: Date | Author | Title

Thule, C., Gomes, C. & Lausdahl, K. G. (2020). Formally Verified FMI Enabled External Data Broker: Rabbitmq FMU. In Proceedings of the 2020 Summer Simulation Conference (Vol. 52, pp. 254-265). Article 12 Association for Computing Machinery. https://doi.org/10.5555/3427510.3427533
Kulik, T., Boudjadar, J. & Aranha, D. F. (2021). Formally Verified Credentials Management for Industrial Control Systems. In Proceedings - 2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering, FormaliSE 2021: 9th IEEE/ACM International Conference on Formal Methods in Software Engineering (pp. 75-85). IEEE. https://doi.org/10.1109/FormaliSE52586.2021.00014
Baxter, J., van Acker, B., Kristensen, M., Wright, T., Cavalcanti, A. & Gomes, C. (2025). Formal Architectural Patterns for Adaptive Robotic Software. In A. Boronat & G. Fraser (Eds.), Fundamental Approaches to Software Engineering. FASE 2025 (pp. 145-165). Springer. https://doi.org/10.1007/978-3-031-90900-9_8
Passalis, N., Kanniainen, J., Gabbouj, M., Iosifidis, A. & Tefas, A. (2021). Forecasting Financial Time Series Using Robust Deep Adaptive Input Normalization. Journal of Signal Processing Systems, 93(10), 1235-1251. https://doi.org/10.1007/s11265-020-01624-0
Mohseni, S.-R., Jahanshahi Zeitouni, M., Parvaresh, A., Abrazeh, S., Gheisarnejad Chirani, M. & Khooban, M. H. (2023). FMI real-time co-simulation-based machine deep learning control of HVAC systems in smart buildings: Digital-twins technology. Transactions of the Institute of Measurement and Control, 45(4), 661-673. https://doi.org/10.1177/01423312221119635
Sahana, G., Gebreyesus, G., Cheruiyot Bett , R., Kinyua, J., Roos, N., MBI Tanga, C., Mwikirize, C., Akol, R., Khamis, F. M., Karstoft, H., Bjerge, K., Nkirote Kunyanga , C., Hansen, L. S., Nielsen, H. M., Lund, M. S., Geoffrey, S., Walusimbi, S. & Nakimbugwe, D. (2024). FLYgene: Advancing Sustainable Breeding Programs and Genomic Tools for Black Soldier Fly (Hermetia illucens) in Kenya and Uganda. In Book of Abstracts of the 75th Annual Meeting of the European Federation of Animal Science (pp. 633-633) https://docs.eaap.org/boa/2024_Florence_EAAP_Book_Abstracts.pdf
Marcano, N. J. H., Diez, L., Aguero, R. & Jacobsen, R. H. (2022). Finite Buffer Queuing Delay Performance in the Low Earth Orbit Land Mobile Satellite Channel. In 2022 IEEE Wireless Communications and Networking Conference, WCNC 2022 (pp. 132-137). IEEE. https://doi.org/10.1109/WCNC51071.2022.9771859
Bjerge, K., Pinoy, N., Karstoft, H. & Høye, T. T. (2023). Field trials with automated moth monitoring in three different habitats of Denmark. Abstract from 2023 Butterfly Conservation Symposium, Bedfordshire , United Kingdom.
Aguzzi, G., Viroli, M. & Esterle, L. (2023). Field-informed Reinforcement Learning of Collective Tasks with Graph Neural Networks. In Proceedings - 2023 IEEE International Conference on Autonomic Computing and Self-Organizing Systems, ACSOS 2023 (pp. 37-46). IEEE. https://doi.org/10.1109/ACSOS58161.2023.00021
Domini, D., Aguzzi, G., Esterle, L. & Viroli, M. (2024). Field-Based Coordination for Federated Learning. In I. Castellani & F. Tiezzi (Eds.), Coordination Models and Languages - 26th IFIP WG 6.1 International Conference, COORDINATION 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Proceedings (pp. 56-74). Springer Science+Business Media. https://doi.org/10.1007/978-3-031-62697-5_4
Bjerge, K., Bodesheim, P. & Karstoft, H. (2024). Few-Shot Learning with Novelty Detection. 340-363. Paper presented at DeLTA 2024 - 5th International Conference on Deep Learning Theory and Applications. https://doi.org/10.1007/978-3-031-66694-0_21
Ding, Y., Zhang, S., Fan, B., Sun, W., Liao, Y. & Zhou, P. Y. (2024). FedLoCA: Low-Rank Coordinated Adaptation with Knowledge Decoupling for Federated Recommendations. In RecSys '24: Proceedings of the 18th ACM Conference on Recommender Systems (pp. 690-700). Association for Computing Machinery. https://doi.org/10.1145/3640457.3688112
Larsen, P. G., Fitzgerald, J., Woodcock, J., Gamble, C., Payne, R. & Pierce, K. (2018). Features of Integrated Model-Based Co-modelling and Co-simulation Technology. In A. Cerone & M. Roveri (Eds.), Software Engineering and Formal Methods - SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Revised Selected Papers (pp. 377-390). Springer. https://doi.org/10.1007/978-3-319-74781-1_26
Hardenberg, M., Griffiths, M. P., Grombacher, D. & Larsen, J. J. (2024). Feasibility study of steady-state surface NMR with adiabatic pulses. In NSG2024, 30th European Meeting of Environmental and Engineering Geophysics (pp. 1-5). European Association of Geoscientists and Engineers. https://doi.org/10.3997/2214-4609.202420051
Jensen, A. L., Kristensen, E. F. & Grøn Sørensen, C. (2022). Feasibility study for organic farming. Poster session presented at The XX CIGR World Congress 2022, Kyoto, Japan.
Larsen, P. G., Esterle, L., Fitzgerald, J. & Frasheri, M. (2023). Fault Injection in Co-simulation and Digital Twins for Cyber-Physical Robotic Systems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (pp. 222-236). Springer Science+Business Media. https://doi.org/10.1007/978-3-031-40132-9_14
Frasheri, M., Thule, C., Macedo, H. D., Lausdahl, K., Larsen, P. G. & Esterle, L. (2021). Fault Injecting Co-simulations for Safety. 6-13. Paper presented at 5th International Conference on System Reliability and Safety, Palermo, Italy. https://doi.org/10.1109/ICSRS53853.2021.9660728
Ruf, F., Faurby, C. F. D., Paesani, S., Wang, Y., Nielsen, L., Midolo, L., Volet, N. & Heck, M. (2022). Fast All-Optical Switches in Si3N4 Photonic Integrated Circuits for Single-Photon Routing. Poster session presented at National Optics Congress, Aarhus, Denmark.
Kopler, I., Marchaim, U., Tikász, I. E., Opaliński, S., Kokin, E., Mallinger, K., Neubauer, T., Gunnarsson, S., Soerensen, C., Phillips, C. J. C. & Banhazi, T. (2023). Farmers’ Perspectives of the Benefits and Risks in Precision Livestock Farming in the EU Pig and Poultry Sectors. Animals, 13(18), Article 2868. https://doi.org/10.3390/ani13182868
Woodcock, J. (2025). Farewell Editorial. Formal Aspects of Computing, 37(4), Article 26. https://doi.org/10.1145/3773042
Honoré, J. T., Rask, R. D. & Wagner, S. R. (2023). Fall Detection Combining Android Accelerometer and Step Counting Virtual Sensors. In G. A. Papadopoulos, A. Achilleos, E. Pissaloux & R. Velázquez (Eds.), ICT for Health, Accessibility and Wellbeing - 2nd International Conference, IHAW 2022, Revised Selected Papers (pp. 3-16). Springer. https://doi.org/10.1007/978-3-031-29548-5_1
Banhazi, T., Banhazi, A., Tikasz, I. E., Palotay, S., Mallimger, K., Neubauer, T., Corpaci, L., Marchaim, U., Kopler, I., Opalinski, S., Olejnik, K., Kokin, E., Gunnarsson, S., Bjerre, T. & Soerensen, C. (2024). Facilitating PLF Technology Adoption in the Pig and Poultry Industries. Studies in Agricultural Economics, 126(1), 43-49. https://doi.org/10.7896/j.2725
Liu, H., Yang, Y., Wu, Q., He, B., Liao, Y. & Zhou, P. (2024). FacGNN: Multi-faceted Fairness Enhancement for GNN through Adversarial and Contrastive Learning. In 2024 International Joint Conference on Neural Networks (IJCNN) IEEE. https://doi.org/10.1109/IJCNN60899.2024.10649939
Mørup, C., Kloborg, A. & Lucani Rötter, D. E. (2022). Extreme Bitmapping: Efficiently Sorting Data for Cloud Compression. In 2022 IEEE 11th International Conference on Cloud Networking (CloudNet) (pp. 247-251). IEEE. https://doi.org/10.1109/CloudNet55617.2022.9978780
Far Brusatori, M. & Volet, N. (2022). External optical feedback engineered to reduce and stabilize the linewidth of diode lasers. In V. S. Ilchenko, A. M. Armani & J. V. Sheldakova (Eds.), Laser Resonators, Microresonators, and Beam Control XXIV Article 119870D SPIE - International Society for Optical Engineering. https://doi.org/10.1117/12.2609616
Noor, M. A., Benhassen, L. L., Johansen, P. & Hasenkam, J. M. (2022). External aortic annuloplasty ring. Manuscript submitted for publication. (Patent No. PCT/EP2022/071334).
Kulik, T., Talasila, P., Greco, P., Veneziano, G., Marguglio, A., Sutton, L. F., Larsen, P. G. & Macedo, H. D. (2021). Extending the Formal Security Analysis of the HUBCAP sandbox. In H. D. Macedo, C. Thule & K. Pierce (Eds.), Proceedings of the 19th International Overture Workshop (pp. 36-50) https://arxiv.org/abs/2110.09371
Bandaru, N., Reddy, C. V., Vallabhudasu, K., Vijayalakshmi, M., Raghava Reddy, K., Cheolho, B., Shim, J. & Aminabhavi, T. M. (2024). Exploring the potential of MXene nanohybrids as high-performance anode materials for lithium-ion batteries. Chemical Engineering Journal, 500, Article 157317. https://doi.org/10.1016/j.cej.2024.157317
Akbar, H., Abro, G. E. M., Baloch, S. K., Khan, T. A., Memon, I., Nasir, H. & Memon, S. A. (2026). Exploring carbon nanotube-copper composites for enhanced induction motor design in electrical vehicles. Scientific Reports, 16(1), Article 3505. https://doi.org/10.1038/s41598-025-32761-w
Fehér, M., Lucani Rötter, D. E., Hansen, M. T. & Vester, F. E. (2021). Exploiting DLMS/COSEM Data Compression To Learn Power Consumption Patterns. In 2021 IEEE International Conference on Communications, Control, and Computing Technologies for Smart Grids, SmartGridComm 2021 (pp. 346-351). IEEE. https://doi.org/10.1109/SmartGridComm51999.2021.9632291
Kakavandi, F. & Larsen, P. G. (2023). Explainable Product Quality Assessment in a Medical Device Assembly Pilot Line. In 2022 10th International Conference on Control, Mechatronics and Automation (ICCMA) (pp. 271-275). IEEE. https://doi.org/10.1109/ICCMA56665.2022.10011621