Search results for "Anne Elisabeth Haxthausen"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Anne Elisabeth Haxthausen, Jan Peleska, Sebastian Kinder	A formal approach for the construction and verification of railway control systems.	Formal Asp. Comput.	2011	DBLP DOI BibTeX RDF
1	Anne Elisabeth Haxthausen, Andreas A. Kjær, Marie Le Bliguet	Formal Development of a Tool for Automated Modelling and Verification of Relay Interlocking Systems.	FM	2011	DBLP DOI BibTeX RDF
1	Anne Elisabeth Haxthausen	Towards a Framework for Modelling and Verification of Relay Interlocking Systems.	Monterey Workshop	2010	DBLP DOI BibTeX RDF
1	Anne Elisabeth Haxthausen	Developing a Domain Model for Relay Circuits.	Int. J. Software and Informatics	2009	DBLP BibTeX RDF
1	Anne Elisabeth Haxthausen	A Domain-Specific Framework for Automated Construction and Verification of Railway Control Systems.	SAFECOMP	2009	DBLP DOI BibTeX RDF
1	Chris George, Anne Elisabeth Haxthausen	Specification, proof, and model checking of the Mondex electronic purse using RAISE.	Formal Asp. Comput.	2008	DBLP DOI BibTeX RDF	Verification, Formal methods, PVS, SAL, RAISE, Mondex
1	John S. Fitzgerald, Anne Elisabeth Haxthausen, Hüsnü Yenigün (eds.)	Theoretical Aspects of Computing - ICTAC 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings	ICTAC	2008	DBLP BibTeX RDF
1	Anne Elisabeth Haxthausen, Marie Le Bliguet, Andreas A. Kjær	Modelling and Verification of Relay Interlocking Systems.	Monterey Workshop	2008	DBLP DOI BibTeX RDF
1	Anne Elisabeth Haxthausen, Jan Peleska	A Domain-Oriented, Model-Based Approach for Construction and Verification of Railway Control Systems.	Formal Methods and Hybrid Real-Time Systems	2007	DBLP DOI BibTeX RDF	railway control systems, verification, formal methods, code generation, domain-specific languages, domain engineering
1	Morten P. Lindegaard, Anne Elisabeth Haxthausen	Proof Support for RAISE by a Reuse Approach Based on Institutions.	AMAST	2004	DBLP DOI BibTeX RDF	proof support, Institutions, algebraic semantics, HOL, RSL
1	Dines Bjørner, Chris George, Anne Elisabeth Haxthausen, Christian Krog Madsen, Steffen Holmslykke, Martin Pnika	"UML-ising' Formal Techniques.	SoftSpez Final Report	2004	DBLP DOI BibTeX RDF
1	Chris George, Anne Elisabeth Haxthausen	The Logic of the RAISE Specification Language.	Computers and Artificial Intelligence	2003	DBLP BibTeX RDF
1	Till Mossakowski, Anne Elisabeth Haxthausen, Donald Sannella, Andrzej Tarlecki	Casl - The Common Algebraic Specification Language: Semantics and Proof Theory.	Computers and Artificial Intelligence	2003	DBLP BibTeX RDF
1	Anne Elisabeth Haxthausen, Jan Peleska	Formal Development and Verification of a Distributed Railway Control System.	IEEE Trans. Software Eng.	2000	DBLP DOI BibTeX RDF	verification, formal specification, Safety, stepwise refinement, railways, distributed control system, RAISE
1	Anne Elisabeth Haxthausen, Xia Yong	Linking DC Toghether with TRSL.	IFM	2000	DBLP DOI BibTeX RDF	integration of specification formalisms, Formal methods, Duration Calculus, RAISE
1	Till Mossakowski, Anne Elisabeth Haxthausen, Bernd Krieg-Brückner	Subsorted Partial Higher-Order Locig as an Extension of CASL.	WADT	1999	DBLP DOI BibTeX RDF
1	Anne Elisabeth Haxthausen, Jan Peleska	Formal Development and Verification of a Distributed Railway Control System.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
1	Anne Elisabeth Haxthausen	Order-Sorted Algebraic Specifications with Higher-Order Functions.	Theor. Comput. Sci.	1997	DBLP DOI BibTeX RDF
1	Jan Madsen, Jesper Grode, Peter Voigt Knudsen, M. E. Petersen, Anne Elisabeth Haxthausen	LYCOS: the Lyngby Co-Synthesis System.	Design Autom. for Emb. Sys.	1997	DBLP DOI BibTeX RDF
1	Maura Cerioli, Anne Elisabeth Haxthausen, Bernd Krieg-Brückner, Till Mossakowski	Permissive Subsorted Partial Logic in CASL.	AMAST	1997	DBLP DOI BibTeX RDF
1	Anne Elisabeth Haxthausen, Friederike Nickl	Pushouts of Order-Sorted Algebraic Specifications.	AMAST	1996	DBLP DOI BibTeX RDF
1	Anne Elisabeth Haxthausen	Order-sorted Algebraic Specifications with Higher-order Functions.	AMAST	1995	DBLP DOI BibTeX RDF
1	Anne Elisabeth Haxthausen, Chris George	A Concurrency Case Study Using RAISE.	FME	1993	DBLP DOI BibTeX RDF
1	Anne Elisabeth Haxthausen	Recursive Algebraic Specifications and their Semantics.	IFIP Congress	1989	DBLP BibTeX RDF
1	Anne Elisabeth Haxthausen	Parameterized Algebraic Domain Equations.	Categorial Methods in Computer Science	1988	DBLP BibTeX RDF
1	Anne Elisabeth Haxthausen	Mutually Recursive Algebraic Domain Equations.	VDM Europe	1988	DBLP DOI BibTeX RDF
1	Anne Elisabeth Haxthausen	Mutually Recursive Algebraic Domain Equations.	ADT	1988	DBLP BibTeX RDF

Publications of "Anne Elisabeth Haxthausen" ( http://dblp.L3S.de/Authors/Anne_Elisabeth_Haxthausen )