Anne E. Haxthausen
Danmarks Tekniske Universitet
H-index: 24
Europe-Denmark
Top articles of Anne E. Haxthausen
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Automated Compositional Verification of Interlocking Systems | Anne E Haxthausen Alessandro Fantechi Gloria Gori Óli Kárason Mikkelsen Sofie-Amalie Petersen | 2023/9/27 | |
Jan Peleska–The Admirable Expert in Applicable Formal Methods for Safe Industrial Products (Laudatio) | Anne Elisabeth Haxthausen | 2023 | |
Decomposing the verification of interlocking systems | Anne E Haxthausen Alessandro Fantechi Gloria Gori | 2023/8/17 | |
Applicable Formal Methods for Safe Industrial Products: Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday | Anne E Haxthausen Wen-ling Huang Markus Roggenbach | 2023/8/16 | |
Introduction to the Special Section on Reliability, Safety, and Security of Railway Systems | Simon Collart-Dutilleul Anne E Haxthausen Thierry Lecomte Jim Woodcock | 2023/3/15 | |
Compositional verification of railway interlocking systems | Alessandro Fantechi Gloria Gori Anne E Haxthausen Christophe Limbrée | 2022/5/20 | |
Probabilistic risk assessment of an obstacle detection system for goa 4 freight trains | Mario Gleirscher Anne E Haxthausen Jan Peleska | 2023/10/18 | |
Proof of Completeness of Compositional Verification of Interlocking Systems | Anne Elisabeth Haxthausen Alessandro Fantechi | 2022 | |
Formal methods for distributed control systems of future railways | Alessandro Fantechi Stefania Gnesi Anne E Haxthausen | 2022/10/17 | |
Safe and secure future AI-driven railway technologies: challenges for formal methods in railway | Monika Seisenberger Maurice H ter Beek Xiuyi Fan Alessio Ferrari Anne E Haxthausen | 2022/10/17 | |
Standardisation considerations for autonomous train control | Jan Peleska Anne E Haxthausen Thierry Lecomte | 2022/10/17 | |
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: 4th International Conference, RSSRail 2022, Paris, France, June 1–2 … | Alessandro Fantechi Thierry Lecomte Alexander Romanovsky | 2017/11/6 | |
Efficient data validation for geographical interlocking systems | Formal Aspects of Computing | Jan Peleska Niklas Krafczyk Anne E Haxthausen Ralf Pinger | 2021/12 |
Technical Notes on the Proof of a Stutter Trace Inclusion Theorem | Anne Elisabeth Haxthausen Alessandro Fantechi | 2021 | |
Stepwise development and model checking of a distributed interlocking system using RAISE | Formal Aspects of Computing | Signe Geisler Anne Elisabeth Haxthausen | 2021/1 |
Formal modelling and verification of a distributed railway interlocking system using UPPAAL | Per Lange Laursen Van Anh Thi Trinh Anne E Haxthausen | 2020 | |
Analysis of Autonomous Mobile Collectives in Complex Physical Environments | Dagstuhl Seminar Proceedings | Mario Gleirscher Anne Elisabeth Haxthausen Martin Leucker Sven Linker | 2020 |
Formal methods for distributed computing in future railway systems | Alessandro Fantechi Stefania Gnesi Anne E Haxthausen | 2020 | |
Model Checking a Distributed Interlocking System Using k-induction with RT-Tester | Signe Geisler Anne E. Haxthausen | 2020 |