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

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

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

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

Bennedsen, J. (2006). Collaborating in learning object-orientation in a synchronous, net-based environment. In Comprehensive object-oriented learning: The learner's perspective (pp. 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. In SIGCSE Bulletin (Vol. 39(4), pp. 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. In Proceedings of the Sevnth Baltic Sea Conference on Computing Education Research (pp. 21-30)

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. In Modelsward 2014 Proceedings of the 2nd International Conference on Model-Driven Enginering and Software Development (pp. 209-216). SCITEPRESS Digital Library.

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

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

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

Hansen, S. & Bennedsen, J. (2013). Collaboration and reflection using peer reviews and public wikis. In 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. Paper presented at CDIO Conference, København, Denmark. 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. Paper presented at 8th International CDIO Conference, Brisbane, Australia. 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. ed.) 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. In Learning and Teaching in Computing and Engineering (LaTiCE) 2013 - Proceedings (pp. 9-16). Article 6542233 IEEE. https://doi.org/10.1109/LaTiCE.2013.43

Esparza Isasa, J. A., Hansen, F. O. & Larsen, P. G. (2013). Embedded Systems Energy Consumption Analysis Through Co-modelling and Simulation. World Academy of Science, Engineering and Technology. Proceedings, 78, 424-430. http://www.waset.org/journals/waset/v78/v78-74.pdf

Butler, M., Hallerstede, S. & Lecomte, T. (2013). Preface. In M. Butler, S. Hallerstede & M. Waldén (Eds.), Proceedings of the 4th Rodin User and Developer Workshop (Vol. TUCS Lecture Notes 18, pp. 3-3). Turku Centre for Computer Science. http://tucs.fi/publications/view/?pub_id=pBuHaWa13a

Bjerge, K. & Larsen, P. G. (2013). Using VDM in a Co-Simulation Setting for an Industrial Conveyor System. In The Modelling, Identification and Control - MIC 2013 conference ACTA Press. https://doi.org/10.2316/P.2013.794-005

Fitzgerald, J. S., Larsen, P. G., Pierce, K. G. & Verhoef, M. H. G. (2013). A formal approach to collaborative modelling and co-simulation for embedded systems. Mathematical Structures in Computer Science, 23(04), 726–750. https://doi.org/10.1017/S0960129512000242

Lausdahl, K., Coleman, J. & Larsen, P. G. (2013). Semantics of the VDM Real-Time Dialect. Aarhus University, Department of Engineering. Technical report No. ECE-TR-13 http://eng.au.dk/fileadmin/DJF/ENG/PDF-filer/Tekniske_rapporter/ECE-13-_samlet.pdf

Hallerstede, S. (2009). Proving Quicksort correct in Event-B. Electronic Notes in Theoretical Computer Science, 259, 47-65. https://doi.org/10.1016/j.entcs.2009.12.017

Abrial, J.-R., Butler, M. J., Hallerstede, S., Hoang, T. S., Mehta, F. & Voisin, L. (2010). Rodin: an open toolset for modelling and reasoning in Event-B. International Journal on Software Tools for Technology Transfer, 12(6), 447-466. https://doi.org/10.1007/s10009-010-0145-y

Hallerstede, S. & Leuschel, M. (2012). Experiments in Program Verification using Event-B. Formal Aspects of Computing, 24(1), 97-125. https://doi.org/10.1007/s00165-011-0205-4

Hallerstede, S. & Leuschel, M. (2011). Constraint-based deadlock checking of high-level specifications. Theory and Practice of Logic Programming, 11(4-5), 767-782. https://doi.org/10.1017/S1471068411000299

Hallerstede, S. (2011). On the Purpose of Event-B Proof Obligations. Formal Aspects of Computing, 23(1), 133-150. https://doi.org/10.1007/s00165-009-0138-3

Hallerstede, S., Leuschel, M. & Plagge, D. (2013). Validation of Formal Models by Refinement Animation. Science of Computer Programming, 78(3), 272-292. https://doi.org/10.1016/j.scico.2011.03.005

Hallerstede, S., Jastram, M. & Ladenberger, L. (2014). A Method and Tool for Tracing Requirements into Specifications. Science of Computer Programming, 82, 2-21. https://doi.org/10.1016/j.scico.2013.03.008

Larsen, P. G., Fitzgerald, J. S. & Fitzgerald, J. S. (2009). Practice-oriented courses in formal methods using VDM++. Formal Aspects of Computing, 21(3), 245-257. https://doi.org/10.1007/s00165-008-0068-5

Bennedsen, J. B. & Schulte, C. (2010). BlueJ Visual Debugger for Learning the Execution of Object-Oriented Programs? ACM Transactions on Computing Education, 10(2), Article 8. https://doi.org/10.1145/1789934.1789938

Larsen, P. G. & Bryans, J. (Eds.) (2009). Proceedings of the 7th OVERTURE Workshop 2nd November, 2009, Eindhoven. University of Newcastle upon Tyne. University of Newcastle-upon-Tyne. Computing Science. Technical Report Series No. CS-TR-1177 http://www.cs.ncl.ac.uk/publications/trs/papers/1177.pdf

