Anne E. Haxthausen

Citado por

	Total	Desde 2019
Citas	2316	612
Índice h	24	14
Índice i10	57	26

140

105

1992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320249 5 7 3 13 25 33 48 31 31 56 83 58 56 99 86 80 72 122 74 68 77 82 107 121 117 114 102 74 131 131 139 34

Acceso público

Ver todo

16 artículos

2 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

A. FantechiUniversità di FirenzeDirección de correo verificada de unifi.it
Till MossakowskiProfessor of Computer Science, University of MagdeburgDirección de correo verificada de ovgu.de
Donald SannellaProfessor of Computer Science, University of EdinburghDirección de correo verificada de inf.ed.ac.uk
Andrzej TarleckiFaculty of Mathematics, Informatics and Mechanics, University of WarsawDirección de correo verificada de mimuw.edu.pl
Klaus HavelundSenior Research Scientist, Jet Propulsion LaboratoryDirección de correo verificada de jpl.nasa.gov
Markus RoggenbachProfessor of Computer Science, Swansea UniversityDirección de correo verificada de swan.ac.uk
Hubert BaumeisterTechnical University of DenmarkDirección de correo verificada de dtu.dk
Jan MadsenProfessor in Computer based Systems, DTU Compute, Technical University of DenmarkDirección de correo verificada de dtu.dk
Hugo Daniel MacedoAarhus UniversityDirección de correo verificada de ece.au.dk
Peter D MossesSwansea University and Delft University of TechnologyDirección de correo verificada de tudelft.nl
Dines BjornerProfessor Emeritus, DTU Informatics, DenmarkDirección de correo verificada de dtu.dk
Daniel GrosseFull Professor at Johannes Kepler University LinzDirección de correo verificada de jku.at
Rolf DrechslerProfessor at University of Bremen, Director DFKI Bremen, GermanyDirección de correo verificada de uni-bremen.de
Stefania GnesiISTI-CNR, ItalyDirección de correo verificada de isti.cnr.it
Stefan GrunerORCID: 0000-0001-6008-6123Dirección de correo verificada de cs.up.ac.za
Jaco van de PolProfessor of Computer Science, Aarhus UniversityDirección de correo verificada de cs.au.dk
Hoang Nga NguyenAssociate Professor, Swansea UniversityDirección de correo verificada de swansea.ac.uk
Mario GleirscherPostdoctoral Researcher, University of BremenDirección de correo verificada de uni-bremen.de
Helen TreharneProfessor, Surrey Centre for Cyber SecurityDirección de correo verificada de surrey.ac.uk
Marco RoveriUniversity of Trento - Department of Information Engineering and Computer ScienceDirección de correo verificada de unitn.it

Seguir

Anne E. Haxthausen

Associate Professor of Computer Science, Technical University of Denmark

Dirección de correo verificada de dtu.dk

Formal Methods Semantics Safety Railways #dtusse


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
The RAISE Specification Language P Haff, K Havelund, AE Haxthausen, R Milne, CB Nielson, S Prehn, ... Prentice-Hall, 1992	261*	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
The RAISE Development Method. CW George, AE Haxthausen, S Hughes, R Milne, S Prehn, JS Pedersen The BCS Practitioner Series, 1995	171*	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	162	2000
Formal Modeling and Verification of Interlocking Systems Featuring Sequential Release LH Vu, AE Haxthausen, J Peleska	93	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	66	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	49	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	47	2010
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
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	41	2014
An introduction to formal methods for the development of safety-critical applications AE Haxthausen Technical University of Denmark, 2010	40	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	38	2014
The logic of the RAISE specification language C George, AE Haxthausen Computing and Informatics 22 (3-4), 323-350, 2003	32	2003
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
A domain specific language for railway control systems AE Haxthausen, J Peleska Proceedings of the sixth biennial world conference on integrated design and …, 2002	31	2002
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
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	30	2011
CASL—the common algebraic specification language T Mossakowski, AE Haxthausen, D Sannella, A Tarlecki Logics of Specification Languages, 241-298, 2008	30	2008

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores