| 2008 |
|---|
| 20 | | 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 |
| 19 | EE | 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 |
|---|
| 18 | EE | 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 |
|---|
| 17 | EE | Morten P. Lindegaard,
Anne Elisabeth Haxthausen:
Proof Support for RAISE by a Reuse Approach Based on Institutions.
AMAST 2004: 319-333 |
| 16 | EE | 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 |
|---|
| 15 | | 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): (2003) |
| 14 | | Chris George,
Anne Elisabeth Haxthausen:
The Logic of the RAISE Specification Language.
Computers and Artificial Intelligence 22(4): (2003) |
| 2000 |
|---|
| 13 | EE | Anne Elisabeth Haxthausen,
Xia Yong:
Linking DC Toghether with TRSL.
IFM 2000: 25-44 |
| 12 | EE | 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 |
|---|
| 11 | | Till Mossakowski,
Anne Elisabeth Haxthausen,
Bernd Krieg-Brückner:
Subsorted Partial Higher-Order Locig as an Extension of CASL.
WADT 1999: 126-145 |
| 10 | EE | Anne Elisabeth Haxthausen,
Jan Peleska:
Formal Development and Verification of a Distributed Railway Control System.
World Congress on Formal Methods 1999: 1546-1563 |
| 1997 |
|---|
| 9 | | Maura Cerioli,
Anne Elisabeth Haxthausen,
Bernd Krieg-Brückner,
Till Mossakowski:
Permissive Subsorted Partial Logic in CASL.
AMAST 1997: 91-107 |
| 8 | EE | 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 |
