Jørgen Staunstrup

38 papers A 1Journal 14Unranked 20

Year	Rank	Type	Title / Venue / Authors
2009	J	`jnl`	Viewpoint - Research evaluation for computer science. Commun. ACM Bertrand Meyer, Christine Choppy, Jørgen Staunstrup, Jan van Leeuwen
2000	J	`jnl`	Practical Verification of Embedded Software. Computer 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
1997	—	`conf`	A Comparison of Modular Verification Techniques. TAPSOFT Henrik Reif Andersen, Jørgen Staunstrup, Niels Maretti
1997	—	`conf`	A systems design course emphasizing interfaces. MSE Jørgen Staunstrup
1997	—	`conf`	Design Verification Using Synchronized Transitions. Formal Hardware Verification Jørgen Staunstrup
1997	A	`conf`	Partial Model Checking with ROBDDs. TACAS Henrik Reif Andersen, Jørgen Staunstrup, Niels Maretti
1995	J	`jnl`	Localized Verification of Modular Designs. Formal Methods Syst. Des. Jørgen Staunstrup, Niels Mellergaard
1994	—	`book`	A formal approach to hardware design. Jørgen Staunstrup
1994	—	`conf`	Characterizing speed-independence of high-level designs. ASYNC Michael Kishinevsky, Jørgen Staunstrup
1994	—	`conf`	Interface models. CODES Anders P. Ravn, Jørgen Staunstrup
1994	—	`conf`	Mechanized Verification of Speed-independence. TPCD Michael Kishinevsky, Jørgen Staunstrup
1994	—	`conf`	The priority queue as an example of hardware/software codesign. CODES Flemming Høeg, Niels Mellergaard, Jørgen Staunstrup
1994	—	`conf`	Tutorial on Design Verification with Synchronized Transitions. TPCD Niels Mellergaard, Jørgen Staunstrup
1993	J	`jnl`	Delay-insensitive multi-ring structures. Integr. Jens Sparsø, Jørgen Staunstrup
1993	—	`conf`	Design of Self-timed Multipliers: A Comparison. Asynchronous Design Methodologies Jens Sparsø, Christian D. Nielsen, Lars Skovby Nielsen, Jørgen Staunstrup
1993	J	`jnl`	Problem Heaps and Their Evaluation. Parallel Process. Lett. Hartmut Schmeck, Heiko Schröder, Jørgen Staunstrup, Martin Middendorf
1992	—	`conf`	Design of delay insensitive circuits using multi-ring structures. EURO-DAC Jens Sparsø, Jørgen Staunstrup, Michael Dantzer-Sørensen
1992	—	`ed.`	Designing Correct Circuits, Proceedings of the Second IFIP WG10.2/WG10.5 Workshop on Designing Correct Circuits, Lyngby, Denmark, 6-8 January 1992 Designing Correct Circuits Jørgen Staunstrup, Robin Sharp
1992	—	`conf`	Generating Proof Obligations for Circuits. Larch Niels Mellergaard, Jørgen Staunstrup
1992	—	`conf`	Mechanized Verification of Circuit Descriptions Using the Larch Prover. TPCD Jørgen Staunstrup, Stephen J. Garland, John V. Guttag
1992	—	`conf`	Synchronous Realization of Asynchronous Computations. TPCD Hans Henrik Løvengreen, Jørgen Staunstrup
1991	—	`conf`	Synthesizing Delay Insensitive Circuits from Verified Programs. Research Directions in High-Level Parallel Programming Languages Henrik Hulgaard, Per H. Christensen, Jørgen Staunstrup
1989	—	`conf`	Localized Verification of Circuit Descriptions. Automatic Verification Methods for Finite State Systems Jørgen Staunstrup, Stephen J. Garland, John V. Guttag
1989	J	`jnl`	The Behavior of Shared Objects: Concepts, Pitfalls, and a New Model. Inf. Process. Lett. Jørgen Staunstrup, Jürg Nievergelt
1988	J	`jnl`	From High-Level Descriptions to VLSI Circuits. BIT Jørgen Staunstrup, Mark R. Greenstreet
1987	J	`jnl`	Problem-heap: A paradigm for multiprocesor algorithms. Parallel Comput. Peter Møller-Nielsen, Jørgen Staunstrup
1987	J	`jnl`	VLSI with a very low scale investment. Integr. Mark R. Greenstreet, Peter Møller-Nielsen, Jørgen Staunstrup
1985	J	`jnl`	Physical datarepresentation in a multiprocessor database machine. Parallel Comput. Jørgen Staunstrup, Jens Ove Jespersen, Ole V. Johansen
1984	J	`jnl`	Experiments With a Fast String Searching Algorithm. Inf. Process. Lett. Peter Møller-Nielsen, Jørgen Staunstrup
1983	—	`conf`	Saturation in a Multiprocessor. IFIP Congress Peter Møller-Nielsen, Jørgen Staunstrup
1982	J	`jnl`	Concurrent Algorithms for Root Searching. Acta Informatica Ole Eriksen, Jørgen Staunstrup
1982	J	`jnl`	Message Passing Communication Versus Procedure Call Communication. Softw. Pract. Exp. Jørgen Staunstrup
1982	—	`ed.`	Program Specification, Proceedings of a Workshop, Aarhus, Denmark, August 1981 Program Specification Jørgen Staunstrup
1982	—	`conf`	What is a Correct Behaviour of a File Under Concorrent Access? DDB Jürg Nievergelt, Jørgen Staunstrup
1981	—	`conf`	Analysis of concurrent algorithms. CONPAR Jørgen Staunstrup
1981	—	`conf`	Geometrical Constructions. Program Specification Jørgen Staunstrup, Joseph A. Goguen
1981	—	`conf`	Introduction. Program Specification Jørgen Staunstrup
1978	J	`jnl`	Specification and Implementation of Mutual Exclusion. IEEE Trans. Software Eng. Per Brinch Hansen, Jørgen Staunstrup