Anne E. Haxthausen

According to our database, Anne E. Haxthausen authored at least 60 papers between 1988 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

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

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Application Areas, 2024

Formal Methods for Distributed Computing in Future Railway Systems.

Alessandro Fantechi, Stefania Gnesi, Anne E. Haxthausen

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Application Areas, 2024

2023

Compositional Verification of Railway Interlocking Systems.

Anne Elisabeth Haxthausen, Alessandro Fantechi

Formal Aspects Comput., March, 2023

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

Simon Collart Dutilleul, Anne E. Haxthausen, Thierry Lecomte, Jim Woodcock

Formal Aspects Comput., March, 2023

Automated Compositional Verification of Interlocking Systems.

Anne E. Haxthausen, Alessandro Fantechi, Gloria Gori, Óli Kárason Mikkelsen, Sofie-Amalie Petersen

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

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

Mario Gleirscher, Anne E. Haxthausen, Jan Peleska

Proceedings of the 9th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, 2023

Decomposing the Verification of Interlocking Systems.

Anne E. Haxthausen, Alessandro Fantechi, Gloria Gori

Proceedings of the Applicable Formal Methods for Safe Industrial Products, 2023

2022

Compositional Verification of Railway Interlockings: Comparison of Two Methods.

Alessandro Fantechi, Gloria Gori, Anne E. Haxthausen, Christophe Limbrée

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 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, Anne E. Haxthausen, Phillip James, Andrew Lawrence, Bas Luttik, Jaco van de Pol, Simon Wimmer

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Practice, 2022

Standardisation Considerations for Autonomous Train Control.

Jan Peleska, Anne E. Haxthausen, Thierry Lecomte

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Practice, 2022

Formal Methods for Distributed Control Systems of Future Railways.

Alessandro Fantechi, Stefania Gnesi, Anne E. Haxthausen

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Practice, 2022

2021

Efficient data validation for geographical interlocking systems.

Jan Peleska, Niklas Krafczyk, Anne E. Haxthausen, Ralf Pinger

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

Editorial.

Alessandro Fantechi, Anne E. Haxthausen, Jim Woodcock

Formal Aspects Comput., 2021

2020

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

Per Lange Laursen, Van Anh Thi Trinh, Anne E. Haxthausen

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Applications, 2020

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

Signe Geisler, Anne E. Haxthausen

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Applications, 2020

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

Formal Verification of Railway Timetables - Using the UPPAAL Model Checker.

Anne E. Haxthausen, Kristian Hede

Proceedings of the From Software Engineering to Formal Methods and Tools, and Back, 2019

2018

Safety Interlocking as a Distributed Mutual Exclusion Problem.

Alessandro Fantechi, Anne E. Haxthausen

Proceedings of the Formal Methods for Industrial Critical Systems, 2018

2017

Formal modelling and verification of interlocking systems featuring sequential release.

Linh Vu Hong, Anne E. Haxthausen, Jan Peleska

Sci. Comput. Program., 2017

Compositional Verification of Interlocking Systems for Large Stations.

Alessandro Fantechi, Anne E. Haxthausen, Hugo Daniel Macedo

Proceedings of the Software Engineering and Formal Methods - 15th International Conference, 2017

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

Linh H. Vu, Anne E. Haxthausen, Jan Peleska

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

Model Checking Geographically Distributed Interlocking Systems Using UMC.

Alessandro Fantechi, Anne E. Haxthausen, Michel Boje Randahl Nielsen

Proceedings of the 25th Euromicro International Conference on Parallel, 2017

Compositional Model Checking of Interlocking Systems for Lines with Multiple Stations.

Hugo Daniel Macedo, Alessandro Fantechi, Anne E. Haxthausen

Proceedings of the NASA Formal Methods - 9th International Symposium, 2017

2016

Comparing Formal Verification Approaches of Interlocking Systems.

Anne Elisabeth Haxthausen, Hoang Nga Nguyen, Markus Roggenbach

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

Compositional Verification of Multi-station Interlocking Systems.

Hugo Daniel Macedo, Alessandro Fantechi, Anne E. Haxthausen

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

On the Feasibility of a Unified Modelling and Programming Paradigm.

Anne E. Haxthausen, Jan Peleska

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

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

Anne E. Haxthausen, Peter H. Østergaard

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

2015

Model Checking and Model-Based Testing in the Railway Domain.

Anne E. Haxthausen, Jan Peleska

Proceedings of the Formal Modeling and Verification of Cyber-Physical Systems, 2015

2014

Automated generation of formal safety conditions from railway interlocking tables.

Anne E. Haxthausen

Int. J. Softw. Tools Technol. Transf., 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, Jan Peleska, Uwe Schulze, Linh Vu Hong

Proceedings of the Formal Methods and Software Engineering, 2014

Formal Modeling and Verification of Interlocking Systems Featuring Sequential Release.

Linh Vu Hong, Anne E. Haxthausen, Jan Peleska

