Jørgen Staunstrup

Bertrand Meyer, Christine Choppy, Jørgen Staunstrup, Jan van Leeuwen: Viewpoint - Research evaluation for computer science. Commun. ACM 52(4): 31-34 (2009)

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)

Jørgen Staunstrup: Design Verification Using Synchronized Transitions. Formal Hardware Verification 1997: 114-155

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

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

Jørgen Staunstrup, Niels Mellergaard: Localized Verification of Modular Designs. Formal Methods in System Design 6(3): 295-320 (1995)

Flemming Høeg, Niels Mellergaard, Jørgen Staunstrup: The priority queue as an example of hardware/software codesign. CODES 1994: 81-88

Anders P. Ravn, Jørgen Staunstrup: Interface models. CODES 1994: 157-164

Michael Kishnievsky, Jørgen Staunstrup: Mechanized Verification of Speed-independence. TPCD 1994: 146-164

Niels Mellergaard, Jørgen Staunstrup: Tutorial on Design Verification with Synchronized Transitions. TPCD 1994: 239-257

Hartmut Schmeck, Heiko Schröder, Jørgen Staunstrup, Martin Middendorf: Problem Heaps and Their Evaluation. Parallel Processing Letters 3: 147-155 (1993)

Jens Sparsø, Christian D. Nielsen, Lars Skovby Nielsen, Jørgen Staunstrup: Design of Self-timed Multipliers: A Comparison. Asynchronous Design Methodologies 1993: 165-179

Niels Mellergaard, Jørgen Staunstrup: Generating Proof Obligations for Circuits. Larch 1992: 185-200

Hans Henrik Løvengreen, Jørgen Staunstrup: Synchronous Realization of Asynchronous Computations. TPCD 1992: 95-110

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

Jørgen Staunstrup, Robin Sharp (Eds.): 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

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

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)

Jørgen Staunstrup, Stephen J. Garland, John V. Guttag: Localized Verification of Circuit Descriptions. Automatic Verification Methods for Finite State Systems 1989: 349-364

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

Peter Møller-Nielsen, Jørgen Staunstrup: Problem-heap: A paradigm for multiprocesor algorithms. Parallel Computing 4(1): 63-74 (1987)

Peter Møller-Nielsen, Jørgen Staunstrup: Experiments With a Fast String Searching Algorithm. Inf. Process. Lett. 18(3): 129-135 (1984)

Peter Møller-Nielsen, Jørgen Staunstrup: Saturation in a Multiprocessor. IFIP Congress 1983: 383-388

Ole Eriksen, Jørgen Staunstrup: Concurrent Algorithms for Root Searching. Acta Inf. 18: 361-376 (1982)

Jørgen Staunstrup: Message Passing Communication Versus Procedure Call Communication. Softw., Pract. Exper. 12(3): 223-234 (1982)

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

Jørgen Staunstrup (Ed.): Program Specification, Proceedings of a Workshop, Aarhus, Denmark, August 1981. Lecture Notes in Computer Science 134, Springer 1982, isbn 3-540-11490-4

Jørgen Staunstrup: Analysis of concurrent algorithms. CONPAR 1981: 217-230

Jørgen Staunstrup: Introduction. Program Specification 1981: 1-4

Jørgen Staunstrup, Joseph A. Goguen: Geometrical Constructions. Program Specification 1981: 25-46

Per Brinch Hansen, Jørgen Staunstrup: Specification and Implementation of Mutual Exclusion. IEEE Trans. Software Eng. 4(5): 365-370 (1978)