Jørgen Staunstrup - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 35 from 35

2009

Viewpoint - Research evaluation for computer scienceBertrand Meyer, Christine Choppy, Jørgen Staunstrup, Jan van Leeuwen. CACM, 52(4):31-34, 2009. [doi]

2000

Practical Verification of Embedded SoftwareJø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. Computer, 33(5):68-75, 2000. [doi]

1997

Partial Model Checking with ROBDDsHenrik Reif Andersen, Jørgen Staunstrup, Niels Maretti. TACAS 1997: 35-49

A Comparison of Modular Verification TechniquesHenrik Reif Andersen, Jørgen Staunstrup, Niels Maretti. tapsoft 1997: 550-564

Design Verification Using Synchronized TransitionsJørgen Staunstrup. fhv 1997: 114-155

A systems design course emphasizing interfacesJørgen Staunstrup. mse 1997: 36-38 [doi]

1995

Localized Verification of Modular DesignsJørgen Staunstrup, Niels Mellergaard. fmsd, 6(3):295-320, 1995.

1994

The priority queue as an example of hardware/software codesignFlemming Høeg, Niels Mellergaard, Jørgen Staunstrup. codes 1994: 81-88 [doi]

Characterizing speed-independence of high-level designsMichael Kishinevsky, Jørgen Staunstrup. async 1994: 44-53 [doi]

Mechanized Verification of Speed-independenceMichael Kishnievsky, Jørgen Staunstrup. tpcd 1994: 146-164

Tutorial on Design Verification with Synchronized TransitionsNiels Mellergaard, Jørgen Staunstrup. tpcd 1994: 239-257

Interface modelsAnders P. Ravn, Jørgen Staunstrup. codes 1994: 157-164 [doi]

A formal approach to hardware designJørgen Staunstrup. Volume 253 of The Kluwer international series in engineering and computer science, Kluwer, 1994.

1993

Design of Self-timed Multipliers: A ComparisonJens Sparsø, Christian D. Nielsen, Lars Skovby Nielsen, Jørgen Staunstrup. ifip10-5 1993: 165-179

Delay-insensitive multi-ring structuresJens Sparsø, Jørgen Staunstrup. integration, 15(3):313-340, 1993. [doi]

1992

Synchronous Realization of Asynchronous ComputationsHans Henrik Løvengreen, Jørgen Staunstrup. tpcd 1992: 95-110

Generating Proof Obligations for CircuitsNiels Mellergaard, Jørgen Staunstrup. larch 1993: 185-200

Design of delay insensitive circuits using multi-ring structuresJens Sparsø, Jørgen Staunstrup, Michael Dantzer-Sørensen. eurodac 1992: 15-20 [doi]

Mechanized Verification of Circuit Descriptions Using the Larch ProverJørgen Staunstrup, Stephen J. Garland, John V. Guttag. tpcd 1992: 277-299

1991

Synthesizing Delay Insensitive Circuits from Verified ProgramsHenrik Hulgaard, Per H. Christensen, Jørgen Staunstrup. hlppp 1992: 326-337

1989

The Behavior of Shared Objects: Concepts, Pitfalls, and a New ModelJørgen Staunstrup, Jürg Nievergelt. ipl, 30(3):145-151, 1989.

Localized Verification of Circuit DescriptionsJørgen Staunstrup, Stephen J. Garland, John V. Guttag. avmfss 1990: 349-364

1988

From High-Level Descriptions to VLSI CircuitsJørgen Staunstrup, Mark R. Greenstreet. bit, 28(3):620-638, 1988.

1987

VLSI with a very low scale investmentMark R. Greenstreet, Peter Møller-Nielsen, Jørgen Staunstrup. integration, 5(2):125-132, 1987. [doi]

Problem-heap: A paradigm for multiprocesor algorithmsPeter Møller-Nielsen, Jørgen Staunstrup. pc, 4(1):63-74, 1987. [doi]

1985

Physical datarepresentation in a multiprocessor database machineJørgen Staunstrup, Jens Ove Jespersen, Ole V. Johansen. pc, 2(4):335-343, 1985. [doi]

1984

Experiments With a Fast String Searching AlgorithmPeter Møller-Nielsen, Jørgen Staunstrup. ipl, 18(3):129-135, 1984.

1983

Saturation in a MultiprocessorPeter Møller-Nielsen, Jørgen Staunstrup. ifip 1983: 383-388

1982

Concurrent Algorithms for Root SearchingOle Eriksen, Jørgen Staunstrup. ACTA, 18:361-376, 1982.

What is a Correct Behaviour of a File Under Concorrent Access?Jürg Nievergelt, Jørgen Staunstrup. ddb 1982: 93-103

Message Passing Communication Versus Procedure Call CommunicationJørgen Staunstrup. SPE, 12(3):223-234, 1982.

1981

Geometrical ConstructionsJørgen Staunstrup, Joseph A. Goguen. FM 1982: 25-46

Analysis of concurrent algorithmsJørgen Staunstrup. conpar 1981: 217-230

IntroductionJørgen Staunstrup. FM 1982: 1-4

1978

Specification and Implementation of Mutual ExclusionPer Brinch Hansen, Jørgen Staunstrup. TSE, 4(5):365-370, 1978.

Sign in or sign up to see more results.

runs on WebDSL