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

Larsen, M., Tran-Jørgensen, P. W. V. & Larsen, P. G. (2015). Improving Time Estimates in VDM-RT Models. In Proceedings of the 13th Overture workshop (Vol. Grace-TR 2015-06, pp. 90-103). National Institute of Informatics, Tokyo. http://grace-center.jp/wp-content/uploads/2012/05/13thOverture-Proceedings.pdf

Hasanagic, M., Larsen, P. G. & Tran-Jørgensen, P. W. V. (2015). Generating Java RMI code for the distributed aspects of VDM-RT models. In Proceedings of the 13th Overture Workshop (Vol. Grace-TR 2015-06, pp. 75-89). National Institute of Informatics, Tokyo. http://grace-center.jp/wp-content/uploads/2012/05/13thOverture-Proceedings.pdf

Masci, P., Monteiro Duarte Couto, L. D., Larsen, P. G. & Curzon, P. (2015). Integrating the PVSio-web modelling and prototyping environment with Overture. In Proceedings of the 13th Overture Workshop (Vol. Grace-TR 2015-06, pp. 33-47). National Institute of Informatics, Tokyo. http://grace-center.jp/wp-content/uploads/2012/05/13thOverture-Proceedings.pdf

Oda, T., Yamamoto, Y., Nakakoji, K., Araki, K. & Larsen, P. G. (2015). VDM Animation for a Wider Range of Stakeholders. In Proceedings of the 13th Overture Workshop (Vol. Grace-TR 2015-06, pp. 18-32). National Institute of Informatics, Tokyo. http://grace-center.jp/wp-content/uploads/2012/05/13thOverture-Proceedings.pdf

Omori , Y., Araki, K. & Larsen, P. G. (2015). JODTool on the Overture Tool to manage formal requirement dictionaries. In Proceedings of the 13th Overture Workshop (Vol. 2015-06, pp. 3-17). National Institute of Informatics, Tokyo. http://grace-center.jp/wp-content/uploads/2012/05/13thOverture-Proceedings.pdf

Christiansen, M. P., Larsen, P. G. & Nyholm Jørgensen, R. (2015). Robotic Design Choice Overview using Co-simulation and Design Space Exploration. Robotics, 4, 398-421. https://doi.org/10.3390/robotics4040398

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

Christiansen, M. P., Larsen, P. G. & Nyholm Jørgensen, R. (2014). Robotic design choice overview using co-simulation. Abstract from Agromek and NJF joint seminar, Herning, Denmark.

Le, L. & Bennedsen, J. (2014). Methodological Analysis of CDIO Papers. In Proceedings of the 10th International CDIO Conference: Sharing Successful Engineering Education Experiences Worldwide CDIO Initiative. http://www.cdio.org/node/6217

Fitzgerald, J., Bryans, J., Larsen, P. G. & Salim, H. (2014). Collaborative systems of systems need collaborative design. In L. M. Camarinha-Matos & H. Afsarmanesh (Eds.), Collaborative systems for smart networked environements: 15th IFIP WG 5.5 working conference on virtual enterprises, PRO-VE 2014, Proceedings (Vol. 434, pp. 16-23). Springer. https://doi.org/10.1007/978-3-662-44745-1_2

Hallerstede, S. (2014). Program Development in Event-B with Proof Outlines. In M. Butler & S. Hallerstede (Eds.), Proceedings of the 5th Rodin User and Developer Workshop, 2014 http://eprints.soton.ac.uk/365301/1/Proceedings.pdf

Hallerstede, S., Kristensen, K. & Larsen, P. G. (2014). Modelling of Systems of Systems - An Event-B Perspective of a VDM Project. In M. Butler & S. Hallerstede (Eds.), Proceedings of the 5th Rodin User and Developer Workshop, 2014 http://eprints.soton.ac.uk/365301/1/Proceedings.pdf

Wolff, S. & Larsen, P. G. (2014). Co-simulation af cyber-physical systemer fra flyvevåbnet. ITOS - Industriel Teknologi og Software, 14-15.

Hansen, S. & Bennedsen, J. (2014). Democratic co-determination and responsibility of lecture content. In Proceedings of SEFI Annual Conference: SEFI 2014 - 42nd Annual Conference Article 105. http://www.sefi.be/conference-2014/0105.pdf

Holt, J., Perry, S., Payne, R., Bryans, J., Hallerstede, S. & Hansen, F. O. (2015). A Model-Based Approach for Requirements Engineering for Systems of Systems. I E E E Systems Journal, 9(1). https://doi.org/10.1109/JSYST.2014.2312051

Hallerstede, S. (2014). Quasi-lexicographic convergence. Lecture Notes in Computer Science, 8477, 86-100. https://doi.org/10.1007/978-3-662-43652-3_7

Hallerstede, S. & Hoang, T. S. (2014). Refinement of decomposed models by interface instantiation. Science of Computer Programming, 94(P2), 144-163. https://doi.org/10.1016/j.scico.2014.05.005

Lausdahl, K., Ishikawa, H. & Larsen, P. G. (2015). Interpreting Implicit VDM Specifications using ProB. University of Newcastle-upon-Tyne. Computing Science. Technical Report Series, CS-TR-1446, 1-15. http://www.cs.ncl.ac.uk/publications/trs/papers/1446.pdf

Esparza Isasa, J. A., Larsen, P. G. & Hansen, F. O. (2014). Energy-Aware Design of Embedded Software through Modelling and Simulation. In A. Kamkin, A. Petrenko & A. Terekhov (Eds.), Preliminary Proceedings of the 8th Spring/Summer Young Researchers’ Colloquium on Software Engineering: SYRCoSE 2014 (pp. 51-56). Institute for System Programming, Russian Academy of Sciences (ISPRAS). http://syrcose.ispras.ru/2014/files/submissions/08_syrcose2014.pdf