Gmehlich, R., Grau, K., Hallerstede, S., Leuschel, M., Lösch, F. & Plagge, D. (2011). On Fitting a Formal Method into Practice. In S. Qin & Z. Qiu (Eds.), Formal Methods and Software Engineering: 13th International Conference on Formal Engineering Methods, ICFEM 2011 (pp. 195-210). Springer. https://doi.org/10.1007/978-3-642-24559-6_15

De Boer, F., Bonsangue, M., Hallerstede, S. & Leuschel, M. (Eds.) (2010). Formal Methods for Components and Objects: 8th International Symposium, FMCO 2009, Revised Selected Papers. Springer. Lecture Notes in Computer Science Vol. 6286 https://doi.org/10.1007/978-3-642-17071-3

Jastram, M., Hallerstede, S., Leuschel, M. & Russo, A. G. (2010). An approach of requirements tracing in formal refinement. In G. T. Leavens, P. O'Hearn & S. K. Rajamani (Eds.), Verified software: theories, tools, experiments: Third International Conference, VSTTE 2010 (pp. 97-111). Springer. https://doi.org/10.1007/978-3-642-15057-9_7

Jastram, M., Hallerstede, S. & Ladenberger, L. (2011). Mixing Formal and Informal Model Elements for Tracing Requirements. In AVOCS'11: Proceedings of the 11th International Workshop on Automated Verification of Critical Systems (pp. (53-67)). European Association of Software Science and Technology. http://deploy-eprints.ecs.soton.ac.uk/330/1/avocs2011.pdf

Hallerstede, S., Leuschel, M. & Plagge, D. (2010). Refinement-Animation for Event-B - Towards a Method of Validation. In M. Frappier, U. Glässer, S. Khurshid, R. Laleau & S. Reeves (Eds.), Abstract State Machines, Alloy, B and Z: Second International Conference, ABZ 2010. Proceedings (pp. 287-301). Springer. https://doi.org/10.1007/978-3-642-11811-1_22

Hallerstede, S. & Leuschel, M. (2011). Finding Deadlocks of Event-B Models by Constraint Solving. Paper presented at B2011 Workshop, Limerick, Ireland. http://www.stups.uni-duesseldorf.de/mediawiki/images/a/a7/Pub-HaLeBW2011.pdf

Hallerstede, S. & Leuschel, M. (2009). How to explain mistakes. In Teaching Formal Methods. Proceedings Second International Conference, TFM 2009 (pp. 105-124)

Hallerstede, S. (2009). Incremental System Modelling in Event-B. In F. S. D. Boer, M. M. Bonsangue & E. Madelaine (Eds.), Formal Methods for Components and Objects: 7th International Symposium, FMCO 2008, Revised Lectures (pp. 139-158). Springer. https://doi.org/10.1007/978-3-642-04167-9_8

Hallerstede, S. (2010). Structured Event-B Models and Proofs. In M. Frappier, U. Glässer, S. Khurshid, R. Laleau & S. Reeves (Eds.), Abstract State Machines, Alloy, B and Z: Second International Conference, ABZ 2010. Proceedings (pp. 273-286). Springer. https://doi.org/10.1007/978-3-642-11811-1_21

Hallerstede, S. (2009). How to make mistakes. In C. Attiogbé & D. Mery (Eds.), From Research to Teaching Formal Methods: The B Method: (TFM-B’2009) (pp. 93-108). APCB. http://www.lina.sciences.univ-nantes.fr/apcb/BDayNantes2009/TFMB09_proceedings.pdf

Hallerstede, S. & Hoang, T. S. (2012). Refinement by interface instantiation. In J. Derrick, J. Fitzgerald, S. Gnesi, S. Khurshid, M. Leuschel, S. Reeves & E. Riccobene (Eds.), Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings (pp. 223-237). Springer. https://doi.org/10.1007/978-3-642-30885-7_16

Bendisposto, J. & Hallerstede, S. (2012). Component Reification in Systems Modelling. Paper presented at Rodin User and Developer Workshop, Fontainebleau, France. http://deploy-eprints.ecs.soton.ac.uk/382/1/Rodin%20Workshop%20Proceedings%20.pdf

Hallerstede, S. & Snook, C. (2011). Refining Nodes and Edges of State Machines. In S. Qin & Z. Qiu (Eds.), Formal Methods and Software Engineering: 13th International Conference on Formal Engineering Methods, ICFEM 2011 (pp. 569-584). Springer. https://doi.org/10.1007/978-3-642-24559-6_38

Hallerstede, S. (2009). A (Small) Improvement of Event-B?. Paper presented at Refinement Based Methods for the Construction of Dependable Systems, Dagstuhl, Germany. http://www.stups.uni-duesseldorf.de/mediawiki/images/5/57/Pub-Ha09_291.pdf

Displaying results 851 to 900 out of 995

Back to the main page

Revised 13.11.2025

AU Engineering