Software Engineering
Department of Informatics and Mathematical Modeling - Former organisation. 31-12-12. Taken over by Department of Applied Mathematics and Computer Science
A Domain-specific, Model-based Approach for Construction and Verification of Railway Control Systems
Anne Elisabeth Haxthausen (Speaker), , 23 Jan 2009Activity: Lecture and oral contribution
An Introduction to Formal Methods for Software Development
Anne Elisabeth Haxthausen (Invited speaker), Banedanmark (Rail Net Denmark), 25 Jun 2010Activity: Other research and communication activities › External teaching and subject coordination
An Introduction to Formal Methods for the Development of Safety-critical Applications
Anne Elisabeth Haxthausen (Invited speaker), Trafikstyrelsen (Danish Transport Authority), 1 Sep 2010Activity: Other research and communication activities › External teaching and subject coordination
Assessment Committee for a post.doc. position
Anne Elisabeth Haxthausen (Member), , 21 Nov 2012 → 21 Dec 2012Activity: Participation in council, board, committee and network › Membership in committee, council, board
Conference on European Rail Traffic Management System
Anne Elisabeth Haxthausen (Participant), 17 Apr 2012Activity: Participation in conference/workshop/course/seminar › Participation in workshop, seminar, course
Danish Railway Conference 2012
Anne Elisabeth Haxthausen (Participant), 9 May 2012Activity: Participation in conference/workshop/course/seminar › Organisation of and participation in conference
Effective Development and Verification of Railway Control Software
Anne Elisabeth Haxthausen (Speaker), , 21 Jan 2011Activity: Lecture and oral contribution
Formal Methods : A Tutorial on Model-oriented Specification
Anne Elisabeth Haxthausen (Course lecturer), , 14 Oct 2010Activity: Lecture and oral contribution
JAIST Advanced School on Formal Specification and Systems Verification 2010 ( JAIST-FSSV2010)
Anne Elisabeth Haxthausen (Participant), 1 Mar 2010 → 5 Mar 2010Activity: Participation in conference/workshop/course/seminar › Organisation of and participation in conference
Member of the review board for a VIP position at Engineering College of Århus
Anne Elisabeth Haxthausen (Reviewer), , 22 Nov 2010 → 1 Dec 2010Activity: Participation in council, board, committee and network › Membership in committee, council, board