Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic ScholarJørgen Staunstrup
Person information
- affiliation: IT University of Copenhagen, Denmark
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
showing all ?? records
2000 – 2009
- 2009
[j14]Bertrand Meyer, Christine Choppy, Jørgen Staunstrup, Jan van Leeuwen:
Viewpoint - Research evaluation for computer science. Commun. ACM 52(4): 31-34 (2009)- 2000
- [j13]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)
1990 – 1999
- 1997
- [c21]Jørgen Staunstrup:
Design Verification Using Synchronized Transitions. Formal Hardware Verification 1997: 114-155 - [c20]
- [c19]Henrik Reif Andersen, Jørgen Staunstrup, Niels Maretti:
Partial Model Checking with ROBDDs. TACAS 1997: 35-49 - [c18]Henrik Reif Andersen, Jørgen Staunstrup, Niels Maretti:
A Comparison of Modular Verification Techniques. TAPSOFT 1997: 550-564 - 1995
- [j12]Jørgen Staunstrup, Niels Mellergaard:
Localized Verification of Modular Designs. Formal Methods in System Design 6(3): 295-320 (1995) - 1994
- [c17]Michael Kishinevsky, Jørgen Staunstrup:
Characterizing speed-independence of high-level designs. ASYNC 1994: 44-53 - [c16]Flemming Høeg, Niels Mellergaard, Jørgen Staunstrup:
The priority queue as an example of hardware/software codesign. CODES 1994: 81-88 - [c15]
- [c14]Michael Kishinevsky, Jørgen Staunstrup:
Mechanized Verification of Speed-independence. TPCD 1994: 146-164 - [c13]Niels Mellergaard, Jørgen Staunstrup:
Tutorial on Design Verification with Synchronized Transitions. TPCD 1994: 239-257 - 1993
- [j11]Jens Sparsø, Jørgen Staunstrup:
Delay-insensitive multi-ring structures. Integration 15(3): 313-340 (1993) - [j10]Hartmut Schmeck, Heiko Schröder, Jørgen Staunstrup, Martin Middendorf:
Problem Heaps and Their Evaluation. Parallel Processing Letters 3: 147-155 (1993) - [c12]Jens Sparsø, Christian D. Nielsen, Lars Skovby Nielsen, Jørgen Staunstrup:
Design of Self-timed Multipliers: A Comparison. Asynchronous Design Methodologies 1993: 165-179 - 1992
- [c11]Jens Sparsø, Jørgen Staunstrup, Michael Dantzer-Sørensen:
Design of delay insensitive circuits using multi-ring structures. EURO-DAC 1992: 15-20 - [c10]Niels Mellergaard, Jørgen Staunstrup:
Generating Proof Obligations for Circuits. Larch 1992: 185-200 - [c9]Hans Henrik Løvengreen, Jørgen Staunstrup:
Synchronous Realization of Asynchronous Computations. TPCD 1992: 95-110 - [c8]Jørgen Staunstrup, Stephen J. Garland, John V. Guttag:
Mechanized Verification of Circuit Descriptions Using the Larch Prover. TPCD 1992: 277-299 - [e2]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. IFIP Transactions A-5, North-Holland 1992, ISBN 0-444-89335-0 [contents] - 1991
- [c7]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
1980 – 1989
- 1989
- [j9]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) - [c6]Jørgen Staunstrup, Stephen J. Garland, John V. Guttag:
Localized Verification of Circuit Descriptions. Automatic Verification Methods for Finite State Systems 1989: 349-364 - 1988
- [j8]Jørgen Staunstrup, Mark R. Greenstreet:
From High-Level Descriptions to VLSI Circuits. BIT 28(3): 620-638 (1988) - 1987
- [j7]Mark R. Greenstreet, Peter Møller-Nielsen, Jørgen Staunstrup:
VLSI with a very low scale investment. Integration 5(2): 125-132 (1987) - [j6]Peter Møller-Nielsen, Jørgen Staunstrup:
Problem-heap: A paradigm for multiprocesor algorithms. Parallel Computing 4(1): 63-74 (1987) - 1985
- [j5]Jørgen Staunstrup, Jens Ove Jespersen, Ole V. Johansen:
Physical datarepresentation in a multiprocessor database machine. Parallel Computing 2(4): 335-343 (1985) - 1984
- [j4]Peter Møller-Nielsen, Jørgen Staunstrup:
Experiments With a Fast String Searching Algorithm. Inf. Process. Lett. 18(3): 129-135 (1984) - 1983
- [c5]Peter Møller-Nielsen, Jørgen Staunstrup:
Saturation in a Multiprocessor. IFIP Congress 1983: 383-388 - 1982
- [j3]Ole Eriksen, Jørgen Staunstrup:
Concurrent Algorithms for Root Searching. Acta Inf. 18: 361-376 (1982) - [j2]Jørgen Staunstrup:
Message Passing Communication Versus Procedure Call Communication. Softw., Pract. Exper. 12(3): 223-234 (1982) - [c4]Jürg Nievergelt, Jørgen Staunstrup:
What is a Correct Behaviour of a File Under Concorrent Access? DDB 1982: 93-103 - [e1]Jørgen Staunstrup:
Program Specification, Proceedings of a Workshop, Aarhus, Denmark, August 1981. Lecture Notes in Computer Science 134, Springer 1982, ISBN 3-540-11490-4 [contents] - 1981
- [c3]
- [c2]
- [c1]
1970 – 1979
- 1978
- [j1]Per Brinch Hansen, Jørgen Staunstrup:
Specification and Implementation of Mutual Exclusion. IEEE Trans. Software Eng. 4(5): 365-370 (1978)
Coauthor Index
maintained by 
at 
at 
data released under the ODC-BY 1.0 license; see also our legal information page
last updated on 2017-08-16 22:20 CEST by the dblp team