Jørgen Staunstrup

According to our database, Jørgen Staunstrup authored at least 36 papers between 1978 and 2009.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2009

Viewpoint - Research evaluation for computer science.

Bertrand Meyer, Christine Choppy, Jørgen Staunstrup, Jan van Leeuwen

Commun. ACM, 2009

2000

Practical Verification of Embedded Software.

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

Computer, 2000

1997

A Comparison of Modular Verification Techniques.

Henrik Reif Andersen, Jørgen Staunstrup, Niels Maretti

Proceedings of the TAPSOFT'97: Theory and Practice of Software Development, 1997

Partial Model Checking with ROBDDs.

Henrik Reif Andersen, Jørgen Staunstrup, Niels Maretti

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1997

A systems design course emphasizing interfaces.

Jørgen Staunstrup

Proceedings of the 1997 IEEE International Conference on Microelectronic Systems Education, 1997

Design Verification Using Synchronized Transitions.

Jørgen Staunstrup

Proceedings of the Formal Hardware Verification - Methods and Systems in Comparison, 1997

1995

Localized Verification of Modular Designs.

Jørgen Staunstrup, Niels Mellergaard

Formal Methods Syst. Des., 1995

1994

Tutorial on Design Verification with Synchronized Transitions.

Niels Mellergaard, Jørgen Staunstrup

Proceedings of the Theorem Provers in Circuit Design, 1994

Mechanized Verification of Speed-independence.

Michael Kishinevsky, Jørgen Staunstrup

Proceedings of the Theorem Provers in Circuit Design, 1994

Interface models.

Anders P. Ravn, Jørgen Staunstrup

Proceedings of the Third International Workshop on Hardware/Software Codesign, 1994

The priority queue as an example of hardware/software codesign.

Flemming Høeg, Niels Mellergaard, Jørgen Staunstrup

Proceedings of the Third International Workshop on Hardware/Software Codesign, 1994

Characterizing speed-independence of high-level designs.

Michael Kishinevsky, Jørgen Staunstrup

Proceedings of the International Symposium on Advanced Research in Asynchronous Circuits and Systems, 1994

A formal approach to hardware design.

Jørgen Staunstrup

The Kluwer international series in engineering and computer science 253, Kluwer, ISBN: 978-0-7923-9427-3, 1994

1993

Problem Heaps and Their Evaluation.

Hartmut Schmeck, Heiko Schröder, Jørgen Staunstrup, Martin Middendorf

Parallel Process. Lett., 1993

Delay-insensitive multi-ring structures.

Jens Sparsø, Jørgen Staunstrup

Integr., 1993

Design of Self-timed Multipliers: A Comparison.

Jens Sparsø, Christian D. Nielsen, Lars Skovby Nielsen, Jørgen Staunstrup

Proceedings of the Asynchronous Design Methodologies, Proceedings of the IFIP WG10.5 Working Conference on Asynchronous Design Methodologies, Manchester, UK, 31 March, 1993

1992

Mechanized Verification of Circuit Descriptions Using the Larch Prover.

Jørgen Staunstrup, Stephen J. Garland, John V. Guttag

Proceedings of the Theorem Provers in Circuit Design, 1992

Synchronous Realization of Asynchronous Computations.

Hans Henrik Løvengreen, Jørgen Staunstrup

Proceedings of the Theorem Provers in Circuit Design, 1992

Generating Proof Obligations for Circuits.

Niels Mellergaard, Jørgen Staunstrup

Proceedings of the First International Workshop on Larch, 1992

Design of delay insensitive circuits using multi-ring structures.

Jens Sparsø, Jørgen Staunstrup, Michael Dantzer-Sørensen

Proceedings of the conference on European design automation, 1992

1991

Synthesizing Delay Insensitive Circuits from Verified Programs.

Henrik Hulgaard, Per H. Christensen, Jørgen Staunstrup

Proceedings of the Research Directions in High-Level Parallel Programming Languages, 1991

1989

The Behavior of Shared Objects: Concepts, Pitfalls, and a New Model.

Jørgen Staunstrup, Jürg Nievergelt

Inf. Process. Lett., 1989

Localized Verification of Circuit Descriptions.

Jørgen Staunstrup, Stephen J. Garland, John V. Guttag

Proceedings of the Automatic Verification Methods for Finite State Systems, 1989

1988

From High-Level Descriptions to VLSI Circuits.

Jørgen Staunstrup, Mark R. Greenstreet

BIT, 1988

1987

Problem-heap: A paradigm for multiprocesor algorithms.

Peter Møller-Nielsen, Jørgen Staunstrup

Parallel Comput., 1987

VLSI with a very low scale investment.

Mark R. Greenstreet, Peter Møller-Nielsen, Jørgen Staunstrup

Integr., 1987

1985

Physical datarepresentation in a multiprocessor database machine.

Jørgen Staunstrup, Jens Ove Jespersen, Ole V. Johansen

Parallel Comput., 1985

1984

Experiments With a Fast String Searching Algorithm.

Peter Møller-Nielsen, Jørgen Staunstrup

Inf. Process. Lett., 1984

1983

Saturation in a Multiprocessor.

Peter Møller-Nielsen, Jørgen Staunstrup

Proceedings of the Information Processing 83, 1983

1982

Message Passing Communication Versus Procedure Call Communication.

Jørgen Staunstrup

Softw. Pract. Exp., 1982

Concurrent Algorithms for Root Searching.

Ole Eriksen, Jørgen Staunstrup

Acta Informatica, 1982

What is a Correct Behaviour of a File Under Concorrent Access?

Jürg Nievergelt, Jørgen Staunstrup

Proceedings of the Second International Symposium on Distributed Data Bases, 1982

1981

Geometrical Constructions.

Jørgen Staunstrup, Joseph A. Goguen

Proceedings of the Program Specification, 1981

Introduction.

Jørgen Staunstrup

Proceedings of the Program Specification, 1981

Analysis of concurrent algorithms.

Jørgen Staunstrup

Proceedings of the CONPAR 81: Conference on Analysing Problem Classes and Programming for Parallel Computing, 1981

1978

Specification and Implementation of Mutual Exclusion.

Per Brinch Hansen, Jørgen Staunstrup

IEEE Trans. Software Eng., 1978