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