Projects per year
Search results
-
Active
Information project for highschool pupils
Haxthausen, A. E., Hansen, B. S. & Bing, E.
01/11/1997 → …
Project: Research
-
Finished
Formal development and verification of railway control systems
Vu, L. H., Haxthausen, A. E., Peleska, J., Hansen, M. R., Fantechi, A. & Larsen, P. G.
Technical University of Denmark
01/11/2012 → 21/01/2016
Project: PhD
-
Modelling and analysis for Cyber-Physical Systems
Dung, P. A., Hansen, M. R., Madsen, J., Haxthausen, A. E., Sestoft, P. & Vain, J.
01/11/2011 → 30/09/2015
Project: PhD
-
Pattern-oriented Formal Software Development
Sam.arb.aftaler - Udenlandske offentlige og private
01/04/2005 → 01/04/2010
Project: Research
-
Modellering og analyse af globale applikationer
Buchholtz, M., Nielson, F., Haxthausen, A. E., Focardi, R., Guttman, J. D. & Nielson, H. R.
01/01/2002 → 12/07/2005
Project: PhD
-
Proof support for raise
Lindegaard, M. P., Haxthausen, A. E., Hansen, M. R., Sharp, R., Janowski, T. & Krieg-Bruckner, B.
01/04/2000 → 25/05/2004
Project: PhD
-
Domain-specific Languages for Railway Control Systems
Haxthausen, A. E. & Peleska, J.
01/01/2000 → 31/12/2010
Project: Research
-
Modelling Railway Interlocking Systems II
Haxthausen, A. E., Lindegaard, M. P., Hansen, K. M. & Viuf, P.
01/09/1999 → 31/03/2000
Project: Research
-
CoFI WG (ESPRIT Working Group no. 29432)
Haxthausen, A. E., Mosses, P., Sannella, D., Tarlecki, A., Krieg-Bruckner, B., Bidoit, M., Astesiano, E. & Kirchner, H.
01/10/1998 → 30/04/2001
Project: Research
-
FMERail (ESPRIT Project EP26538)
Hansen, B. S., Bjørner, D. & Haxthausen, A. E.
01/01/1998 → 30/09/1999
Project: Research
-
-
-
-
CoFI
Haxthausen, A. E., Mosses, P., Lescanne, P., Astesiano, E., Bergstra, J., Bert, D., Bidoit, M., Bettaz, M., Broy, M., Choppy, C., Dahl, O., Ehrich, H., Ehrig, H., Fiadeiro, J., Gaudel, M., Goguen, J. A., Grosu, R., Heering, J., Kirchner, H., Kreowski, H., Krieg-Bruckner, B., Maibaum, T., Malcolm, G., Meinke, K., Orejas, F., Owe, O., Padawitz, P., Reggio, G., Reichel, H., Sannella, D., Sernadas, A., Tarlecki, A., Wagner, E., Walicki, M., Wirsing, M., Wolter, U., Cerioli, M. & Mossakowski, T.
01/11/1995 → 31/12/2003
Project: Research
-
-
Subtyping and Higher-order Functions
Sam.arb.aftaler - Udenlandske offentlige og private
01/01/1995 → 31/12/1999
Project: Research