Parameterized Algebraic Domain Equations. - Anne E. Haxthausen (Categorial Methods in Computer Science, 1988)

Mutually Recursive Algebraic Domain Equations. - Anne E. Haxthausen (VDM Europe, 1988)

Recursive Algebraic Specifications and their Semantics. - Anne E. Haxthausen (IFIP Congress, 1989)

Formal, model-oriented software development methods: From VDM to ProCoS & from RAISE to LaCoS. - Dines Bjørner; Anne Elisabeth Haxthausen; Klaus Havelund (Future Gener. Comput. Syst., 1992)

A Concurrency Case Study Using RAISE. - Anne E. Haxthausen; Chris George (FME, 1993)

Pushouts of Order-Sorted Algebraic Specifications. - Anne Elisabeth Haxthausen; Friederike Nickl (AMAST, 1996)

Permissive Subsorted Partial Logic in CASL. - Maura Cerioli; Anne E. Haxthausen; Bernd Krieg-Brückner; Till Mossakowski (AMAST, 1997)

LYCOS: the Lyngby Co-Synthesis System. - Jan Madsen; Jesper Grode; Peter Voigt Knudsen; M. E. Petersen; Anne E. Haxthausen (Des. Autom. Embed. Syst., 1997)

Order-Sorted Algebraic Specifications with Higher-Order Functions. - Anne Elisabeth Haxthausen (Theor. Comput. Sci., 1997)

Subsorted Partial Higher-Order Locig as an Extension of CASL. - Till Mossakowski; Anne E. Haxthausen; Bernd Krieg-Brückner (WADT, 1999)

Linking DC Together with TRSL. - Anne Elisabeth Haxthausen; Xia Yong (IFM, 2000)

Formal Development and Verification of a Distributed Railway Control System. - Anne E. Haxthausen; Jan Peleska 001 (IEEE Trans. Software Eng., 2000)

The Logic of the RAISE Specification Language. - Chris George; Anne E. Haxthausen (Comput. Artif. Intell., 2003)

Casl - The Common Algebraic Specification Language: Semantics and Proof Theory. - Till Mossakowski; Anne E. Haxthausen; Donald Sannella; Andrzej Tarlecki (Comput. Artif. Intell., 2003)

Proof Support for RAISE by a Reuse Approach Based on Institutions. - Morten P. Lindegaard; Anne E. Haxthausen (AMAST, 2004)

"UML-ising' Formal Techniques. - Dines Bjørner; Chris George; Anne E. Haxthausen; Christian Krog Madsen; Steffen Holmslykke; Martin Pnika (SoftSpez Final Report, 2004)

A Domain-Oriented, Model-Based Approach for Construction and Verification of Railway Control Systems. - Anne E. Haxthausen; Jan Peleska 001 (Formal Methods and Hybrid Real-Time Systems, 2007)

Modelling and Verification of Relay Interlocking Systems. - Anne E. Haxthausen; Marie Le Bliguet; Andreas A. Kjær (Monterey Workshop, 2008)

Specification, proof, and model checking of the Mondex electronic purse using RAISE. - Chris George; Anne E. Haxthausen (Formal Aspects Comput., 2008)

A Domain-Specific Framework for Automated Construction and Verification of Railway Control Systems. - Anne E. Haxthausen (SAFECOMP, 2009)

Developing a Domain Model for Relay Circuits. - Anne E. Haxthausen (Int. J. Softw. Informatics, 2009)

Towards a Framework for Modelling and Verification of Relay Interlocking Systems. - Anne E. Haxthausen (Monterey Workshop, 2010)

Formal Development of a Tool for Automated Modelling and Verification of Relay Interlocking Systems. - Anne E. Haxthausen; Andreas A. Kjær; Marie Le Bliguet (FM, 2011)

A formal approach for the construction and verification of railway control systems. - Anne E. Haxthausen; Jan Peleska 001; Sebastian Kinder (Formal Aspects Comput., 2011)

Automated Generation of Safety Requirements from Railway Interlocking Tables. - Anne E. Haxthausen (ISoLA (2), 2012)

A rigorous methodology for analyzing and designing plug-ins. - Marieta V. Fasie; Anne E. Haxthausen; Joseph R. Kiniry (TOPI@ICSE, 2013)

Applied Bounded Model Checking for Interlocking System Designs. - Anne E. Haxthausen; Jan Peleska 001; Ralf Pinger (SEFM Workshops, 2013)

An Institution for Imperative RSL Specifications. - Anne E. Haxthausen (Specification, Algebra, and Software, 2014)

Formal Modeling and Verification of Interlocking Systems Featuring Sequential Release. - Linh Vu Hong; Anne E. Haxthausen; Jan Peleska 001 (FTSCS, 2014)

Complete Model-Based Equivalence Class Testing for the ETCS Ceiling Speed Monitor. - Cécile Braunstein; Anne E. Haxthausen; Wen-ling Huang; Felix Hübner 001; Jan Peleska 001; Uwe Schulze; Linh Vu Hong (ICFEM, 2014)

Automated generation of formal safety conditions from railway interlocking tables. - Anne E. Haxthausen (Int. J. Softw. Tools Technol. Transf., 2014)

Model Checking and Model-Based Testing in the Railway Domain. - Anne E. Haxthausen; Jan Peleska 001 (SyDe Summer School, 2015)

On the Use of Static Checking in the Verification of Interlocking Systems. - Anne E. Haxthausen; Peter H. Østergaard (ISoLA (2), 2016)

On the Feasibility of a Unified Modelling and Programming Paradigm. - Anne E. Haxthausen; Jan Peleska 001 (ISoLA (2), 2016)

