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.

Research Output

Filter
Article in proceedings
2001

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 proceedingArticle in proceedingsResearchpeer-review

1998

Interval-based Specification of Concurrent Objects

Løvengreen, H. H. & Sørensen, M. U., 1998, Proceedings of ESSLLI'98 workshop on Duration Calculus. Saarbrücken, D: DFKI, p. 111-131

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Protected Objects in Java

Løvengreen, H. H. & Schwarzer, J. C., 1998, Proceedings of IEEE Workshop on Languages for Real-Time Industrial Applications. Madrid, E, p. 53-58

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

1994

Combining Temporal Specification Techniques

Sørensen, M. U., Hansen, O. E., Løvengreen, H. H., Gabbay, D. M. (ed.) & Ohlbach, H. J. (ed.), 1994, ICTL '94 Temporal Logic. Springer Verlag, p. 1-16

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

1992

Synchronous Realization of Asynchronous Computations

Løvengreen, H. H., Staunstrup, J., Stavridou, V. (ed.) & Melham, T. (ed.), 1992, IFIP WG 10.2 International Conference on Theorem Provers in Circuit Design: Theory, Practice and Experience. Elsevier

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

1991

A Systematic Kernel Development

Søgaard-Andersen, J. F., Rump, C. Ø. & Løvengreen, H. H., 1991, ACM Software Engineering Notes. ACM Press, Vol. Vol. 16, No. 5.. p. 55-65

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Stepwise Development of a Distributed Load Balancing Algorithm

Grønning, P., Nielsen, T. Q., Løvengreen, H. H., van Leeuwen, J. (ed.) & Santoro, N. (ed.), 1991, 4'th International Workshop on Distributed Algorithms. Springer Verlag, p. 151-168

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

1990

Design of Embedded Real-time Systems: Developing a Method for Practical Software Engineering

Løvengreen, H. H., Ravn, A. P. & Rischel, H., 1990, IEEE International Conference on Computer Systems and Software Engineering. IEEE, p. 385-390

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access
File
216 Downloads (Pure)

Refinement and Composition of Transition-based Rely-Guarantee Specifications with Auxiliary Variables

Grønning, P., Nielsen, T. Q., Løvengreen, H. H., Nori, K. V. (ed.) & Veni Madhavan, C. E. (ed.), 1990, 10'th Conference on Foundations for Software Technology and Theoretical Computer Science. Springer Verlag, p. 332-348

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

1987

Rigorous Development of a Distributed Calendar System

Dawids, U. G., Løvengreen, H. H., de Bakker, J. W. (ed.), Nijman, A. J. (ed.) & Treleaven, P. C. (ed.), 1987, Parallel Architectures and Languages Europe: Parallel Languages on PARLE. London, UK: Springer Verlag, Vol. II. p. 188-205

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

1982

Formalization of Database Systems -- and a Formal Definition of {IMS}

Bjørner, D. & Løvengreen, H. H., 1982, Eigth International Conference on Very Large Data Bases. p. 334-347

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

1981

KOMET - en beskrivelse af systemkonstruktionsmetoder

Løvengreen, H. H. & Parbst, F., 1981, NordDATA 81. Dansk Databehandlingsforening, p. 43-48

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearch

1980

On a Formal Model of the Tasking Concepts of Ada

Løvengreen, H. H., Bjørner, D., de Bakker, J. W. (ed.), Nijman, A. J. (ed.) & Treleaven, P. C. (ed.), 1980, ACM SIGPLAN Symposium on the Ada Programming Language. p. 213-222

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review