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

Rask, J. K., Madsen, F. P., Battle, N., Macedo, H. D. & Larsen, P. G. (2021). The Specification Language Server Protocol: A Proposal for Standardised LSP Extensions. In J. Proença & A. Paskevich (Eds.), Proceedings of the 6th Workshop on Formal Integrated Development Environment (Vol. 338, pp. 3-18). Open Publishing Association. https://doi.org/10.4204/EPTCS.338.3
Lumer-Klabbers, G., Hausted, J. O., Kvistgaard, J. L., Macedo, H. D., Frasheri, M. & Larsen, P. G. (2021). Towards a digital twin framework for autonomous robots. In W. K. Chan, B. Claycomb, H. Takakura, J.-J. Yang, Y. Teranishi, D. Towey, S. Segura, H. Shahriar, S. Reisman & S. I. Ahamed (Eds.), 2021 IEEE 45th Annual Computers, Software, and Applications Conference (COMPSAC) (pp. 1254-1259). IEEE. https://doi.org/10.1109/COMPSAC51774.2021.00174
Paredis, R., Gonçalves Gomes, C. Â. & Vangheluwe, H. (2021). Towards a Family of Digital Model/Shadow/Twin Workflows and Architectures: In H. Panetto, M. Macchi & K. Madani (Eds.), Proceedings of the 2nd International Conference on Innovative Intelligent Industrial Production and Logistics, IN4PL 2021 (pp. 174-182). SCITEPRESS Digital Library. https://doi.org/10.5220/0010717600003062
Chronopoulos, C., Johansen, K. W., Teizer, J., Schultz, C. P. L. & Esterle, L. (2021). Towards a Holistic, Self-Organised Safety Framework for Construction. In Proceedings - 2021 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion, ACSOS-C 2021 (pp. 238-243). IEEE. https://doi.org/10.1109/ACSOS-C52956.2021.00060
Kruckel, C. J., Becker, H., Ban, Y., Heck, M. J. R., Van Campenhout, J. & Van Thourhout, D. (2021). Towards Maximum Energy Efficiency of Carrier-Injection-Based Silicon Photonics. Journal of Lightwave Technology, 39(9), 2931-2940. https://doi.org/10.1109/JLT.2021.3059915
Vestergaard, R. (2021). Towards Scalable Randomly Accessible Data Compression. [PhD dissertation, Aarhus University]. Aarhus Universitet.
Bogomolov, S., Fitzgerald, J., Foldager, F. F., Gamble, C., Larsen, P. G., Pierce, K., Stankaitis, P. & Wooding, B. (2021). Tuning Robotti: the Machine-assisted Exploration of Parameter Spaces in Multi-Models of a Cyber-Physical System. In J. Fitzgerald, T. Oda & H. D. Macedo (Eds.), Proceedings of the 18th International Overture Workshop (pp. 50-65) https://arxiv.org/pdf/2101.07261.pdf
Laursen, K. (2021). Ultra-Low Power IC Design for Ultrasonically-Powered Implants. [PhD dissertation, Aarhus University]. Aarhus Universitet.
Hjelseth, E. & Li, B. (2021). Use of “Reasoner” for automated building code compliance assessment. In Proceedings of the 38th International Conference of CIB W78 (pp. 138-147) https://itc.scix.net/pdfs/w78-2021-paper-014.pdf
Esterle, L., Porter, B. & Woodcock, J. (2021). Verification and Uncertainties in Self-integrating System. In 2021 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C) (pp. 220-225) https://doi.org/10.1109/ACSOS-C52956.2021.00050
Hansen, S. T., Gomes, C., Palmieri, M., Thule, C., van de Pol, J. & Woodcock, J. (2021). Verification of Co-simulation Algorithms Subject to Algebraic Loops and Adaptive Steps. In A. L. Lafuente & A. Mavridou (Eds.), Formal Methods for Industrial Critical Systems (pp. 3-20). Springer. https://doi.org/10.1007/978-3-030-85248-1_1
Yildiz, E., Møller, C., Bilberg, A. & Rask, J. K. (2021). Virtual Prototyping: Evaluating the Digital Twin Based Virtual Factory for New Product Introduction. Complex Systems Informatics and Modeling Quarterly, 29(29), 1-16. Article 163. https://doi.org/10.7250/csimq.2021-29.01
Rask, J. K., Madsen, F. P., Battle, N., Macedo, H. D. & Larsen, P. G. (2021). Visual Studio Code VDM Support. In J. Fitzgerald, T. Oda & H. D. Macedo (Eds.), Proceedings of the 18th International Overture Workshop (pp. 35-50) https://arxiv.org/pdf/2101.07261.pdf
Volet, N., Ulsig, E. Z., Degli-Eredi, I., Tønning, P. & Stanton, E. J. (2021). Walk-off effect in nonlinear crystals suitable for UVC generation. In P. G. Schunemann & K. L. Schepler (Eds.), Nonlinear Frequency Generation and Conversion: Materials and Devices XX Article 116701O SPIE - International Society for Optical Engineering. https://doi.org/10.1117/12.2581674
Laakom, F., Raitoharju, J., Iosifidis, A. & Gabbouj, M. (2021). Within-layer Diversity Reduces Generalization Gap. Paper presented at International Conference on Machine Learning Workshop on Information Theoretic Methods for Rigorous, Responsible, and Reliable Machine Learning, 2021. https://arxiv.org/pdf/2106.06012.pdf
Sehat, H., Pagnin, E. & Lucani Rötter, D. E. (2021). Yggdrasil: Privacy-Aware Dual Deduplication in Multi Client Settings. In ICC 2021 - IEEE International Conference on Communications, Proceedings IEEE. https://doi.org/10.1109/ICC42927.2021.9500816
Nielsen, S. K., Munkholm, L. J., Lamandé, M., Nørremark, M., Edwards, G. T. C. & Green, O. (2021). 播种机精密播种深度控制系. Journal of Chinese Agricultural Mechanization, 42(11), 30-36. https://doi.org/10.13733/j.jcam.issn.20955553.2021.11.06
Larsen, P. G., Macedo, H. D., Fitzgerald, J., Pfeifer, H., Benedikt, M., Tonetta, S., Marguglio, A., Gusmeroli, S. & Jr, G. S. (2020). A Cloud-Based Collaboration Platform for Model-Based Design of Cyber-Physical Systems. In F. De Rango, T. Ören & M. Obaidat (Eds.), Proceedings of the 10th International Conference on Simulation and Modeling Methodologies, Technologies and Applications (pp. 263-270). SCITEPRESS Digital Library. https://doi.org/10.5220/0009892802630270
Cogato, A., Pezzuolo, A., Sørensen, C. G., De Bei, R., Sozzi, M. & Marinello, F. (2020). A GIS-based multicriteria index to evaluate the mechanisability potential of Italian vineyard area. Land, 9(11), 1-17. Article 469. https://doi.org/10.3390/land9110469
Çabuk, U. C., Tosun, M., Jacobsen, R. H. & Dagdeviren, O. (2020). A Holistic Energy Model for Drones. In 2020 28th Signal Processing and Communications Applications Conference, SIU 2020 - Proceedings Article 9302218 IEEE. https://doi.org/10.1109/SIU49456.2020.9302218
Andalibi, M., Hajihosseini, M., Gheisarnejad, M., Boudjadar, J., Khooban, M. H. & Dragicevic, T. (2020). A New Nonlinear Controller for Multilevel DC/DC Boost Converter. In 2020 IEEE 11th International Symposium on Power Electronics for Distributed Generation Systems, PEDG 2020 (pp. 276-280). Article 9244399 IEEE. https://doi.org/10.1109/PEDG48541.2020.9244399
Gomes, C., Franceschini, R., Battle, N., Thule, C., Lausdahl, K., Vangheluwe, H. & Larsen, P. G. (2020). Application of Model-Based Testing to Dynamic Evaluation of Functional Mockup Units. In Proceedings of the American Modelica Conference 2020 (pp. 149-158). Linköping University Electronic Press. https://doi.org/10.3384/ecp20169149
Boudjadar, J. (2020). A Study of the Trade-off Energy Consumption-Performance-Schedulability for DVFS Multicore Systems. International Journal of Computer and Information Engineering, 14(11), 380-391.
Kuldeep, G. & Zhang, Q. (2020). Compressive Sensing based Multi-class Privacy-preserving Cloud Computing. In 2020 IEEE Global Communications Conference, GLOBECOM 2020 - Proceedings (Vol. 2020-January). Article 9348093 IEEE. https://doi.org/10.1109/GLOBECOM42002.2020.9348093
Banaei, M., Boudjadar, J., Dragicevic, T. & Khooban, M. H. (2020). Cost Effective Operation of a Hybrid Zero-Emission Ferry Ship. In 2020 IEEE 11th International Symposium on Power Electronics for Distributed Generation Systems, PEDG 2020 (pp. 23-28). Article 9244456 IEEE. https://doi.org/10.1109/PEDG48541.2020.9244456
Skovsen, S. K., Haraldsson, H., Davis, A., Karstoft, H. & Belongie, S. (2020). Decoupled Localization and Sensing with HMD-based AR for Interactive Scene Acquisition. In 2020 IEEE International Symposium on Mixed and Augmented Reality Adjunct (ISMAR-Adjunct) (pp. 167-171). Article 9288396 IEEE. https://doi.org/10.1109/ISMAR-Adjunct51615.2020.00053
Mukherjee, M., Kumar, V., Maity, D., Matam, R., Mavromoustakis, C. X., Zhang, Q. & Mastorakis, G. (2020). Delay-sensitive and Priority-aware Task Offloading for Edge Computing-assisted Healthcare Services. Paper presented at 2020 IEEE Global Communications Conference, Taipei, Taiwan. https://doi.org/10.1109/GLOBECOM42002.2020.9348064
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
Kuldeep, G. & Zhang, Q. (2020). Energy Concealment based Compressive Sensing Encryption for Perfect Secrecy for IoT. In 2020 IEEE Global Communications Conference, GLOBECOM 2020 - Proceedings Article 9322181 IEEE. https://doi.org/10.1109/GLOBECOM42002.2020.9322181
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. 1-12). Article 12 Association for Computing Machinery. https://doi.org/10.5555/3427510.3427533
Sobolewska, E. K., Pelloux-Prayer, J., Becker, H., Li, G., Davies, C. S., Krückel, C. J., Avilés Félix, L., Olivier, A., Sousa, R. C., Prejbeanu, I. L., Kiriliouk, A. I., Van Thourhout, D., Rasing, T., Moradi, F. & Heck, M. J. R. (2020). Integration platform for optical switching of magnetic elements. In G. S. Subramania & S. Foteinopoulou (Eds.), Active Photonic Platforms XII Article 114612B SPIE - International Society for Optical Engineering. https://doi.org/10.1117/12.2567662
Shabani, M. & Iosifidis, A. (2020). Low-Rank Temporal Attention-Augmented Bilinear Network for financial time-series forecasting. In 2020 IEEE Symposium Series on Computational Intelligence, SSCI 2020 (pp. 2156-2161). Article 9308440 IEEE. https://doi.org/10.1109/SSCI47803.2020.9308440
Thoft Krogshave, J., Böttjer, T. & Ramanujan, D. (2020). Machine-Specific Energy Estimation Using the Unit Process Life Cycle Inventory (UPLCI) Model. In ASME 2020 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference: Volume 6: 25th Design for Manufacturing and the Life Cycle Conference (DFMLC) Article V006T06A031 American Society of Mechanical Engineers. https://doi.org/10.1115/DETC2020-22483
Liu, J. (2020). Mobile Edge Computing in 5G. [PhD dissertation, Aarhus University].
Zhao, X. (2020). Network Coding for Distributed Storage of IoT. [PhD dissertation, Aarhus University].