Compositional Verification of Multi-station Interlocking Systems. - Hugo Daniel Macedo; Alessandro Fantechi; Anne E. Haxthausen (ISoLA (2), 2016)

Comparing Formal Verification Approaches of Interlocking Systems. - Anne Elisabeth Haxthausen; Hoang Nga Nguyen; Markus Roggenbach (RSSRail, 2016)

Compositional Model Checking of Interlocking Systems for Lines with Multiple Stations. - Hugo Daniel Macedo; Alessandro Fantechi; Anne E. Haxthausen (NFM, 2017)

Model Checking Geographically Distributed Interlocking Systems Using UMC. - Alessandro Fantechi; Anne E. Haxthausen; Michel Boje Randahl Nielsen (PDP, 2017)

A Domain-Specific Language for Generic Interlocking Models and Their Properties. - Linh H. Vu; Anne E. Haxthausen; Jan Peleska 001 (RSSRail, 2017)

Compositional Verification of Interlocking Systems for Large Stations. - Alessandro Fantechi; Anne E. Haxthausen; Hugo Daniel Macedo (SEFM, 2017)

Formal modelling and verification of interlocking systems featuring sequential release. - Linh Vu Hong; Anne E. Haxthausen; Jan Peleska 001 (Sci. Comput. Program., 2017)

Safety Interlocking as a Distributed Mutual Exclusion Problem. - Alessandro Fantechi; Anne E. Haxthausen (FMICS, 2018)

Formal Verification of Railway Timetables - Using the UPPAAL Model Checker. - Anne E. Haxthausen; Kristian Hede (From Software Engineering to Formal Methods and Tools, and Back, 2019)

Analysis of Autonomous Mobile Collectives in Complex Physical Environments (Dagstuhl Seminar 19432). - Mario Gleirscher; Anne E. Haxthausen; Martin Leucker; Sven Linker (Dagstuhl Reports, 2019)

Model Checking a Distributed Interlocking System Using k-induction with RT-Tester. - Signe Geisler; Anne E. Haxthausen (ISoLA (3), 2020)

Formal Modelling and Verification of a Distributed Railway Interlocking System Using UPPAAL. - Per Lange Laursen; Van Anh Thi Trinh; Anne E. Haxthausen (ISoLA (3), 2020)

Editorial. - Alessandro Fantechi; Anne E. Haxthausen; Jim Woodcock 001 (Formal Aspects Comput., 2021)

Stepwise development and model checking of a distributed interlocking system using RAISE. - Signe Geisler; Anne Elisabeth Haxthausen (Formal Aspects Comput., 2021)

Efficient data validation for geographical interlocking systems. - Jan Peleska 001; Niklas Krafczyk; Anne E. Haxthausen; Ralf Pinger (Formal Aspects Comput., 2021)

Formal Methods for Distributed Control Systems of Future Railways. - Alessandro Fantechi; Stefania Gnesi; Anne E. Haxthausen (ISoLA (4), 2022)

Standardisation Considerations for Autonomous Train Control. - Jan Peleska 001; Anne E. Haxthausen; Thierry Lecomte (ISoLA (4), 2022)

Safe and Secure Future AI-Driven Railway Technologies: Challenges for Formal Methods in Railway. - Monika Seisenberger; Maurice H. ter Beek; Xiuyi Fan; Alessio Ferrari 001; Anne E. Haxthausen; Phillip James; Andrew Lawrence; Bas Luttik; Jaco van de Pol; Simon Wimmer 001 (ISoLA (4), 2022)

Compositional Verification of Railway Interlockings: Comparison of Two Methods. - Alessandro Fantechi; Gloria Gori; Anne E. Haxthausen; Christophe Limbrée (RSSRail, 2022)

Decomposing the Verification of Interlocking Systems. - Anne E. Haxthausen; Alessandro Fantechi; Gloria Gori (Applicable Formal Methods for Safe Industrial Products, 2023)

Probabilistic Risk Assessment of an Obstacle Detection System for GoA 4 Freight Trains. - Mario Gleirscher; Anne E. Haxthausen; Jan Peleska 001 (FTSCS, 2023)

Automated Compositional Verification of Interlocking Systems. - Anne E. Haxthausen; Alessandro Fantechi; Gloria Gori; Óli Kárason Mikkelsen; Sofie-Amalie Petersen (RSSRail, 2023)

Introduction to the Special Section on Reliability, Safety, and Security of Railway Systems. - Simon Collart Dutilleul; Anne E. Haxthausen; Thierry Lecomte; Jim Woodcock 001 (Formal Aspects Comput., 2023)

Compositional Verification of Railway Interlocking Systems. - Anne Elisabeth Haxthausen; Alessandro Fantechi (Formal Aspects Comput., 2023)

Formal Methods for Distributed Computing in Future Railway Systems. - Alessandro Fantechi; Stefania Gnesi; Anne E. Haxthausen (ISoLA (5), 2024)

Formal Verification of Railway Interlockings: a Compositional Approach Based on a Library of Pre-verified Components. - Christophe Limbrée; Anne E. Haxthausen; Gloria Gori; Alessandro Fantechi (ISoLA (5), 2024)

Scenario-Based System Testing for Distributed Robotics Applications - (Invited Paper). - Jan Peleska 001; Felix Brüning; Anne E. Haxthausen; Wen-ling Huang (TAROS, 2025)

Mechanised Safety Verification for a Distributed Autonomous Railway Control System. - Robert Sachtleben; Anne E. Haxthausen; Jan Peleska 001 (Formal Aspects Comput., 2025)