Anne Elisabeth Haxthausen

Anne Elisabeth Haxthausen

Lektor

DTU COMPUTE
Institut for Matematik og Computer Science

Danmarks Tekniske Universitet

Asmussens Alle

Bygning 322, rum 216

2800 Kgs. Lyngby

Tlf.
Fax 45 93 00 74
E-mail aeha@dtu.dk
ORCID 0000-0001-7349-8872
Hjemmeside

Få tilsendt vCard på e-mail.

Profil
Publikationer
Projekter
Aktiviteter
Kurser
CV
DTU nyheder
Loading

Publikationer rss feed

2019
  PDF

Formal Verification of Railway Timetables - Using the UPPAAL Model Checker

Haxthausen, Anne E. ; Hede, Kristian
part of: From Software Engineering to Formal Methods and Tools, and Back, pages: 433-448, 2019, Springer

Type: Book chapter (Peer reviewed)

Status: Published     |    År: 2019     |    DOI: https://doi.org/10.1007/978-3-030-30985-5_25

  PDF

Efficient Data Validation for Geographical Interlocking Systems

Peleska, Jan ; Krafczyk, Niklas ; Haxthausen, Anne Elisabeth ; Pinger, Ralf
part of: Proceedings of 2019 International Conference on Reliability, Safety, and Security of Railway Systems, pages: 142-158, 2019, Springer
Presented at:
International Conference on Reliability, Safety, and Security of Railway Systems

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2019     |    DOI: https://doi.org/10.1007/978-3-030-18744-6_9

2018
  PDF

Safety Interlocking as a Distributed Mutual Exclusion Problem

Fantechi, Alessandro ; Haxthausen, Anne Elisabeth
part of: Formal Methods for Industrial Critical Systems, pages: 52-66, 2018, Springer
Presented at:
23rd International Conference on Formal Methods for Industrial Critical Systems

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2018     |    DOI: https://doi.org/10.1007/978-3-030-00244-2_4

  PDF

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

Geisler Pedersen, Signe ; Haxthausen, Anne Elisabeth
part of: Formal Methods, pages: 277-293, 2018, Springer
Presented at:
Federated Logic Conference 2018

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2018     |    DOI: https://doi.org/10.1007/978-3-319-95582-7_16

2017
 

A Domain-Specific Language for Generic Interlocking Models and Their Properties

Vu, Linh Hong ; Haxthausen, Anne Elisabeth ; Peleska, Jan
part of: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, pages: 99-115, 2017, Springer
Presented at:
RSSRail 2017

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2017     |    DOI: https://doi.org/10.1007/978-3-319-68499-4_7

 

Compositional Model Checking of Interlocking Systems for Lines with Multiple Stations

Macedo, Hugo Daniel dos Santos ; Fantechi, Alessandro ; Haxthausen, Anne Elisabeth
part of: Proceedings of NASA Formal Methods Symposium 2017, pages: 146–162, 2017, Springer
Presented at:
NASA Formal Methods Symposium 2017

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2017     |    DOI: https://doi.org/10.1007/978-3-319-57288-8_11

  PDF

Compositional Verification of Interlocking Systems for Large Stations

Fantechi, Alessandro ; Haxthausen, Anne Elisabeth ; Macedo, Hugo Daniel dos Santos
part of: Software Engineering and Formal Methods, pages: 236-252, 2017, Springer
Presented at:
15th International Conference on Software Engineering and Formal Methods

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2017     |    DOI: https://doi.org/10.1007/978-3-319-66197-1_15

  PDF

Formal Development and Verification of Safe Railway Control Systems

Haxthausen, Anne Elisabeth
Presented at:
Transport Summer Summit DTU 2017

Type: Poster

Status: Published     |    År: 2017

  PDF

Formal modelling and verification of interlocking systems featuring sequential release

Vu, Linh Hong ; Haxthausen, Anne Elisabeth ; Peleska, Jan
in: Science of Computer Programming, vol: 133, pages: 91-115

Type: Journal article (Peer reviewed)

Status: Published     |    År: 2017     |    DOI: https://doi.org/10.1016/j.scico.2016.05.010

 

Model Checking Geographically Distributed Interlocking Systems Using UMC

Fantechi, Alessandro ; Haxthausen, Anne Elisabeth ; Nielsen, Michel Bøje Randahl
part of: 2017 25th Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP), pages: 278–286, 2017, IEEE
Presented at:
2017 25th Euromicro International Conference on Parallel, Distributed and Network-based Processing

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2017     |    DOI: https://doi.org/10.1109/PDP.2017.66