Software Engineering
Department of Informatics and Mathematical Modeling - Former organisation. 31-12-12. Taken over by Department of Applied Mathematics and Computer Science
- 2012
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
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
- 2011
Effective Development and Verification of Railway Control Software
Anne Elisabeth Haxthausen (Speaker), , 21 Jan 2011Activity: Lecture and oral contribution
MicroSoft Research Software Summit
Anne Elisabeth Haxthausen (Participant), 13 Apr 2011 → 15 Apr 2011Activity: Participation in conference/workshop/course/seminar › Organisation of and participation in conference
- 2010
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
Talentudvikling og karriererådgivning
Anne Elisabeth Haxthausen (Participant), , 17 May 2010 → 7 Dec 2010Activity: 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
Formal Methods : A Tutorial on Model-oriented Specification
Anne Elisabeth Haxthausen (Course lecturer), , 14 Oct 2010Activity: Lecture and oral contribution
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
- 2009
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
Towards a Framework for Modelling and Verification of Relay Interlocking Systems
Anne Elisabeth Haxthausen (Speaker), , 11 Nov 2009Activity: Lecture and oral contribution
Member of the review board of a Ph.D. thesis entitled "Domain-specific Modelling of Railway Control Systems with Integrated Verification and Validation", by Kirsten Mewes, Bremen University
Anne Elisabeth Haxthausen (Reviewer), , 12 Nov 2009Activity: Participation in council, board, committee and network › Membership in committee, council, board