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

Gheisarnejad, M., Karimaghaee, P., Boudjadar, J. & Khooban, M. H. (2019). Real-Time Cellular Wireless Sensor Testbed for Frequency Regulation in Smart Grids. IEEE Sensors Journal, 19(23), 11656-11665. Article 8794525. https://doi.org/10.1109/JSEN.2019.2934599

Toor, A., Islam, S. U., Sohail, N., Akhunzada, A., Boudjadar, J., Khattak, H. A., Din, I. U. & Rodrigues, J. J. P. C. (2019). Energy and performance aware fog computing: A case of DVFS and green renewable energy. Future Generation Computer Systems, 101, 1112-1121. https://doi.org/10.1016/j.future.2019.07.010

Kulik, T., Tran-Jørgensen, P. W. V. & Boudjadar, J. (2019). Compliance verification of a cyber security standard for Cloud-connected SCADA. In Global IoT Summit, GIoTS 2019 - Proceedings Article 8766363 IEEE. https://doi.org/10.1109/GIOTS.2019.8766363

Bjerge, K., Frigaard, C. E., Mikkelsen, P. H., Nielsen, T. H., Misbih, M. & Kryger, P. (2019). A computer vision system to monitor the infestation level of Varroa destructor in a honeybee colony. Computers and Electronics in Agriculture, 164(September), Article 104898. https://doi.org/10.1016/j.compag.2019.104898

Gheisarnejad, M., Boudjadar, J. & Khooban, M. H. (2019). A New Adaptive Type-II Fuzzy-Based Deep Reinforcement Learning Control: Fuel Cell Air-Feed Sensors Control. IEEE Sensors Journal, 19(20), 9081-9089. Article 8744606. https://doi.org/10.1109/JSEN.2019.2924726

Gheisarnejad, M., Moghadam, M., Boudjadar, J. & Khooban, M. H. (2020). Active Power Sharing and Frequency Recovery Control in an Islanded Microgrid with Nonlinear load and Non-Dispatchable DG. IEEE Systems Journal, 14(1), 1058-1068. Article 8771151. https://doi.org/10.1109/JSYST.2019.2927112

Barnes, C., Bellman, K., Botev, J., Diaconescu, A., Esterle, L., Gruhl, C., Landauer, C., Lewis, P. R., Nelson, P. R., Stein, A., Stewart, C. & Tomforde, S. (2019). CHARIOT – Towards a Continuous High-level Adaptive Runtime Integration Testbed. 52-55. Paper presented at SELF-IMPROVING SYSTEM INTEGRATION, Umeå, Sweden. https://doi.org/10.1109/FAS-W.2019.00026

Barnes, C., Esterle, L. & Brown, J. NA. (2019). ”When you believe in things that you don’t understand”: the effect of cross-generational habits on self-improving system integration. 28-31. Paper presented at SELF-IMPROVING SYSTEM INTEGRATION, Umeå, Sweden. https://doi.org/10.1109/FAS-W.2019.00020

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

Larsen, P. G., Fitzgerald, J., Woodcock, J., König, C., Basagiannis, S., Brosse, E., Gomes, C., Cabral, J., Macedo, H. D., Thule, C., Sadovykh, A., Zamfirescu, C.-B., Neghina, M., Pierce, K., Gamble, C. & Payne, R. (2018). The INtegrated TOolchain for Cyber-Physical Systems (INTO-CPS): a Guide. http://into-cps.org/fileadmin/into-cps.org/Filer/INTO-CPS-Manifesto.pdf

Bandur, V., Larsen, P. G., Lausdahl, K., Thule, C., Gamble, C., Payne, R., Pop, A., Brosse, E., Brauer, J., Lapschies, F., Groothuis, M., Bokhove, T., Kleijn, C. & Couto, L. D. (2017). INTO-CPS tool chain user manual. Aarhus Universitet. https://into-cps.github.io/download/

Khooban, M. H., Gheisarnejad, M., Vafamand, N., Jafari, M., Mobayen, S., Dragicevic, T. & Boudjadar, J. (2019). Robust Frequency Regulation in Mobile Microgrids: HIL Implementation. IEEE Systems Journal, 13(4), 4281-4291. https://doi.org/10.1109/JSYST.2019.2911210

Bennedsen, J. & Caspersen, M. E. (2019). Failure rates in introductory programming: 12 years later. ACM Inroads, 10(2), 30-36. https://doi.org/10.1145/3324888

Kamari, A., Schultz, C. P. L. & Kirkegaard, P. H. (2019). Constraint-based renovation design support through the renovation domain model. Automation in Construction, 104, 265-280. https://doi.org/10.1016/j.autcon.2019.04.023

