Hans Henrik Løvengreen

Associate Professor, Department of Applied Mathematics and Computer Science
Embedded Systems Engineering

https://orcid.org/0000-0001-6443-4957

Phone45253763
Emailhhlo@dtu.dk
Websitehttp://people.compute.dtu.dk/hhlo, http://www.compute.dtu.dk

Richard Petersens Plads, 322, 110
2800 Kgs. Lyngby
Denmark

Research activity per year

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

Personal profile

Keywords

User defined:
concurrency
verification

Fingerprint

Dive into the research topics where Hans Henrik Løvengreen is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

6 Similar Profiles

13 Article in proceedings
5 Report
2 Compendium/lecture notes
2 Book chapter
More

Introduction to SPIN
Løvengreen, H. H., 2006
Research output: Book/Report › Compendium/lecture notes
Basic Concurrency Theory
Løvengreen, H. H., 2002
Research output: Book/Report › Compendium/lecture notes
Towards a Process Algebra for Shared Processors
Buchholtz, M., Andersen, J. & Løvengreen, H. H., 2002, In: Electronic Notes in Theoretical Computer Science. 52, 3, p. 275–294
Research output: Contribution to journal › Conference article › Research › peer-review

File
72 Downloads (Pure)
Towards a Process Algebra for Shared Processors
Buchholtz, M., Andersen, J., Løvengreen, H. H. & Corradini al. al., F. (ed.), 2001, Preliminary proceedings of 2nd International Workshop on Models for Time-Critical Systems, MTCS '01. p. 87-99
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Streams and Sockets in DTU-RTMM
Sharp, R., Løvengreen, H. H. & Todirica, E. A., 2000, Department of Information Technology, Technical University of Denmark.
Research output: Book/Report › Report › Research › peer-review

2 Active
8 Finished

Computer Based Systems Laboratory
Rischel, H. & Løvengreen, H. H.
01/06/1998 → …
Project: Research
Concurrent Objects
Løvengreen, H. H.
01/09/1993 → …
Project: Research
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/1999 → 23/08/2002
Project: PhD
Real-Time Multimedia (RTMM)
Sharp, R., Løvengreen, H. H. & Pedersen, S.
Unknown
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.
DTU stipendium
01/02/1996 → 21/07/2000
Project: PhD