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

Battle, N., Thule, C., Gonçalves Gomes, C. Â., Macedo, H. D. & Larsen, P. G. (2020). Towards a Static Check of FMUs in VDM-SL. 272-288. https://doi.org/10.1007/978-3-030-54997-8_18

Bozcan, I. & Kayacan, E. (2020). UAV-AdNet: Unsupervised Anomaly Detection using Deep Neural Networks for Aerial Surveillance. In 2020 IEEE/RSJ International Conference on Intelligent Robots and Systems (pp. 1158-1164). Article 9341790 IEEE. https://doi.org/10.1109/IROS45743.2020.9341790

Gheisarnejad Chirani, M., Khooban, M. H. & Boudjadar, J. (2019). Adaptive Network Based Fuzzy Inference System for Frequency Regulation in Modern Maritime Power Systems. Paper presented at IEEE 5th International Forum on Research and Technology for Society and Industry, Firenze, Italy. https://doi.org/10.1109/RTSI.2019.8895596

Frederiksen, T. & Larsen, J. J. (2019). Detection of Capacitive Couplings in Ground-Based TEM Data with a 1D Convolutional Neural Network. Paper presented at 25th European Meeting of Environmental and Engineering Geophysics, Held at Near Surface Geoscience Conference and Exhibition 2019, NSG 2019, The Hague, Netherlands.

Agarwala, S. (2019). Enabling new possibilities in smart textiles through printed electronics. In 2019 IEEE 9th International Nanoelectronics Conferences, INEC 2019 Article 8853853 IEEE. https://doi.org/10.1109/INEC.2019.8853853

Legaard, C. M., Thule, C. & Larsen, P. G. (2019). Towards Graphical Configuration in the INTO-CPS Application. In 17TH OVERTURE WORKSHOP

Lading, T., Lindskow, T., Sharghbin, M., Benhassen, L. L., Bechsgaard, T. K., Røpcke, D. M., Nielsen, S. L. & Johansen, P. (2018). Aortic valve repair techniques affect the annulus differently: an In Vitro characterization. The Journal of Heart Valve Disease, 27(4), 251-58.

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

Rezaeiyan, Y., Zamani, M., Shoaei, O. & Serdijn, W. A. (2018). Mixed-Signal IC With Pulse Width Modulation Wireless Telemetry for Implantable Cardiac Pacemakers in 0.18-μm CMOS. IEEE Transactions on Biomedical Circuits and Systems, 12(3), 589 - 600. https://doi.org/10.1109/TBCAS.2018.2819021

Rasmussen, I. A., Moeskops, B., Micheloni, C., Gócs, K., Jensen, A. L., Jørgensen, M. S., Kristensen, H., Willer, H. & Padel, S. (2018). Organic Knowledge Network Arable: D.4.3 Final report on evaluation of end-user material. https://orgprints.org/id/eprint/37847/2/OK_Net_WP4_D.4.3_final.pdf

Rasmussen, I. A. & Jensen, A. L. (2018). Organic Knowledge Network Arable OK-Net Arable: Online knowledge platform. Paper presented at Horizon 2020 Aarhus, Aarhus, Denmark. https://orgprints.org/id/eprint/32268/1/OK_Net_WP4_D4.1_Knowledge%20Platform_20161013.pdf

Fitzgerald, J., Gamble, C., Larsen, P. G., Pierce, K. & Woodcock, J. (2015). Cyber-Physical Systems Design: Formal Foundations, Methods and Integrated Tool Chains. In Proceedings of the 2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering (FormaliSE) (pp. 40-46). IEEE. https://doi.org/10.1109/FormaliSE.2015.14

Shabani, F., Seyedyazdi, M., Vaziri, M., Zarghami, M. & Vadhva, S. (2015). State Estimation of a Distribution System Using WLS and EKF Techniques. In Proceedings - 2015 IEEE 16th International Conference on Information Reuse and Integration, IRI 2015 (pp. 609-613). Article 7301033 IEEE. https://doi.org/10.1109/IRI.2015.101

Foster, S. D., Miyazawa, A., Woodcock, J., Cavalcanti, A. L. C., Fitzgerald, J. & Larsen, P. G. (2014). An approach for managing semantic heterogeneity in Systems of Systems Engineering. In S. Cook, V. Ireland, A. Gorod, T. Ferris & Q. Do (Eds.), John Fitzgerald (pp. 113-118). IEEE. https://doi.org/10.1109/SYSOSE.2014.6892473

