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

Coleman, J., Lausdahl, K. & Larsen, P. G. (2014). Semantics of Co-simulation. I J. Fitzgerald, P. G. Larsen & M. Verhoef (red.), Collaborative Design for Embedded Systems : Co-modelling and Co-simulation (s. 273-291). Springer. https://doi.org/10.1007/978-3-642-54118-6_13

Wolff, S., Larsen, P. G. & Verhoef, M. (2014). Deploying Co-modelling in Commercial Practice. I J. Fitzgerald, P. G. Larsen & M. Verhoef (red.), Collaborative Design for Embedded Systems : Co-modelling and Co-simulation (s. 263-270). Springer. https://doi.org/10.1007/978-3-642-54118-6_12

Verhoef, M. & Larsen, P. G. (2014). Industrial Application of Co-modelling and Co-simulation Technology. I J. Fitzgerald, P. G. Larsen & M. Verhoef (red.), Collaborative Design for Embedded Systems : Co-modelling and Co-simulation (s. 223-258). Springer. https://doi.org/10.1007/978-3-642-54118-6_11

Pierce, K., Larsen, P. G. & Fitzgerald, J. (2014). Co-model Structuring and Design Patterns. I J. Fitzgerald, P. G. Larsen & M. Verhoef (red.), Collaborative Design for Embedded Systems : Co-modelling and Co-simulation (s. 115-137). Springer. https://doi.org/10.1007/978-3-642-54118-6_6

Larsen, P. G., Gamble, C., Pierce, K., Ribeiro, A. & Lausdahl, K. (2014). Support for Co-modelling and Co-simulation: The Crescendo Tool. I J. Fitzgerald, P. G. Larsen & M. Verhoef (red.), Collaborative Design for Embedded Systems : Co-modelling and Co-simulation (s. 97-114). Springer. https://doi.org/10.1007/978-3-642-54118-6_5

Larsen, P. G., Fitzgerald, J., Verhoef, M. & Pierce, K. (2014). Discrete-Event Modelling in VDM. I J. Fitzgerald, P. G. Larsen & M. Verhoef (red.), Collaborative Design for Embedded Systems : Co-modelling and Co-simulation (s. 61-95). Springer. https://doi.org/10.1007/978-3-642-54118-6_4

Nielsen, C. B., Lausdahl, K. & Larsen, P. G. (2014). Distributed Simulation of Formal Models in System of Systems Engineering. I E E E International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises. Proceedings, 211-216. https://doi.org/10.1109/WETICE.2014.74

Nielsen, C. B. & Larsen, P. G. (2014). Collaborative Formal Modeling of System of Systems. I Proceedings of the 8th Annual IEEE International Systems Conference : SysCon 2014 (s. 154-161). IEEE Computer Society Press. https://doi.org/10.1109/SysCon.2014.6819250

Beevi, F. H. A., Pedersen, C. F., Wagner, S. R. & Hallerstede, S. (2014). Lateral Fall Detection via Events in Linear Prediction Residual of Acceleration. I C. Ramos, P. Novais, C. Ehrwein Nihan & J. M. Corchado Rodriguez (red.), Ambient Intelligence - Software and Applications: 5th International Symposium on Ambient Intelligence (Bind 291, s. 201-208). Springer. https://doi.org/10.1007/978-3-319-07596-9_22

Jensen, T. F., Hansen, F. O., Esparza Isasa, J. A., Mikkelsen, P. H., Hakala, T. & Vuorela, T. (2014). ICT-enabled Medical Compression Stocking for Treatment of Leg Venous Insufficiency. I Proceedings of the 7th International Conference on Biomedical Electronics and Devices: BIODEVICES 2014 - Part of 7th International Joint Conference on Biomedical Engineering Systems and Technologies, BIOSTEC (s. 212-217). SCITEPRESS Digital Library. https://doi.org/10.5220/0004903402120217

Fitzgerald, J., Larsen, P. G. & Verhoef, M. (2014). Linking Design Disciplines in Cyber-Physical System Development: The DESTECS/Crescendo Technology. ERCIM News, 97(April), 23-24. http://ercim-news.ercim.eu/images/stories/EN97/EN97-web.pdf

