Hans Henrik Løvengreen

11 papers A* 1Journal 1Unranked 9
YearRankTypeTitle / Venue / Authors
2001 — conf
Towards a Process Algebra for Shared Processors.
MTCS
Mikael Buchholtz, Jacob Andersen, Hans Henrik Løvengreen
1994 — conf
Combining Temporal Specification Techniques.
ICTL
Morten Ulrik Sørensen, Odd Erik Hansen, Hans Henrik Løvengreen
1992 — conf
Synchronous Realization of Asynchronous Computations.
TPCD
Hans Henrik Løvengreen, Jørgen Staunstrup
1991 — conf
A systematic kernel development.
SIGSOFT
Jørgen F. Søgaard-Andersen, Camilla Østerberg Rump, Hans Henrik Løvengreen
1990 — conf
Refinement and Composition of Transition-based Rely-Guarantee Specification with Auxiliary Variables.
FSTTCS
Peter Grønning, Thomas Qvist Nielsen, Hans Henrik Løvengreen
1990 — conf
Stepwise Development of a Distributed Load Balancing Algorithms.
WDAG
Peter Grønning, Thomas Qvist Nielsen, Hans Henrik Løvengreen
1988 J jnl
A Design Method for Embedded Software Systems.
BIT
Anders P. Ravn, Hans Rischel, Hans Henrik Løvengreen
1987 — conf
Rigorous Development of a Distributed Calendar System.
PARLE (2)
Ulla Gamwell Dawids, Hans Henrik Løvengreen
1982 A* conf
Formalization of Database Systems - and a Formal Definition of IMS (Invited Paper).
VLDB
Dines Bjørner, Hans Henrik Løvengreen
1980 — conf
On a formal model of the tasking concept in Ada.
SIGPLAN
Hans Henrik Løvengreen, Dines Bjørner
1980 — conf
Parallelism in Ada.
Towards a Formal Description of Ada
Hans Henrik Løvengreen