Anne Elisabeth Haxthausen

	2011
27		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: 118-132
26		Anne Elisabeth Haxthausen, Jan Peleska, Sebastian Kinder: A formal approach for the construction and verification of railway control systems. Formal Asp. Comput. 23(2): 191-219 (2011)
	2010
25		Anne Elisabeth Haxthausen: Towards a Framework for Modelling and Verification of Relay Interlocking Systems. Monterey Workshop 2010: 176-192
	2009
24		Anne Elisabeth Haxthausen: A Domain-Specific Framework for Automated Construction and Verification of Railway Control Systems. SAFECOMP 2009: 1-3
23		Anne Elisabeth Haxthausen: Developing a Domain Model for Relay Circuits. Int. J. Software and Informatics 3(2-3): 241-272 (2009)
	2008
22		John S. Fitzgerald, Anne Elisabeth Haxthausen, Hüsnü Yenigün: Theoretical Aspects of Computing - ICTAC 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings Springer 2008
21		Anne Elisabeth Haxthausen, Marie Le Bliguet, Andreas A. Kjær: Modelling and Verification of Relay Interlocking Systems. Monterey Workshop 2008: 141-153
20		Chris George, Anne Elisabeth Haxthausen: Specification, proof, and model checking of the Mondex electronic purse using RAISE. Formal Asp. Comput. 20(1): 101-116 (2008)
	2007
19		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: 320-348
	2004
18		Morten P. Lindegaard, Anne Elisabeth Haxthausen: Proof Support for RAISE by a Reuse Approach Based on Institutions. AMAST 2004: 319-333
17		Dines Bjørner, Chris George, Anne Elisabeth Haxthausen, Christian Krog Madsen, Steffen Holmslykke, Martin Pnika: "UML-ising' Formal Techniques. SoftSpez Final Report 2004: 423-450
	2003
16		Till Mossakowski, Anne Elisabeth Haxthausen, Donald Sannella, Andrzej Tarlecki: Casl - The Common Algebraic Specification Language: Semantics and Proof Theory. Computers and Artificial Intelligence 22(3-4): 285-321 (2003)
15		Chris George, Anne Elisabeth Haxthausen: The Logic of the RAISE Specification Language. Computers and Artificial Intelligence 22(3-4): 323-350 (2003)
	2000
14		Anne Elisabeth Haxthausen, Xia Yong: Linking DC Toghether with TRSL. IFM 2000: 25-44
13		Anne Elisabeth Haxthausen, Jan Peleska: Formal Development and Verification of a Distributed Railway Control System. IEEE Trans. Software Eng. 26(8): 687-701 (2000)
	1999
12		Till Mossakowski, Anne Elisabeth Haxthausen, Bernd Krieg-Brückner: Subsorted Partial Higher-Order Locig as an Extension of CASL. WADT 1999: 126-145
11		Anne Elisabeth Haxthausen, Jan Peleska: Formal Development and Verification of a Distributed Railway Control System. World Congress on Formal Methods 1999: 1546-1563
	1997
10		Maura Cerioli, Anne Elisabeth Haxthausen, Bernd Krieg-Brückner, Till Mossakowski: Permissive Subsorted Partial Logic in CASL. AMAST 1997: 91-107
9		Jan Madsen, Jesper Grode, Peter Voigt Knudsen, M. E. Petersen, Anne Elisabeth Haxthausen: LYCOS: the Lyngby Co-Synthesis System. Design Autom. for Emb. Sys. 2(2): 195-235 (1997)
8		Anne Elisabeth Haxthausen: Order-Sorted Algebraic Specifications with Higher-Order Functions. Theor. Comput. Sci. 183(2): 157-185 (1997)
	1996
7		Anne Elisabeth Haxthausen, Friederike Nickl: Pushouts of Order-Sorted Algebraic Specifications. AMAST 1996: 132-147
	1995
6		Anne Elisabeth Haxthausen: Order-sorted Algebraic Specifications with Higher-order Functions. AMAST 1995: 133-151
	1993
5		Anne Elisabeth Haxthausen, Chris George: A Concurrency Case Study Using RAISE. FME 1993: 367-387
	1989
4		Anne Elisabeth Haxthausen: Recursive Algebraic Specifications and their Semantics. IFIP Congress 1989: 607-612
	1988
3		Anne Elisabeth Haxthausen: Mutually Recursive Algebraic Domain Equations. ADT 1988
2		Anne Elisabeth Haxthausen: Parameterized Algebraic Domain Equations. Categorial Methods in Computer Science 1988: 198-219
1		Anne Elisabeth Haxthausen: Mutually Recursive Algebraic Domain Equations. VDM Europe 1988: 299-317

Coauthor Index

1	Dines Bjørner	[17]
2	Marie Le Bliguet	[21] [27]
3	Maura Cerioli	[10]
4	John S. Fitzgerald	[22]
5	Chris George	[5] [15] [17] [20]
6	Jesper Grode	[9]
7	Steffen Holmslykke	[17]
8	Sebastian Kinder	[26]
9	Andreas A. Kjær	[21] [27]
10	Peter Voigt Knudsen	[9]
11	Bernd Krieg-Brückner	[10] [12]
12	Morten P. Lindegaard	[18]
13	Christian Krog Madsen	[17]
14	Jan Madsen	[9]
15	Till Mossakowski	[10] [12] [16]
16	Friederike Nickl	[7]
17	Jan Peleska	[11] [13] [19] [26]
18	M. E. Petersen	[9]
19	Martin Pnika	[17]
20	Donald Sannella	[16]
21	Andrzej Tarlecki	[16]
22	Hüsnü Yenigün	[22]
23	Xia Yong	[14]

Colors in the list of coauthors

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page