Wolfgang J. Paul

107 papers A* 19B 5C 4Journal 32Unranked 35

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	The Probability Spaces of QuickSort. CoRR George Nadareishvili, Jonas Oberhauser, Wolfgang J. Paul
2020	—	`book`	A Pipelined Multi-Core Machine with Operating System Support, Hardware Implementation and Correctness Proof. Petro Lutsyk, Jonas Oberhauser, Wolfgang J. Paul
2016	—	`book`	System Architecture - An Ordinary Engineering Discipline Wolfgang J. Paul, Christoph Baumann, Petro Lutsyk, Sabine Schmaltz
2014	—	`book`	A Pipelined Multi-core MIPS Machine - Hardware Implementation and Correctness Proof. Mikhail Kovalev, Silvia M. Müller, Wolfgang J. Paul
2013	B	`conf`	Theory of Multi Core Hypervisor Verification. SOFSEM Ernie Cohen, Wolfgang J. Paul, Sabine Schmaltz
2012	B	`conf`	Completing the Automated Verification of a Small Hypervisor - Assembler Code Verification. SEFM Wolfgang J. Paul, Sabine Schmaltz, Andrey Shadrin
2012	—	`conf`	Cyber War, Formal Verification and Certified Infrastructure. VSTTE Wolfgang J. Paul
2012	—	`conf`	Verification of TLB Virtualization Implemented in C. VSTTE Eyad Alkassar, Ernie Cohen, Mikhail Kovalev, Wolfgang J. Paul
2011	A*	`conf`	Complete Formal Hardware Verification of Interfaces for a FlexRay-Like Bus. CAV Christian Müller, Wolfgang J. Paul
2010	—	`conf`	Automated Verification of a Small Hypervisor. VSTTE Eyad Alkassar, Mark A. Hillebrand, Wolfgang J. Paul, Elena Petrova
2010	C	`conf`	Computational models for the age of multicore processing. ICCD Wolfgang J. Paul
2010	—	`conf`	Pervasive Verification of an OS Microkernel - Inline Assembly, Memory Consumption, Concurrent Devices. VSTTE Eyad Alkassar, Wolfgang J. Paul, Artem Starostin, Alexandra Tsyban
2010	B	`conf`	Verifying shadow page table algorithms. FMCAD Eyad Alkassar, Ernie Cohen, Mark A. Hillebrand, Mikhail Kovalev, Wolfgang J. Paul
2009	—	`conf`	Invariants, Modularity, and Rights. Ershov Memorial Conference Ernie Cohen, Eyad Alkassar, Vladimir Boyarinov, Markus Dahlweid, Ulan Degenbaev, Mark A. Hillebrand, Bruno Langenstein, Dirk Leinenbach, Michal Moskal, Steven Obua, Wolfgang J. Paul, Hristo Pentchev, Elena Petrova, Thomas Santen, Norbert Schirmer, Sabine Schmaltz, Wolfram Schulte, Andrey Shadrin, Stephan Tobies, Alexandra Tsyban, Sergey Tverdyshev
2009	—	`conf`	Pervasive Theory of Memory. Efficient Algorithms Ulan Degenbaev, Wolfgang J. Paul, Norbert Schirmer
2008	J	`jnl`	On the correctness of upper layers of automotive systems. Formal Aspects Comput. Jewgenij Botaschanjan, Manfred Broy, Alexander Gruler, Alexander Harhurin, Steffen Knapp, Leonid Kof, Wolfgang J. Paul, Maria Spichkova
2007	—	`conf`	On the Architecture of System Verification Environments. Haifa Verification Conference Mark A. Hillebrand, Wolfgang J. Paul
2006	J	`jnl`	Putting it all together - Formal verification of the VAMP. Int. J. Softw. Tools Technol. Transf. Sven Beyer, Christian Jacobi, Daniel Kröning, Dirk Leinenbach, Wolfgang J. Paul
2006	—	`conf`	Realistic Worst-Case Execution Time Analysis in the Context of Pervasive System Verification. Program Analysis and Compilation Steffen Knapp, Wolfgang J. Paul
2005	—	`ed.`	Correct Hardware Design and Verification Methods, 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005, Proceedings CHARME Dominique Borrione, Wolfgang J. Paul
2005	C	`conf`	Dealing with I/O Devices in the Context of Pervasive System Verification. ICCD Mark A. Hillebrand, Thomas In der Rieden, Wolfgang J. Paul
2005	—	`book`	Hardware Design - formaler Entwurf digitaler Schaltungen, 3. Auflage. Jörg Keller, Wolfgang J. Paul
2005	—	`conf`	On the Correctness of Operating System Kernels. TPHOLs Mauro Gargano, Mark A. Hillebrand, Dirk Leinenbach, Wolfgang J. Paul
2005	—	`conf`	On the Verification of Memory Management Mechanisms. CHARME Iakov Dalinger, Mark A. Hillebrand, Wolfgang J. Paul
2005	—	`conf`	Towards a Worldwide Verification Technology. VSTTE Wolfgang J. Paul
2005	C	`conf`	Towards the Formal Verification of Lower System Layers in Automotive Systems. ICCD Sven Beyer, Peter Böhm, Michael Gerke, Mark A. Hillebrand, Thomas In der Rieden, Steffen Knapp, Dirk Leinenbach, Wolfgang J. Paul
2005	B	`conf`	Towards the Formal Verification of a C0 Compiler: Code Generation and Implementation Correctnes. SEFM Dirk Leinenbach, Wolfgang J. Paul, Elena Petrova
2005	—	`conf`	Towards the Pervasive Verification of Automotive Systems. CHARME Thomas In der Rieden, Dirk Leinenbach, Wolfgang J. Paul
2004	—	`conf`	Realtime ray tracing of dynamic scenes on an FPGA chip. Graphics Hardware Jörg Schmittler, Sven Woop, Daniel Wagner, Wolfgang J. Paul, Philipp Slusallek
2003	—	`conf`	Instantiating Uninterpreted Functional Units and Memory System: Functional Verification of the VAMP. CHARME Sven Beyer, Christian Jacobi, Daniel Kroening, Dirk Leinenbach, Wolfgang J. Paul
2002	—	`conf`	Performance of MP3D on the SB-PRAM Prototype (Research Note). Euro-Par Roman Dementiev, Michael Klein, Wolfgang J. Paul
2002	—	`conf`	Real PRAM Programming. Euro-Par Wolfgang J. Paul, Peter Bach, Michael Bosch, Jörg Fischer, Cédric Lichtenau, Jochen Röhrig
2002	J	`jnl`	To Booth or not to Booth. Integr. Wolfgang J. Paul, Peter-Michael Seidel
2001	A*	`conf`	Automated Pipeline Design. DAC Daniel Kroening, Wolfgang J. Paul
2000	—	`book`	Computer architecture - complexity and correctness. Silvia M. Müller, Wolfgang J. Paul
2000	J	`jnl`	On the Design of IEEE Compliant Floating Point Units. IEEE Trans. Computers Guy Even, Wolfgang J. Paul
2000	—	`conf`	Proving the Correctness of Pipelined Micro-Architectures. MBMV Daniel Kröning, Wolfgang J. Paul, Silvia M. Müller
1999	J	`jnl`	On the Cost-Effectiveness of PRAMs. Acta Informatica Ferri Abolhassan, Jörg Keller, Wolfgang J. Paul
1998	J	`jnl`	On the Correctness of Hardware Scheduling Mechanisms for Out-of-Order Execution. J. Circuits Syst. Comput. Silvia M. Müller, Wolfgang J. Paul
1997	J	`jnl`	Decimal Adjustment of Long Numbers in Constant Time. Inf. Process. Lett. Andreas Döring, Wolfgang J. Paul
1997	C	`conf`	On the Design of IEEE Compliant Floating Point Units. IEEE Symposium on Computer Arithmetic Guy Even, Wolfgang J. Paul
1996	—	`conf`	Making the Original Scoreboard Mechanism Deadlock Free. ISTCS Silvia M. Müller, Wolfgang J. Paul
1995	J	`jnl`	Autonomous theory building systems. Ann. Oper. Res. Wolfgang J. Paul, Ray J. Solomonoff
1995	—	`book`	Hardware Design - formaler Entwurf digitaler Schaltungen. Jörg Keller, Wolfgang J. Paul
1995	—	`conf`	High Performance Transaction Systems on the SB-PRAM. ISTCS G. Gemünd, M. Jakob, Werner Massonne, Wolfgang J. Paul, B. Spengler
1995	—	`book`	The Complexity of Simple Computer Architectures Silvia M. Müller, Wolfgang J. Paul
1994	J	`jnl`	A Note on Bitonic Sorting. Inf. Process. Lett. Wolfgang J. Paul
1994	—	`conf`	Applications of PRAMs in Telecommunications. IFIP Congress (1) Reinhard Drefenstedt, Jörg Keller, Wolfgang J. Paul
1994	—	`ch.`	Isolating the Reasons for the Performance of Parallel Machines on Numerical Programs. Automatic Parallelization Arno Formella, Silvia M. Müller, Wolfgang J. Paul, Anke Bingert
1994	—	`conf`	Realization of PRAMs: Processor Design. WDAG Jörg Keller, Wolfgang J. Paul, Dieter Scheerer
1993	—	`conf`	Automatic Parallelization by Pattern-Matching. ACPC Christoph W. Keßler, Wolfgang J. Paul
1993	J	`jnl`	On the Physical Design of PRAMs. Comput. J. Ferri Abolhassan, Reinhard Drefenstedt, Jörg Keller, Wolfgang J. Paul, Dieter Scheerer
1992	—	`conf`	Cost Effectiveness of Data Flow Machines and Vector Processors. Heinz Nixdorf Symposium Arno Formella, Werner Massonne, Wolfgang J. Paul
1992	—	`book`	Informatik, Festschrift zum 60. Geburtstag von Günter Hotz Informatik Johannes Buchmann, Harald Ganzinger, Wolfgang J. Paul
1992	—	`ch.`	On the Physical Design of PRAMs. Informatik Ferri Abolhassan, Reinhard Drefenstedt, Jörg Keller, Wolfgang J. Paul, Dieter Scheerer
1992	J	`jnl`	k versus k+1 Index Registers and Modifiable versus Non-modifiable Programs Inf. Comput. Kurt Mehlhorn, Wolfgang J. Paul, Christian Uhrig
1991	—	`conf`	A Randomized Heuristic Approach to Register Allocation PLILP Christoph W. Keßler, Wolfgang J. Paul, Thomas Rauber
1991	—	`conf`	On the cost-effectiveness of PRAMs. SPDP Ferri Abolhassan, Jörg Keller, Wolfgang J. Paul
1991	—	`conf`	Scheduling Vector Straight Line Code on Vector Processors. Code Generation Christoph W. Keßler, Wolfgang J. Paul, Thomas Rauber
1990	—	`conf`	Parallelrechner aus wissenschaftlicher und kommerzieller Sicht. ARCS Wolfgang J. Paul
1990	—	`conf`	Überblick über PRAM-Simulationen und ihre Realisierbarkeit. Entwurf und Betrieb verteilter Systeme Ferri Abolhassan, Jörg Keller, Wolfgang J. Paul
1989	—	`conf`	Contributions of Theoretical Computer Science, Applied Computer Science and Numerical Mathematics to the Design of Parallel Computers. IFIP Congress Silvia M. Müller, Wolfgang J. Paul
1989	A*	`conf`	Two Versus One Index Register and Modifiable Versus Non-modifiable Programs. ICALP Kurt Mehlhorn, Wolfgang J. Paul
1988	—	`conf`	Implementierung eines informationstheoretischen Ansatzes zur Bilderkennung. Innovative Informations-Infrastrukturen P. Bergmann, Jörg Keller, Thomas Malter, Silvia M. Müller, Wolfgang J. Paul, Thorsten Pöschel, O. Schlüter, Lothar Thiele
1988	—	`ed.`	Innovative Informations-Infrastrukturen, Ergebnisse einer Kooperation der Universität des Saarlandes und der Siemens AG, I.I.I.-Forum, Saarbrücken, 12.-13. Oktober 1988, Proceedings Innovative Informations-Infrastrukturen Bernhard Gollan, Wolfgang J. Paul, Alwine Schmitt
1987	J	`jnl`	Über Parallelrechner für numerische Anwendungen und ihre Programmierung. Prax. Inf.verarb. Kommun. Didier Y. Hinz, Wolfgang J. Paul
1986	J	`jnl`	Bounds for Width Two Branching Programs. SIAM J. Comput. Allan Borodin, Danny Dolev, Faith E. Fich, Wolfgang J. Paul
1984	J	`jnl`	On Heads Versus Tapes. Theor. Comput. Sci. Wolfgang J. Paul
1984	A*	`conf`	On Monotone Formulae with Restricted Depth (Preliminary Version) STOC Maria M. Klawe, Wolfgang J. Paul, Nicholas Pippenger, Mihalis Yannakakis
1984	J	`jnl`	Two Nonlinear Lower Bounds for On-Line Computations Inf. Control. Pavol Duris, Zvi Galil, Wolfgang J. Paul, Rüdiger Reischuk
1983	J	`jnl`	An Efficient General-Purpose Parallel Computer J. ACM Zvi Galil, Wolfgang J. Paul
1983	A*	`conf`	Bounds for Width Two Branching Programs STOC Allan Borodin, Danny Dolev, Faith E. Fich, Wolfgang J. Paul
1983	A*	`conf`	On Determinism versus Non-Determinism and Related Problems (Preliminary Version) FOCS Wolfgang J. Paul, Nicholas Pippenger, Endre Szemerédi, William T. Trotter
1983	J	`jnl`	Parallel Computation on 2-3-Trees. RAIRO Theor. Informatics Appl. Wolfgang J. Paul, Uzi Vishkin, Hubert Wagener
1983	A*	`conf`	Parallel Dictionaries in 2-3 Trees. ICALP Wolfgang J. Paul, Uzi Vishkin, Hubert Wagener
1983	A*	`conf`	Two Nonlinear Lower Bounds STOC Pavol Duris, Zvi Galil, Wolfgang J. Paul, Rüdiger Reischuk
1982	A*	`conf`	On-Line Simulation of k+1 Tapes by k Tapes Requires Nonlinear Time FOCS Wolfgang J. Paul
1982	J	`jnl`	On-Line Simulation of k+1 Tapes by k Tapes Requires Nonlinear Time Inf. Control. Wolfgang J. Paul
1981	A*	`conf`	An Efficient General Purpose Parallel Computer STOC Zvi Galil, Wolfgang J. Paul
1981	J	`jnl`	An Information-Theoretic Approach to Time Bounds for On-Line Computation. J. Comput. Syst. Sci. Wolfgang J. Paul, Joel I. Seiferas, Janos Simon
1981	A*	`conf`	On Heads Versus Tapes FOCS Wolfgang J. Paul
1981	J	`jnl`	On Time versus Space II. (Turing Machines). J. Comput. Syst. Sci. Wolfgang J. Paul, Rüdiger Reischuk
1980	A*	`conf`	An Information-Theoretic Approach to Time Bounds for On-Line Computation (Preliminary Version) STOC Wolfgang J. Paul, Joel I. Seiferas, Janos Simon
1980	—	`conf`	Effizienz Paralleler Rechner. GI Jahrestagung Zvi Galil, Wolfgang J. Paul
1980	J	`jnl`	On Alternation II. A Graph Theoretic Approach to Determinism Versus Nondeterminism. Acta Informatica Wolfgang J. Paul, Rüdiger Reischuk
1980	J	`jnl`	On Alternation. Acta Informatica Wolfgang J. Paul, Ernst-Jürgen Prauß, Rüdiger Reischuk
1979	—	`conf`	A Graph Theoretic Approach to Determinism versus Non-Determinism. Theoretical Computer Science Wolfgang J. Paul, Rüdiger Reischuk
1979	B	`conf`	Kolmogorov complexity and lower bounds. FCT Wolfgang J. Paul
1979	J	`jnl`	On Time Hierarchies. J. Comput. Syst. Sci. Wolfgang J. Paul
1979	A*	`conf`	On Time versus Space II FOCS Wolfgang J. Paul, Rüdiger Reischuk
1978	A*	`conf`	On Alternation (Preliminary Version) FOCS Wolfgang J. Paul, Ernst-Jürgen Prauß, Rüdiger Reischuk
1978	J	`jnl`	Time-Space Trade-Offs in a Pebble Game. Acta Informatica Wolfgang J. Paul, Robert Endre Tarjan
1977	J	`jnl`	A 2.5 n-Lower Bound on the Combinational Complexity of Boolean Functions. SIAM J. Comput. Wolfgang J. Paul
1977	J	`jnl`	Correction: Space Bounds for a Game on Graphs. Math. Syst. Theory Wolfgang J. Paul, Robert Endre Tarjan, James R. Celoni
1977	A*	`conf`	On Time Hierarchies STOC Wolfgang J. Paul
1977	J	`jnl`	On Time Versus Space. J. ACM John E. Hopcroft, Wolfgang J. Paul, Leslie G. Valiant
1977	J	`jnl`	Space Bounds for a Game on Graphs. Math. Syst. Theory Wolfgang J. Paul, Robert Endre Tarjan, James R. Celoni
1977	A*	`conf`	Time-Space Trade-Offs in a Pebble Game. ICALP Wolfgang J. Paul, Robert Endre Tarjan
1976	J	`jnl`	Realizing Boolean Functions on Disjoint sets of Variables. Theor. Comput. Sci. Wolfgang J. Paul
1976	A*	`conf`	Space Bounds for a Game of Graphs STOC Wolfgang J. Paul, Robert Endre Tarjan, James R. Celoni
1975	A*	`conf`	A 2.5 n-lower Bound on the Combinatorial Complexity of Boolean Functions STOC Wolfgang J. Paul
1975	A*	`conf`	On Time versus Space and Related Problems FOCS John E. Hopcroft, Wolfgang J. Paul, Leslie G. Valiant
1974	J	`jnl`	Boolesche Minimalpolynome und Überdeckungsprobleme. Acta Informatica Wolfgang J. Paul
1974	J	`jnl`	Zur Komplexität von Sortierproblemen. Acta Informatica Wolfgang J. Paul, Hans-Jörg Stoß
1973	—	`conf`	Optimale Algorithmen zum Transponieren Quadratischer Matrizen. GI Jahrestagung Wolfgang J. Paul
1973	—	`conf`	Über die Zeit, die benötigt wird, um endliche Mengen umzuordnen. Automatentheorie und Formale Sprachen Wolfgang J. Paul
1972	—	`conf`	Realisierung des Streaming-Konzepts. GI Jahrestagung Wolfgang J. Paul