팔로우
Anne E. Haxthausen
Anne E. Haxthausen
Associate Professor of Computer Science, Technical University of Denmark
dtu.dk의 이메일 확인됨
제목
인용
인용
연도
The RAISE Specification Language
P Haff, K Havelund, AE Haxthausen, R Milne, CB Nielson, S Prehn, ...
Prentice-Hall, 1992
263*1992
LYCOS: The Lyngby co-synthesis system
J Madsen, J Grode, PV Knudsen, ME Petersen, A Haxthausen
Design Automation for Embedded Systems 2, 195-235, 1997
2211997
The RAISE Development Method.
CW George, AE Haxthausen, S Hughes, R Milne, S Prehn, JS Pedersen
The BCS Practitioner Series, 1995
177*1995
Formal development and verification of a distributed railway control system
AE Haxthausen, J Peleska
Software Engineering, IEEE Transactions on 26 (8), 687-701, 2000
1662000
Formal Modeling and Verification of Interlocking Systems Featuring Sequential Release
LH Vu, AE Haxthausen, J Peleska
992014
A formal approach for the construction and verification of railway control systems
AE Haxthausen, J Peleska, S Kinder
Formal aspects of computing 23, 191-219, 2011
722011
Casl-The Common Algebraic Specification Language: Semantics and Proof Theory.
T Mossakowski, AE Haxthausen, D Sannella, A Tarlecki
Computing and Informatics 22 (3-4), 285-321, 2003
682003
Applied Bounded Model Checking for Interlocking System Designs
AE Haxthausen, J Peleska, R Pinger
Towards a Formal Methods Body of Knowledge for Railway Control and Safety …, 2013
532013
Modelling and verification of relay interlocking systems
AE Haxthausen, M Le Bliguet, AA Kjær
Foundations of Computer Software. Future Trends and Techniques for …, 2010
482010
Complete model-based equivalence class testing for the ETCS ceiling speed monitor
C Braunstein, AE Haxthausen, W Huang, F Hübner, J Peleska, U Schulze, ...
Formal Methods and Software Engineering: 16th International Conference on …, 2014
432014
A domain-specific language for railway interlocking systems
LH Vu, AE Haxthausen, J Peleska
10th Symposium on Formal Methods for Automation and Safety i Railway and …, 2014
432014
Formal development and verification of a distributed railway control system
AE Haxthausen, J Peleska
International Symposium on Formal Methods, 1546-1563, 1999
431999
Pushouts of order-sorted algebraic specifications
AE Haxthausen, F Nickl
International Conference on Algebraic Methodology and Software Technology …, 1996
421996
An introduction to formal methods for the development of safety-critical applications
AE Haxthausen
412010
The logic of the RAISE specification language
C George, AE Haxthausen
Computing and Informatics 22 (3-4), 323-350, 2003
332003
CASL—the common algebraic specification language
T Mossakowski, AE Haxthausen, D Sannella, A Tarlecki
Logics of Specification Languages, 241-298, 2008
322008
A domain specific language for railway control systems
AE Haxthausen, J Peleska
Proceedings of the sixth biennial world conference on integrated design and …, 2002
322002
Formal development of a tool for automated modelling and verification of relay interlocking systems
AE Haxthausen, AA Kjær, M Le Bliguet
FM 2011: Formal Methods: 17th International Symposium on Formal Methods …, 2011
312011
Specification, proof, and model checking of the Mondex electronic purse using RAISE
C George, AE Haxthausen
Formal Aspects of Computing 20, 101-116, 2008
312008
Permissive subsorted partial logic in Casl
M Cerioli, A Haxthausen, B Krieg-Brückner, T Mossakowski
Algebraic Methodology and Software Technology: 6th International Conference …, 1997
311997
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–20