Gregersen, T., Jensen, T., Andersen, M., Mortensen, L., Maselyne, J. & Hessel, E. (2013). Computer vision based monitoring of performance of an RFID based eating registration system. I Proceedings of the 11th Conference on Construction, Engineering and Environment in Livestock Farming (s. 438-443)

Bennedsen, J. & Lauritsen, A. B. (2014). An Inverted Math Course. I V.-B. Valquiria & O. Giovannini (red.), Attracting young people to engineering: ALE 2014 (s. 119-128). Editora Abenge. http://vbaco01.ucs.br/aleEvento/images/files/Proceedings_ALE_2014_final_version.pdf

Larsen, P. G., Prinz, A., Snook, C. F. & Shahir , H. Y. (2014). Comparison of Methods. I U. Glässer, S. Hallerstede, M. Leuschel & E. Riccobene (red.), Integration of Tools for Rigorous Software Construction and Analysis (Dagstuhl Seminar 13372) (Bind Dagstuhl Reports, Volume 3, Issue 9). Dagstuhl Publishing. https://doi.org/10.4230/DagRep.3.9.74

Fleischmann, A., Glässer, U., Hayes , I., Hallerstede, S., Hansen , D., Voisin , L. & Winter, K. (2014). Working Groups: Comparison of Methods and Tools: Summary of Meeting of Workgroup on Methodology. I U. Glässer, S. Hallerstede, M. Leuschel & E. Riccobene (red.), Integration of Tools for Rigorous Software Construction and Analysis (Dagstuhl Seminar 13372) (Bind Dagstuhl Reports, Volume 3, Issue 9). Dagstuhl Publishing. https://doi.org/10.4230/DagRep.3.9.74

Jones, C. B., Larsen, P. G., Prinz, A., Raschke, A. & Snook, C. F. (2014). Speciﬁcation of the Cash Dispenser in Parallel using ASM and VDM. I U. Glässer, S. Hallerstede, M. Leuschel & E. Riccobene (red.), Integration of Tools for Rigorous Software Construction and Analysis (Dagstuhl Seminar 13372) (Bind Dagstuhl Reports, Volume 3, Issue 9). Dagstuhl Publishing. https://doi.org/10.4230/DagRep.3.9.74

Freitas, L., Hallerstede, S., Hansen, D., Kuppe, M., Mejia, F., Merz, S., Vanzetto, H. & Winter, K. (2014). Modeling Dijkstra’s Termination Detection Algorithm in TLA+. I U. Glässer, S. Hallerstede, M. Leuschel & E. Riccobene (red.), Integration of Tools for Rigorous Software Construction and Analysis (Dagstuhl Seminar 13372) (Bind Dagstuhl Reports, Volume 3, Issue 9). Dagstuhl Publishing. https://doi.org/10.4230/DagRep.3.9.74

Bendisposto , J., Börger , E., Hayes , I., Larsen, P. G. & Prinz, A. (2014). A VDM model of the Termination Detection Protocol. I U. Glässer, S. Hallerstede, M. Leuschel & E. Riccobene (red.), Integration of Tools for Rigorous Software Construction and Analysis (Dagstuhl Seminar 13372) (Bind Dagstuhl Reports, Volume 3, Issue 9). Dagstuhl Publishing. https://doi.org/10.4230/DagRep.3.9.74

Glässer, U., Hallerstede, S., Leuschel, M. & Riccobene, E. (2014). Executive Summary; Integration of Tools for Rigorous Software Construction and Analysis seminar. I U. Glässer, S. Hallerstede, M. Leuschel & E. Riccobene (red.), Integration of Tools for Rigorous Software Construction and Analysis (Dagstuhl Seminar 13372) (Bind Dagstuhl Reports, Volume 3, Issue 9). Dagstuhl Publishing. https://doi.org/10.4230/DagRep.3.9.74

Glässer, U., Hallerstede, S., Leuschel, M. & Riccobene, E. (2014). Integration of Tools for Rigorous Software Construction and Analysis. I U. Glässer, S. Hallerstede, M. Leuschel & E. Riccobene (red.), Integration of Tools for Rigorous Software Construction and Analysis (Dagstuhl Seminar 13372) (Bind Dagstuhl Reports, Volume 3, Issue 9). Dagstuhl Publishing. https://doi.org/10.4230/DagRep.3.9.74

