Anne E. Haxthausen

Citirano

	Sve	Od 2020.
Citati	2418	631
H-indeks	24	14
i10-indeks	58	28

160

120

19921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202420259 6 8 3 13 22 30 48 31 31 56 79 59 54 102 84 80 71 123 75 70 79 93 88 119 111 108 103 130 131 83 145 120 21

Javni pristup

Prikaži sve

17 članaka

2 članka

dostupno

nije dostupno

Na temelju uvjeta financiranja

Suautori

A. FantechiUniversità di FirenzePotvrđena adresa e-pošte na unifi.it
Till MossakowskiProfessor of Computer Science, University of OsnabrückPotvrđena adresa e-pošte na uni-osnabrueck.de
Donald SannellaProfessor of Computer Science, University of EdinburghPotvrđena adresa e-pošte na inf.ed.ac.uk
Andrzej TarleckiFaculty of Mathematics, Informatics and Mechanics, University of WarsawPotvrđena adresa e-pošte na mimuw.edu.pl
Klaus HavelundSenior Research Scientist, Jet Propulsion LaboratoryPotvrđena adresa e-pošte na jpl.nasa.gov
Markus RoggenbachProfessor of Computer Science, Swansea UniversityPotvrđena adresa e-pošte na swan.ac.uk
Hubert BaumeisterTechnical University of DenmarkPotvrđena adresa e-pošte na dtu.dk
Hugo Daniel MacedoAarhus UniversityPotvrđena adresa e-pošte na ece.au.dk
Jan MadsenProfessor in Computer based Systems, DTU Compute, Technical University of DenmarkPotvrđena adresa e-pošte na dtu.dk
Peter D MossesSwansea University and Delft University of TechnologyPotvrđena adresa e-pošte na tudelft.nl
Dines BjornerProfessor Emeritus, DTU Informatics, DenmarkPotvrđena adresa e-pošte na dtu.dk
Stefania GnesiISTI-CNR, ItalyPotvrđena adresa e-pošte na isti.cnr.it
Daniel GrosseFull Professor at Johannes Kepler University LinzPotvrđena adresa e-pošte na jku.at
Rolf DrechslerProfessor at University of Bremen, Director DFKI Bremen, GermanyPotvrđena adresa e-pošte na uni-bremen.de
Jaco van de PolProfessor of Computer Science, Aarhus UniversityPotvrđena adresa e-pošte na cs.au.dk
Stefan GrunerORCID: 0000-0001-6008-6123Potvrđena adresa e-pošte na cs.up.ac.za
Hoang Nga NguyenAssociate Professor, Swansea UniversityPotvrđena adresa e-pošte na swansea.ac.uk
Mario GleirscherIndependent ResearcherPotvrđena adresa e-pošte na tum.de
Helen TreharneProfessor, Surrey Centre for Cyber SecurityPotvrđena adresa e-pošte na surrey.ac.uk
Marco RoveriUniversity of Trento - Department of Information Engineering and Computer SciencePotvrđena adresa e-pošte na unitn.it

Prati

Anne E. Haxthausen

Associate Professor of Computer Science, Technical University of Denmark

Potvrđena adresa e-pošte na dtu.dk

Formal Methods Semantics Safety Railways #dtusse


Naslov Poredaj po navodima Poredaj po godini Poredaj po naslovu	Citirano Citirano	Godina
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	42	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

Sustav trenutno ne može provesti ovu radnju. Pokušajte ponovo kasnije.

Članci 1–20

Godišnji broj citata

Dvostruki navodi

Spojeni navodi

Dodavanje suautoraSuautori

Prati

Citirano

Suautori