Jørgen Staunstrup

According to our database1, Jørgen Staunstrup
  • authored at least 35 papers between 1978 and 2009.
  • has a "Dijkstra number"2 of three.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

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

2000
Practical Verification of Embedded Software.
IEEE Computer, 2000

1997
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

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

1994
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

1993
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

1992
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

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

1989
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

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

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

VLSI with a very low scale investment.
Integration, 1987

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

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

1983
Saturation in a Multiprocessor.
IFIP Congress, 1983

1982
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?
DDB, 1982

1981
Geometrical Constructions.
Proceedings of the Program Specification, 1981

Introduction.
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

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


  Loading...