Anne Elisabeth Haxthausen

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Introduction to the special Section on reliability, safety, and security of railway systems Formal Aspects of Computing	2024-09-25	Paper
Compositional verification of railway interlocking systems Formal Aspects of Computing	2024-09-25	Paper
Order-sorted algebraic specifications with higher-order functions Algebraic Methodology and Software Technology	2022-08-16	Paper
Efficient data validation for geographical interlocking systems Formal Aspects of Computing	2022-01-11	Paper
Editorial Formal Aspects of Computing	2022-01-11	Paper
Stepwise development and model checking of a distributed interlocking system -- using RAISE	2021-05-04	Paper
Stepwise development and model checking of a distributed interlocking system using RAISE Formal Aspects of Computing	2021-03-04	Paper
An Institution for Imperative RSL Specifications Specification, Algebra, and Software	2014-03-25	Paper
A formal approach for the construction and verification of railway control systems Formal Aspects of Computing	2011-05-27	Paper
A Domain-Oriented, Model-Based Approach for Construction and Verification of Railway Control Systems Formal Methods and Hybrid Real-Time Systems	2008-09-25	Paper
scientific article; zbMATH DE number 2172805 (Why is no real title available?)	2006-06-02	Paper
scientific article; zbMATH DE number 2172806 (Why is no real title available?)	2006-06-02	Paper
Algebraic Methodology and Software Technology Lecture Notes in Computer Science	2005-08-25	Paper
scientific article; zbMATH DE number 2079807 (Why is no real title available?)	2004-07-30	Paper
scientific article; zbMATH DE number 1617295 (Why is no real title available?)	2001-07-11	Paper
Order-sorted algebraic specifications with higher-order functions Theoretical Computer Science	1998-07-22	Paper
scientific article; zbMATH DE number 1113861 (Why is no real title available?)	1998-02-08	Paper
scientific article; zbMATH DE number 1107619 (Why is no real title available?)	1998-01-21	Paper
scientific article; zbMATH DE number 795680 (Why is no real title available?)	1995-09-12	Paper
scientific article; zbMATH DE number 795688 (Why is no real title available?)	1995-09-12	Paper

Research outcomes over time

This page was built for person: Anne Elisabeth Haxthausen