Macedo, H. D., Nilsson, R. S. & Larsen, P. G. (2019). Embedding deviation-tolerance in a harvest logistic solution. Computers, 8(2). https://doi.org/10.3390/computers8020031

Kamari, A., Schultz, C. P. L. & Kirkegaard, P. H. (2019). Unleashing the diversity of conceptual building renovation design: Integrating high-fidelity simulation with rapid constraint-based scenario generation. In S. Rockcastle, T. Rakha, C. Cerezo Davila, D. Papanikolaou & T. Zakula (Eds.), SimAUD 2019. 2019 Proceedings of the Symposium on Simulation for Architecture & Urban Design: 10th anniversary edition (Vol. 51, pp. 29-36). The Society for Modeling and Simulation International (SCS). http://simaud.org/proceedings/download.php?f=SimAUD2019_Proceedings_HiRes.pdf

Wallace, J. (2019). Ethics and inscription in social robot design. A visual ethnography. Paladyn, 10(1), 66-76. https://doi.org/10.1515/pjbr-2019-0003

Khooban, M. H., Gheisarnezhad , M., Vafamand, N. & Boudjadar, J. (2019). Electric Vehicle Power Propulsion System Control Based on Time-Varying Fractional Calculus: Implementation and Experimental Results. IEEE Transactions on Intelligent Vehicles, 4(2), 255-264. Article 8671754. https://doi.org/10.1109/TIV.2019.2904415

Rafiei Foroushani, M., Khooban, M. H., Afshari-Igder, M. & Boudjadar, J. (2020). A Novel Approach to Overcome the Limitations of Reliability Centered Maintenance Implementation on the Smart Grid Distance Protection System. IEEE Transactions on Circuits and Systems II: Express Briefs, 67(2), 320-324. Article 8668570. https://doi.org/10.1109/TCSII.2019.2905639

Vafamand, N., Khooban, M. H., Dragicevic, T., Boudjadar, J. & Asemani, M. H. (2019). Time-Delayed Stabilizing Secondary Load Frequency Control of Shipboard Microgrids. IEEE Systems Journal, 13(3), 3233-3241. https://doi.org/10.1109/JSYST.2019.2892528

Kulik, T., Tran-Jørgensen, P. W. V. & Boudjadar, J. (2019). Formal Security Analysis of Cloud-Connected Industrial Control Systems. In J. L. Lanet & C. Toma (Eds.), Innovative Security Solutions for Information Technology and Communications - 11th International Conference, SecITC 2018, Revised Selected Papers: SECITC 2018 - International Conference on Security for Information Technology and Communications (Vol. 11359, pp. 71-84). Springer. https://doi.org/10.1007/978-3-030-12942-2_7

Pedersen, N., Lausdahl, K. G., Vidal, E. S., Thule, C., Larsen, P. G. & Madsen, J. (2019). Distributed Co-simulation of Embedded Control Software Using INTO-CPS. In M. S. Obaidat, T. Ören & F. De Rango (Eds.), Simulation and Modeling Methodologies, Technologies and Applications - 7th International Conference, SIMULTECH 2017, Revised Selected Papers: SIMULTECH 2017, Revised Selected Papers (pp. 33-54). Springer. https://doi.org/10.1007/978-3-030-01470-4_3

Thule, C., Lausdahl, K. G., Gomes, C., Meisl, G. & Larsen, P. G. (2019). Maestro: The INTO-CPS co-simulation framework. Simulation Modelling Practice and Theory, 92, 45-61. https://doi.org/10.1016/j.simpat.2018.12.005

Karamesouti, M., Schultz, C. P. L., Chipofya, M., Jan, S., Murcia Galeano, C. E., Schwering, A. & Timm, C. (2018). THE MAASAI OF SOUTHERN KENYA DOMAIN MODEL OF LAND USE. In ISPRS Annals of the Photogrammetry, Remote Sensing and Spatial Information Sciences: ISPRS TC IV Mid-term Symposium “3D Spatial Information Science – The Engine of Change” (Vol. IV-4, pp. 105-112). International Society for Photogrammetry and Remote Sensing. https://doi.org/10.5194/isprs-annals-IV-4-105-2018

Suetta, C., Frandsen, U., Nygaard, J. V. & Mikkelsen, P. H. (2018). Compression garment for providing neuromuscular electrical stimulation. (Patent No. WO2018/206067 A1). https://dk.espacenet.com/publicationDetails/biblio?DB=EPODOC&II=0&ND=3&adjacent=true&locale=dk_DK&FT=D&date=20181115&CC=WO&NR=2018206067A1&KC=A1#

