Research Output per year
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-39Research output: Contribution to journal › Journal article › Research › peer-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 proceeding › Article in proceedings › Research › peer-review
Open Access
File
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 proceeding › Book chapter › Research › peer-review
File
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 proceeding › Article in proceedings › Research › peer-review
Open Access
File
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-293Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Open Access
File
Projects
A High-level Specification Language for Model Checking
Pedersen, S. G., Haxthausen, A. E. & Peleska, J.
Technical University of Denmark
01/09/2018 → 29/09/2021
Project: PhD
Information project for highschool pupils
Haxthausen, A. E., Hansen, B. S. & Bing, E.
01/11/1997 → …
Project: Research
Formal development and verification of railway control systems
Vu, L. H., Haxthausen, A. E., Peleska, J., Hansen, M. R., Fantechi, A. & Larsen, P. G.
Technical University of Denmark
01/11/2012 → 21/01/2016
Project: PhD
Modelling and analysis for Cyber-Physical Systems
Dung, P. A., Hansen, M. R., Madsen, J., Haxthausen, A. E., Sestoft, P. & Vain, J.
01/11/2011 → 30/09/2015
Project: PhD
Pattern-oriented Formal Software Development
Sam.arb.aftaler - Udenlandske offentlige og private
01/04/2005 → 01/04/2010
Project: Research
Activities
Formal Merthods for Software Development
Anne Elisabeth Haxthausen (Guest lecturer)
11 Sep 2017 → 14 Sep 2017
Activity: Talks and presentations › Guest lectures, external teaching and course activities at other universities
University of Florence
Anne Elisabeth Haxthausen (Visiting researcher)
15 Aug 2017 → 14 Sep 2017
Activity: Visiting an external institution › Visiting another research institution
Green Light for Smarter Methods in Railway Safety Verification
Anne Elisabeth Haxthausen (Guest lecturer)
31 May 2017
Activity: Talks and presentations › Conference 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 presentations › Conference presentations
Department of Informatics and Mathematical Modeling (Organisational unit)
Anne Elisabeth Haxthausen (Participant)
21 Nov 2012 → 21 Dec 2012
Activity: Membership › Membership of commitees, commissions, boards, councils, associations, organisations, or similar
Press / Media
Returning to the Rails.: Rail Safety: Back in the Spotlight.
18/03/2016
1 Media contribution
Press/Media: Press / Media
Ekspert om tysk togkollision: "Besynderlig ulykke"
09/02/2016
1 Media contribution
Press/Media: Press / Media