1988 …2020

Research output per year

If you made any changes in Pure these will be visible here soon.

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output

Stepwise development and model checking of a distributed interlocking system using RAISE

Geisler, S. & Haxthausen, A. E., 1 Jan 2020, In : Formal Aspects of Computing. p. 1-39

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access

Efficient Data Validation for Geographical Interlocking Systems

Peleska, J., Krafczyk, N., Haxthausen, A. E. & Pinger, R., 2019, Proceedings of 2019 International Conference on Reliability, Safety, and Security of Railway Systems. Springer, p. 142-158 (Lecture Notes in Computer Science, Vol. 11495).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access
File
147 Downloads (Pure)

Formal Verification of Railway Timetables - Using the UPPAAL Model Checker

Haxthausen, A. E. & Hede, K., 1 Jan 2019, From Software Engineering to Formal Methods and Tools, and Back. Springer, p. 433-448 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11865 LNCS).

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

File
100 Downloads (Pure)

Safety Interlocking as a Distributed Mutual Exclusion Problem

Fantechi, A. & Haxthausen, A. E., 2018, Formal Methods for Industrial Critical Systems. Springer, p. 52-66 (Lecture Notes in Computer Science, Vol. 11119).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access
File
61 Downloads (Pure)

Stepwise Development and Model Checking of a Distributed Interlocking System - Using RAISE

Geisler Pedersen, S. & Haxthausen, A. E., 2018, Formal Methods. Springer, Vol. 10951. p. 277-293

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access
File
80 Downloads (Pure)

Projects

Activities

Formal Merthods for Software Development

Anne Elisabeth Haxthausen (Guest lecturer)

11 Sep 201714 Sep 2017

Activity: Talks and presentationsGuest lectures, external teaching and course activities at other universities

University of Florence

Anne Elisabeth Haxthausen (Visiting researcher)

15 Aug 201714 Sep 2017

Activity: Visiting an external institutionVisiting another research institution

Green Light for Smarter Methods in Railway Safety Verification

Anne Elisabeth Haxthausen (Guest lecturer)

31 May 2017

Activity: Talks and presentationsConference presentations

Formel Modellering og Verifikation af Jernbanekontrolsystemer: Et eksempel fra RobustRailS WP 4.1

Anne Elisabeth Haxthausen (Invited speaker)

3 Feb 2016

Activity: Talks and presentationsConference presentations

Department of Informatics and Mathematical Modeling (Organisational unit)

Anne Elisabeth Haxthausen (Participant)

21 Nov 201221 Dec 2012

Activity: MembershipMembership of commitees, commissions, boards, councils, associations, organisations, or similar

Press / Media

Ekspert om tysk togkollision: "Besynderlig ulykke"

Anne Elisabeth Haxthausen

09/02/2016

1 Media contribution

Press/Media: Press / Media

Matematik mindsker risiko for togkollision

Anne Elisabeth Haxthausen

01/12/2015

1 Media contribution

Press/Media: Press / Media

Matematisk gennembrud øger tog sikkerheden

Anne Elisabeth Haxthausen

01/09/2015

1 Media contribution

Press/Media: Press / Media