Anne Elisabeth Haxthausen

Anne Elisabeth Haxthausen

Lektor

DTU COMPUTE
Institut for Matematik og Computer Science

Danmarks Tekniske Universitet

Asmussens Alle

Bygning 322, rum 216

2800 Kgs. Lyngby

Tlf.
Fax 45 93 00 74
E-mail aeha@dtu.dk
ORCID 0000-0001-7349-8872
Hjemmeside

Få tilsendt vCard på e-mail.

Profil
Publikationer
Projekter
Aktiviteter
Kurser
CV
DTU nyheder
Loading

Projekter rss feed

A High-level Specification Language for Model Checking

Pedersen, Signe Geisler; Haxthausen, Anne Elisabeth; Peleska, Jan Superv.: Peleska, Jan

Type: PhD    |     Projektstatus: Active

2018-2021

Formal development and verification of railway control systems

Vu, Linh Hong; Haxthausen, Anne Elisabeth; Peleska, Jan; Hansen, Michael Reichhardt; Fantechi, Alessandro; Larsen, Peter Gorm Superv.: Peleska, Jan
Examiner: Fantechi, Alessandro; Larsen, Peter Gorm

Type: PhD    |     Projektstatus: Finished

2012-2016

Modelling and analysis for Cyber-Physical Systems

Dung, Phan Anh; Hansen, Michael Reichhardt; Madsen, Jan; Haxthausen, Anne Elisabeth; Sestoft, Peter; Vain, Jüri Examiner: Vain, Jüri

Type: PhD    |     Projektstatus: Finished

2011-2015

Pattern-oriented Formal Software Development

Haxthausen, Anne Elisabeth

Type: Research    |     Projektstatus: Finished

2005-2010

Modellering og analyse af globale applikationer

Buchholtz, Mikael; Nielson, Hanne Riis; Nielson, Flemming; Haxthausen, Anne Elisabeth; Focardi, Riccardo; Guttman, Joshua D. Examiner: Focardi, Riccardo; Guttman, Joshua D.

Type: PhD    |     Projektstatus: Finished

2002-2005

Proof support for raise

Lindegaard, Morten Peter; Haxthausen, Anne Elisabeth; Hansen, Michael Reichhardt; Sharp, Robin; Janowski, Tomasz; Krieg-Bruckner, Bernd Examiner: Janowski, Tomasz; Krieg-Bruckner, Bernd

Type: PhD    |     Projektstatus: Finished

2000-2004

Domain-specific Languages for Railway Control Systems

Haxthausen, Anne Elisabeth; Peleska, Jan
External organisations:

Type: Research    |     Projektstatus: Finished

2000-2010

Modelling Railway Interlocking Systems II

Haxthausen, Anne Elisabeth; Lindegaard, Morten Peter; Hansen, Kirsten Mark; Viuf, Peter
External organisations:

Type: Research    |     Projektstatus: Finished

1999-2000

CoFI WG (ESPRIT Working Group no. 29432)

Haxthausen, Anne Elisabeth; Mosses, Peter; Sannella, Don; Tarlecki, Andrzej; Krieg-Bruckner, Bernd; Bidoit, Michel; Astesiano, Egidio; Kirchner, Hélène
External organisations:

Type: Research    |     Projektstatus: Finished

1998-2001

FMERail (ESPRIT Project EP26538)

Hansen, Bo Stig; Bjørner, Dines; Haxthausen, Anne Elisabeth

Type: Research    |     Projektstatus: Finished

1998-1999