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ér efter: Dato | Forfatter | Titel

Suetta, C., Frandsen, U., Nygaard, J. V. & Mikkelsen, P. H. (2018). Compression garment for providing neuromuscular electrical stimulation. (Patentnummer 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. I M. Mazzara, I. Ober & G. Salaün (red.), Software Technologies: Applications and Foundations - STAF 2018 Collocated Workshops, Revised Selected Papers (s. 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. I M. Mazzara, I. Ober & G. Salaün (red.), Software Technologies: Applications and Foundations - STAF 2018 Collocated Workshops, Revised Selected Papers (s. 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. I Book of Abstracts of the European Conference on Agricultural Engineering: AgEng2018 (s. 60-61). Wageningen University. https://doi.org/10.18174/471678

Kulik, T. & Larsen, P. G. (2018). Towards Formal Verification of Cyber Security Standards. I A. S. Kamkin, A. K. Petrenko & A. N. Terekhov (red.), SYRCoSE 2018: Preliminary Proceedings of the 12th Spring/Summer Young Researchers’ Colloquium on Software Engineering (s. 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. Afhandling præsenteret på iCERi2018, Sevilla, Spanien.

Nilsson, R. S., Lausdahl, K. G., Macedo, H. D. & Larsen, P. G. (2018). Transforming an industrial case study from VDM++ to VDM-SL. I K. Pierce & M. Verheof (red.), The 16th Overture Workshop (Bind CS-TR-1524, s. 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. I K. Pierce & M. Verheof (red.), The 16th Overture Workshop (Bind CS-TR-1524, s. 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. I K. Pierce & M. Verheof (red.), The 16th Overture Workshop (Bind CS-TR-1524, s. 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. I 2019 16th IEEE Annual Consumer Communications and Networking Conference, CCNC 2019 Artikel 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. I T. Margaria & B. Steffen (red.), Leveraging Applications of Formal Methods, Verification and Validation: Distributed Systems - 8th International Symposium, ISoLA 2018 (Bind III, s. 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. I T. Margaria & B. Steffen (red.), Leveraging Applications of Formal Methods, Verification and Validation: Distributed Systems - 8th International Symposium, ISoLA 2018 (Bind III, s. 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. I T. Margaria & B. Steffen (red.), Leveraging Applications of Formal Methods, Verification and Validation. Modeling - 8th International Symposium, ISoLA 2018, Proceedings: 8th International Symposium, ISoLA 2018, Proceedings, Part I (Bind I, s. 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. I L. Deka & M. Chowdhury (red.), Transportation Cyber-Physical Systems (s. 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. I Proceedings of the 2018 IEEE/ACM 22nd International Symposium on Distributed Simulation and Real Time Applications, DS-RT 2018 (s. 37-46). Artikel 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’. I C. Benzmüller, F. Ricca, X. Parent & D. Roman (red.), Rules and Reasoning - Second International Joint Conference, RuleML+RR 2018, Proceedings: Second International Joint Conference, RuleML+RR 2018, Proceedings (s. 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. I J. Karlshoj & R. Scherer (red.), 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) (s. 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. I E. Broch Johnsen & I. Schafer (red.), Software Engineering and Formal Methods - 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Proceedings: 16th International Conference, SEFM 2018, Proceedings (s. 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. I Proceedings of the EurAgEng 2018

Bennedsen, J. (2004). Programming in context - A model-first approach to CS1. S I G C H I Bulletin (Print), 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. I Reflections on the Teaching of Programming - Methods and Implementations (s. 3-5) https://doi.org/10.1007/978-3-540-77934-6_1

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. I Proceedings - 2018 IEEE 11th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2018: Proceedings (s. 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. I A. Cerone & M. Roveri (red.), Software Engineering and Formal Methods - SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Revised Selected Papers (Bind 10729, s. 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. I A. Cerone & M. Roveri (red.), Software Engineering and Formal Methods - SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Revised Selected Papers (Bind 10729, s. 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), Artikel 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. I Proceedings - 2018 IEEE 21st International Symposium on Real-Time Computing, ISORC 2018: Proceedings (s. 51-58). Artikel 8421146 IEEE. https://doi.org/10.1109/ISORC.2018.00015

Neghina, M., Zamfirescu, C.-B., Larsen, P. G., Lausdahl, K. G. & Pierce, K. (2018). Multi-Paradigm Discrete-Event Modelling and Co-simulation of Cyber-Physical Systems. Studies in Informatics and Control, 27(1), 33-42. https://doi.org/10.24846/v27i1y201804

Bennedsen, J., Rouvrais, S., Roslöf, J., Kontio, J., Georgsson, F. & McCartan, C. D. (2020). Collaborative quality enhancement in engineering education: an overview of operational models at a programme level. European Journal of Engineering Education, 45(1), 73-88. https://doi.org/10.1080/03043797.2018.1443058

Isasa, J. A. E., Larsen, P. G. & Hansen, F. O. (2017). Energy-aware model-driven development of a wearable healthcare device. I M. Huhn & L. Williams (red.), Software Engineering in Health Care: FHIES 2014 and SEHC 2014, Revised Selected Papers (Bind 9062 , s. 44-63). Springer. https://doi.org/10.1007/978-3-319-63194-3_4

Chipofya, M., Karamesouti, M., Jan, S., Schwering, A., Murcia, C., Schultz, C. P. L., Ho, S., Osewe, G. & Chika, B. (2018). Modelling Local Knowledge for Inclusive and Responsive Land Information Systems: The Southern Kenyan Maasai Ontology. Poster-session præsenteret på World Bank Conference on Land and Poverty 2018, Washington D. C., District of Columbia, USA. https://its4land.com/world-bank-land-and-poverty-conference-2018/

Krings, S., Leuschel, M., Körner, P., Hallerstede, S. & Hasanagic, M. (2018). Three is a crowd: SAT, SMT and CLP on a chessboard. I F. Calimeri, K. Hamlen & N. Leone (red.), Practical Aspects of Declarative Languages - 20th International Symposium, PADL 2018, Proceedings: 20th International Symposium on Practical Aspects of Declarative Languages - PADL 2018 - Proceedings (Bind 10702, s. 63-79). Springer. https://doi.org/10.1007/978-3-319-73305-0_5

Suchan, J., Bhatt, M., Walega, P. & Schultz, C. P. L. (2018). Visual Explanation by High-Level Abduction On Answer-Set Programming Driven Reasoning about Moving Objects. I 32nd AAAI Conference on Artificial Intelligence, AAAI 2018: AAAI-18 (s. 1965-1972). AAAI Press. https://www.aaai.org/ocs/index.php/AAAI/AAAI18/paper/view/17303/15902

Koeva, M., Bennett, R., Crommelinck, S., Stöcker, C., Crompvoets, J., Ho, S., Schwering, A., Chipofya, M., Schultz, C. P. L., Zein, T., Biraro, M., Wayumba, R. & Kundert, K. (2017). Towards Innovative Geospatial Tools for Fit-for-Purpose Land Rights Mapping. I The International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences, (Bind XLII-2/W7, s. 37-43) https://doi.org/10.5194/isprs-archives-XLII-2-W7-37-2017

Lausdahl, K. G., Thule, C., Larsen, P. G., Höll, J., Klueber, A., Pfeil, M. & Fässler, V. (2017). The INTO-CPS Co-Simulation Orchestration Engine – Experiences with FMI 2.0 and proposed extensions. Abstract fra FMI User meeting, Prag, Tjekkiet.

Cavalcanti, A. L. C., Miyazawa, A., Payne, R. & Woodcock, J. (2017). Sound Simulation and Co-simulation for Robotics. I Present and Ulterior Software Engineering (s. 173-194). Springer. https://doi.org/10.1007/978-3-319-67425-4_11

Boudjadar, J. (2018). Compositional Schedulability Analysis of Multicore Modular Avionic Architectures. Journal of Computers, 13(10), 1202-1215. https://doi.org/10.17706/jcp.13.10.1202-1215

Kondyli, V., Schultz, C. P. L. & Bhatt, M. (2017). Evidence-Based Parametric Design: Computationally Generated Spatial Morphologies Satisfying Behavioural-Based Design Constraints. I E. Clementini, M. Donnelly, M. Yuan, C. Kray, P. Fogliaroni & A. Ballatore (red.), 13th International Conference on Spatial Information Theory, COSIT 2017 (s. 1-14). Artikel 11 https://doi.org/10.4230/LIPIcs.COSIT.2017.11

Neghina, M., Zamfirescu, C.-B., Larsen, P. G., Lausdahl, K. G. & Pierce, K. (2017). A Discrete Event-first Approach to Collaborative Modelling of Cyber-Physical Systems. I J. S. Fitzgerald, P. W. V. Tran-Jørgensen & T. Oda (red.), The 15th Overture Workshop: New Capabilities and Applications for Model-based Systems Engineering: Proceedings (s. 116-129). Newcastle University.

Lausdahl, K. G., Bjerge, K., Bokhove, T., Groen, F. & Larsen, P. G. (2017). Transitioning from Crescendo to INTO-CPS. I J. S. Fitzgerald, P. W. V. Tran-Jørgensen & T. Oda (red.), The 15th Overture Workshop: New Capabilities and Applications for Model-based Systems Engineering: Proceedings (s. 16-30). Newcastle University.

Feo-Arenis, S., Verhoef, M. & Larsen, P. G. (2017). The Mars-Rover Case Study Modelled Using INTO-CPS. I J. S. Fitzgerald, P. W. V. Tran-Jørgensen & T. Oda (red.), The 15th Overture Workshop: New Capabilities and Applications for Model-based Systems Engineering: Proceedings (s. 130-144). Newcastle University.

Couto, L. D., Basagiannis, S., Ridouane, E. H., Hasanagic, M. & Larsen, P. G. (2018). Injecting Formal Verification in FMI-based Co-Simulations of Cyber-Physical Systems. I A. Cerone & M. Roveri (red.), Software Engineering and Formal Methods - SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Revised Selected Papers (Bind 10729, s. 284-299). Springer. https://doi.org/10.1007/978-3-319-74781-1_20

Foldager, F. F., Larsen, P. G. & Green, O. (2017). Development of a Driverless Lawn Mower using Co-Simulation. Afhandling præsenteret på 1st Workshop on Formal Co-Simulation of Cyber-Physical Systems, Trento, Italien. https://drive.google.com/open?id=0B2ej7mC7hWVrNFA0MUVybUF2VTg

Larsen, P. G., Fitzgerald, J. S., Woodcock, J., Gamble, C., Payne, R. & Pierce, K. (2017). Features of Integrated Model-based Co-modelling and Co-simulation Technology. Afhandling præsenteret på 1st Workshop on Formal Co-Simulation of Cyber-Physical Systems, Trento, Italien. https://drive.google.com/open?id=0B2ej7mC7hWVrMEM0bjNqbWc1a0k

Viser resultater 651 til 700 ud af 1030

Forrige

Næste

Back to the main page

Revideret 13.11.2025

AU Engineering