Publikationer fra instituttet

Under publikationsliste finder du en samlet liste over de publikationer, som er lavet af medarbejdere ved Institut for Elektro- og Computerteknologi.

Publikationsliste

Sortér efter: Dato | Forfatter | Titel

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

Hardenberg, M., Griffiths, M. P., Grombacher, D. & Larsen, J. J. (2024). Feasibility study of steady-state surface NMR with adiabatic pulses. I NSG2024, 30th European Meeting of Environmental and Engineering Geophysics (s. 1-5). European Association of Geoscientists and Engineers. https://doi.org/10.3997/2214-4609.202420051

Hardenberg, M. & Larsen, J. J. (2026). Enhanced removal of very low frequency and low frequency radio noise from transient electromagnetic data with modeling and adaptive filtering. Geoscientific Instrumentation, Methods and Data Systems, 15(1), 183-193. https://doi.org/10.5194/gi-15-183-2026

Hansen, S. T., Thule, C. & Gomes, C. (2021). An FMI-Based Initialization Plugin for INTO-CPS Maestro 2. I L. Cleophas & M. Massink (red.), Software Engineering and Formal Methods: SEFM 2020 Collocated Workshops (s. 295-310). Springer. https://doi.org/10.1007/978-3-030-67220-1_22

Hansen, S. T., Gomes, C., Larsen, P. G. & Van De Pol, J. (2021). Synthesizing Co-Simulation Algorithms with Step Negotiation and Algebraic Loop Handling. I C. R. Martin, M. J. Blas & A. I. Psijas (red.), 2021 Annual Modeling and Simulation Conference (ANNSIM) (s. 62-73). IEEE. https://doi.org/10.23919/ANNSIM52504.2021.9552073

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. I A. L. Lafuente & A. Mavridou (red.), Formal Methods for Industrial Critical Systems (s. 3-20). Springer. https://doi.org/10.1007/978-3-030-85248-1_1

Hansen, J. P., Jespersen, L. M., Brunori, G., Jensen, A. L., Holst, K., Mathiesen, C., Halberg, N. & Rasmussen, I. A. (2014). ICT and social media as drivers of multi-actor innovation in agriculture. I World Conference on Computers in Agriculture, San Jose, Costa Rica, 2014 https://journals.sfu.ca/cigrp/index.php/Proc/article/view/162/161

Hansen, M. J., Kai, P., Nørremark, M., Børsting, C. F., Ottosen, C.-O. & Konnerup, D. (2022). Miljø- og Klimateknologi 2022. DCA - Nationalt Center for Fødevarer og Jordbrug. Rådgivningsrapport fra DCA - Nationalt Center for Fødevarer og Jordbrug

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), Artikel 3635. https://doi.org/10.3390/electronics11213635

Hansen, S. T., Thule, C., Gomes, C., van de Pol, J., Palmieri, M., Inci, E. O., Madsen, F., Alfonso, J., Castellanos, J. Á. & Rodriguez, J. M. (2022). Verification and synthesis of co-simulation algorithms subject to algebraic loops and adaptive steps. International Journal on Software Tools for Technology Transfer, 24(6), 999-1024. https://doi.org/10.1007/s10009-022-00686-8

Hansen, J. G., Heiß, M., Kozłowski, M. & Kayacan, E. (2022). UAV Trajectory Evaluation in Large Industrial Environments: A Cost-Effective Solution. I 2022 European Control Conference (ECC) (s. 1336-1341). IEEE. https://doi.org/10.23919/ECC55457.2022.9838352

Hansen, S. T. & Ölveczky, P. C. (2022). Modeling, Algorithm Synthesis, and Instrumentation for Co-simulation in Maude. I K. Bae (red.), Rewriting Logic and Its Applications. WRLA 2022 (s. 130-150). Springer. https://doi.org/10.1007/978-3-031-12441-9_7

