Photo of Hans Henrik Løvengreen
  • Richard Petersens Plads, 322, 110

    2800 Kgs. Lyngby

    Denmark

1980 …2006

Research output per year

If you made any changes in Pure these will be visible here soon.

Projects

Filter
Finished
Finished

Formelle notationer til specifikation og verification af indlejrede, tidstro systemer

Rasmussen, T. M., Hansen, M. R., Rischel, H., Løvengreen, H. H., Guldstrand Larsen, K. & Nipkow, T.

DTU stipendium

01/02/199923/08/2002

Project: PhD

Real-Time Multimedia (RTMM)

Sharp, R., Løvengreen, H. H. & Pedersen, S.

Unknown

01/01/199831/12/2001

Project: Research

Højniveau-design af programmel til indlejrede, reaktive systemer

Mørk, S., Andersen, H. R. & Løvengreen, H. H.

DTU stipendium

01/02/199621/07/2000

Project: PhD

Syntese af hybride systemer

Heilmann, S., Ravn, A. P., Løvengreen, H. H. & Von Henke, F.

DTU stipendium

01/08/199508/09/1999

Project: PhD

Specifikation og verifikation af modulære parallelprogrammer

Sørensen, M. U., Løvengreen, H. H., Hansen, B. S. & Liu, Z.

DTU stipendium

01/09/199309/09/1997

Project: PhD

Implementering af parallelkomposition

Rump, C. Ø. & Løvengreen, H. H.

DTU stipendium

01/08/199127/11/1996

Project: PhD

Korrekthed af protokoller i ditribuerede systemer

Søgaard-Andersen, J. F. & Løvengreen, H. H.

Gammel Ordning

01/09/199009/01/1995

Project: PhD