Anne Elisabeth Haxthausen - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 48 from 48

2023

Compositional Verification of Railway Interlocking SystemsAnne Elisabeth Haxthausen, Alessandro Fantechi. fac, 35(1), March 2023. [doi]

2021

Stepwise development and model checking of a distributed interlocking system using RAISESigne Geisler, Anne Elisabeth Haxthausen. fac, 33(1):87-125, 2021. [doi]

2019

Efficient Data Validation for Geographical Interlocking SystemsJan Peleska 0001, Niklas Krafczyk, Anne Elisabeth Haxthausen, Ralf Pinger. rssrail 2019: 142-158 [doi]

Formal Verification of Railway Timetables - Using the UPPAAL Model CheckerAnne Elisabeth Haxthausen, Kristian Hede. BIRTHDAY 2019: 433-448 [doi]

2018

Safety Interlocking as a Distributed Mutual Exclusion ProblemAlessandro Fantechi, Anne Elisabeth Haxthausen. fmics 2018: 52-66 [doi]

Stepwise Development and Model Checking of a Distributed Interlocking System - Using RAISESigne Geisler, Anne Elisabeth Haxthausen. FM 2018: 277-293 [doi]

2017

Compositional Verification of Interlocking Systems for Large StationsAlessandro Fantechi, Anne Elisabeth Haxthausen, Hugo Daniel Macedo. SEFM 2017: 236-252 [doi]

Model Checking Geographically Distributed Interlocking Systems Using UMCAlessandro Fantechi, Anne Elisabeth Haxthausen, Michel Boje Randahl Nielsen. pdp 2017: 278-286 [doi]

Formal modelling and verification of interlocking systems featuring sequential releaseLinh Vu Hong, Anne Elisabeth Haxthausen, Jan Peleska. SCP, 133:91-115, 2017. [doi]

Compositional Model Checking of Interlocking Systems for Lines with Multiple StationsHugo Daniel Macedo, Alessandro Fantechi, Anne Elisabeth Haxthausen. NFM 2017: 146-162 [doi]

A Domain-Specific Language for Generic Interlocking Models and Their PropertiesLinh H. Vu, Anne Elisabeth Haxthausen, Jan Peleska. rssrail 2017: 99-115 [doi]

2016

On the Use of Static Checking in the Verification of Interlocking SystemsAnne Elisabeth Haxthausen, Peter H. Østergaard. ISoLA 2016: 266-278 [doi]

Comparing Formal Verification Approaches of Interlocking SystemsAnne Elisabeth Haxthausen, Hoang Nga Nguyen, Markus Roggenbach. rssrail 2016: 160-177 [doi]

Compositional Verification of Multi-station Interlocking SystemsHugo Dniel Macedo, Alessandro Fantechi, Anne Elisabeth Haxthausen. ISoLA 2016: 279-293 [doi]

2015

Model Checking and Model-Based Testing in the Railway DomainAnne Elisabeth Haxthausen, Jan Peleska. syde 2015: 82-121 [doi]

2014

2013

Applied Bounded Model Checking for Interlocking System DesignsAnne Elisabeth Haxthausen, Jan Peleska, Ralf Pinger. SEFM 2014: 205-220 [doi]

2012

Automated Generation of Safety Requirements from Railway Interlocking TablesAnne Elisabeth Haxthausen. ISoLA 2012: 261-275 [doi]

2011

Formal Development of a Tool for Automated Modelling and Verification of Relay Interlocking SystemsAnne Elisabeth Haxthausen, Andreas A. Kjær, Marie Le Bliguet. FM 2011: 118-132 [doi]

A formal approach for the construction and verification of railway control systemsAnne Elisabeth Haxthausen, Jan Peleska, Sebastian Kinder. fac, 23(2):191-219, 2011. [doi]

2010

Towards a Framework for Modelling and Verification of Relay Interlocking SystemsAnne Elisabeth Haxthausen. monterey 2011: 176-192 [doi]

2009

A Domain-Specific Framework for Automated Construction and Verification of Railway Control SystemsAnne Elisabeth Haxthausen. safecomp 2009: 1-3 [doi]

