Anne Elisabeth Haxthausen

2023

Applicable Formal Methods for Safe Industrial Products: Essays Dedicated to Jan Peleska on the Occasion of His 65^th Birthday.

Haxthausen, A. E. (Editor), Huang, W.-L. (Editor) & Roggenbach, M. (Editor), 2023, Springer. 334 p. (Lecture Notes in Computer Science, Vol. 14165).

Research output: Book/Report › Book › Research › peer-review

Automated Compositional Verification of Interlocking Systems

Haxthausen, A. E., Fantechi, A., Gori, G., Mikkelsen, Ó. K. & Petersen, S. A., 2023, Proceedings of 5^th International Conference Reliability, Safety, and Security of Railway Systems. Springer, p. 146-164 (Lecture Notes in Computer Science, Vol. 14198).

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Open Access

File

34 Downloads (Pure)

Compositional Verification of Railway Interlocking Systems

Haxthausen, A. E. & Fantechi, A., 2023, In: Formal Aspects of Computing. 35, 1, 46 p., 4.

Research output: Contribution to journal › Journal article › Research › peer-review

Open Access

File

110 Downloads (Pure)

Decomposing the Verification of Interlocking Systems

Haxthausen, A. E., Fantechi, A. & Gori, G., 2023, Applicable Formal Methods for Safe Industrial Products . Springer, p. 96-113 (Lecture Notes in Computer Science, Vol. 14165).

Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review

Open Access

File

28 Downloads (Pure)

Introduction to the Special Section on Reliability, Safety, and Security of Railway Systems

Collart-Dutilleul, S., Haxthausen, A. E., Lecomte, T. & Woodcock, J., 2023, In: Formal Aspects of Computing. 35, 1, 2 p., 1.

Research output: Contribution to journal › Journal article › Research › peer-review

Open Access

File

43 Downloads (Pure)

Jan Peleska – The Admirable Expert in Applicable Formal Methods for Safe Industrial Products (Laudatio)

Haxthausen, A. E., 2023, Applicable Formal Methods for Safe Industrial Products: Essays Dedicated to Jan Peleska on the Occasion of His 65^th Birthday.. Springer, p. xi-xii (Lecture Notes in Computer Science, Vol. 14165).

Research output: Chapter in Book/Report/Conference proceeding › Preface/postscript › Communication

Open Access

File

19 Downloads (Pure)

Probabilistic Risk Assessment of an Obstacle Detection System for GoA 4 Freight Trains

Gleirscher, M., Haxthausen, A. E. & Peleska, J., 2023, Proceedings of the 9^th ACM International Workshop on Formal Techniques for Safety-Critical Systems. Association for Computing Machinery, p. 26-36

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Open Access

File

27 Downloads (Pure)

2022

Compositional Verification of Railway Interlockings: Comparison of Two Methods

Fantechi, A., Gori, G., Haxthausen, A. E. & Limbrée, C., 2022, Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification. Springer, p. 3-19 (Lecture Notes in Computer Science, Vol. 13294).

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Open Access

File

131 Downloads (Pure)

Formal Methods for Distributed Control Systems of Future Railways

Fantechi, A., Gnesi, S. & Haxthausen, A. E., 2022, Leveraging Applications of Formal Methods, Verification and Validation. Springer, p. 243-245 (Lecture Notes in Computer Science, Vol. 13704).

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Open Access

File

70 Downloads (Pure)

Proof of Completeness of Compositional Verification of Interlocking Systems

Haxthausen, A. E. & Fantechi, A., 2022, Technical University of Denmark. 14 p.

Research output: Book/Report › Report › Research › peer-review

Open Access

File

70 Downloads (Pure)

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

Collart-Dutilleul, S. (Editor), Haxthausen, A. E. (Editor) & Lecomte, T. (Editor), 2022, Springer. 239 p. (Lecture Notes in Computer Science, Vol. 13294).

Research output: Book/Report › Book › Research

Safe and Secure Future AI-Driven Railway Technologies: Challenges for Formal Methods in Railway