Hansen, E. M., Thomsen, I. K., Cronin, I. V., Gislum, R., Larsen, R. & Mortensen, A. K., (2023). Opdatere trappemodel om dækningsgrad af efterafgrøder ved kontrol i forhold til etableringstidspunkt, Nr. 2022-0445946, 18 s., apr. 26, 2023. Rådgivningsnotat fra DCA - Nationalt Center for Fødevarer og Jordbrug

Hansen, S. T., Gomes, C. & Kazemi, Z. (2023). Synthesizing Orchestration Algorithms for FMI 3.0. I M. J. Blas & G. Alvarez (red.), 2023 Annual Modeling and Simulation Conference (ANNSIM) (s. 184-195). IEEE. https://ieeexplore.ieee.org/document/10155361

Hansen, S. T., Thule, C., Gomes, C., Lausdahl, K. G., Madsen, F. P., Abbiati, G. & Larsen, P. G. (2024). Co-simulation at different levels of expertise with Maestro2. Journal of Systems and Software, 209, Artikel 111905. https://doi.org/10.1016/j.jss.2023.111905

Hansen, J. G. & de Figueiredo, R. P. (2024). Active Object Detection and Tracking Using Gimbal Mechanisms for Autonomous Drone Applications. Drones, 8(2), Artikel 55. https://doi.org/10.3390/drones8020055

Hansen, M. T., Ulsig, E. Z., Labbé, F., Madsen, M. L., Ding, Y., Rottwitt, K. & Volet, N. (2023). Efficient and robust second-harmonic generation in thin-film lithium niobate using modal phase matching. Frontiers in Photonics, 4, Artikel 1324648. https://doi.org/10.3389/fphot.2023.1324648

Hansen, S. T., Kamburjan, E. & Kazemi, Z. (2025). Monitoring Reconfigurable Simulation Scenarios in Co-simulated Digital Twins. I T. Margaria & B. Steffen (red.), Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification - 12th International Symposium, ISoLA 2024, Proceedings (s. 47-61). Springer Science+Business Media. https://doi.org/10.1007/978-3-031-75390-9_4

Hansen, S. K., Hansen, P., Berry, T. W., Grønbæk, H. D., Olsen, C. M., Merhi, Y., Agarwala, S., Aagaard, P., Hvid, L. G., Agergaard, J., Dela, F. & Suetta, C. (2025). Effects of neuromuscular electrical stimulation on voluntary muscle activation and peripheral muscle contractility following short-term bed rest. Experimental Physiology, 110(12), 1966-1977. https://doi.org/10.1113/EP092194

Hansen, S. T. (2023). Accurate Co-simulation of Cyber-Physical Systems. [Ph.d.-afhandling, Aarhus Universitet]. Aarhus Universitet.

Han, G., Mofid, O., Mobayen, S. & Khooban, M. H. (2024). Adaptive prescribed performance based on recursive nonsingular terminal sliding mode control for quad-rotor systems under uncertainty and disturbance: real-time validation. Aerospace Science and Technology, 147, Artikel 109028. https://doi.org/10.1016/j.ast.2024.109028

Hallerstede, S. & Butler, M. (2004). Performance analysis of probabilistic action systems. Formal Aspects of Computing, 16(4), 313-331. https://doi.org/10.1007/s00165-004-0037-6

Hallerstede, S. (2003). Parallel hardware design in B. I D. Bert, J. P. Bowen, S. King & M. Walden (red.), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (s. 101-102). Springer Verlag. https://doi.org/10.1007/3-540-44880-2_8

Hallerstede, S. (2006). Justifications for the event-b modelling notation. I J. Julliand & O. Kouchnarenko (red.), B 2007: Formal Specification and Development in B - 7th International Conference of B Users, Proceedings (s. 49-63). Springer Verlag. https://doi.org/10.1007/11955757_7