Oudshoorn, F. W., Bartzanas, T., Holden, N., Järvinen, M., Jensen, A. L., Lauwers , L., Vandaele, L., Guckt, T. V. D., Van Nuffel, A., Saeys, W. & Grøn Sørensen, C. (2014). ICT-AGRI Call 2 Mid-term Project Report: SILF: Smart Integrated Livestock Farming. https://pureportal.ilvo.be/en/publications/ict-agri-call-2-mid-term-project-report-silf-smart-integrated-liv

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. In World Conference on Computers in Agriculture, San Jose, Costa Rica, 2014 https://journals.sfu.ca/cigrp/index.php/Proc/article/view/162/161

Jensen, M. A. F., Grøn Sørensen, C. & Bochtis, D. (2013). Assessment of Track Sequence Optimization based on Recorded Field Operations. Paper presented at EFITA / WCCA / CIGR 2013, Torino, Italy. https://www.researchgate.net/publication/338435610_Assessment_of_Track_Sequence_Optimization_based_on_Recorded_Field_Operations

Bochtis, D. D., Grøn Sørensen, C., Busato, P. & Berruto, R. (2013). Benefits from optimal route planning based on B-patterns. Biosystems Engineering, 115(4), 389-395. https://doi.org/10.1016/j.biosystemseng.2013.04.006

Rehman, N. U., Park, C., Huang, N. E. & Mandic, D. P. (2013). Emd via memd: Multivariate noise-aided computation of standard emd. Advances in Adaptive Data Analysis, 05(02), 1350007. https://doi.org/10.1142/s1793536913500076

Macedo, H. D. & Touili, T. (2013). Mining Malware Specifications through Static Reachability Analysis.

Macedo, H. D. & Oliveira, J. N. (2013). Typing linear algebra: A biproduct-oriented approach.

Rasmussen, I. A. & Jensen, A. L. (2013, Aug). User guide. www.orgprints. https://orgprints.org/id/eprint/29427/1/2013_Screenshot_manual_Organic_Eprints.pdf

Ahmed, M. U., Rehman, N., Looney, D., Rutkowski, T. M., Kidmose, P. & Mandic, D. P. (2012). Multivariate entropy analysis with data-driven scales. In 2012 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP) (pp. 3901-3904). IEEE. https://doi.org/10.1109/icassp.2012.6288770, https://doi.org/10.1109/ICASSP.2012.6288770

Green, O., Lamandé, M., Schjønning, P., Sørensen, C. A. G. & Bochtis, D. (2011). Reducing the risk of soil compaction by applying "Jordværn Online"® when performing slurry distribution. Acta Agriculturae Scandinavica, Section B - Soil & Plant Science, 61(3), 209-213. https://doi.org/10.1080/09064710.2010.490535

Bochtis, D., Sørensen, C. A. G., Jørgensen, R. N., Nørremark, M., Hameed, I. A. & Swain, K. C. (2011). Robotic weed monitoring. Acta Agriculturae Scandinavica, Section B - Soil & Plant Science, 61(3), 202-208. https://doi.org/10.1080/09064711003796428

Aggelopoulou, A. D., Bochtis, D., Fountas, S., Swain, K. C., Gemtos, T. A. & Nanos, G. D. (2011). Yield prediction in apple orchards based on image processing. Precision Agriculture, 12(3), 448-456. https://doi.org/10.1007/s11119-010-9187-0

Bochtis, D. & Grøn Sørensen, C. (2010). Agricultural fleet management: an operational research approach. Paper presented at World Congress of the International Commission of Agricultural and Biosystems Engineering (CIGR), Quebec, Canada. http://bioeng.ca/publications/meetings-papers?sobi2Task=sobi2Details&sobi2Id=383

Bochtis, D. & Grøn Sørensen, C. (2010). Agricultural fleet management: An operational research approach. In P. Savoie, J. Villeneuve & R. Morisette (Eds.), XVIIth World Congress of the International Commission of Agricultural and Biosystems Engineering, Book of Abstracts (pp. 212) https://www.researchgate.net/publication/267331059_AGRICULTURAL_FLEET_MANAGEMENT_AN_OPERATIONAL_RESEARCH_APPROACH

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

Grøn Sørensen, C. & Bochtis, D. (2010). Agricultural fleet management: A systems approach. Paper presented at 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., 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

Ibrahim, I. A. F. A. H., Bochtis, D., Grøn Sørensen, C. & Nørremark, M. (2010). Automated generation of guidance lines for operational field planning. Biosystems Engineering, 107(4), 294-306. https://doi.org/10.1016/j.biosystemseng.2010.09.001