Seisenberger, M., ter Beek, M. H., Fan, X., Ferrari, A., Haxthausen, A. E., James, P., Lawrence, A., Luttik, B., van de Pol, J. & Wimmer, S., 2022, Leveraging Applications of Formal Methods, Verification and Validation. Practice . Springer, p. 246-268 (Lecture Notes in Computer Science, Vol. 13704).

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Open Access

File

430 Downloads (Pure)

Standardisation Considerations for Autonomous Train Control

Peleska, J., Haxthausen, A. E. & Lecomte, T., 2022, Leveraging Applications of Formal Methods, Verification and Validation. Practice . Springer, p. 286-307 (Lecture Notes in Computer Science, Vol. 13704).

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Open Access

File

143 Downloads (Pure)

2021

Editorial

Fantechi, A. (Editor), Haxthausen, A. E. (Editor) & Woodcock, J. (Editor), 2021, In: Formal Aspects of Computing. 33, p. 923–924

Research output: Contribution to journal › Editorial

Open Access

Efficient data validation for geographical interlocking systems

Peleska, J., Krafczyk, N., Haxthausen, A. E. & Pinger, R., 2021, In: Formal Aspects of Computing. 31 p.

Research output: Contribution to journal › Journal article › Research › peer-review

Open Access

File

108 Downloads (Pure)

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

Geisler, S. & Haxthausen, A. E., 1 Jan 2021, In: Formal Aspects of Computing. 33, p. 87–125

Research output: Contribution to journal › Journal article › Research › peer-review

Technical Notes on the Proof of a Stutter Trace Inclusion Theorem

Haxthausen, A. E. & Fantechi, A., 2021, Technical University of Denmark. 21 p.

Research output: Book/Report › Report › Research › peer-review

Open Access

File

64 Downloads (Pure)

2020

Analysis of Autonomous Mobile Collectives in Complex Physical Environments

Gleirscher, M., Haxthausen, A. E., Leucker, M. & Linker, S., 2020, In: Dagstuhl Seminar Proceedings. 9, 10, p. 95-116

Research output: Contribution to journal › Conference article › Research › peer-review

Open Access

File

100 Downloads (Pure)

Formal Methods for Distributed Computing in Future Railway Systems

Fantechi, A., Gnesi, S. & Haxthausen, A. E., 2020, Leveraging Applications of Formal Methods, Verification and Validation: Applications. Margaria , T. & Steffen , B. (eds.). Springer, p. 389-392 (Lecture Notes in Computer Science, Vol. 12478).

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Open Access

File

227 Downloads (Pure)

Formal Modelling and Verification of a Distributed Railway Interlocking System Using UPPAAL

Laursen, P. L., Trinh, V. A. T. & Haxthausen, A. E., 2020, Leveraging Applications of Formal Methods, Verification and Validation: Applications. Springer, p. 415-433 (Lecture Notes in Computer Science, Vol. 12478).

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Open Access

File

497 Downloads (Pure)

Model Checking a Distributed Interlocking System Using k-induction with RT-Tester

Pedersen, S. G. & Haxthausen, A. E., 2020, Leveraging Applications of Formal Methods, Verification and Validation: Applications. Springer, p. 449-466 (Lecture Notes in Computer Science, Vol. 12478).

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Open Access

File

163 Downloads (Pure)

2019

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

314 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 proceeding › Book chapter › Research › peer-review

File

404 Downloads (Pure)

2018

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

208 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 proceeding › Article in proceedings › Research › peer-review

Open Access

File

317 Downloads (Pure)

2017

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

Vu, L. H., Haxthausen, A. E. & Peleska, J., 2017, Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification. Springer, Vol. 10598. p. 99-115 (Lecture Notes in Computer Science, Vol. 10598).

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Compositional Model Checking of Interlocking Systems for Lines with Multiple Stations

Macedo, H. D. D. S., Fantechi, A. & Haxthausen, A. E., 2017, Proceedings of NASA Formal Methods Symposium 2017. Springer, p. 146–162 (Lecture Notes in Computer Science, Vol. 10227).

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