Hallerstede, S. & Hoang, T. S. (2007). Qualitative probabilistic modelling in Event-B. I Integrated Formal Methods - 6th International Conference, IFM 2007, Proceedings (s. 293-312). Springer Verlag. https://doi.org/10.1007/978-3-540-73210-5_16

Hallerstede, S. & Kamburjan, E. (2023). Applications of Formal Methods and Digital Twins. CEUR Workshop Proceedings, 3507. https://ceur-ws.org/Vol-3507/xpreface.pdf

Hallerstede, S. & Kamburjan, E. (red.) (2023). Proceedings of the Workshop on Applications of Formal Methods and Digital Twins co-located with 25th International Symposium on Formal Methods (FM 2023). CEUR-WS.org. CEUR Workshop Proceedings Bind 3507 https://ceur-ws.org/Vol-3507/

Hallerstede, S. & Hatcliff, J. (2024). A Mechanized Semantics for Component-Based Systems in the HAMR AADL Runtime. I J. Cámara & S.-S. Jongmans (red.), Formal Aspects of Component Software: 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers (1 udg., s. 45-64). Springer. https://doi.org/10.1007/978-3-031-52183-6_3

Hallerstede, S. (2022, jun. 14). Book review: Decision Procedures – An Algorithmic Point of View. (2 udg.) 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/

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

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

Hallerstede, S., Robby, Hatcliff, J., Belt, J. & Hardin, D. (2026). Proof Engineering in Logika: Synergistically Integrating Automated and Semi-automated Program Verification. I A. Remke & B. Steffen (red.), Formal Methods for Industrial Critical Systems - 30th International Conference, FMICS 2025, Proceedings (s. 39-58). Springer. https://doi.org/10.1007/978-3-032-00942-5_3

Haldrup, M., Rasmussen, M., Mohamad, N., Dyrskog, S., Thorup, L., Mikic, N., Wismann, J., Grønhøj, M., Poulsen, F. R., Nazari, M., Rehman, N. U., Simonsen, C. Z. & Korshøj, A. R. (2023). Intraventricular Lavage vs External Ventricular Drainage for Intraventricular Hemorrhage: A Randomized Clinical Trial. JAMA Network Open, 6(10), e2335247. Artikel e2335247. https://doi.org/10.1001/jamanetworkopen.2023.35247

Haldrup, M., Nazari, M., Gu, C., Rasmussen, M., Dyrskog, S., Ziegler Simonsen, C., Grønhøj, M., Poulsen, F. R., Ur Rehman, N. & Rosendal Korshoej, A. (2024). Reliability and performance of the IRRAflow® system for intracranial lavage and evacuation of hematomas-A technical note. PLoS One, 19(4 April), Artikel e0297131. https://doi.org/10.1371/journal.pone.0297131

Haiyang, Y., Ruige, G., Zhongda, Z., Yuzhang, Z., Xiaobo, Z., Tao, L. & Haiyan, W. (2025). U-TransCNN: A U-shape transformer-CNN fusion model for underwater image enhancement. Displays, 88, Artikel 103047. https://doi.org/10.1016/j.displa.2025.103047

Hageman, K., Feal, A., Gamba, J., Girish, A., Bleier, J., Lindorfer, M., Tapiador, J. & Vallina-Rodriguez, N. (2023). Mixed Signals: Analyzing Software Attribution Challenges in the Android Ecosystem. IEEE Transactions on Software Engineering, 49(4), 2964-2979. https://doi.org/10.1109/TSE.2023.3236582

Hageman, K. & Hylsberg Jacobsen, R. (2024). On the Scheduling of Spatio-Temporal Charging Windows for Autonomous Drone Fleets. IEEE Access, 12, 74291-74304. https://doi.org/10.1109/ACCESS.2024.3405796

Hafeez, S., Abro, G. E. M., Memon, S. A., Khan, T. A., Memon, I. & Nasir, H. (2026). Quantum-secured routing in drone communication for 6G-enabled smart mobility. Scientific Reports, 16(1), Artikel 8626. https://doi.org/10.1038/s41598-026-36297-5