Esparza Isasa, J. A. & Larsen, P. G. (2013). Modelling different CPU power states in VDM-RT. I K. Pierce & S. Hallerstede (red.), Proceedings of the 11th Overture Workshop, 2013 Aarhus University, Department of Engineering. http://eng.au.dk/fileadmin/DJF/ENG/PDF-filer/Tekniske_rapporter/ECE-TR-17-samlet.pdf

Hallerstede, S. & Larsen, P. G. (2013). Modelling a Smart Grid System-of-Systems using VDM. I K. Pierce & S. Hallerstede (red.), Proceedings of The 11th Overture Workshop, 2013 http://eng.au.dk/fileadmin/DJF/ENG/PDF-filer/Tekniske_rapporter/ECE-TR-17-samlet.pdf

Bennedsen, J. & Caspersen, M. E. (2007). Failure Rates in Introductory Programming. ACM Inroads, 39(2), 32-36. https://doi.org/10.1145/1272848.1272879

Jørgensen, P. W. V. & Larsen, P. G. (2013). Towards an Overture Code Generator. I K. Pierce & S. Hallerstede (red.), Proceedings of the 11th Overture Workshop (Bind Technical Report ECE-TR-17, s. 22-27). Aarhus Universitet, Institut for Ingeniørvidenskab . http://www.eng.au.dk/fileadmin/DJF/ENG/PDF-filer/Tekniske_rapporter/ECE-TR-17-samlet.pdf

Jørgensen, P. W. V., Lausdahl, K. G. & Larsen, P. G. (2013). An Architectural Evolution of the Overture Tool. I K. Pierce & S. Hallerstede (red.), Proceedings of the 11th Overture Workshop, 2013 (Bind Technical Report ECE-TR-17, s. 16-21). Aarhus Universitet, Institut for Ingeniørvidenskab . http://www.eng.au.dk/fileadmin/DJF/ENG/PDF-filer/Tekniske_rapporter/ECE-TR-17-samlet.pdf

Bennedsen, J. (2004). Learning Objects in Use. I The Internet Society: Advances in Learning, Commerce and Security (s. 61-68). WIT Pres.

Bennedsen, J., Berge, O. & Fjuk, A. (2005). Examining Social Interaction Patterns for Online Apprenticeship Learning Object-Oriented Programming as the Knowledge Domain. European Journal of Open, Distance and E-Learning.

Bennedsen, J. & Schulte, C. (2006). A Competence Model for Object-Interaction in Introductory Programming. I Proceedings of the 18th Workshop of the Psychology of Programming Interest Group (s. 215-229)

Schulte, C. & Bennedsen, J. (2006). What do Teachers Teach in Introductory Programming? I Proceedings of ICER´06: The Second International Computing Education Research Workshop (s. 17-28). ACM Press New York, NY, USA.

Fjuk, A., Holmboe, C., Jahreie, C. & Bennedsen, J. (2006). Contextualizing object-oriented learning. I Comprehensive object-oriented learning: The learner's perspective (s. 11-26). Informing Science Press.

Bennedsen, J. (2006). Collaborating in learning object-orientation in a synchronous, net-based environment. I Comprehensive object-oriented learning: The learner's perspective (s. 157-181). Informing Science Press.

Bennedsen, J. & Fjuk, A. (2006). Learning Object-Orientation by Professional Aduklts. International Journal of Continuing Engineering Education and Life-Long Learning, 16(6), 453-465.

Bennedsen, J. & Eriksen, O. (2006). Categorizing Pedagogical Patterns by Teaching Activities and Pedagogical Values. Computer Science Education, 16(2), 157-172.

Bennedsen, J. (2006). The Dissemination of Pedagogical Patterns. Computer Science Education, 16(2), 119-136.

Pears, A., Seidman, S., malmi, L., Manilla, L., Adams, E., Bennedsen, J., Devlin, M. & Paterson, J. (2007). a survey of litterature on the teaching of introductory programming. I SIGCSE Bulletin (Bind 39(4), s. 204-233). ACM Press New York, NY, USA.