1 Downloads (Pure)

Compositional Verification of Interlocking Systems for Large Stations

Fantechi, A., Haxthausen, A. E. & Macedo, H. D. D. S., 2017, Software Engineering and Formal Methods. Springer, Vol. 10469. p. 236-252 (Lecture Notes in Computer Science, Vol. 10469).

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Open Access

File

479 Downloads (Pure)

Formal Development and Verification of Safe Railway Control Systems

Haxthausen, A. E., 2017.

Research output: Contribution to conference › Poster › Research

Open Access

File

96 Downloads (Pure)

Formal modelling and verification of interlocking systems featuring sequential release

Vu, L. H., Haxthausen, A. E. & Peleska, J., 2017, In: Science of Computer Programming. 133, p. 91-115

Research output: Contribution to journal › Journal article › Research › peer-review

Open Access

File

438 Downloads (Pure)

Model Checking Geographically Distributed Interlocking Systems Using UMC

Fantechi, A., Haxthausen, A. E. & Nielsen, M. B. R., 2017, 2017 25th Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP). IEEE, p. 278–286

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Open Access

2016

Comparing formal verification approaches of interlocking systems

Haxthausen, A. E., Nguyen, H. N. & Roggenbach, M., 2016, Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: First International Conference, RSSRail 2016 Paris, France, June 28–30, 2016 Proceedings. Springer, Vol. 9707. p. 160-177 18 p. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Open Access

File

777 Downloads (Pure)

Compositional Verification of Multi-Station Interlocking Systems

Macedo, H. D. D. S., Fantechi, A. & Haxthausen, A. E., 2016, Proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2016): Discussion, Dissemination, Applications - Part II. Springer, p. 279-293 (Lecture Notes in Computer Science, Vol. 9953).

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Open Access

File

663 Downloads (Pure)

Formal Development and Verification of Safe Railway Control Systems

Haxthausen, A. E. (Invited author), 2016. 1 p.

Research output: Contribution to conference › Poster › Research › peer-review

Open Access

File

113 Downloads (Pure)

On the Feasibility of a Unified Modelling and Programming Paradigm

Haxthausen, A. E. & Peleska, J., 2016, Proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2016): Discussion, Dissemination, Applications - Part II. Springer, p. 32-49 (Lecture Notes in Computer Science, Vol. 9953).

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Open Access

File

332 Downloads (Pure)

On the Use of Static Checking in the Verification of Interlocking Systems

Haxthausen, A. E. & Østergaard, P. H., 2016, Proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2016): Discussion, Dissemination, Applications - Part II. Springer, p. 266-278 (Lecture Notes in Computer Science, Vol. 9953).

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Open Access

File

478 Downloads (Pure)

SaRDIn - A Safe Reconfigurable Distributed Interlocking

Fantechi, A., Gnesi, S., Haxthausen, A. E., van de Pol, J., Roveri, M. & Treharne, H., 2016. 1 p.

Research output: Contribution to conference › Poster › Research › peer-review

Open Access

File

229 Downloads (Pure)

SaRDIn - A Safe Reconfigurable Distributed Interlocking

Fantechi, A., Gnesi, S., Haxthausen, A. E., van de Pol, J., Roveri, M. & Treharne, H., 2016, Proceedings of 11th World Congress on Railway Research (WCRR 2016). Ferrovie dello Stato Italiane, 8 p.

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

1 Downloads (Pure)

2015

Formal Modeling and Verification of Interlocking Systems Featuring Sequential Release

Vu, L. H., Haxthausen, A. E. & Peleska, J., 2015, Proceedings of the 3rd International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2014). Artho, C. & Csaba Ölveczky, P. (eds.). Springer, p. 223-238 (Communications in Computer and Information Science, Vol. 476).

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Open Access

File

676 Downloads (Pure)

Model Checking and Model-based Testing in the Railway Domain

Haxthausen, A. E. & Peleska, J., 2015, Formal Modeling and Verification of Cyber-Physical Systems: 1st International Summer School on Methods and Tools for the Design of Digital Systems. Drechsle, R. & Kühne, U. (eds.). Springer, p. 82-121

Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research