Gomes, C., Thule, C., Lausdahl, K. G., Larsen, P. G. & Vangheluwe, H. (2018). Demo: Stabilization Technique in INTO-CPS. In M. Mazzara, I. Ober & G. Salaün (Eds.), Software Technologies: Applications and Foundations - STAF 2018 Collocated Workshops, Revised Selected Papers (pp. 45-51). Springer. https://doi.org/10.1007/978-3-030-04771-9_4

Thule, C., Gomes, C., Deantoni, J., Larsen, P. G., Brauer, J. & Vangheluwe, H. (2018). Towards the Verification of Hybrid Co-simulation Algorithms. In M. Mazzara, I. Ober & G. Salaün (Eds.), Software Technologies: Applications and Foundations - STAF 2018 Collocated Workshops, Revised Selected Papers (pp. 5-20). Springer. https://doi.org/10.1007/978-3-030-04771-9_1

Hasanagic, M., Tran-Jørgensen, P. W. V., Nilsson, R. S. & Larsen, P. G. (2019). Realization of distributed system models using code generation extensions. Software: Practice & Experience, 49(3), 478-497. https://doi.org/10.1002/spe.2671

Foldager, F., Balling, O., Boel, M., Gamble, C., Larsen, P. G. & Green, O. (2018). Design Space Exploration in the Development of Agricultural Robots. In Book of Abstracts of the European Conference on Agricultural Engineering: AgEng2018 (pp. 60-61). Wageningen University. https://doi.org/10.18174/471678

Kulik, T. & Larsen, P. G. (2018). Towards Formal Verification of Cyber Security Standards. In A. S. Kamkin, A. K. Petrenko & A. N. Terekhov (Eds.), SYRCoSE 2018: Preliminary Proceedings of the 12th Spring/Summer Young Researchers’ Colloquium on Software Engineering (pp. 20-25). Rossijskaja akademija nauk / Russian Academy of Sciences. http://syrcose.ispras.ru/2018/SYRCoSE2018_Proceedings.pdf

Godsk, M., Hougaard, R. F. & Bennedsen, J. (2018). Learning Design, Learning Analytics, and Learning Management Systems. 2149–2154. Paper presented at iCERi2018, Sevilla, Spain.

Nilsson, R. S., Lausdahl, K. G., Macedo, H. D. & Larsen, P. G. (2018). Transforming an industrial case study from VDM++ to VDM-SL. In K. Pierce & M. Verheof (Eds.), The 16th Overture Workshop (Vol. CS-TR-1524, pp. 107-123). Newcastle University. https://www.ncl.ac.uk/media/wwwnclacuk/schoolofcomputingscience/files/trs/1524.pdf#section*.14

Oda, T., Keijiro, A. & Larsen, P. G. (2018). ViennaVM: a Virtual Machine for VDM-SL development. In K. Pierce & M. Verheof (Eds.), The 16th Overture Workshop (Vol. CS-TR-1524, pp. 39-57). Newcastle University. https://www.ncl.ac.uk/media/wwwnclacuk/schoolofcomputingscience/files/trs/1524.pdf#section*.10

Thule, C., Lausdahl, K. G. & Larsen, P. G. (2018). Overture FMU: Export VDM-RT Models as Tool-Wrapper FMUs. In K. Pierce & M. Verheof (Eds.), The 16th Overture Workshop (Vol. CS-TR-1524, pp. 23-39). Newcastle University. https://www.ncl.ac.uk/media/wwwnclacuk/schoolofcomputingscience/files/trs/1524.pdf#section*.9

Techel, J., Zhao, X., Talasila, S. R. K. P., Zhang, Q. & Lucani Rötter, D. E. (2019). Demonstration of Reliable IoT Distributed Storage using Network Codes. In 2019 16th IEEE Annual Consumer Communications and Networking Conference, CCNC 2019 Article 8651722 IEEE. https://doi.org/10.1109/CCNC.2019.8651722

Gomes, C., Thule, C., Deantoni, J., Larsen, P. G. & Vangheluwe, H. (2018). Co-simulation: The Past, Future, and Open Challenges. In T. Margaria & B. Steffen (Eds.), Leveraging Applications of Formal Methods, Verification and Validation: Distributed Systems - 8th International Symposium, ISoLA 2018 (Vol. III, pp. 504-520). Springer. https://doi.org/10.1007/978-3-030-03424-5_34

Gibson, P., Larsen, P. G., Pantel, M., Fitzgerald, J. & Woodcock, J. (2018). Cyber-Physical Systems Engineering: An Introduction. In T. Margaria & B. Steffen (Eds.), Leveraging Applications of Formal Methods, Verification and Validation: Distributed Systems - 8th International Symposium, ISoLA 2018 (Vol. III, pp. 407-410). Springer. https://doi.org/10.1007/978-3-030-03424-5_27

