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., 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

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 University. 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. A C M 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

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-411). 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. (2018). 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://www.taylorfrancis.com/chapters/edit/10.1201/9780429506215-25/novadm-towards-formal-unified-renovation-domain-model-generation-holistic-renovation-scenarios-kamari-schultz-kirkegaard

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. SIGCSE Bulletin (Association for Computing Machinery, Special Interest Group on Computer Science Education), 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

Kulik, T., Tran-Jørgensen, P. W. V., Boudjadar, J. & Schultz, C. P. L. (2018). A Framework for Threat-Driven Cyber Security Verification of IoT Systems. In Proceedings - 2018 IEEE 11th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2018: Proceedings (pp. 89-97). IEEE. https://doi.org/10.1109/ICSTW.2018.00033

Gomes, C., Meyers, B., Denil, J., Thule, C., Lausdahl, K. G., Vangheluwe, H. & De Meulenaere, P. (2019). Semantic adaptation for FMI co-simulation with hierarchical simulators. Simulation, 95(3), 241-269. https://doi.org/10.1177/0037549718759775

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 (Vol. 10729, pp. 377-390). Springer. https://doi.org/10.1007/978-3-319-74781-1_26

Foldager, F. F., Larsen, P. G. & Green, O. (2018). Development of a driverless lawn mower using co-simulation. 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 (Vol. 10729, pp. 330-344). Springer. https://doi.org/10.1007/978-3-319-74781-1_23

Ishikawa, F., Larsen, P. G. & S. Fitzgerald, J. (2018). Model-Based Design for Smart Products and Systems: Advanced Capabilities and Challenging Applications: NII Shonan Meeting Report No. 2017-18. National Institute of Informatics, Tokyo. NII Shonan Meeting Report http://shonan.nii.ac.jp/shonan/wp-content/uploads/2018/06/No.2017-18.pdf

Gomes, C., Thule, C., Broman, D., Larsen, P. G. & Vangheluwe, H. (2018). Co-Simulation: A Survey. ACM Computing Surveys, 51(3), Article 49. https://doi.org/10.1145/3179993

Boudjadar, J., Hyun Kim, J., Thi Xuan Phan, L., Lee, I., G. Larsen, K. & Nyman, U. M. (2018). Generic Formal Framework for Compositional Analysis of Hierarchical Scheduling Systems. In Proceedings - 2018 IEEE 21st International Symposium on Real-Time Computing, ISORC 2018: Proceedings (pp. 51-58). Article 8421146 IEEE. https://doi.org/10.1109/ISORC.2018.00015

Displaying results 501 to 550 out of 866

Back to the main page

Revised 10.08.2023

AU Engineering