Anne E. Haxthausen

67 papers B 4C 5Journal 16Unranked 40

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