Developing a Domain Model for Relay CircuitsAnne Elisabeth Haxthausen. ijsi, 3(2-3):241-272, 2009. [doi]

2008

Specification, proof, and model checking of the Mondex electronic purse using RAISEChris George, Anne Elisabeth Haxthausen. fac, 20(1):101-116, 2008. [doi]

Modelling and Verification of Relay Interlocking SystemsAnne Elisabeth Haxthausen, Marie Le Bliguet, Andreas A. Kjær. monterey 2010: 141-153 [doi]

2007

A Domain-Oriented, Model-Based Approach for Construction and Verification of Railway Control SystemsAnne Elisabeth Haxthausen, Jan Peleska. birthday 2007: 320-348 [doi]

2004

UML-ising Formal TechniquesDines Bjørner, Chris George, Anne Elisabeth Haxthausen, Christian Krog Madsen, Steffen Holmslykke, Martin Pnika. dfg 2004: 423-450 [doi]

Proof Support for RAISE by a Reuse Approach Based on InstitutionsMorten P. Lindegaard, Anne Elisabeth Haxthausen. amast 2004: 319-333 [doi]

2003

The Logic of the RAISE Specification LanguageChris George, Anne Elisabeth Haxthausen. cai, 22(4):323-350, 2003.

Casl - The Common Algebraic Specification Language: Semantics and Proof TheoryTill Mossakowski, Anne Elisabeth Haxthausen, Donald Sannella, Andrzej Tarlecki. cai, 22(3):285-321, 2003.

2000

Linking DC Toghether with TRSLAnne Elisabeth Haxthausen, Xia Yong. IFM 2000: 25-44 [doi]

Formal Development and Verification of a Distributed Railway Control SystemAnne Elisabeth Haxthausen, Jan Peleska. TSE, 26(8):687-701, 2000. [doi]

1999

Formal Development and Verification of a Distributed Railway Control SystemAnne Elisabeth Haxthausen, Jan Peleska. FM 1999: 1546-1563 [doi]

Subsorted Partial Higher-Order Locig as an Extension of CASLTill Mossakowski, Anne Elisabeth Haxthausen, Bernd Krieg-Brückner. WADT 2000: 126-145

1997

Permissive Subsorted Partial Logic in CASLMaura Cerioli, Anne Elisabeth Haxthausen, Bernd Krieg-Brückner, Till Mossakowski. amast 1997: 91-107

Order-Sorted Algebraic Specifications with Higher-Order FunctionsAnne Elisabeth Haxthausen. TCS, 183(2):157-185, 1997. [doi]

LYCOS: the Lyngby Co-Synthesis SystemJan Madsen, Jesper Grode, Peter Voigt Knudsen, M. E. Petersen, Anne Elisabeth Haxthausen. dafes, 2(2):195-235, 1997. [doi]

1996

Pushouts of Order-Sorted Algebraic SpecificationsAnne Elisabeth Haxthausen, Friederike Nickl. amast 1996: 132-147

1995

Order-sorted Algebraic Specifications with Higher-order FunctionsAnne Elisabeth Haxthausen. amast 1995: 133-151

1993

A Concurrency Case Study Using RAISEAnne Elisabeth Haxthausen, Chris George. FM 1993: 367-387

1992

Formal, model-oriented software development methods: From VDM to ProCoS & from RAISE to LaCoSDines Bjørner, Anne Elisabeth Haxthausen, Klaus Havelund. fgcs, 7(2-3):111-138, 1992. [doi]

1989

Recursive Algebraic Specifications and their SemanticsAnne Elisabeth Haxthausen. ifip 1989: 607-612

1988

Mutually Recursive Algebraic Domain EquationsAnne Elisabeth Haxthausen. FM 1988: 299-317

Mutually Recursive Algebraic Domain EquationsAnne Elisabeth Haxthausen. WADT 1988:

Parameterized Algebraic Domain EquationsAnne Elisabeth Haxthausen. category 1989: 198-219

Sign in or sign up to see more results.

runs on WebDSL