A ProCoS project description D Bjørner, CAR Hoare, JP Bowen, J He, H Langmaack, ER Olderog, ... Bulletin of the European Association for Theoretical Computer Science (EATCS …, 1989 | 59 | 1989 |
Formalization of data base models D Bjørner Abstract Software Specifications: 1979 Copenhagen Winter School January 22 …, 2005 | 37 | 2005 |
Formalization of database systems-and a formal definition of IMS D Bjørner, HH Løvengreen VLDB, 334-347, 1982 | 23 | 1982 |
Refinement and composition of transition-based rely-guarantee specifications with auxiliary variables P Grønning, TQ Nielsen, HH Løvengreen Foundations of Software Technology and Theoretical Computer Science: Tenth …, 1990 | 19 | 1990 |
Combining temporal specification techniques MU Sørensen, OE Hansen, HH Løvengreen International Conference on Temporal Logic, 1-16, 1994 | 13 | 1994 |
Formalization of data models D Bjørner, HH Løvengreen Formal Specification and Software Development,[53], 379-442, 1982 | 13 | 1982 |
Formal semantics of data bases D Bjørner, HH Løvengreen 8th Int’l. Very Large Data Base Conf., Mexico City, 1982 | 11 | 1982 |
Towards a process algebra for shared processors M Buchholtz, J Andersen, HH Løvengreen Electronic Notes in Theoretical Computer Science 52 (3), 275-294, 2002 | 10 | 2002 |
Design of embedded, real-time systems: developing a method for practical software engineering HH Lovengreen, AP Ravn, H Rischel COMPEURO'90: Proceedings of the 1990 IEEE International Conference on …, 1990 | 10 | 1990 |
A design method for embedded software systems AP Ravn, H Rischel, H Henrik Løvengreen BIT Numerical Mathematics 28, 427-438, 1988 | 9 | 1988 |
Definition of the ProCoS programming language level 0 HH Løvengreen, KM Jensen Technical Report, 1989 | 6 | 1989 |
On a formal model of the tasking concept in Ada HH Løvengreen, D Bjørner ACM SIGPLAN Notices 15 (11), 213-222, 1980 | 5 | 1980 |
Basic concurrency theory HH Løvengreen Concurrent Systems, 2002 | 4 | 2002 |
Parallelism in ADA HH Løvengreen Towards a formal description of ADA, 309-434, 2005 | 3 | 2005 |
A systematic kernel development JF Søgaard-Anderson, C Østerberg Rump, HH Løvengreen ACM SIGSOFT Software Engineering Notes 16 (5), 55-65, 1991 | 3 | 1991 |
Rigorous development of a distributed calendar system UG Dawids, HH Løvengreen International Conference on Parallel Architectures and Languages Europe, 188-205, 1987 | 3 | 1987 |
Stepwise development of a distributed load balancing algorithm P Grønning, TQ Nielsen, HH Løvengreen Distributed Algorithms: 4th International Workshop Bari, Italy, September 24 …, 1991 | 2 | 1991 |
On concurrency formalization HH Løvengreen | 2 | 1985 |
Introduction to SPIN HH Løvengreen no. Iii, 2016 | 1 | 2016 |
Synchronization mechanisms HH Løvengreen Course notes, DTU Compute, 2016 | 1 | 2016 |