Anne E. Haxthausen

Cited by

	All	Since 2017
Citations	2018	602
h-index	23	14
i10-index	50	21

140

105

19961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202211 22 31 46 25 30 52 80 51 53 100 78 84 70 117 74 65 80 82 98 120 108 104 101 130 129 28

Public access

View all

14 articles

3 articles

available

not available

Based on funding mandates

Co-authors

Till MossakowskiProfessor of Computer Science, University of MagdeburgVerified email at ovgu.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
A. FantechiUniversità di FirenzeVerified email at unifi.it
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
Peter D MossesSwansea University and Delft University of TechnologyVerified email at tudelft.nl
Hugo Daniel MacedoAarhus UniversityVerified email at ece.au.dk
Dines BjornerProfessor Emeritus, DTU Informatics, DenmarkVerified email at dtu.dk
Tom MaibaumProfessor of the Foundations of Software Engineering, McMaster UniversityVerified email at maibaum.org
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
Stefan GrunerORCID: 0000-0001-6008-6123Verified email at cs.up.ac.za
Klaus HavelundSenior Research Scientist, Jet Propulsion LaboratoryVerified email at jpl.nasa.gov
Hoang Nga NguyenAssociate Professor, Coventry UniversityVerified email at coventry.ac.uk
Stefania GnesiISTI-CNR, ItalyVerified email at isti.cnr.it
Jaco van de PolProfessor of Computer Science, Aarhus UniversityVerified email at cs.au.dk
Helen TreharneProfessor, Department of Computer Science, University of SurreyVerified 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

Software engineering formal methods semantics cyber-physical systems safety-critical applications such as railway systems


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	212*	1992
LYCOS: The Lyngby co-synthesis system J Madsen, J Grode, PV Knudsen, ME Petersen, A Haxthausen Design Automation for Embedded Systems 2 (2), 195-235, 1997	209	1997
Formal development and verification of a distributed railway control system AE Haxthausen, J Peleska Software Engineering, IEEE Transactions on 26 (8), 687-701, 2000	165	2000
The RAISE Development Method. CW George, AE Haxthausen, S Hughes, R Milne, S Prehn, JS Pedersen The BCS Practitioner Series, 1995	162*	1995
Formal Modeling and Verification of Interlocking Systems Featuring Sequential Release LH Vu, AE Haxthausen, J Peleska	73	2014
A formal approach for the construction and verification of railway control systems AE Haxthausen, J Peleska, S Kinder Formal aspects of computing 23 (2), 191-219, 2011	66	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	65	2003
Pushouts of order-sorted algebraic specifications AE Haxthausen, F Nickl International Conference on Algebraic Methodology and Software Technology …, 1996	44	1996
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	40	2013
Modelling and verification of relay interlocking systems AE Haxthausen, ML Bliguet, AA Kjær Monterey Workshop, 141-153, 2008	39	2008
An introduction to formal methods for the development of safety-critical applications AE Haxthausen Technical University of Denmark, 2010	35	2010
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	31	2014
Specification, proof, and model checking of the Mondex electronic purse using RAISE C George, AE Haxthausen Formal Aspects of Computing 20 (1), 101-116, 2008	31	2008
Permissive subsorted partial logic in Casl M Cerioli, A Haxthausen, B Krieg-Brückner, T Mossakowski International Conference on Algebraic Methodology and Software Technology …, 1997	31	1997
The logic of the RAISE specification language C George, AE Haxthausen Computing and Informatics 22 (3-4), 323-350, 2003	30	2003
A domain specific language for railway control systems AE Haxthausen, J Peleska Proceedings of the sixth biennial world conference on integrated design and …, 2002	30	2002
Automated verification for train control systems J Peleska, D Große, AE Haxthausen, R Drechsler FORMS/FORMAT, 296-303, 2004	29	2004
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, ... International Conference on Formal Engineering Methods, 380-395, 2014	27	2014
CASL—the common algebraic specification language T Mossakowski, AE Haxthausen, D Sannella, A Tarlecki Logics of Specification Languages, 241-298, 2008	27	2008
Formal development and verification of a distributed railway control system AE Haxthausen, J Peleska International Symposium on Formal Methods, 1546-1563, 1999	27	1999

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 this author

Cited by

Co-authors