Hafeez, S., Abro, G. E. M. & Marimuthu, M. (2026). Quantum-Secured AI-Driven Drone Logistics for Real-Time Healthcare Delivery. Arabian Journal for Science and Engineering. Advance online publication. https://doi.org/10.1007/s13369-026-11104-5

Hadi Mogavi, R., Son, J., Yang, S., Wang, D. M., Choong, L., Alhilal, A., Zhou, P. Y., Hui, P. & Nacke, L. E. (2024). The Jade Gateway to Exergaming: How Socio-Cultural Factors Shape Exergaming Among East Asian Older Adults. Proceedings of the ACM on Human-Computer Interaction, 8, Artikel 341. https://doi.org/10.1145/3677106

Guven, Z. A., Mendes, E. & Baker, S. (2026). Multi-label text classification using prompting techniques via LLMs in Software Effort Estimation. IEEE Access, 14, 52753-52775. https://doi.org/10.1109/ACCESS.2026.3679475

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.

Gu, X., Wang, X., Feng, Y., Long, Y., Mukherjee, M., Pan, Z., Guo, M. & Zhang, Q. (2022). Demo: TINGLE: Pushing Edge Intelligence in Synchronization and Useful Data Transfer for Human-Robotic Arm Interactions. I INFOCOM WKSHPS 2022 - IEEE Conference on Computer Communications Workshops IEEE. https://doi.org/10.1109/INFOCOMWKSHPS54753.2022.9798353

Grøn Sørensen, C., Pesonen, L., Fountas, S., Suomi, P., Bochtis, D., Bildsøe, P. & Pedersen, S. M. (2010). A user-centric approach for information modelling in arable farming. Computers and Electronics in Agriculture, 73(1), 44-55. https://doi.org/10.1016/j.compag.2010.04.003

Grøn Sørensen, C. & Bochtis, D. (2010). Agricultural fleet management: A systems approach. Afhandling præsenteret på World Congress of the International Commission of Agricultural and Biosystems Engineering (CIGR), Quebec City, Canada. http://bioeng.ca/publications/meetings-papers?sobi2Task=sobi2Details&catid=23&sobi2Id=324

Grøn Sørensen, C. & Bochtis, D. (2010). Agricultural Fleet Management: A system approach. I P. Savoie, J. Villeneuve & R. Morisette (red.), XVIIth World Congress of the International Commission of Agricultural and Biosystems Engineering, Book of Abstracts (s. 182) https://www.semanticscholar.org/paper/AGRICULTURAL-FLEET-MANAGEMENT%3A-A-SYSTEM-APPROACH-Soerensen-Bochtis/f48b196d036719a0003cc4f1686473b70a737634

Grøn Sørensen, C., Dybro, N., M. Allen, C., Grift, T. & C. Hansen, A. (2021). A Grain Production System Analysis Towards Scalable Machine Systems. Poster-session præsenteret på ASABE.

Grøn Sørensen, C. (2023). Smart Farming and Circular Systems. I Q. Zhang (red.), Encyclopedia of Smart Agriculture Technologies (s. 1276-1282). Springer. https://doi.org/10.1007/978-3-030-89123-7_254-1

Grøn Sørensen, C. & Andersen, J. V. (2025). What if? Ways forward based on the 2025 START Green Minds Gather Conference for an accelerated, research-based green transition in European agrifood systems. START Centre for Sustainable Agrifood Systems.

Grombacher, D., Liu, L., Griffiths, M. P., Vang, M. & Larsen, J. J. (2021). Steady-State Surface NMR for Mapping of Groundwater. Geophysical Research Letters, 48(23), Artikel e2021GL095381. https://doi.org/10.1029/2021GL095381

Viser resultater 951 til 1000 ud af 1476

Forrige

Næste

Revideret 30.12.2025

AU Engineering