2000 |
30 | EE | Jørgen Staunstrup,
Henrik Reif Andersen,
Henrik Hulgaard,
Jørn Lind-Nielsen,
Kim Guldstrand Larsen,
Gerd Behrmann,
Kåre J. Kristoffersen,
Arne Skou,
Henrik Leerberg,
Niels Bo Theilgaard:
Practical Verification of Embedded Software.
IEEE Computer 33(5): 68-75 (2000) |
1997 |
29 | | Jørgen Staunstrup:
Design Verification Using Synchronized Transitions.
Formal Hardware Verification 1997: 114-155 |
28 | | Henrik Reif Andersen,
Jørgen Staunstrup,
Niels Maretti:
Partial Model Checking with ROBDDs.
TACAS 1997: 35-49 |
27 | | Henrik Reif Andersen,
Jørgen Staunstrup,
Niels Maretti:
A Comparison of Modular Verification Techniques.
TAPSOFT 1997: 550-564 |
1995 |
26 | | Jørgen Staunstrup,
Niels Mellergaard:
Localized Verification of Modular Designs.
Formal Methods in System Design 6(3): 295-320 (1995) |
1994 |
25 | EE | Anders P. Ravn,
Jørgen Staunstrup:
Interface models.
CODES 1994: 157-164 |
24 | EE | Flemming Høeg,
Niels Mellergaard,
Jørgen Staunstrup:
The priority queue as an example of hardware/software codesign.
CODES 1994: 81-88 |
23 | | Michael Kishnievsky,
Jørgen Staunstrup:
Mechanized Verification of Speed-independence.
TPCD 1994: 146-164 |
22 | | Niels Mellergaard,
Jørgen Staunstrup:
Tutorial on Design Verification with Synchronized Transitions.
TPCD 1994: 239-257 |
1993 |
21 | | Jens Sparsø,
Christian D. Nielsen,
Lars Skovby Nielsen,
Jørgen Staunstrup:
Design of Self-timed Multipliers: A Comparison.
Asynchronous Design Methodologies 1993: 165-179 |
20 | | Hartmut Schmeck,
Heiko Schröder,
Jørgen Staunstrup,
Martin Middendorf:
Problem Heaps and Their Evaluation.
Parallel Processing Letters 3: 147-155 (1993) |
1992 |
19 | | Jørgen Staunstrup,
Robin Sharp:
Designing Correct Circuits, Proceedings of the Second IFIP WG10.2/WG10.5 Workshop on Designing Correct Circuits, Lyngby, Denmark, 6-8 January 1992
North-Holland 1992 |
18 | | Niels Mellergaard,
Jørgen Staunstrup:
Generating Proof Obligations for Circuits.
Larch 1992: 185-200 |
17 | | Jørgen Staunstrup,
Stephen J. Garland,
John V. Guttag:
Mechanized Verification of Circuit Descriptions Using the Larch Prover.
TPCD 1992: 277-299 |
16 | | Hans Henrik Løvengreen,
Jørgen Staunstrup:
Synchronous Realization of Asynchronous Computations.
TPCD 1992: 95-110 |
1991 |
15 | | Henrik Hulgaard,
Per H. Christensen,
Jørgen Staunstrup:
Synthesizing Delay Insensitive Circuits from Verified Programs.
Research Directions in High-Level Parallel Programming Languages 1991: 326-337 |
1989 |
14 | | Jørgen Staunstrup,
Stephen J. Garland,
John V. Guttag:
Localized Verification of Circuit Descriptions.
Automatic Verification Methods for Finite State Systems 1989: 349-364 |
13 | | Jørgen Staunstrup,
Jürg Nievergelt:
The Behavior of Shared Objects: Concepts, Pitfalls, and a New Model.
Inf. Process. Lett. 30(3): 145-151 (1989) |
1988 |
12 | | Jørgen Staunstrup,
Mark R. Greenstreet:
From High-Level Descriptions to VLSI Circuits.
BIT 28(3): 620-638 (1988) |
1987 |
11 | EE | Peter Møller-Nielsen,
Jørgen Staunstrup:
Problem-heap: A paradigm for multiprocesor algorithms.
Parallel Computing 4(1): 63-74 (1987) |
1984 |
10 | | Peter Møller-Nielsen,
Jørgen Staunstrup:
Experiments With a Fast String Searching Algorithm.
Inf. Process. Lett. 18(3): 129-135 (1984) |
1983 |
9 | | Peter Møller-Nielsen,
Jørgen Staunstrup:
Saturation in a Multiprocessor.
IFIP Congress 1983: 383-388 |
1982 |
8 | | Jørgen Staunstrup:
Program Specification, Proceedings of a Workshop, Aarhus, Denmark, August 1981
Springer 1982 |
7 | | Jürg Nievergelt,
Jørgen Staunstrup:
What is a Correct Behaviour of a File Under Concorrent Access?
DDB 1982: 93-103 |
6 | | Ole Eriksen,
Jørgen Staunstrup:
Concurrent Algorithms for Root Searching.
Acta Inf. 18: 361-376 (1982) |
5 | | Jørgen Staunstrup:
Message Passing Communication Versus Procedure Call Communication.
Softw., Pract. Exper. 12(3): 223-234 (1982) |
1981 |
4 | | Jørgen Staunstrup:
Analysis of concurrent algorithms.
CONPAR 1981: 217-230 |
3 | | Jørgen Staunstrup:
Introduction.
Program Specification 1981: 1-4 |
2 | | Jørgen Staunstrup,
Joseph A. Goguen:
Geometrical Constructions.
Program Specification 1981: 25-46 |
1978 |
1 | | Per Brinch Hansen,
Jørgen Staunstrup:
Specification and Implementation of Mutual Exclusion.
IEEE Trans. Software Eng. 4(5): 365-370 (1978) |