Fitzgerald, J., Pierce, K. & Larsen, P. G. (2014). Collaborative Development of Dependable Cyber-Physical Systems by Co-modeling and Co-simulation. In A. Bagnato , L. S. Indrusia, I. R. Quadri & M. G. Ross (Eds.), Handbook of Research on Embedded Systems Design (pp. 1-28). IGI global. https://doi.org/10.4018/978-1-4666-6194-3.ch001

Esparza Isasa, J. A., Jørgensen, P. W. V., Nielsen, C. B. & Hallerstede, S. (2014). Modelling Energy Consumption in Embedded Systems with VDM-RT. In Y. Ameur & K.-D. Schewe (Eds.), Abstract State Machines, Alloy, B, TLA, VDM, and Z: v (pp. 130-135 ). Springer VS. https://doi.org/10.1007/978-3-662-43652-3_1

Larsen, P. G. (2014). VDM-RT Language Summary. In J. Fitzgerald, P. G. Larsen & M. Verhoef (Eds.), Collaborative Design for Embedded Systems : Co-modelling and Co-simulation (pp. 313-321). Springer. https://doi.org/10.1007/978-3-642-54118-6

Fitzgerald, J., Larsen, P. G. & Verhoef, M. (2014). From Embedded to Cyper-Physical Systems: Challenges and Future Directions. In J. Fitzgerald, P. G. Larsen & M. Verhoef (Eds.), Collaborative Design for Embedded Systems : Co-modelling and Co-simulation (pp. 293-302). Springer. https://doi.org/10.1007/978-3-642-54118-6_14

Coleman, J., Lausdahl, K. & Larsen, P. G. (2014). Semantics of Co-simulation. In J. Fitzgerald, P. G. Larsen & M. Verhoef (Eds.), Collaborative Design for Embedded Systems : Co-modelling and Co-simulation (pp. 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. In J. Fitzgerald, P. G. Larsen & M. Verhoef (Eds.), Collaborative Design for Embedded Systems : Co-modelling and Co-simulation (pp. 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. In J. Fitzgerald, P. G. Larsen & M. Verhoef (Eds.), Collaborative Design for Embedded Systems : Co-modelling and Co-simulation (pp. 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. In J. Fitzgerald, P. G. Larsen & M. Verhoef (Eds.), Collaborative Design for Embedded Systems : Co-modelling and Co-simulation (pp. 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. In J. Fitzgerald, P. G. Larsen & M. Verhoef (Eds.), Collaborative Design for Embedded Systems : Co-modelling and Co-simulation (pp. 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. In J. Fitzgerald, P. G. Larsen & M. Verhoef (Eds.), Collaborative Design for Embedded Systems : Co-modelling and Co-simulation (pp. 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. In Proceedings of the 8th Annual IEEE International Systems Conference : SysCon 2014 (pp. 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. In C. Ramos, P. Novais, C. Ehrwein Nihan & J. M. Corchado Rodriguez (Eds.), Ambient Intelligence - Software and Applications: 5th International Symposium on Ambient Intelligence (Vol. 291, pp. 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. In 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 (pp. 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. In Proceedings of the 11th Conference on Construction, Engineering and Environment in Livestock Farming (pp. 438-443)

Bennedsen, J. & Lauritsen, A. B. (2014). An Inverted Math Course. In V.-B. Valquiria & O. Giovannini (Eds.), Attracting young people to engineering: ALE 2014 (pp. 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. In U. Glässer, S. Hallerstede, M. Leuschel & E. Riccobene (Eds.), Integration of Tools for Rigorous Software Construction and Analysis (Dagstuhl Seminar 13372) (Vol. 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. In U. Glässer, S. Hallerstede, M. Leuschel & E. Riccobene (Eds.), Integration of Tools for Rigorous Software Construction and Analysis (Dagstuhl Seminar 13372) (Vol. 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. In U. Glässer, S. Hallerstede, M. Leuschel & E. Riccobene (Eds.), Integration of Tools for Rigorous Software Construction and Analysis (Dagstuhl Seminar 13372) (Vol. 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+. In U. Glässer, S. Hallerstede, M. Leuschel & E. Riccobene (Eds.), Integration of Tools for Rigorous Software Construction and Analysis (Dagstuhl Seminar 13372) (Vol. 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. In U. Glässer, S. Hallerstede, M. Leuschel & E. Riccobene (Eds.), Integration of Tools for Rigorous Software Construction and Analysis (Dagstuhl Seminar 13372) (Vol. 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. In U. Glässer, S. Hallerstede, M. Leuschel & E. Riccobene (Eds.), Integration of Tools for Rigorous Software Construction and Analysis (Dagstuhl Seminar 13372) (Vol. 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. In U. Glässer, S. Hallerstede, M. Leuschel & E. Riccobene (Eds.), Integration of Tools for Rigorous Software Construction and Analysis (Dagstuhl Seminar 13372) (Vol. 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. In K. Pierce & S. Hallerstede (Eds.), 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. In K. Pierce & S. Hallerstede (Eds.), 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. S I G C S E Bulletin 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. In K. Pierce & S. Hallerstede (Eds.), Proceedings of the 11th Overture Workshop (Vol. Technical Report ECE-TR-17, pp. 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. In K. Pierce & S. Hallerstede (Eds.), Proceedings of the 11th Overture Workshop, 2013 (Vol. Technical Report ECE-TR-17, pp. 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. In The Internet Society: Advances in Learning, Commerce and Security (pp. 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.

Displaying results 801 to 850 out of 995

Back to the main page

Revised 13.11.2025

AU Engineering