![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Anne E. Haxthausen
Person information
- affiliation: Technical University of Denmark, Kongens Lyngby, Denmark
Refine list
![note](https://dblp1.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2023
- [j16]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): 1:1-1:2 (2023) - [j15]Anne Elisabeth Haxthausen
, Alessandro Fantechi:
Compositional Verification of Railway Interlocking Systems. Formal Aspects Comput. 35(1): 4:1-4:46 (2023) - 2021
- [j14]Signe Geisler
, Anne Elisabeth Haxthausen
:
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
, Jim Woodcock:
Editorial. Formal Aspects Comput. 33(6): 923-924 (2021) - [j12]Jan Peleska
, Niklas Krafczyk, Anne E. Haxthausen
, Ralf Pinger:
Efficient data validation for geographical interlocking systems. Formal Aspects Comput. 33(6): 925-955 (2021) - 2017
- [j11]Linh Vu Hong, Anne E. Haxthausen
, Jan Peleska:
Formal modelling and verification of interlocking systems featuring sequential release. Sci. Comput. Program. 133: 91-115 (2017) - 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) - 2011
- [j9]Anne E. Haxthausen
, Jan Peleska, Sebastian Kinder:
A formal approach for the construction and verification of railway control systems. Formal Aspects Comput. 23(2): 191-219 (2011) - 2009
- [j8]Anne E. Haxthausen:
Developing a Domain Model for Relay Circuits. Int. J. Softw. Informatics 3(2-3): 241-272 (2009) - 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) - 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
, Jan Peleska:
Formal Development and Verification of a Distributed Railway Control System. IEEE Trans. Software Eng. 26(8): 687-701 (2000) - 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) - 1992
- [j1]Dines Bjørner, Anne Elisabeth Haxthausen, Klaus Havelund:
Formal, model-oriented software development methods: From VDM to ProCoS & from RAISE to LaCoS. Future Gener. Comput. Syst. 7(2-3): 111-138 (1992)
Conference and Workshop Papers
- 2023
- [c47]Anne E. Haxthausen
, Alessandro Fantechi
, Gloria Gori
:
Decomposing the Verification of Interlocking Systems. Applicable Formal Methods for Safe Industrial Products 2023: 96-113 - [c46]Mario Gleirscher, Anne E. Haxthausen
, Jan Peleska:
Probabilistic Risk Assessment of an Obstacle Detection System for GoA 4 Freight Trains. FTSCS 2023: 26-36 - [c45]Anne E. Haxthausen
, Alessandro Fantechi
, Gloria Gori
, Óli Kárason Mikkelsen, Sofie-Amalie Petersen:
Automated Compositional Verification of Interlocking Systems. RSSRail 2023: 146-164 - 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
, 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: 246-268 - [c42]Jan Peleska
, Anne E. Haxthausen
, Thierry Lecomte
:
Standardisation Considerations for Autonomous Train Control. ISoLA (4) 2022: 286-307 - [c41]Alessandro Fantechi, Gloria Gori
, Anne E. Haxthausen
, Christophe Limbrée:
Compositional Verification of Railway Interlockings: Comparison of Two Methods. RSSRail 2022: 3-19 - 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 - 2019
- [c37]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: 433-448 - [c36]Jan Peleska, Niklas Krafczyk, Anne E. Haxthausen
, Ralf Pinger:
Efficient Data Validation for Geographical Interlocking Systems. RSSRail 2019: 142-158 - 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
- [c33]Hugo Daniel Macedo, Alessandro Fantechi, Anne E. Haxthausen
:
Compositional Model Checking of Interlocking Systems for Lines with Multiple Stations. NFM 2017: 146-162 - [c32]Alessandro Fantechi, Anne E. Haxthausen
, Michel Boje Randahl Nielsen:
Model Checking Geographically Distributed Interlocking Systems Using UMC. PDP 2017: 278-286 - [c31]Linh H. Vu, Anne E. Haxthausen
, Jan Peleska:
A Domain-Specific Language for Generic Interlocking Models and Their Properties. RSSRail 2017: 99-115 - [c30]Alessandro Fantechi, Anne E. Haxthausen
, Hugo Daniel Macedo:
Compositional Verification of Interlocking Systems for Large Stations. SEFM 2017: 236-252 - 2016
- [c29]Anne E. Haxthausen
, Jan Peleska:
On the Feasibility of a Unified Modelling and Programming Paradigm. ISoLA (2) 2016: 32-49 - [c28]Anne E. Haxthausen
, Peter H. Østergaard:
On the Use of Static Checking in the Verification of Interlocking Systems. ISoLA (2) 2016: 266-278 - [c27]Hugo Daniel Macedo, Alessandro Fantechi, Anne E. Haxthausen
:
Compositional Verification of Multi-station Interlocking Systems. ISoLA (2) 2016: 279-293 - [c26]Anne Elisabeth Haxthausen
, Hoang Nga Nguyen, Markus Roggenbach:
Comparing Formal Verification Approaches of Interlocking Systems. RSSRail 2016: 160-177 - 2015
- [c25]Anne E. Haxthausen
, Jan Peleska:
Model Checking and Model-Based Testing in the Railway Domain. SyDe Summer School 2015: 82-121 - 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
, Jan Peleska:
Formal Modeling and Verification of Interlocking Systems Featuring Sequential Release. FTSCS 2014: 223-238 - [c22]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: 380-395 - 2013
- [c21]Marieta V. Fasie, Anne E. Haxthausen
, Joseph R. Kiniry:
A rigorous methodology for analyzing and designing plug-ins. TOPI@ICSE 2013: 49-50 - [c20]Anne E. Haxthausen
, Jan Peleska, Ralf Pinger:
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
- [c18]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: 118-132 - 2010
- [c17]Anne E. Haxthausen:
Towards a Framework for Modelling and Verification of Relay Interlocking Systems. Monterey Workshop 2010: 176-192 - 2009
- [c16]Anne E. Haxthausen
:
A Domain-Specific Framework for Automated Construction and Verification of Railway Control Systems. SAFECOMP 2009: 1-3 - 2008
- [c15]Anne E. Haxthausen
, Marie Le Bliguet, Andreas A. Kjær:
Modelling and Verification of Relay Interlocking Systems. Monterey Workshop 2008: 141-153 - 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 - 2000
- [c11]Anne Elisabeth Haxthausen, Xia Yong:
Linking DC Together with TRSL. IFM 2000: 25-44 - 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
, Anne E. Haxthausen, Bernd Krieg-Brückner:
Subsorted Partial Higher-Order Locig as an Extension of CASL. WADT 1999: 126-145 - 1997
- [c8]Maura Cerioli
, Anne E. Haxthausen, Bernd Krieg-Brückner, Till Mossakowski
:
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 - 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
Editorship
- 2024
- [e4]Anne E. Haxthausen
, Wendelin Serwe:
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
- [e3]Anne E. Haxthausen
, Wen-ling Huang, Markus Roggenbach
:
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] - 2022
- [e2]Simon Collart Dutilleul, Anne E. Haxthausen
, Thierry Lecomte
:
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] - 2008
- [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]
Informal and Other Publications
- 2023
- [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) - 2019
- [i1]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): 95-116 (2019)
Coauthor Index
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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-08-27 22:57 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint