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