Hallerstede, S., Larsen, P. G. & Fitzgerald, J. (2018). A Non-unified View of Modelling, Specification and Programming. In T. Margaria & B. Steffen (Eds.), Leveraging Applications of Formal Methods, Verification and Validation. Modeling - 8th International Symposium, ISoLA 2018, Proceedings: 8th International Symposium, ISoLA 2018, Proceedings, Part I (Vol. I, pp. 52-68). Springer. https://doi.org/10.1007/978-3-030-03418-4_4

Fitzgerald, J., Gamble, C., Mansfield, M., Ouy, J., Palacin, R., Pierce, K. & Larsen, P. G. (2018). Collaborative modelling and co-simulation for Transportation Cyber-Physical Systems. In L. Deka & M. Chowdhury (Eds.), Transportation Cyber-Physical Systems (pp. 51-79). Elsevier. https://doi.org/10.1016/C2017-0-00963-1

Boudjadar, J. & Macedo, H. D. (2019). Towards a Schedulability-driven Architecture Exploration for Mixed Criticality Multicore Systems. In Proceedings of the 2018 IEEE/ACM 22nd International Symposium on Distributed Simulation and Real Time Applications, DS-RT 2018 (pp. 37-46). Article 8600927 IEEE. https://doi.org/10.1109/DISTRA.2018.8600927

Schultz, C. P. L., Bhatt, M., Suchan, J. & Walega, P. A. (2018). Answer Set Programming Modulo ‘Space-Time’. In C. Benzmüller, F. Ricca, X. Parent & D. Roman (Eds.), Rules and Reasoning - Second International Joint Conference, RuleML+RR 2018, Proceedings: Second International Joint Conference, RuleML+RR 2018, Proceedings (pp. 318-326). Springer. https://doi.org/10.1007/978-3-319-99906-7_24

Kamari, A., Schultz, C. P. L. & Kirkegaard, P. H. (2018). NovaDM: Towards a formal, unified Renovation Domain Model for the generation of holistic renovation scenarios. In J. Karlshoj & R. Scherer (Eds.), eWork and eBusiness in Architecture, Engineering and Construction - Proceedings of the 12th European Conference on Product and Process Modelling, ECPPM 2018: Proceedings of the 12th European Conference on Product and Process Modelling (ECPPM 2018) (pp. 197-205). CRC Press/Balkema. https://doi.org/10.1201/9780429506215-25

Gomes, C., Thule, C., Larsen, P. G., Denil, J. & Vangheluwe, H. (2018). Co-simulation of Continuous Systems: A Tutorial. ArXiv. https://arxiv.org/pdf/1809.08463.pdf

Hallerstede, S. (2018). Tobias Nipkow and Gerwin Klein: Concrete Semantics with Isabelle/HOL. Formal Aspects of Computing, 30(3-4), 491-492. https://doi.org/10.1007/s00165-018-0454-6

Hallerstede, S., Hasanagic, M., Krings, S., Larsen, P. G. & Leuschel, M. (2018). From Software Specifications to Constraint Programming. In E. Broch Johnsen & I. Schafer (Eds.), Software Engineering and Formal Methods - 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Proceedings: 16th International Conference, SEFM 2018, Proceedings (pp. 21-36). Springer. https://doi.org/10.1007/978-3-319-92970-5_2

Kulik, T. & Larsen, P. G. (2018). Towards Formal Verification of Cyber Security Standards. Proceedings of the Institute for System Programming, 30(4), 79-94. https://doi.org/10.15514/ISPRAS-2018-30(4)-5

Foldager, F., Balling, O., Boel, M., Gamble, C., Larsen, P. G. & Green, O. (2018). Design Space Exploration in the Development of Agricultural Robots. In Proceedings of the EurAgEng 2018

Bennedsen, J. (2004). Programming in context - A model-first approach to CS1. ACM SIGCSE Bulletin, 36(1), 477-481. https://doi.org/10.1145/1028174.971461

Bennedsen, J. & Fjuk, A. (2006). Learning object-orientation by professional adults. International Journal of Continuing Engineering Education and Life-Long Learning, 16(6), 453-465. https://doi.org/10.1504/IJCEELL.2006.011890

Bennedsen, J. (2008). Introduction to part I issues in introductory programming courses. In Reflections on the Teaching of Programming - Methods and Implementations (pp. 3-5) https://doi.org/10.1007/978-3-540-77934-6_1

Displaying results 651 to 700 out of 1053

Back to the main page

Revised 13.11.2025

AU Engineering