1 Downloads (Pure)

2014

A Domain-Specific Language for Railway Interlocking Systems

Vu, L. H., Haxthausen, A. E. & Peleska, J., 2014, Proceedings of the 10th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems, FORMS/FORMAT 2014. Schnieder, E. & Tarnai, G. (eds.). Technische Universität Braunschweig, p. 200-209

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

1 Downloads (Pure)

An Institution for Imperative RSL Specifications

Haxthausen, A. E., 2014, Specification, Algebra, and Software: Essays Dedicated to Kokichi Futatsugi. Springer, p. 441-464 (Lecture Notes in Computer Science, Vol. 8373).

Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review

1 Downloads (Pure)

Applied Bounded Model Checking for Interlocking System Designs

Haxthausen, A. E., Peleska, J. & Pinger, R., 2014, Software Engineering and Formal Methods. Revised Selected Papers. Springer, Vol. 8368. p. 205–220 (Lecture Notes in Computer Science, Vol. 8368).

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Open Access

File

483 Downloads (Pure)

A SysML Test Model and Test Suite for the ETCS Ceiling Speed Monitor: Technical report, Work Package 4

Braunstein, C., Peleska, J., Schulze, U., Hübner, F., Huang, W.-L., Haxthausen, A. E. & Vu, L. H., 11 May 2014, 60 p.

Research output: Book/Report › Report › Research

Open Access

File

444 Downloads (Pure)

Automated generation of formal safety conditions from railway interlocking tables

Haxthausen, A. E., 2014, In: International Journal on Software Tools for Technology Transfer. 16, 6, p. 713-726

Research output: Contribution to journal › Journal article › Research › peer-review

Open Access

File

971 Downloads (Pure)

Complete Model-Based Equivalence Class Testing for the ETCS Ceiling Speed Monitor

Braunstein, C., Haxthausen, A. E., Huang, W.-L., Hübner, F., Peleska, J., Schulze, U. & Vu, L. H., 2014, Formal Methods and Software Engineering: Proceedings of the 16th International Conference on Formal Engineering Methods, ICFEM 2014. Springer, p. 380-395 (Lecture Notes in Computer Science, Vol. 8829).

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Open Access

File

1854 Downloads (Pure)

FM-RAIL-BOK organizers' message

Gruner, S., Haxthausen, A. E., Maibaum, T. & Roggenbach, M., 2014, 11th International Conference on Software Engineering and Formal Methods, SEFM 2013: Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert. Springer, p. XI-XII (Lecture Notes in Computer Science, Vol. 8368).

Research output: Chapter in Book/Report/Conference proceeding › Preface/postscript › Research › peer-review

Formal Modeling and Verification of Interlocking Systems Featuring Sequential Release

Vu, L. H., Haxthausen, A. E. & Peleska, J., 2014, Preliminary Proceedings of the Third International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2014). Artho, C. & Ölveczky, P. C. (eds.). p. 58-73

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Open Access

File

1042 Downloads (Pure)

Formal Verification of the Danish Railway Interlocking Systems

Vu, L. H., Haxthausen, A. E. & Peleska, J., 2014, Pre-proceedings of 14th International Workshop on Automated Verification of Critical Systems (AVoCS 2014) . Huisman, M. & van de Pol, J. (eds.). University of Twente, p. 257-258 (C T I T Workshop Proceedings Series; No. WP 14-01).

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Open Access

File

324 Downloads (Pure)

2013

Applied Bounded Model Checking for Interlocking System Designs

Haxthausen, A. E., Peleska, J. & Pinger, R., 2013, Towards a Formal Methods Body of Knowledge for Railway Control and Safety Systems: FM-RAIL-BOK Workshop 2013. Gruner, S., Haxthausen, A. E., Maibaum, T. & Roggenbach, M. (eds.). Kgs. Lyngby: Technical University of Denmark, p. 21-26

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

File

772 Downloads (Pure)

Anne Elisabeth Haxthausen

Publications

Search results