Jørgen Staunstrup

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

Collaborative distances:



In proceedings 
PhD thesis 



On csauthors.net:


Viewpoint - Research evaluation for computer science.
Commun. ACM, 2009

Practical Verification of Embedded Software.
IEEE Computer, 2000

A Comparison of Modular Verification Techniques.
Proceedings of the TAPSOFT'97: Theory and Practice of Software Development, 1997

Partial Model Checking with ROBDDs.
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1997

A systems design course emphasizing interfaces.
Proceedings of the 1997 IEEE International Conference on Microelectronic Systems Education, 1997

Design Verification Using Synchronized Transitions.
Proceedings of the Formal Hardware Verification - Methods and Systems in Comparison, 1997

Localized Verification of Modular Designs.
Formal Methods in System Design, 1995

Tutorial on Design Verification with Synchronized Transitions.
Proceedings of the Theorem Provers in Circuit Design, 1994

Mechanized Verification of Speed-independence.
Proceedings of the Theorem Provers in Circuit Design, 1994

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

The priority queue as an example of hardware/software codesign.
Proceedings of the Third International Workshop on Hardware/Software Codesign, 1994

Characterizing speed-independence of high-level designs.
Proceedings of the International Symposium on Advanced Research in Asynchronous Circuits and Systems, 1994

A formal approach to hardware design.
The Kluwer international series in engineering and computer science 253, Kluwer, ISBN: 978-0-7923-9427-3, 1994

Problem Heaps and Their Evaluation.
Parallel Processing Letters, 1993

Delay-insensitive multi-ring structures.
Integration, 1993

Design of Self-timed Multipliers: A Comparison.
Proceedings of the Asynchronous Design Methodologies, Proceedings of the IFIP WG10.5 Working Conference on Asynchronous Design Methodologies, Manchester, UK, 31 March, 1993

Mechanized Verification of Circuit Descriptions Using the Larch Prover.
Proceedings of the Theorem Provers in Circuit Design, 1992

Synchronous Realization of Asynchronous Computations.
Proceedings of the Theorem Provers in Circuit Design, 1992

Generating Proof Obligations for Circuits.
Proceedings of the First International Workshop on Larch, 1992

Design of delay insensitive circuits using multi-ring structures.
Proceedings of the conference on European design automation, 1992

Synthesizing Delay Insensitive Circuits from Verified Programs.
Proceedings of the Research Directions in High-Level Parallel Programming Languages, 1991

The Behavior of Shared Objects: Concepts, Pitfalls, and a New Model.
Inf. Process. Lett., 1989

Localized Verification of Circuit Descriptions.
Proceedings of the Automatic Verification Methods for Finite State Systems, 1989

From High-Level Descriptions to VLSI Circuits.
BIT, 1988

Problem-heap: A paradigm for multiprocesor algorithms.
Parallel Computing, 1987

VLSI with a very low scale investment.
Integration, 1987

Physical datarepresentation in a multiprocessor database machine.
Parallel Computing, 1985

Experiments With a Fast String Searching Algorithm.
Inf. Process. Lett., 1984

Saturation in a Multiprocessor.
Proceedings of the Information Processing 83, 1983

Message Passing Communication Versus Procedure Call Communication.
Softw., Pract. Exper., 1982

Concurrent Algorithms for Root Searching.
Acta Inf., 1982

What is a Correct Behaviour of a File Under Concorrent Access?
Proceedings of the Second International Symposium on Distributed Data Bases, 1982

Geometrical Constructions.
Proceedings of the Program Specification, 1981

Proceedings of the Program Specification, 1981

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

Specification and Implementation of Mutual Exclusion.
IEEE Trans. Software Eng., 1978