Projects per year
Search results
-
Active
Computer Based Systems Laboratory
Rischel, H. (Project Manager) & Løvengreen, H. H. (Project Participant)
01/06/1998 → …
Project: Research
-
-
Finished
Formelle notationer til specifikation og verification af indlejrede, tidstro systemer
Rasmussen, T. M. (PhD Student), Hansen, M. R. (Main Supervisor), Rischel, H. (Supervisor), Løvengreen, H. H. (Examiner), Guldstrand Larsen, K. (Examiner) & Nipkow, T. (Examiner)
01/02/1999 → 23/08/2002
Project: PhD
-
Real-Time Multimedia (RTMM)
Sharp, R. I. (Project Manager), Løvengreen, H. H. (Project Participant) & Pedersen, S. (Project Participant)
01/01/1998 → 31/12/2001
Project: Research
-
Højniveau-design af programmel til indlejrede, reaktive systemer
Mørk, S. (PhD Student), Andersen, H. R. (Main Supervisor) & Løvengreen, H. H. (Examiner)
01/02/1996 → 21/07/2000
Project: PhD
-
Syntese af hybride systemer
Heilmann, S. (PhD Student), Ravn, A. P. (Main Supervisor), Løvengreen, H. H. (Examiner) & Von Henke, F. (Examiner)
01/08/1995 → 08/09/1999
Project: PhD
-
Specifikation og verifikation af modulære parallelprogrammer
Sørensen, M. U. (PhD Student), Løvengreen, H. H. (Main Supervisor), Hansen, B. S. (Examiner) & Liu, Z. (Examiner)
01/09/1993 → 09/09/1997
Project: PhD
-
Implementering af parallelkomposition
Rump, C. Ø. (PhD Student) & Løvengreen, H. H. (Main Supervisor)
01/08/1991 → 27/11/1996
Project: PhD
-
Korrekthed af protokoller i ditribuerede systemer
Søgaard-Andersen, J. F. (PhD Student) & Løvengreen, H. H. (Main Supervisor)
01/09/1990 → 09/01/1995
Project: PhD
-
Formelle metoder til udvikling af parallelle systemer
Grønning, P. (PhD Student) & Løvengreen, H. H. (Main Supervisor)
01/02/1990 → 30/01/1997
Project: PhD