| 2024 | ISoLA | Formal Methods for Distributed Computing in Future Railway Systems. | Alessandro Fantechi, Stefania Gnesi, Anne E. Haxthausen |
| 2024 | ISoLA | Formal Verification of Railway Interlockings: a Compositional Approach Based on a Library of Pre-verified Components. | Christophe Limbre, Anne E. Haxthausen, Gloria Gori, Alessandro Fantechi |
| 2022 | ISoLA | Formal Methods for Distributed Control Systems of Future Railways. | Alessandro Fantechi, Stefania Gnesi, Anne E. Haxthausen |
| 2022 | ISoLA | Standardisation Considerations for Autonomous Train Control. | Jan Peleska, Anne E. Haxthausen, Thierry Lecomte |
| 2022 | ISoLA | 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, Phillip James, Andrew Lawrence, Bas Luttik, Jaco van de Pol, Simon Wimmer |
| 2020 | ISoLA | Formal Methods for Distributed Computing in Future Railway Systems. | Alessandro Fantechi, Stefania Gnesi, Anne E. Haxthausen |
| 2020 | ISoLA | Model Checking a Distributed Interlocking System Using k-induction with RT-Tester. | Signe Geisler, Anne E. Haxthausen |
| 2020 | ISoLA | Formal Modelling and Verification of a Distributed Railway Interlocking System Using UPPAAL. | Per Lange Laursen, Van Anh Thi Trinh, Anne E. Haxthausen |
| 2018 | FM | Stepwise Development and Model Checking of a Distributed Interlocking System - Using RAISE. | Signe Geisler, Anne E. Haxthausen |
| 2018 | FMICS | Safety Interlocking as a Distributed Mutual Exclusion Problem. | Alessandro Fantechi, Anne E. Haxthausen |
| 2017 | PDP | Model Checking Geographically Distributed Interlocking Systems Using UMC. | Alessandro Fantechi, Anne E. Haxthausen, Michel Boje Randahl Nielsen |
| 2017 | SEFM | Compositional Verification of Interlocking Systems for Large Stations. | Alessandro Fantechi, Anne E. Haxthausen, Hugo Daniel Macedo |
| 2016 | ISoLA | On the Use of Static Checking in the Verification of Interlocking Systems. | Anne E. Haxthausen, Peter H. stergaard |
| 2016 | ISoLA | On the Feasibility of a Unified Modelling and Programming Paradigm. | Anne E. Haxthausen, Jan Peleska |
| 2016 | ISoLA | Compositional Verification of Multi-station Interlocking Systems. | Hugo Daniel Macedo, Alessandro Fantechi, Anne E. Haxthausen |
| 2014 | ICFEM | Complete Model-Based Equivalence Class Testing for the ETCS Ceiling Speed Monitor. | Ccile Braunstein, Anne E. Haxthausen, Wen-ling Huang, Felix Hbner, Jan Peleska, Uwe Schulze, Linh Vu Hong |
| 2013 | ICSE | A rigorous methodology for analyzing and designing plug-ins. | Marieta V. Fasie, Anne E. Haxthausen, Joseph R. Kiniry |
| 2013 | SEFM | Applied Bounded Model Checking for Interlocking System Designs. | Anne E. Haxthausen, Jan Peleska, Ralf Pinger |
| 2012 | ISoLA | Automated Generation of Safety Requirements from Railway Interlocking Tables. | Anne E. Haxthausen |
| 2011 | FM | Formal Development of a Tool for Automated Modelling and Verification of Relay Interlocking Systems. | Anne E. Haxthausen, Andreas A. Kjr, Marie Le Bliguet |
| 2009 | SAFECOMP | A Domain-Specific Framework for Automated Construction and Verification of Railway Control Systems. | Anne E. Haxthausen |
| 1999 | FM | Formal Development and Verification of a Distributed Railway Control System. | Anne E. Haxthausen, Jan Peleska |
| 1993 | FM | A Concurrency Case Study Using RAISE. | Anne E. Haxthausen, Chris George |
| 1988 | FM | Mutually Recursive Algebraic Domain Equations. | Anne E. Haxthausen |