| 2008 |
|---|
| 80 | EE | Jewgenij Botaschanjan,
Manfred Broy,
Alexander Gruler,
Alexander Harhurin,
Steffen Knapp,
Leonid Kof,
Wolfgang J. Paul,
Maria Spichkova:
On the correctness of upper layers of automotive systems.
Formal Asp. Comput. 20(6): 637-662 (2008) |
| 2007 |
|---|
| 79 | EE | Mark A. Hillebrand,
Wolfgang J. Paul:
On the Architecture of System Verification Environments.
Haifa Verification Conference 2007: 153-168 |
| 2006 |
|---|
| 78 | EE | Steffen Knapp,
Wolfgang J. Paul:
Realistic Worst-Case Execution Time Analysis in the Context of Pervasive System Verification.
Program Analysis and Compilation 2006: 53-81 |
| 77 | EE | Sven Beyer,
Christian Jacobi,
Daniel Kröning,
Dirk Leinenbach,
Wolfgang J. Paul:
Putting it all together - Formal verification of the VAMP.
STTT 8(4-5): 411-430 (2006) |
| 2005 |
|---|
| 76 | | Dominique Borrione,
Wolfgang J. Paul:
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
Springer 2005 |
| 75 | EE | Thomas In der Rieden,
Dirk Leinenbach,
Wolfgang J. Paul:
Towards the Pervasive Verification of Automotive Systems.
CHARME 2005: 3-4 |
| 74 | EE | Iakov Dalinger,
Mark A. Hillebrand,
Wolfgang J. Paul:
On the Verification of Memory Management Mechanisms.
CHARME 2005: 301-316 |
| 73 | EE | Mark A. Hillebrand,
Thomas In der Rieden,
Wolfgang J. Paul:
Dealing with I/O Devices in the Context of Pervasive System Verification.
ICCD 2005: 309-316 |
| 72 | EE | Sven Beyer,
Peter Böhm,
Michael Gerke,
Mark A. Hillebrand,
Thomas In der Rieden,
Steffen Knapp,
Dirk Leinenbach,
Wolfgang J. Paul:
Towards the Formal Verification of Lower System Layers in Automotive Systems.
ICCD 2005: 317-326 |
| 71 | EE | Dirk Leinenbach,
Wolfgang J. Paul,
Elena Petrova:
Towards the Formal Verification of a C0 Compiler: Code Generation and Implementation Correctnes.
SEFM 2005: 2-12 |
| 70 | EE | Mauro Gargano,
Mark A. Hillebrand,
Dirk Leinenbach,
Wolfgang J. Paul:
On the Correctness of Operating System Kernels.
TPHOLs 2005: 1-16 |
| 2004 |
|---|
| 69 | EE | Jörg Schmittler,
Sven Woop,
Daniel Wagner,
Wolfgang J. Paul,
Philipp Slusallek:
Realtime ray tracing of dynamic scenes on an FPGA chip.
Graphics Hardware 2004: 95-106 |
| 2003 |
|---|
| 68 | EE | Sven Beyer,
Christian Jacobi,
Daniel Kroening,
Dirk Leinenbach,
Wolfgang J. Paul:
Instantiating Uninterpreted Functional Units and Memory System: Functional Verification of the VAMP.
CHARME 2003: 51-65 |
| 2002 |
|---|
| 67 | EE | Roman Dementiev,
Michael Klein,
Wolfgang J. Paul:
Performance of MP3D on the SB-PRAM Prototype (Research Note).
Euro-Par 2002: 132-136 |
| 66 | EE | Wolfgang J. Paul,
Peter Bach,
Michael Bosch,
Jörg Fischer,
Cédric Lichtenau,
Jochen Röhrig:
Real PRAM Programming.
Euro-Par 2002: 522-531 |
| 65 | EE | Wolfgang J. Paul,
Peter-Michael Seidel:
To Booth or not to Booth.
Integration 32(1-2): 5-40 (2002) |
| 2001 |
|---|
| 64 | EE | Daniel Kroening,
Wolfgang J. Paul:
Automated Pipeline Design.
DAC 2001: 810-815 |
| 2000 |
|---|
| 63 | EE | Guy Even,
Wolfgang J. Paul:
On the Design of IEEE Compliant Floating Point Units.
IEEE Trans. Computers 49(5): 398-413 (2000) |
| 1999 |
|---|
| 62 | EE | Ferri Abolhassan,
Jörg Keller,
Wolfgang J. Paul:
On the Cost-Effectiveness of PRAMs.
Acta Inf. 36(6): 463-487 (1999) |
| 1998 |
|---|
| 61 | EE | Silvia M. Müller,
Wolfgang J. Paul:
On the Correctness of Hardware Scheduling Mechanisms for Out-of-Order Execution.
Journal of Circuits, Systems, and Computers 8(2): 301-314 (1998) |
| 1997 |
|---|
| 60 | EE | Guy Even,
Wolfgang J. Paul:
On the Design of IEEE Compliant Floating Point Units.
IEEE Symposium on Computer Arithmetic 1997: 54-63 |
| 59 | EE | Andreas Döring,
Wolfgang J. Paul:
Decimal Adjustment of Long Numbers in Constant Time.
Inf. Process. Lett. 62(3): 161-163 (1997) |
| 1996 |
|---|
| 58 | | Silvia M. Müller,
Wolfgang J. Paul:
Making the Original Scoreboard Mechanism Deadlock Free.
ISTCS 1996: 92-99 |
| 1995 |
|---|
| 57 | | Silvia M. Müller,
Wolfgang J. Paul:
The Complexity of Simple Computer Architectures
Springer 1995 |
| 56 | | G. Gemünd,
M. Jakob,
Werner Massonne,
Wolfgang J. Paul,
B. Spengler:
High Performance Transaction Systems on the SB-PRAM.
ISTCS 1995: 1-10 |
| 1994 |
|---|
| 55 | | Reinhard Drefenstedt,
Jörg Keller,
Wolfgang J. Paul:
Applications of PRAMs in Telecommunications.
IFIP Congress (1) 1994: 203-210 |
| 54 | | Jörg Keller,
Wolfgang J. Paul,
Dieter Scheerer:
Realization of PRAMs: Processor Design.
WDAG 1994: 17-27 |
| 53 | | Wolfgang J. Paul:
A Note on Bitonic Sorting.
Inf. Process. Lett. 49(5): 223-225 (1994) |
| 1993 |
|---|
| 52 | | Christoph W. Keßler,
Wolfgang J. Paul:
Automatic Parallelization by Pattern-Matching.
ACPC 1993: 166-181 |
| 51 | | Ferri Abolhassan,
Reinhard Drefenstedt,
Jörg Keller,
Wolfgang J. Paul,
Dieter Scheerer:
On the Physical Design of PRAMs.
Comput. J. 36(8): 756-762 (1993) |
| 1992 |
|---|
| 50 | | Arno Formella,
Werner Massonne,
Wolfgang J. Paul:
Cost Effectiveness of Data Flow Machines and Vector Processors.
Heinz Nixdorf Symposium 1992: 48-65 |
| 49 | | Kurt Mehlhorn,
Wolfgang J. Paul,
Christian Uhrig:
k versus k+1 Index Registers and Modifiable versus Non-modifiable Programs
Inf. Comput. 101(1): 123-129 (1992) |
| 1991 |
|---|
| 48 | | Christoph W. Keßler,
Wolfgang J. Paul,
Thomas Rauber:
Scheduling Vector Straight Line Code on Vector Processors.
Code Generation 1991: 73-91 |
| 47 | | Christoph W. Keßler,
Wolfgang J. Paul,
Thomas Rauber:
A Randomized Heuristic Approach to Register Allocation
PLILP 1991: 195-206 |
| 1990 |
|---|
| 46 | | Wolfgang J. Paul:
Parallelrechner aus wissenschaftlicher und kommerzieller Sicht.
ARCS 1990: 139-145 |
| 45 | | Ferri Abolhassan,
Jörg Keller,
Wolfgang J. Paul:
Überblick über PRAM-Simulationen und ihre Realisierbarkeit.
Entwurf und Betrieb verteilter Systeme 1990: 15-39 |
| 1989 |
|---|
| 44 | | Kurt Mehlhorn,
Wolfgang J. Paul:
Two Versus One Index Register and Modifiable Versus Non-modifiable Programs.
ICALP 1989: 603-609 |
| 43 | | Silvia M. Müller,
Wolfgang J. Paul:
Contributions of Theoretical Computer Science, Applied Computer Science and Numerical Mathematics to the Design of Parallel Computers.
IFIP Congress 1989: 459-460 |
| 1988 |
|---|
| 42 | | Bernhard Gollan,
Wolfgang J. Paul,
Alwine Schmitt:
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
Springer 1988 |
| 41 | | P. Bergmann,
Jörg Keller,
T. Malter,
Silvia M. Müller,
Wolfgang J. Paul,
Thorsten Pöschel,
O. Schlüter,
L. Thiele:
Implementierung eines informationstheoretischen Ansatzes zur Bilderkennung.
Innovative Informations-Infrastrukturen 1988: 187-197 |
| 1986 |
|---|
| 40 | | Allan Borodin,
Danny Dolev,
Faith E. Fich,
Wolfgang J. Paul:
Bounds for Width Two Branching Programs.
SIAM J. Comput. 15(2): 549-560 (1986) |
| 1984 |
|---|
| 39 | | Maria M. Klawe,
Wolfgang J. Paul,
Nicholas Pippenger,
Mihalis Yannakakis:
On Monotone Formulae with Restricted Depth (Preliminary Version)
STOC 1984: 480-487 |
| 38 | | Pavol Duris,
Zvi Galil,
Wolfgang J. Paul,
Rüdiger Reischuk:
Two Nonlinear Lower Bounds for On-Line Computations
Information and Control 60(1-3): 1-11 (1984) |
| 37 | | Wolfgang J. Paul:
On Heads Versus Tapes.
Theor. Comput. Sci. 28: 1-12 (1984) |
| 1983 |
|---|
| 36 | | Wolfgang J. Paul,
Nicholas Pippenger,
Endre Szemerédi,
William T. Trotter:
On Determinism versus Non-Determinism and Related Problems (Preliminary Version)
FOCS 1983: 429-438 |
| 35 | | Wolfgang J. Paul,
Uzi Vishkin,
Hubert Wagener:
Parallel Dictionaries in 2-3 Trees.
ICALP 1983: 597-609 |
| 34 | | Pavol Duris,
Zvi Galil,
Wolfgang J. Paul,
Rüdiger Reischuk:
Two Nonlinear Lower Bounds
STOC 1983: 127-132 |
| 33 | | Allan Borodin,
Danny Dolev,
Faith E. Fich,
Wolfgang J. Paul:
Bounds for Width Two Branching Programs
STOC 1983: 87-93 |
| 32 | | Wolfgang J. Paul,
Uzi Vishkin,
Hubert Wagener:
Parallel Computation on 2-3-Trees.
ITA 17(4): 397-404 (1983) |
| 31 | EE | Zvi Galil,
Wolfgang J. Paul:
An Efficient General-Purpose Parallel Computer
J. ACM 30(2): 360-387 (1983) |
| 1982 |
|---|
| 30 | | Wolfgang J. Paul:
On-Line Simulation of k+1 Tapes by k Tapes Requires Nonlinear Time
FOCS 1982: 53-56 |
| 29 | | Wolfgang J. Paul:
On-Line Simulation of k+1 Tapes by k Tapes Requires Nonlinear Time
Information and Control 53(1/2): 1-8 (1982) |
| 1981 |
|---|
| 28 | | Wolfgang J. Paul:
On Heads Versus Tapes
FOCS 1981: 68-73 |
| 27 | | Zvi Galil,
Wolfgang J. Paul:
An Efficient General Purpose Parallel Computer
STOC 1981: 247-262 |
| 26 | | Wolfgang J. Paul,
Rüdiger Reischuk:
On Time versus Space II. (Turing Machines).
J. Comput. Syst. Sci. 22(3): 312-327 (1981) |
| 25 | | Wolfgang J. Paul,
Joel I. Seiferas,
Janos Simon:
An Information-Theoretic Approach to Time Bounds for On-Line Computation.
J. Comput. Syst. Sci. 23(2): 108-126 (1981) |
| 1980 |
|---|
| 24 | | Zvi Galil,
Wolfgang J. Paul:
Effizienz Paralleler Rechner.
GI Jahrestagung 1980: 54-64 |
| 23 | | Wolfgang J. Paul,
Joel I. Seiferas,
Janos Simon:
An Information-Theoretic Approach to Time Bounds for On-Line Computation (Preliminary Version)
STOC 1980: 357-367 |
| 22 | | Wolfgang J. Paul,
Ernst J. Prauß,
Rüdiger Reischuk:
On Alternation.
Acta Inf. 14: 243-255 (1980) |
| 21 | | Wolfgang J. Paul,
Rüdiger Reischuk:
On Alternation II. A Graph Theoretic Approach to Determinism Versus Nondeterminism.
Acta Inf. 14: 391-403 (1980) |
| 1979 |
|---|
| 20 | | Wolfgang J. Paul:
Kolmogorov complexity and lower bounds.
FCT 1979: 325-334 |
| 19 | | Wolfgang J. Paul,
Rüdiger Reischuk:
On Time versus Space II
FOCS 1979: 298-306 |
| 18 | | Wolfgang J. Paul,
Rüdiger Reischuk:
A Graph Theoretic Approach to Determinism versus Non-Determinism.
Theoretical Computer Science 1979: 222-232 |
| 17 | | Wolfgang J. Paul:
On Time Hierarchies.
J. Comput. Syst. Sci. 19(2): 197-202 (1979) |
| 1978 |
|---|
| 16 | | Wolfgang J. Paul,
Ernst J. Prauß,
Rüdiger Reischuk:
On Alternation (Preliminary Version)
FOCS 1978: 113-122 |
| 15 | | Wolfgang J. Paul,
Robert Endre Tarjan:
Time-Space Trade-Offs in a Pebble Game.
Acta Inf. 10: 111-115 (1978) |
| 1977 |
|---|
| 14 | | Wolfgang J. Paul,
Robert Endre Tarjan:
Time-Space Trade-Offs in a Pebble Game.
ICALP 1977: 365-369 |
| 13 | | Wolfgang J. Paul:
On Time Hierarchies
STOC 1977: 218-222 |
| 12 | EE | John E. Hopcroft,
Wolfgang J. Paul,
Leslie G. Valiant:
On Time Versus Space.
J. ACM 24(2): 332-337 (1977) |
| 11 | | Wolfgang J. Paul,
Robert Endre Tarjan,
James R. Celoni:
Space Bounds for a Game on Graphs.
Mathematical Systems Theory 10: 239-251 (1977) |
| 10 | | Wolfgang J. Paul,
Robert Endre Tarjan,
James R. Celoni:
Correction: Space Bounds for a Game on Graphs.
Mathematical Systems Theory 11: 85 (1977) |
| 9 | | Wolfgang J. Paul:
A 2.5 n-Lower Bound on the Combinational Complexity of Boolean Functions.
SIAM J. Comput. 6(3): 427-443 (1977) |
| 1976 |
|---|
| 8 | | Wolfgang J. Paul,
Robert Endre Tarjan,
James R. Celoni:
Space Bounds for a Game of Graphs
STOC 1976: 149-160 |
| 7 | | Wolfgang J. Paul:
Realizing Boolean Functions on Disjoint sets of Variables.
Theor. Comput. Sci. 2(3): 383-396 (1976) |
| 1975 |
|---|
| 6 | | John E. Hopcroft,
Wolfgang J. Paul,
Leslie G. Valiant:
On Time versus Space and Related Problems
FOCS 1975: 57-64 |
| 5 | | Wolfgang J. Paul:
A 2.5 n-lower Bound on the Combinatorial Complexity of Boolean Functions
STOC 1975: 27-36 |
| 1974 |
|---|
| 4 | | Wolfgang J. Paul,
H.-J. Stoß:
Zur Komplexität von Sortierproblemen
Acta Inf. 3: 217-225 (1974) |
| 3 | | Wolfgang J. Paul:
Boolesche Minimalpolynome und Überdeckungsprobleme
Acta Inf. 4: 321-336 (1974) |
| 1973 |
|---|
| 2 | | Wolfgang J. Paul:
Über die Zeit, die benötigt wird, um endliche Mengen umzuordnen.
Automatentheorie und Formale Sprachen 1973: 249-253 |
| 1 | | Wolfgang J. Paul:
Optimale Algorithmen zum Transponieren Quadratischer Matrizen.
GI Jahrestagung 1973: 72-80 |
