Anne E. Haxthausen

Publication Activity (10 Years)

Years Active: 1988-2023
Publications (10 Years): 27

Top Topics

Autonomous Mobile

Equivalence Class

Top Venues

Publications

Mario Gleirscher, Anne E. Haxthausen, Jan Peleska
Probabilistic Risk Assessment of an Obstacle Detection System for GoA 4 Freight Trains. FTSCS (2023)
Mario Gleirscher, Anne E. Haxthausen, Jan Peleska
Probabilistic Risk Assessment of an Obstacle Detection System for GoA 4 Freight Trains. CoRR (2023)
Anne E. Haxthausen, Alessandro Fantechi, Gloria Gori, Óli Kárason Mikkelsen, Sofie-Amalie Petersen
Automated Compositional Verification of Interlocking Systems. RSSRail (2023)
Simon Collart Dutilleul, Anne E. Haxthausen, Thierry Lecomte, Jim Woodcock
Introduction to the Special Section on Reliability, Safety, and Security of Railway Systems. Formal Aspects Comput. 35 (1) (2023)
Anne E. Haxthausen, Alessandro Fantechi, Gloria Gori
Decomposing the Verification of Interlocking Systems. Applicable Formal Methods for Safe Industrial Products (2023)
Alessandro Fantechi, Stefania Gnesi, Anne E. Haxthausen
Formal Methods for Distributed Control Systems of Future Railways. ISoLA (4) (2022)
Alessandro Fantechi, Gloria Gori, Anne E. Haxthausen, Christophe Limbrée
Compositional Verification of Railway Interlockings: Comparison of Two Methods. RSSRail (2022)
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
Safe and Secure Future AI-Driven Railway Technologies: Challenges for Formal Methods in Railway. ISoLA (4) (2022)
Jan Peleska, Anne E. Haxthausen, Thierry Lecomte
Standardisation Considerations for Autonomous Train Control. ISoLA (4) (2022)
Alessandro Fantechi, Anne E. Haxthausen, Jim Woodcock
Editorial. Formal Aspects Comput. 33 (6) (2021)
Jan Peleska, Niklas Krafczyk, Anne E. Haxthausen, Ralf Pinger
Efficient data validation for geographical interlocking systems. Formal Aspects Comput. 33 (6) (2021)
Alessandro Fantechi, Stefania Gnesi, Anne E. Haxthausen
Formal Methods for Distributed Computing in Future Railway Systems. ISoLA (3) (2020)
Signe Geisler, Anne E. Haxthausen
Model Checking a Distributed Interlocking System Using k-induction with RT-Tester. ISoLA (3) (2020)
Per Lange Laursen, Van Anh Thi Trinh, Anne E. Haxthausen
Formal Modelling and Verification of a Distributed Railway Interlocking System Using UPPAAL. ISoLA (3) (2020)
Anne E. Haxthausen, Kristian Hede
Formal Verification of Railway Timetables - Using the UPPAAL Model Checker. From Software Engineering to Formal Methods and Tools, and Back (2019)
Jan Peleska, Niklas Krafczyk, Anne E. Haxthausen, Ralf Pinger
Efficient Data Validation for Geographical Interlocking Systems. RSSRail (2019)
Mario Gleirscher, Anne E. Haxthausen, Martin Leucker, Sven Linker
Analysis of Autonomous Mobile Collectives in Complex Physical Environments (Dagstuhl Seminar 19432). Dagstuhl Reports 9 (10) (2019)
Signe Geisler, Anne E. Haxthausen
Stepwise Development and Model Checking of a Distributed Interlocking System - Using RAISE. FM (2018)
Alessandro Fantechi, Anne E. Haxthausen
Safety Interlocking as a Distributed Mutual Exclusion Problem. FMICS (2018)
Hugo Daniel Macedo, Alessandro Fantechi, Anne E. Haxthausen
Compositional Model Checking of Interlocking Systems for Lines with Multiple Stations. NFM (2017)
Alessandro Fantechi, Anne E. Haxthausen, Hugo Daniel Macedo
Compositional Verification of Interlocking Systems for Large Stations. SEFM (2017)
Linh Vu Hong, Anne E. Haxthausen, Jan Peleska
Formal modelling and verification of interlocking systems featuring sequential release. Sci. Comput. Program. 133 (2017)
Linh H. Vu, Anne E. Haxthausen, Jan Peleska
A Domain-Specific Language for Generic Interlocking Models and Their Properties. RSSRail (2017)
Alessandro Fantechi, Anne E. Haxthausen, Michel Boje Randahl Nielsen
Model Checking Geographically Distributed Interlocking Systems Using UMC. PDP (2017)
Anne E. Haxthausen, Jan Peleska
On the Feasibility of a Unified Modelling and Programming Paradigm. ISoLA (2) (2016)
Anne E. Haxthausen, Peter H. Østergaard
On the Use of Static Checking in the Verification of Interlocking Systems. ISoLA (2) (2016)
Hugo Daniel Macedo, Alessandro Fantechi, Anne E. Haxthausen
Compositional Verification of Multi-station Interlocking Systems. ISoLA (2) (2016)
Anne E. Haxthausen, Jan Peleska
Model Checking and Model-Based Testing in the Railway Domain. SyDe Summer School (2015)
Linh Vu Hong, Anne E. Haxthausen, Jan Peleska
Formal Modeling and Verification of Interlocking Systems Featuring Sequential Release. FTSCS (2014)
Cécile Braunstein, Anne E. Haxthausen, Wen-ling Huang, Felix Hübner, Jan Peleska, Uwe Schulze, Linh Vu Hong
Complete Model-Based Equivalence Class Testing for the ETCS Ceiling Speed Monitor. ICFEM (2014)
Anne E. Haxthausen
An Institution for Imperative RSL Specifications. Specification, Algebra, and Software (2014)
Anne E. Haxthausen
Automated generation of formal safety conditions from railway interlocking tables. Int. J. Softw. Tools Technol. Transf. 16 (6) (2014)
Marieta V. Fasie, Anne E. Haxthausen, Joseph R. Kiniry
A rigorous methodology for analyzing and designing plug-ins. TOPI@ICSE (2013)
Anne E. Haxthausen, Jan Peleska, Ralf Pinger
Applied Bounded Model Checking for Interlocking System Designs. SEFM Workshops (2013)
Anne E. Haxthausen
Automated Generation of Safety Requirements from Railway Interlocking Tables. ISoLA (2) (2012)
Anne E. Haxthausen, Andreas A. Kjær, Marie Le Bliguet
Formal Development of a Tool for Automated Modelling and Verification of Relay Interlocking Systems. FM (2011)
Anne E. Haxthausen, Jan Peleska, Sebastian Kinder
A formal approach for the construction and verification of railway control systems. Formal Aspects Comput. 23 (2) (2011)
Anne E. Haxthausen
Towards a Framework for Modelling and Verification of Relay Interlocking Systems. Monterey Workshop (2010)
Anne E. Haxthausen
Developing a Domain Model for Relay Circuits. Int. J. Softw. Informatics 3 (2-3) (2009)
Anne E. Haxthausen
A Domain-Specific Framework for Automated Construction and Verification of Railway Control Systems. SAFECOMP (2009)
Anne E. Haxthausen, Marie Le Bliguet, Andreas A. Kjær
Modelling and Verification of Relay Interlocking Systems. Monterey Workshop (2008)
Chris George, Anne E. Haxthausen
Specification, proof, and model checking of the Mondex electronic purse using RAISE. Formal Aspects Comput. 20 (1) (2008)
Anne E. Haxthausen, Jan Peleska
A Domain-Oriented, Model-Based Approach for Construction and Verification of Railway Control Systems. Formal Methods and Hybrid Real-Time Systems (2007)
Morten P. Lindegaard, Anne E. Haxthausen
Proof Support for RAISE by a Reuse Approach Based on Institutions. AMAST (2004)
Dines Bjørner, Chris George, Anne E. Haxthausen, Christian Krog Madsen, Steffen Holmslykke, Martin Pnika
"UML-ising' Formal Techniques. SoftSpez Final Report (2004)
Till Mossakowski, Anne E. Haxthausen, Donald Sannella, Andrzej Tarlecki
Casl - The Common Algebraic Specification Language: Semantics and Proof Theory. Comput. Artif. Intell. 22 (3-4) (2003)
Chris George, Anne E. Haxthausen
The Logic of the RAISE Specification Language. Comput. Artif. Intell. 22 (3-4) (2003)
Anne E. Haxthausen, Jan Peleska
Formal Development and Verification of a Distributed Railway Control System. IEEE Trans. Software Eng. 26 (8) (2000)
Till Mossakowski, Anne E. Haxthausen, Bernd Krieg-Brückner
Subsorted Partial Higher-Order Locig as an Extension of CASL. WADT (1999)
Anne E. Haxthausen, Jan Peleska
Formal Development and Verification of a Distributed Railway Control System. World Congress on Formal Methods (1999)
Jan Madsen, Jesper Grode, Peter Voigt Knudsen, M. E. Petersen, Anne E. Haxthausen
LYCOS: the Lyngby Co-Synthesis System. Des. Autom. Embed. Syst. 2 (2) (1997)
Maura Cerioli, Anne E. Haxthausen, Bernd Krieg-Brückner, Till Mossakowski
Permissive Subsorted Partial Logic in CASL. AMAST (1997)
Anne E. Haxthausen, Chris George
A Concurrency Case Study Using RAISE. FME (1993)
Anne E. Haxthausen
Recursive Algebraic Specifications and their Semantics. IFIP Congress (1989)
Anne E. Haxthausen
Mutually Recursive Algebraic Domain Equations. ADT (1988)
Anne E. Haxthausen
Mutually Recursive Algebraic Domain Equations. VDM Europe (1988)
Anne E. Haxthausen
Parameterized Algebraic Domain Equations. Categorial Methods in Computer Science (1988)