default search action
Anne E. Haxthausen
Person information
- affiliation: Technical University of Denmark, Kongens Lyngby, Denmark
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c49]Alessandro Fantechi
, Stefania Gnesi
Formal Methods for Distributed Computing in Future Railway Systems. ISoLA (5) 2024: 109-111 - [c48]Christophe Limbrée
Formal Verification of Railway Interlockings: a Compositional Approach Based on a Library of Pre-verified Components. ISoLA (5) 2024: 127-141 - [e4]Anne E. Haxthausen
Formal Methods for Industrial Critical Systems - 29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024, Proceedings. Lecture Notes in Computer Science 14952, Springer 2024, ISBN 978-3-031-68149-3 [contents] - 2023
- [j16]Simon Collart Dutilleul
Introduction to the Special Section on Reliability, Safety, and Security of Railway Systems. Formal Aspects Comput. 35(1): 1:1-1:2 (2023) - [j15]Anne Elisabeth Haxthausen
Compositional Verification of Railway Interlocking Systems. Formal Aspects Comput. 35(1): 4:1-4:46 (2023) - [c47]Anne E. Haxthausen
Decomposing the Verification of Interlocking Systems. Applicable Formal Methods for Safe Industrial Products 2023: 96-113 - [c46]Mario Gleirscher, Anne E. Haxthausen
Probabilistic Risk Assessment of an Obstacle Detection System for GoA 4 Freight Trains. FTSCS 2023: 26-36 - [c45]Anne E. Haxthausen
Automated Compositional Verification of Interlocking Systems. RSSRail 2023: 146-164 - [e3]Anne E. Haxthausen
Applicable Formal Methods for Safe Industrial Products - Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday. Lecture Notes in Computer Science 14165, Springer 2023, ISBN 978-3-031-40131-2 [contents] - [i2]Mario Gleirscher, Anne E. Haxthausen, Jan Peleska:
Probabilistic Risk Assessment of an Obstacle Detection System for GoA 4 Freight Trains. CoRR abs/2306.14814 (2023) - 2022
- [c44]Alessandro Fantechi, Stefania Gnesi, Anne E. Haxthausen
Formal Methods for Distributed Control Systems of Future Railways. ISoLA (4) 2022: 243-245 - [c43]Monika Seisenberger
Safe and Secure Future AI-Driven Railway Technologies: Challenges for Formal Methods in Railway. ISoLA (4) 2022: 246-268 - [c42]Jan Peleska
Standardisation Considerations for Autonomous Train Control. ISoLA (4) 2022: 286-307 - [c41]Alessandro Fantechi, Gloria Gori
Compositional Verification of Railway Interlockings: Comparison of Two Methods. RSSRail 2022: 3-19 - [e2]Simon Collart Dutilleul, Anne E. Haxthausen
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - 4th International Conference, RSSRail 2022, Paris, France, June 1-2, 2022, Proceedings. Lecture Notes in Computer Science 13294, Springer 2022, ISBN 978-3-031-05813-4 [contents] - 2021
- [j14]Signe Geisler
Stepwise development and model checking of a distributed interlocking system using RAISE. Formal Aspects Comput. 33(1): 87-125 (2021) - [j13]Alessandro Fantechi, Anne E. Haxthausen
Editorial. Formal Aspects Comput. 33(6): 923-924 (2021) - [j12]Jan Peleska
Efficient data validation for geographical interlocking systems. Formal Aspects Comput. 33(6): 925-955 (2021) - 2020
- [c40]Alessandro Fantechi, Stefania Gnesi, Anne E. Haxthausen
Formal Methods for Distributed Computing in Future Railway Systems. ISoLA (3) 2020: 389-392 - [c39]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: 415-433 - [c38]Signe Geisler, Anne E. Haxthausen
Model Checking a Distributed Interlocking System Using k-induction with RT-Tester. ISoLA (3) 2020: 449-466
2010 – 2019
- 2019
- [c37]Anne E. Haxthausen
Formal Verification of Railway Timetables - Using the UPPAAL Model Checker. From Software Engineering to Formal Methods and Tools, and Back 2019: 433-448 - [c36]Jan Peleska, Niklas Krafczyk, Anne E. Haxthausen
Efficient Data Validation for Geographical Interlocking Systems. RSSRail 2019: 142-158 - [i1]Mario Gleirscher, Anne E. Haxthausen
Analysis of Autonomous Mobile Collectives in Complex Physical Environments (Dagstuhl Seminar 19432). Dagstuhl Reports 9(10): 95-116 (2019) - 2018
- [c35]Signe Geisler, Anne E. Haxthausen
Stepwise Development and Model Checking of a Distributed Interlocking System - Using RAISE. FM 2018: 277-293 - [c34]Alessandro Fantechi, Anne E. Haxthausen
Safety Interlocking as a Distributed Mutual Exclusion Problem. FMICS 2018: 52-66 - 2017
- [j11]Linh Vu Hong, Anne E. Haxthausen
Formal modelling and verification of interlocking systems featuring sequential release. Sci. Comput. Program. 133: 91-115 (2017) - [c33]Hugo Daniel Macedo
Compositional Model Checking of Interlocking Systems for Lines with Multiple Stations. NFM 2017: 146-162 - [c32]Alessandro Fantechi, Anne E. Haxthausen
Model Checking Geographically Distributed Interlocking Systems Using UMC. PDP 2017: 278-286 - [c31]Linh H. Vu, Anne E. Haxthausen
A Domain-Specific Language for Generic Interlocking Models and Their Properties. RSSRail 2017: 99-115 - [c30]Alessandro Fantechi, Anne E. Haxthausen
Compositional Verification of Interlocking Systems for Large Stations. SEFM 2017: 236-252 - 2016
- [c29]Anne E. Haxthausen
On the Feasibility of a Unified Modelling and Programming Paradigm. ISoLA (2) 2016: 32-49 - [c28]Anne E. Haxthausen
On the Use of Static Checking in the Verification of Interlocking Systems. ISoLA (2) 2016: 266-278 - [c27]Hugo Daniel Macedo
Compositional Verification of Multi-station Interlocking Systems. ISoLA (2) 2016: 279-293 - [c26]Anne Elisabeth Haxthausen
Comparing Formal Verification Approaches of Interlocking Systems. RSSRail 2016: 160-177 - 2015
- [c25]Anne E. Haxthausen
Model Checking and Model-Based Testing in the Railway Domain. SyDe Summer School 2015: 82-121 - 2014
- [j10]Anne E. Haxthausen
Automated generation of formal safety conditions from railway interlocking tables. Int. J. Softw. Tools Technol. Transf. 16(6): 713-726 (2014) - [c24]Anne E. Haxthausen
An Institution for Imperative RSL Specifications. Specification, Algebra, and Software 2014: 441-464 - [c23]Linh Vu Hong, Anne E. Haxthausen
Formal Modeling and Verification of Interlocking Systems Featuring Sequential Release. FTSCS 2014: 223-238 - [c22]Cécile Braunstein, Anne E. Haxthausen
Complete Model-Based Equivalence Class Testing for the ETCS Ceiling Speed Monitor. ICFEM 2014: 380-395 - 2013
- [c21]Marieta V. Fasie, Anne E. Haxthausen
A rigorous methodology for analyzing and designing plug-ins. TOPI@ICSE 2013: 49-50 - [c20]Anne E. Haxthausen
Applied Bounded Model Checking for Interlocking System Designs. SEFM Workshops 2013: 205-220 - 2012
- [c19]Anne E. Haxthausen
Automated Generation of Safety Requirements from Railway Interlocking Tables. ISoLA (2) 2012: 261-275 - 2011
- [j9]Anne E. Haxthausen
A formal approach for the construction and verification of railway control systems. Formal Aspects Comput. 23(2): 191-219 (2011) - [c18]Anne E. Haxthausen
Formal Development of a Tool for Automated Modelling and Verification of Relay Interlocking Systems. FM 2011: 118-132 - 2010
- [c17]Anne E. Haxthausen:
Towards a Framework for Modelling and Verification of Relay Interlocking Systems. Monterey Workshop 2010: 176-192
2000 – 2009
- 2009
- [j8]Anne E. Haxthausen:
Developing a Domain Model for Relay Circuits. Int. J. Softw. Informatics 3(2-3): 241-272 (2009) - [c16]Anne E. Haxthausen
A Domain-Specific Framework for Automated Construction and Verification of Railway Control Systems. SAFECOMP 2009: 1-3 - 2008
- [j7]Chris George, Anne E. Haxthausen
Specification, proof, and model checking of the Mondex electronic purse using RAISE. Formal Aspects Comput. 20(1): 101-116 (2008) - [c15]Anne E. Haxthausen
Modelling and Verification of Relay Interlocking Systems. Monterey Workshop 2008: 141-153 - [e1]John S. Fitzgerald, Anne E. Haxthausen, Hüsnü Yenigün:
Theoretical Aspects of Computing - ICTAC 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings. Lecture Notes in Computer Science 5160, Springer 2008, ISBN 978-3-540-85761-7 [contents] - 2007
- [c14]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: 320-348 - 2004
- [c13]Morten P. Lindegaard, Anne E. Haxthausen:
Proof Support for RAISE by a Reuse Approach Based on Institutions. AMAST 2004: 319-333 - [c12]Dines Bjørner, Chris George, Anne E. Haxthausen, Christian Krog Madsen, Steffen Holmslykke, Martin Pnika:
"UML-ising' Formal Techniques. SoftSpez Final Report 2004: 423-450 - 2003
- [j6]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): 285-321 (2003) - [j5]Chris George, Anne E. Haxthausen:
The Logic of the RAISE Specification Language. Comput. Artif. Intell. 22(3-4): 323-350 (2003) - 2000
- [j4]Anne E. Haxthausen
Formal Development and Verification of a Distributed Railway Control System. IEEE Trans. Software Eng. 26(8): 687-701 (2000) - [c11]Anne Elisabeth Haxthausen, Xia Yong:
Linking DC Together with TRSL. IFM 2000: 25-44
1990 – 1999
- 1999
- [c10]Anne E. Haxthausen, Jan Peleska:
Formal Development and Verification of a Distributed Railway Control System. World Congress on Formal Methods 1999: 1546-1563 - [c9]Till Mossakowski
Subsorted Partial Higher-Order Locig as an Extension of CASL. WADT 1999: 126-145 - 1997
- [j3]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): 195-235 (1997) - [j2]Anne Elisabeth Haxthausen:
Order-Sorted Algebraic Specifications with Higher-Order Functions. Theor. Comput. Sci. 183(2): 157-185 (1997) - [c8]Maura Cerioli
Permissive Subsorted Partial Logic in CASL. AMAST 1997: 91-107 - 1996
- [c7]Anne Elisabeth Haxthausen, Friederike Nickl:
Pushouts of Order-Sorted Algebraic Specifications. AMAST 1996: 132-147 - 1995
- [c6]Anne Elisabeth Haxthausen:
Order-sorted Algebraic Specifications with Higher-order Functions. AMAST 1995: 133-151 - 1993
- [c5]Anne E. Haxthausen, Chris George:
A Concurrency Case Study Using RAISE. FME 1993: 367-387 - 1992
- [j1]Dines Bjørner, Anne Elisabeth Haxthausen
Formal, model-oriented software development methods: From VDM to ProCoS & from RAISE to LaCoS. Future Gener. Comput. Syst. 7(2-3): 111-138 (1992)
1980 – 1989
- 1989
- [c4]Anne E. Haxthausen:
Recursive Algebraic Specifications and their Semantics. IFIP Congress 1989: 607-612 - 1988
- [c3]Anne E. Haxthausen:
Mutually Recursive Algebraic Domain Equations. ADT 1988 - [c2]Anne E. Haxthausen:
Parameterized Algebraic Domain Equations. Categorial Methods in Computer Science 1988: 198-219 - [c1]Anne E. Haxthausen:
Mutually Recursive Algebraic Domain Equations. VDM Europe 1988: 299-317
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-02 21:31 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: