Anne E. Haxthausen

Citée par

	Toutes	Depuis 2020
Citations	2420	633
indice h	24	14
indice i10	58	28

160

120

19921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202420259 6 8 3 13 22 30 48 31 31 56 78 58 54 102 84 81 71 123 75 71 79 93 88 120 110 108 103 130 131 83 145 121 22

Accès public

Tout afficher

17 articles

2 articles

disponibles

non disponibles

Sur la base des exigences liées au financement

Coauteurs

A. FantechiUniversità di FirenzeAdresse e-mail validée de unifi.it
Till MossakowskiProfessor of Computer Science, University of OsnabrückAdresse e-mail validée de uni-osnabrueck.de
Donald SannellaProfessor of Computer Science, University of EdinburghAdresse e-mail validée de inf.ed.ac.uk
Andrzej TarleckiFaculty of Mathematics, Informatics and Mechanics, University of WarsawAdresse e-mail validée de mimuw.edu.pl
Klaus HavelundSenior Research Scientist, Jet Propulsion LaboratoryAdresse e-mail validée de jpl.nasa.gov
Markus RoggenbachProfessor of Computer Science, Swansea UniversityAdresse e-mail validée de swan.ac.uk
Hubert BaumeisterTechnical University of DenmarkAdresse e-mail validée de dtu.dk
Hugo Daniel MacedoAarhus UniversityAdresse e-mail validée de ece.au.dk
Jan MadsenProfessor in Computer based Systems, DTU Compute, Technical University of DenmarkAdresse e-mail validée de dtu.dk
Peter D MossesSwansea University and Delft University of TechnologyAdresse e-mail validée de tudelft.nl
Dines BjornerProfessor Emeritus, DTU Informatics, DenmarkAdresse e-mail validée de dtu.dk
Stefania GnesiISTI-CNR, ItalyAdresse e-mail validée de isti.cnr.it
Daniel GrosseFull Professor at Johannes Kepler University LinzAdresse e-mail validée de jku.at
Rolf DrechslerProfessor at University of Bremen, Director DFKI Bremen, GermanyAdresse e-mail validée de uni-bremen.de
Jaco van de PolProfessor of Computer Science, Aarhus UniversityAdresse e-mail validée de cs.au.dk
Stefan GrunerORCID: 0000-0001-6008-6123Adresse e-mail validée de cs.up.ac.za
Hoang Nga NguyenAssociate Professor, Swansea UniversityAdresse e-mail validée de swansea.ac.uk
Mario GleirscherCurrently unaffiliatedAdresse e-mail validée de tum.de
Helen TreharneProfessor, Surrey Centre for Cyber SecurityAdresse e-mail validée de surrey.ac.uk
Marco RoveriUniversity of Trento - Department of Information Engineering and Computer ScienceAdresse e-mail validée de unitn.it

Suivre

Anne E. Haxthausen

Associate Professor of Computer Science, Technical University of Denmark

Adresse e-mail validée de dtu.dk

Formal Methods Semantics Safety Railways #dtusse


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
The RAISE Specification Language P Haff, K Havelund, AE Haxthausen, R Milne, CB Nielson, S Prehn, ... Prentice-Hall, 1992	267*	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	218	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	180	2000
The RAISE Development Method. CW George, AE Haxthausen, S Hughes, R Milne, S Prehn, JS Pedersen The BCS Practitioner Series, 1995	177*	1995
Formal Modeling and Verification of Interlocking Systems Featuring Sequential Release LH Vu, AE Haxthausen, J Peleska	102	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	71	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	69	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
Pushouts of order-sorted algebraic specifications AE Haxthausen, F Nickl International Conference on Algebraic Methodology and Software Technology …, 1996	44	1996
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
An introduction to formal methods for the development of safety-critical applications AE Haxthausen	43	2010
CASL—the common algebraic specification language T Mossakowski, AE Haxthausen, D Sannella, A Tarlecki Logics of Specification Languages, 241-298, 2008	32	2008
The logic of the RAISE specification language C George, AE Haxthausen Computing and Informatics 22 (3-4), 323-350, 2003	32	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	32	2002
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
Formal development and verification of railway control systems-in the context of ERTMS/ETCS level 2 LH Vu Technical University of Denmark, 2015	29*	2015
Automated verification for train control systems J Peleska, D Große, AE Haxthausen, R Drechsler FORMS/FORMAT, 296-303, 2004	29	2004
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	29	1997

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–20

Nombre de citations par an

Citations en double

Citations fusionnées

Ajouter les coauteursCoauteurs

Suivre

Citée par

Coauteurs