Anne Elisabeth Haxthausen

Publication Activity (10 Years)

Years Active: 1992-2023
Publications (10 Years): 3

Top Topics

Reactive Systems

Alternating Time Temporal Logic

Formal Verification

Top Venues

Formal Aspects Comput.

Publications

Anne Elisabeth Haxthausen, Alessandro Fantechi
Compositional Verification of Railway Interlocking Systems. Formal Aspects Comput. 35 (1) (2023)
Signe Geisler, Anne Elisabeth Haxthausen
Stepwise development and model checking of a distributed interlocking system using RAISE. Formal Aspects Comput. 33 (1) (2021)
Anne Elisabeth Haxthausen, Hoang Nga Nguyen, Markus Roggenbach
Comparing Formal Verification Approaches of Interlocking Systems. RSSRail (2016)
Anne Elisabeth Haxthausen, Xia Yong
Linking DC Together with TRSL. IFM (2000)
Anne Elisabeth Haxthausen
Order-Sorted Algebraic Specifications with Higher-Order Functions. Theor. Comput. Sci. 183 (2) (1997)
Anne Elisabeth Haxthausen, Friederike Nickl
Pushouts of Order-Sorted Algebraic Specifications. AMAST (1996)
Anne Elisabeth Haxthausen
Order-sorted Algebraic Specifications with Higher-order Functions. AMAST (1995)
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) (1992)