Anne Elisabeth Haxthausen

View Scopus Profile

Anne Elisabeth Haxthausen

 https://orcid.org/0000-0001-7349-8872

  • Richard Petersens Plad, 321, 026

    2800 Kgs. Lyngby

    Denmark

If you made any changes in Pure these will be visible here soon.
Filter
Book chapter

Search results

  • 2023

    Decomposing the Verification of Interlocking Systems

    Haxthausen, A. E., Fantechi, A. & Gori, G., 2023, Applicable Formal Methods for Safe Industrial Products . Vol. 14165. p. 96-113 (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review

  • 2019

    Formal Verification of Railway Timetables - Using the UPPAAL Model Checker

    Haxthausen, A. E. & Hede, K., 1 Jan 2019, From Software Engineering to Formal Methods and Tools, and Back. Springer, p. 433-448 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11865 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review

    File
    357 Downloads (Pure)
  • 2015

    Model Checking and Model-based Testing in the Railway Domain

    Haxthausen, A. E. & Peleska, J., 2015, Formal Modeling and Verification of Cyber-Physical Systems: 1st International Summer School on Methods and Tools for the Design of Digital Systems. Drechsle, R. & Kühne, U. (eds.). Springer, p. 82-121

    Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research

    1 Downloads (Pure)
  • 2014

    An Institution for Imperative RSL Specifications

    Haxthausen, A. E., 2014, Specification, Algebra, and Software: Essays Dedicated to Kokichi Futatsugi. Springer, p. 441-464 (Lecture Notes in Computer Science, Vol. 8373).

    Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review

    1 Downloads (Pure)
  • 2013

    Efficient Development and Verification of Safe Railway Control Software

    Haxthausen, A. E. & Peleska, J., 2013, Railways: Types, Design and Safety Issues. Reinhardt, C. & Shroeder, K. (eds.). Nova Science Publishers, p. 127-148

    Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review

    Open Access
    File
    230 Downloads (Pure)
  • 2012

    The Model-Driven openETCS Paradigm for Secure, Safe and Certifiable Train Control Systems

    Peleska, J., Feuser, J. & Haxthausen, A. E., 2012, Railway Safety, Reliability and Security: Technologies and System Engineering. IGI global, p. 22-52 31 p.

    Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review

  • 2008

    CASL, the Common Algebraic Specification Language

    Mossakowski, T., Haxthausen, A. E., Sannella, D. & Tarlecki, A., 2008, Logics of Specification Languages. Bjørner, D. & Henson, M. C. (eds.). Springer, (Monographs in Theoretical Computer Science. An EATCS Series; No. XXII).

    Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review

  • The Logic of the RAISE Specification Language

    George, C. & Haxthausen, A. E., 2008, Logics of Specification Languages. Bjørner, D. & Henson, M. C. (eds.). Springer, (Monographs in Theoretical Computer Science. An EATCS Series; No. XXII).

    Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review

  • 2004

    CASL Semantics

    Baumeister, H., Cerioli, M., Haxthausen, A. E., Mossakowski, T., Mosses, P. D., Sannella, D. & Tarlecki, A., 2004, CASL Reference Manual: The Complete Documentation of the Common Algebraic Specification Language. Vol. Lecture Notes in Computer Science, Vol. 2960.

    Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review