Bennedsen, J. & Schulte, C. (2006). What does "objects-first" mean? an international study of teachers' perception of objects-first. I Proceedings of the Sevnth Baltic Sea Conference on Computing Education Research (s. 21-30)

Wallace, J. (2015). Makers not users: the material shaping of technology through use. I The stranger: on the understanding of and socialising with, the stranger in a globalised and constantly changing world DPU - Danmarks Institut for Pædagogik og Uddannelse. http://edu.au.dk/fileadmin/edu/Cursiv/CURSIV_16_www.pdf

Esparza Isasa, J. A., Jørgensen, P. W. V. & Larsen, P. G. (2014). Hardware In the Loop for VDM-Real Time Modeling of Embedded Systems. I Modelsward 2014 Proceedings of the 2nd International Conference on Model-Driven Enginering and Software Development (s. 209-216). SCITEPRESS Digital Library.

Fitzgerald, J., Larsen, P. G. & Woodcock, J. (2013). Foundations for Model-based Engineering for Systems of Systems. I M. Aiguier, F. Boulanger, D. Krob & C. Marchal (red.), Complex Systems Design & Management : Proceedings of the Fourth International Conference on Complex Systems Design & Management CSD&M 2013 (s. 1-19). Springer VS. https://doi.org/10.1007/978-3-319-02812-5_1

Bennedsen, J. & Caspersen, M. E. (2008). Model-Driven Programming. I Reflectionson the Teaching of Programming (Bind LNCS 4821, s. 116-129). Springer LNCS.

Brunell, C. & Bennedsen, J. (2013). Multi-level graduations in double degree engineering programmes between France and Denmark. I Procedings of the iCEER 2013 conference

Hansen, S. & Bennedsen, J. (2013). Collaboration and reflection using peer reviews and public wikis. I Proceedings of the 41st Annual SEFI Conference http://www.sefi.be/conference-2013/images/139.pdf

Bennedsen, J. (2011). Active Student Care – Lowering Student Dropout. Afhandling præsenteret på CDIO Conference, København, Danmark. http://www.cdio.org/files/document/file/61_paper.pdf

Bennedsen, J. & Christensen, M. (2012). Key-factors for a Successful CDIO Implementation in a Danish Context. Afhandling præsenteret på 8th International CDIO Conference, Brisbane, Australien. http://www.cdio.org/files/document/file/key-factors_for_a_successful_cdio_implementation_in_a_danish_context_.pdf

Bennedsen, J. (2004). Video mediering i programmeringsundervisningen - brug af videoer til at udfolde programmeringsprocessen. Tidsskrift for Universiteternes efter- og videreuddannelse, (3).

Georgsen, M. & Bennedsen, J. (2004). Fleksibel læring og undervisning: erfaringer, konsekvenser og muligheder med ikt. Aalborg Universitetsforlag.

Ørhøj, K., Bennedsen, J. & Caspersen, M. E. (1992). Programkonstruktion: en introduktion til programmering. (1. udgave, 1. oplag. udg.) Datamatikforlaget.

Bennedsen, J. & Fennefoss, T. (2003). Fleksibel webundervisning vokser med opgaverne: programmeringskursus - et eksperiment i netstøttede undervisningsforløb. Tidsskrift for Universiteternes efter- og videreuddannelse, (1). http://ojs.statsbiblioteket.dk/index.php/unev/article/view/5007

Bennedsen, J. & Schulte, C. (2013). Object interaction competence model v. 2.0. I Learning and Teaching in Computing and Engineering (LaTiCE) 2013 - Proceedings (s. 9-16). Artikel 6542233 IEEE. https://doi.org/10.1109/LaTiCE.2013.43

Wallace, J. (2012). Rekonfigurering af teknologier i sygeplejepraksis: fra indført til foretrukket. I Teknologiforståelse: på skoler og hospitaler Aarhus Universitetsforlag.

Viser resultater 851 til 900 ud af 1030

Forrige

Næste

Back to the main page

Revideret 13.11.2025

AU Engineering