Proceedings of the Formal Techniques for Safety-Critical Systems, 2014

An Institution for Imperative RSL Specifications.

Anne E. Haxthausen

Proceedings of the Specification, Algebra, and Software, 2014

2013

Applied Bounded Model Checking for Interlocking System Designs.

Anne E. Haxthausen, Jan Peleska, Ralf Pinger

Proceedings of the Software Engineering and Formal Methods, 2013

A rigorous methodology for analyzing and designing plug-ins.

Marieta V. Fasie, Anne E. Haxthausen, Joseph R. Kiniry

Proceedings of the 3rd International Workshop on Developing Tools as Plug-ins, 2013

2012

Automated Generation of Safety Requirements from Railway Interlocking Tables.

Anne E. Haxthausen

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies, 2012

2011

A formal approach for the construction and verification of railway control systems.

Anne E. Haxthausen, Jan Peleska, Sebastian Kinder

Formal Aspects Comput., 2011

Formal Development of a Tool for Automated Modelling and Verification of Relay Interlocking Systems.

Anne E. Haxthausen, Andreas A. Kjær, Marie Le Bliguet

Proceedings of the FM 2011: Formal Methods, 2011

2010

Towards a Framework for Modelling and Verification of Relay Interlocking Systems.

Anne E. Haxthausen

Proceedings of the Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems, 2010

2009

Developing a Domain Model for Relay Circuits.

Anne E. Haxthausen

Int. J. Softw. Informatics, 2009

A Domain-Specific Framework for Automated Construction and Verification of Railway Control Systems.

Anne E. Haxthausen

Proceedings of the Computer Safety, 2009

2008

Specification, proof, and model checking of the Mondex electronic purse using RAISE.

Chris George, Anne E. Haxthausen

Formal Aspects Comput., 2008

Modelling and Verification of Relay Interlocking Systems.

Anne E. Haxthausen, Marie Le Bliguet, Andreas A. Kjær

Proceedings of the Foundations of Computer Software. Future Trends and Techniques for Development, 2008

2007

A Domain-Oriented, Model-Based Approach for Construction and Verification of Railway Control Systems.

Anne E. Haxthausen, Jan Peleska

Proceedings of the Formal Methods and Hybrid Real-Time Systems, 2007

2004

"UML-ising' Formal Techniques.

Dines Bjørner, Chris George, Anne E. Haxthausen, Christian Krog Madsen, Steffen Holmslykke, Martin Pnika

Proceedings of the Integration of Software Specification Techniques for Applications in Engineering, 2004

Proof Support for RAISE by a Reuse Approach Based on Institutions.

Morten P. Lindegaard, Anne E. Haxthausen

Proceedings of the Algebraic Methodology and Software Technology, 2004

2003

Casl - The Common Algebraic Specification Language: Semantics and Proof Theory.

Till Mossakowski, Anne E. Haxthausen, Donald Sannella, Andrzej Tarlecki

Comput. Artif. Intell., 2003

The Logic of the RAISE Specification Language.

Chris George, Anne E. Haxthausen

Comput. Artif. Intell., 2003

2000

Formal Development and Verification of a Distributed Railway Control System.

Anne E. Haxthausen, Jan Peleska

IEEE Trans. Software Eng., 2000

Linking DC Together with TRSL.

Anne Elisabeth Haxthausen, Xia Yong

Proceedings of the Integrated Formal Methods, Second International Conference, 2000

1999

Subsorted Partial Higher-Order Locig as an Extension of CASL.

Till Mossakowski, Anne E. Haxthausen, Bernd Krieg-Brückner

Proceedings of the Recent Trends in Algebraic Development Techniques, 1999

1997

Order-Sorted Algebraic Specifications with Higher-Order Functions.

Anne Elisabeth Haxthausen

Theor. Comput. Sci., 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

Permissive Subsorted Partial Logic in CASL.

Maura Cerioli, Anne E. Haxthausen, Bernd Krieg-Brückner, Till Mossakowski

Proceedings of the Algebraic Methodology and Software Technology, 1997

1996

Pushouts of Order-Sorted Algebraic Specifications.

Anne Elisabeth Haxthausen, Friederike Nickl

Proceedings of the Algebraic Methodology and Software Technology, 1996

1993

A Concurrency Case Study Using RAISE.

Anne E. Haxthausen, Chris George

Proceedings of the FME '93: Industrial-Strength Formal Methods, 1993

1992

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

1989

Recursive Algebraic Specifications and their Semantics.

Anne E. Haxthausen

Proceedings of the Information Processing 89, Proceedings of the IFIP 11th World Computer Congress, San Francisco, USA, August 28, 1989

1988

Mutually Recursive Algebraic Domain Equations.

Anne E. Haxthausen

Proceedings of the VDM '88, 1988

Parameterized Algebraic Domain Equations.

Anne E. Haxthausen

Proceedings of the Categorial Methods in Computer Science: With Aspects from Topology [Workshop, 1988