Michael Reichhardt Hansen
Autonomous Planning and Scheduling of Mission Operations
Bøg, S., Hansen, M. R., Løvengreen, H. H. & Bolander, T.
01-02-12 → 31-01-15
Project: PhD
Modelling and analysis for Cyber-Physical Systems
Dung, P. A., Hansen, M. R. & Madsen, J.
01-11-11 → 31-10-14
Project: PhD
Specifying and verifying medical robotics software to ensure harmless operation
Herbert, L. T., Sharp, R. & Hansen, M. R.
01-03-10 → 30-04-13
Project: PhD
- Completed
Models and Analyses for Embedded Systems Design
Brekling, A. W., Hansen, M. R., Madsen, J., Sparsø, J., Ravn, A. P. & Vain, J.
01-04-07 → 02-02-11
Project: PhD
- Completed
Chip Area Interconnection Nctworks
Mahadevan, S., Madsen, J., Sparsø, J., Kuchcinski, K., Hansen, M. R. & Wolf, W. H.
01-09-02 → 18-04-06
Project: PhD
- Completed
Sprog og logikker for ontologier
Oldager, S. N., Bruun, H., Nilsson, J. F., Gehrke, M., Hansen, M. R. & Øhrstrøm, P.
01-08-00 → 07-02-04
Project: PhD
- Completed
Proof support for raise
Lindegaard, M. P., Hansen, M. R., Haxthausen, A. E., Sharp, R., Janowski, T. & Krieg-Brückner, B.
01-04-00 → 25-05-04
Project: PhD
- Completed
Formelle notationer til specifikation og verification af indlejrede, tidstro systemer
Rasmussen, T. M., Rischel, H., Hansen, M. R., Nipkow, T., Løvengreen, H. H. & Larsen, K. G.
01-02-99 → 12-08-02
Project: PhD
- Completed
High-level program design of telecommunication software
01-12-97 → 01-02-01
Project: PhD