Projects per year
Projects
Active
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.
01/02/1999 → 23/08/2002
Project: PhD
Real-Time Multimedia (RTMM)
Sharp, R., Løvengreen, H. H. & Pedersen, S.
01/01/1998 → 31/12/2001
Project: Research
Højniveau-design af programmel til indlejrede, reaktive systemer
Mørk, S., Andersen, H. R. & Løvengreen, H. H.
01/02/1996 → 21/07/2000
Project: PhD
Syntese af hybride systemer
Heilmann, S., Ravn, A. P., Løvengreen, H. H. & Von Henke, F.
01/08/1995 → 08/09/1999
Project: PhD
Specifikation og verifikation af modulære parallelprogrammer
Sørensen, M. U., Løvengreen, H. H., Hansen, B. S. & Liu, Z.
01/09/1993 → 09/09/1997
Project: PhD
Implementering af parallelkomposition
Rump, C. Ø. & Løvengreen, H. H.
01/08/1991 → 27/11/1996
Project: PhD
Korrekthed af protokoller i ditribuerede systemer
Søgaard-Andersen, J. F. & Løvengreen, H. H.
01/09/1990 → 09/01/1995
Project: PhD
Formelle metoder til udvikling af parallelle systemer
Grønning, P. & Løvengreen, H. H.
01/02/1990 → 30/01/1997
Project: PhD