Anne Elisabeth Haxthausen

According to our database1, Anne Elisabeth Haxthausen authored at least 45 papers between 1988 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2019
Efficient Data Validation for Geographical Interlocking Systems.
Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2019

2018
Safety Interlocking as a Distributed Mutual Exclusion Problem.
Proceedings of the Formal Methods for Industrial Critical Systems, 2018

Stepwise Development and Model Checking of a Distributed Interlocking System - Using RAISE.
Proceedings of the Formal Methods - 22nd International Symposium, 2018

2017
Formal modelling and verification of interlocking systems featuring sequential release.
Sci. Comput. Program., 2017

Compositional Verification of Interlocking Systems for Large Stations.
Proceedings of the Software Engineering and Formal Methods - 15th International Conference, 2017

A Domain-Specific Language for Generic Interlocking Models and Their Properties.
Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2017

Model Checking Geographically Distributed Interlocking Systems Using UMC.
Proceedings of the 25th Euromicro International Conference on Parallel, 2017

Compositional Model Checking of Interlocking Systems for Lines with Multiple Stations.
Proceedings of the NASA Formal Methods - 9th International Symposium, 2017

2016
Comparing Formal Verification Approaches of Interlocking Systems.
Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2016

Compositional Verification of Multi-station Interlocking Systems.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

On the Feasibility of a Unified Modelling and Programming Paradigm.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

On the Use of Static Checking in the Verification of Interlocking Systems.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

2015
Model Checking and Model-Based Testing in the Railway Domain.
Proceedings of the Formal Modeling and Verification of Cyber-Physical Systems, 2015

2014
Automated generation of formal safety conditions from railway interlocking tables.
STTT, 2014

Complete Model-Based Equivalence Class Testing for the ETCS Ceiling Speed Monitor.
Proceedings of the Formal Methods and Software Engineering, 2014

Formal Modeling and Verification of Interlocking Systems Featuring Sequential Release.
Proceedings of the Formal Techniques for Safety-Critical Systems, 2014

An Institution for Imperative RSL Specifications.
Proceedings of the Specification, Algebra, and Software, 2014

2013
Applied Bounded Model Checking for Interlocking System Designs.
Proceedings of the Software Engineering and Formal Methods, 2013

A rigorous methodology for analyzing and designing plug-ins.
Proceedings of the 3rd International Workshop on Developing Tools as Plug-ins, 2013

2012
Automated Generation of Safety Requirements from Railway Interlocking Tables.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies, 2012

2011
A formal approach for the construction and verification of railway control systems.
Formal Asp. Comput., 2011

Formal Development of a Tool for Automated Modelling and Verification of Relay Interlocking Systems.
Proceedings of the FM 2011: Formal Methods, 2011

2010
Towards a Framework for Modelling and Verification of Relay Interlocking Systems.
Proceedings of the Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems, 2010

2009
Developing a Domain Model for Relay Circuits.
Int. J. Software and Informatics, 2009

A Domain-Specific Framework for Automated Construction and Verification of Railway Control Systems.
Proceedings of the Computer Safety, 2009

2008
Specification, proof, and model checking of the Mondex electronic purse using RAISE.
Formal Asp. Comput., 2008

Modelling and Verification of Relay Interlocking Systems.
Proceedings of the Foundations of Computer Software. Future Trends and Techniques for Development, 2008

2007
A Domain-Oriented, Model-Based Approach for Construction and Verification of Railway Control Systems.
Proceedings of the Formal Methods and Hybrid Real-Time Systems, 2007

2004
"UML-ising' Formal Techniques.
Proceedings of the Integration of Software Specification Techniques for Applications in Engineering, 2004

Proof Support for RAISE by a Reuse Approach Based on Institutions.
Proceedings of the Algebraic Methodology and Software Technology, 2004

2003
Casl - The Common Algebraic Specification Language: Semantics and Proof Theory.
Computers and Artificial Intelligence, 2003

The Logic of the RAISE Specification Language.
Computers and Artificial Intelligence, 2003

2000
Linking DC Toghether with TRSL.
Proceedings of the Integrated Formal Methods, Second International Conference, 2000

1999
Subsorted Partial Higher-Order Locig as an Extension of CASL.
Proceedings of the Recent Trends in Algebraic Development Techniques, 1999

Formal Development and Verification of a Distributed Railway Control System.
Proceedings of the FM'99 - Formal Methods, 1999

1997
LYCOS: the Lyngby Co-Synthesis System.
Design Autom. for Emb. Sys., 1997

Permissive Subsorted Partial Logic in CASL.
Proceedings of the Algebraic Methodology and Software Technology, 1997

1996
Pushouts of Order-Sorted Algebraic Specifications.
Proceedings of the Algebraic Methodology and Software Technology, 1996

1995
Order-sorted Algebraic Specifications with Higher-order Functions.
Proceedings of the Algebraic Methodology and Software Technology, 1995

1993
A Concurrency Case Study Using RAISE.
Proceedings of the FME '93: Industrial-Strength Formal Methods, 1993

1992
Formal, model-oriented software development methods: From VDM to ProCoS & from RAISE to LaCoS.
Future Generation Comp. Syst., 1992

1989
Recursive Algebraic Specifications and their Semantics.
Proceedings of the Information Processing 89, Proceedings of the IFIP 11th World Computer Congress, San Francisco, USA, August 28, 1989

1988
Mutually Recursive Algebraic Domain Equations.
Proceedings of the VDM '88, 1988

Parameterized Algebraic Domain Equations.
Proceedings of the Categorial Methods in Computer Science: With Aspects from Topology [Workshop, 1988

Mutually Recursive Algebraic Domain Equations.
Proceedings of the 6st Workshop on Abstract Data Type, 1988. University of Berlin, Germany, 1988


  Loading...