Green, O., Juul Larsen, J., Kristensen, E. F., Nadimi, E. S., Jørgensen, J. R., Ibrahim, I. A. F. A. H., Bochtis, D. & Grøn Sørensen, C. (2010). Automated monitoring of variations of drying conditions in a seed drying facility. Poster session presented at World Congress of the International Commission of Agricultural Engineering (CIGR), Sustainable biosystems through engineering, Quebec, Canada. https://www.researchgate.net/publication/260600010_Automated_monitoring_of_variations_of_drying_conditions_in_a_seed_drying_facility

Green, O., Juul Larsen, J., Kristensen, E. F., Nadimi, E. S., Jørgensen, J. R., Ibrahim, I. A. F. A. H., Bochtis, D. & Grøn Sørensen, C. (2010). Automated monitoring of variations of drying conditions in a seed drying facility. Paper presented at World Congress of the International Commission of Agricultural and Biosystems Engineering (CIGR), Sustainable Biosystems Through Engineering, Quebec City, Canada. http://bioeng.ca/publications/meetings-papers?sobi2Task=sobi2Details&catid=25&sobi2Id=387

Green, O., Juul Larsen, J., Kristensen, E. F., Nadimi, E. S., Jørgensen, J. R., Ibrahim, I. A. F. A. H., Bochtis, D. & Grøn Sørensen, C. (2010). Automated monitoring of variations of drying conditions in a seed drying facility. In P. Savoie, J. Villeneuve & R. Morisette (Eds.), XVIIth World Congress of the International Commission of Agricultural and Biosystems Engineering, Book of Abstracts (pp. 214) https://www.researchgate.net/publication/260600010_Automated_monitoring_of_variations_of_drying_conditions_in_a_seed_drying_facility

Swain, K. C., Zaman, Q. U., Schumann, A. W., Percival, D. C. & Bochtis, D. (2010). Computer vision system for wild blueberry fruit yield mapping. Biosystems Engineering, 106(4), 389-394. https://doi.org/10.1016/j.biosystemseng.2010.05.001

Bentsen, P., Nybo, J., Ring, C. & Wagner, S. (2010). Continuous healthcare: Removing the inconvenience of recharging. In 2010 4th International Conference on Pervasive Computing Technologies for Healthcare, Pervasive Health 2010 Article 5482263 https://doi.org/10.4108/ICST.PERVASIVEHEALTH2010.8900

Bochtis, D., Sørensen, C. A. G., Jørgensen, R. N. & Green, O. (2009). Modelling of material handling operations using controlled traffic. Biosystems Engineering, 103(4), 397-408. https://doi.org/10.1016/j.biosystemseng.2009.02.006

Abrial, J. R., Butler, M., Hallerstede, S. & Voisin, L. (2008). A roadmap for the rodin toolset. In Abstract State Machines, B and Z - First International Conference, ABZ 2008, Proceedings (pp. 347) https://doi.org/10.1007/978-3-540-87603-8_35

Klionsky, D. J., Abeliovich, H., Agostinis, P., Agrawal, D. K., Aliev, G., Askew, D. S., Baba, M., Baehrecke, E. H., Bahr, B. A., Ballabio, A., Bamber, B. A., Bassham, D. C., Bergamini, E., Bi, X., Biard-Piechaczyk, M., Blum, J. S., Bredesen, D. E., Brodsky, J. L., Brumell, J. H. ... Deter, R. L. (2008). Guidelines for the use and interpretation of assays for monitoring autophagy in higher eukaryotes. Autophagy, 4(2), 151-75. https://doi.org/10.4161/auto.5338

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

Abrial, J. R. & Hallerstede, S. (2007). Refinement, decomposition, and instantiation of discrete models: Application to event-B. Fundamenta Informaticae, 77(1-2), 1-28. https://dl.acm.org/doi/10.5555/2366448.2366450

Abrial, J. R., Butler, M., Hallerstede, S. & Voisin, L. (2006). An open extensible tool environment for event-B. In Formal Methods and Software Engineering - 8th International Conference on Formal Engineering Methods, ICFEM 2006, Proceedings (pp. 588-605). Springer Verlag. https://doi.org/10.1007/11901433_32

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

Voros, N. S., Snook, C. F., Hallerstede, S. & Masselos, K. (2005). Embedded system design using formal model refinement: An approach based on the combined use of UML and the B language. Design Automation for Embedded Systems, 9(2), 67-99. https://doi.org/10.1007/s10617-005-1184-6

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

Johansen, P. (2004). Quantification of Cavitation in the Vicinity of Mechanical Heart Valves.

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

Woodcock, J. & Larsen, P. G. (1995). Guest Editorial: Introduction to Special Section. IEEE Transactions on Software Engineering, 21, 61-62. https://doi.org/10.1109/TSE.1995.10000

Displaying results 1401 to 1449 out of 1449

Revised 30.12.2025

AU Engineering