Activities per year
Activities
- 21 results
Search results
-
Green Light for Smarter Methods in Railway Safety Verification
Anne Elisabeth Haxthausen (Guest lecturer)
31 May 2017Activity: Talks and presentations › Conference presentations
-
University of Florence
Anne Elisabeth Haxthausen (Visiting researcher)
15 Aug 2017 → 14 Sept 2017Activity: Visiting an external institution › Visiting another research institution
-
Formal Merthods for Software Development
Anne Elisabeth Haxthausen (Guest lecturer)
11 Sept 2017 → 14 Sept 2017Activity: Talks and presentations › Guest lectures, external teaching and course activities at other universities
-
Formel Modellering og Verifikation af Jernbanekontrolsystemer: Et eksempel fra RobustRailS WP 4.1
Anne Elisabeth Haxthausen (Invited speaker)
3 Feb 2016Activity: Talks and presentations › Conference presentations
-
Conference on European Rail Traffic Management System
Anne Elisabeth Haxthausen (Participant)
17 Apr 2012Activity: Attending an event › Participating in or organising workshops, courses, seminars etc.
-
Danish Railway Conference 2012
Anne Elisabeth Haxthausen (Participant)
9 May 2012Activity: Attending an event › Participating in or organising a conference
-
Department of Informatics and Mathematical Modeling (Organisational unit)
Anne Elisabeth Haxthausen (Participant)
21 Nov 2012 → 21 Dec 2012Activity: Membership › Membership of commitees, commissions, boards, councils, associations, organisations, or similar
-
A Model-based Tool Set for Simulation and Verification of Relay Interlocking Systems
Anne Elisabeth Haxthausen (Speaker)
27 Sept 2011Activity: Talks and presentations › Talks and presentations in private or public companies and organisations
-
Towards a Semantics for VDM Core
Anne Elisabeth Haxthausen (Speaker)
20 Jun 2011Activity: Talks and presentations › Guest lectures, external teaching and course activities at other universities
-
An Introduction to Formal Methods for Software Development
Anne Elisabeth Haxthausen (Consultant)
7 Oct 2011Activity: Public and private sector consultancy › Public sector consultancy
-
MicroSoft Research Software Summit
Anne Elisabeth Haxthausen (Participant)
13 Apr 2011 → 15 Apr 2011Activity: Attending an event › Participating in or organising a conference
-
Effective Development and Verification of Railway Control Software
Anne Elisabeth Haxthausen (Speaker)
21 Jan 2011Activity: Talks and presentations › Conference presentations
-
Formal Methods: A Tutorial on Model-oriented Specification
Anne Elisabeth Haxthausen (Consultant)
14 Oct 2010Activity: Public and private sector consultancy › Public sector consultancy
-
An Introduction to Formal Methods for Software Development
Anne Elisabeth Haxthausen (Consultant)
25 Jun 2010Activity: Public and private sector consultancy › Public sector consultancy
-
Talentudvikling og karriererådgivning
Anne Elisabeth Haxthausen (Participant)
17 May 2010 → 7 Dec 2010Activity: Attending an event › Participating in or organising workshops, courses, seminars etc.
-
JAIST Advanced School on Formal Specification and Systems Verification
Anne Elisabeth Haxthausen (Participant)
1 Mar 2010 → 5 Mar 2010Activity: Attending an event › Participating in or organising a conference
-
Aarhus University (External organisation)
Anne Elisabeth Haxthausen (Member)
22 Nov 2010 → 1 Dec 2010Activity: Membership › Membership of commitees, commissions, boards, councils, associations, organisations, or similar
-
An Introduction to Formal Methods for the Development of Safety-critical Applications
Anne Elisabeth Haxthausen (Consultant)
1 Sept 2010Activity: Public and private sector consultancy › Public sector consultancy
-
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 (External organisation)
Anne Elisabeth Haxthausen (External examiner)
12 Nov 2009Activity: Examinations and supervision › External examination
-
A Domain-specific, Model-based Approach for Construction and Verification of Railway Control Systems
Anne Elisabeth Haxthausen (Speaker)
23 Jan 2009Activity: Talks and presentations › Conference presentations
-
Towards a Framework for Modelling and Verification of Relay Interlocking Systems
Anne Elisabeth Haxthausen (Speaker)
11 Nov 2009Activity: Talks and presentations › Conference presentations