Anne E. Haxthausen

Cited by

	All	Since 2020
Citations	2410	619
h-index	24	14
i10-index	58	27

160

120

19961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202513 25 32 48 32 31 56 81 57 56 101 86 79 73 123 74 72 78 87 93 118 113 111 100 71 132 138 146 120 12

Public access

View all

17 articles

2 articles

available

not available

Based on funding mandates

Co-authors

A. FantechiUniversità di FirenzeVerified email at unifi.it
Till MossakowskiProfessor of Computer Science, University of OsnabrückVerified email at uni-osnabrueck.de
Donald SannellaProfessor of Computer Science, University of EdinburghVerified email at inf.ed.ac.uk
Andrzej TarleckiFaculty of Mathematics, Informatics and Mechanics, University of WarsawVerified email at mimuw.edu.pl
Klaus HavelundSenior Research Scientist, Jet Propulsion LaboratoryVerified email at jpl.nasa.gov
Markus RoggenbachProfessor of Computer Science, Swansea UniversityVerified email at swan.ac.uk
Hubert BaumeisterTechnical University of DenmarkVerified email at dtu.dk
Jan MadsenProfessor in Computer based Systems, DTU Compute, Technical University of DenmarkVerified email at dtu.dk
Hugo Daniel MacedoAarhus UniversityVerified email at ece.au.dk
Peter D MossesSwansea University and Delft University of TechnologyVerified email at tudelft.nl
Dines BjornerProfessor Emeritus, DTU Informatics, DenmarkVerified email at dtu.dk
Stefania GnesiISTI-CNR, ItalyVerified email at isti.cnr.it
Daniel GrosseFull Professor at Johannes Kepler University LinzVerified email at jku.at
Rolf DrechslerProfessor at University of Bremen, Director DFKI Bremen, GermanyVerified email at uni-bremen.de
Jaco van de PolProfessor of Computer Science, Aarhus UniversityVerified email at cs.au.dk
Stefan GrunerORCID: 0000-0001-6008-6123Verified email at cs.up.ac.za
Hoang Nga NguyenAssociate Professor, Swansea UniversityVerified email at swansea.ac.uk
Mario GleirscherIndependent ResearcherVerified email at tum.de
Helen TreharneProfessor, Surrey Centre for Cyber SecurityVerified email at surrey.ac.uk
Marco RoveriUniversity of Trento - Department of Information Engineering and Computer ScienceVerified email at unitn.it

Anne E. Haxthausen

Associate Professor of Computer Science, Technical University of Denmark

Verified email at dtu.dk

Formal Methods Semantics Safety Railways #dtusse


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
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	221	1997
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	166	2000
Formal Modeling and Verification of Interlocking Systems Featuring Sequential Release LH Vu, AE Haxthausen, J Peleska	99	2014
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	72	2011
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	68	2003
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	53	2013
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	48	2010
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	43	2014
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	43	2014
Formal development and verification of a distributed railway control system AE Haxthausen, J Peleska International Symposium on Formal Methods, 1546-1563, 1999	43	1999
Pushouts of order-sorted algebraic specifications AE Haxthausen, F Nickl International Conference on Algebraic Methodology and Software Technology …, 1996	42	1996
An introduction to formal methods for the development of safety-critical applications AE Haxthausen	41	2010
The logic of the RAISE specification language C George, AE Haxthausen Computing and Informatics 22 (3-4), 323-350, 2003	33	2003
CASL—the common algebraic specification language T Mossakowski, AE Haxthausen, D Sannella, A Tarlecki Logics of Specification Languages, 241-298, 2008	32	2008
A domain specific language for railway control systems AE Haxthausen, J Peleska Proceedings of the sixth biennial world conference on integrated design and …, 2002	32	2002
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	31	2011
Specification, proof, and model checking of the Mondex electronic purse using RAISE C George, AE Haxthausen Formal Aspects of Computing 20, 101-116, 2008	31	2008
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	31	1997

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors