Wolfgang J. Paul

Ernie Cohen, Wolfgang J. Paul, Sabine Schmaltz: Theory of Multi Core Hypervisor Verification. SOFSEM 2013: 1-27

Wolfgang J. Paul, Sabine Schmaltz, Andrey Shadrin: Completing the Automated Verification of a Small Hypervisor - Assembler Code Verification. SEFM 2012: 188-202

Eyad Alkassar, Ernie Cohen, Mikhail Kovalev, Wolfgang J. Paul: Verification of TLB Virtualization Implemented in C. VSTTE 2012: 209-224

Eyad Alkassar, Ernie Cohen, Mark A. Hillebrand, Mikhail Kovalev, Wolfgang J. Paul: Verifying shadow page table algorithms. FMCAD 2010: 267-270

Eyad Alkassar, Mark A. Hillebrand, Wolfgang J. Paul, Elena Petrova: Automated Verification of a Small Hypervisor. VSTTE 2010: 40-54

Eyad Alkassar, Wolfgang J. Paul, Artem Starostin, Alexandra Tsyban: Pervasive Verification of an OS Microkernel - Inline Assembly, Memory Consumption, Concurrent Devices. VSTTE 2010: 71-85

Ulan Degenbaev, Wolfgang J. Paul, Norbert Schirmer: Pervasive Theory of Memory. Efficient Algorithms 2009: 74-98

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: Invariants, Modularity, and Rights. Ershov Memorial Conference 2009: 43-55

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)

Mark A. Hillebrand, Wolfgang J. Paul: On the Architecture of System Verification Environments. Haifa Verification Conference 2007: 153-168

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)

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

Thomas In der Rieden, Dirk Leinenbach, Wolfgang J. Paul: Towards the Pervasive Verification of Automotive Systems. CHARME 2005: 3-4

Iakov Dalinger, Mark A. Hillebrand, Wolfgang J. Paul: On the Verification of Memory Management Mechanisms. CHARME 2005: 301-316

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

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

Dirk Leinenbach, Wolfgang J. Paul, Elena Petrova: Towards the Formal Verification of a C0 Compiler: Code Generation and Implementation Correctnes. SEFM 2005: 2-12

Mauro Gargano, Mark A. Hillebrand, Dirk Leinenbach, Wolfgang J. Paul: On the Correctness of Operating System Kernels. TPHOLs 2005: 1-16

Dominique Borrione, Wolfgang J. Paul (Eds.): 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. Lecture Notes in Computer Science 3725, Springer 2005, isbn 3-540-29105-9

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

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

Wolfgang J. Paul, Peter-Michael Seidel: To Booth or not to Booth. Integration 32(1-2): 5-40 (2002)

Roman Dementiev, Michael Klein, Wolfgang J. Paul: Performance of MP3D on the SB-PRAM Prototype (Research Note). Euro-Par 2002: 132-136

Wolfgang J. Paul, Peter Bach, Michael Bosch, Jörg Fischer, Cédric Lichtenau, Jochen Röhrig: Real PRAM Programming. Euro-Par 2002: 522-531

Daniel Kroening, Wolfgang J. Paul: Automated Pipeline Design. DAC 2001: 810-815

Silvia M. Müller, Wolfgang J. Paul: Computer architecture - complexity and correctness. Springer 2000, isbn 978-3-540-67481-8, pp. I-XIII, 1-553

Guy Even, Wolfgang J. Paul: On the Design of IEEE Compliant Floating Point Units. IEEE Trans. Computers 49(5): 398-413 (2000)

Daniel Kröning, Wolfgang J. Paul, Silvia M. Müller: Proving the Correctness of Pipelined Micro-Architectures. MBMV 2000: 89-98

Ferri Abolhassan, Jörg Keller, Wolfgang J. Paul: On the Cost-Effectiveness of PRAMs. Acta Inf. 36(6): 463-487 (1999)

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)

Andreas Döring, Wolfgang J. Paul: Decimal Adjustment of Long Numbers in Constant Time. Inf. Process. Lett. 62(3): 161-163 (1997)

Guy Even, Wolfgang J. Paul: On the Design of IEEE Compliant Floating Point Units. IEEE Symposium on Computer Arithmetic 1997: 54-63

Silvia M. Müller, Wolfgang J. Paul: Making the Original Scoreboard Mechanism Deadlock Free. ISTCS 1996: 92-99

Silvia M. Müller, Wolfgang J. Paul: The Complexity of Simple Computer Architectures. Lecture Notes in Computer Science 995, Springer 1995, isbn 3-540-60580-0

G. Gemünd, M. Jakob, Werner Massonne, Wolfgang J. Paul, B. Spengler: High Performance Transaction Systems on the SB-PRAM. ISTCS 1995: 1-10

Wolfgang J. Paul: A Note on Bitonic Sorting. Inf. Process. Lett. 49(5): 223-225 (1994)

Reinhard Drefenstedt, Jörg Keller, Wolfgang J. Paul: Applications of PRAMs in Telecommunications. IFIP Congress (1) 1994: 203-210

Jörg Keller, Wolfgang J. Paul, Dieter Scheerer: Realization of PRAMs: Processor Design. WDAG 1994: 17-27

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)

Christoph W. Keßler, Wolfgang J. Paul: Automatic Parallelization by Pattern-Matching. ACPC 1993: 166-181

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)

Arno Formella, Werner Massonne, Wolfgang J. Paul: Cost Effectiveness of Data Flow Machines and Vector Processors. Heinz Nixdorf Symposium 1992: 48-65

Christoph W. Keßler, Wolfgang J. Paul, Thomas Rauber: Scheduling Vector Straight Line Code on Vector Processors. Code Generation 1991: 73-91

Christoph W. Keßler, Wolfgang J. Paul, Thomas Rauber: A Randomized Heuristic Approach to Register Allocation. PLILP 1991: 195-206

Ferri Abolhassan, Jörg Keller, Wolfgang J. Paul: On the cost-effectiveness of PRAMs. SPDP 1991: 2-9

Wolfgang J. Paul: Parallelrechner aus wissenschaftlicher und kommerzieller Sicht. ARCS 1990: 139-145

Ferri Abolhassan, Jörg Keller, Wolfgang J. Paul: Überblick über PRAM-Simulationen und ihre Realisierbarkeit. Entwurf und Betrieb verteilter Systeme 1990: 15-39

Kurt Mehlhorn, Wolfgang J. Paul: Two Versus One Index Register and Modifiable Versus Non-modifiable Programs. ICALP 1989: 603-609

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

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

Bernhard Gollan, Wolfgang J. Paul, Alwine Schmitt (Eds.): 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. Informatik-Fachberichte 184, Springer 1988, isbn 3-540-50334-X

Allan Borodin, Danny Dolev, Faith E. Fich, Wolfgang J. Paul: Bounds for Width Two Branching Programs. SIAM J. Comput. 15(2): 549-560 (1986)

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)

Wolfgang J. Paul: On Heads Versus Tapes. Theor. Comput. Sci. 28: 1-12 (1984)

Maria M. Klawe, Wolfgang J. Paul, Nicholas Pippenger, Mihalis Yannakakis: On Monotone Formulae with Restricted Depth (Preliminary Version). STOC 1984: 480-487

Wolfgang J. Paul, Uzi Vishkin, Hubert Wagener: Parallel Computation on 2-3-Trees. ITA 17(4): 397-404 (1983)

Zvi Galil, Wolfgang J. Paul: An Efficient General-Purpose Parallel Computer. J. ACM 30(2): 360-387 (1983)

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

Wolfgang J. Paul, Uzi Vishkin, Hubert Wagener: Parallel Dictionaries in 2-3 Trees. ICALP 1983: 597-609

Allan Borodin, Danny Dolev, Faith E. Fich, Wolfgang J. Paul: Bounds for Width Two Branching Programs. STOC 1983: 87-93

Pavol Duris, Zvi Galil, Wolfgang J. Paul, Rüdiger Reischuk: Two Nonlinear Lower Bounds. STOC 1983: 127-132

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)

Wolfgang J. Paul: On-Line Simulation of k+1 Tapes by k Tapes Requires Nonlinear Time. FOCS 1982: 53-56

Wolfgang J. Paul, Rüdiger Reischuk: On Time versus Space II. (Turing Machines). J. Comput. Syst. Sci. 22(3): 312-327 (1981)

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)

Wolfgang J. Paul: On Heads Versus Tapes. FOCS 1981: 68-73

Zvi Galil, Wolfgang J. Paul: An Efficient General Purpose Parallel Computer. STOC 1981: 247-262

Wolfgang J. Paul, Ernst J. Prauß, Rüdiger Reischuk: On Alternation. Acta Inf. 14: 243-255 (1980)

Wolfgang J. Paul, Rüdiger Reischuk: On Alternation II. A Graph Theoretic Approach to Determinism Versus Nondeterminism. Acta Inf. 14: 391-403 (1980)

Zvi Galil, Wolfgang J. Paul: Effizienz Paralleler Rechner. GI Jahrestagung 1980: 54-64

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

Wolfgang J. Paul: On Time Hierarchies. J. Comput. Syst. Sci. 19(2): 197-202 (1979)

Wolfgang J. Paul: Kolmogorov complexity and lower bounds. FCT 1979: 325-334

Wolfgang J. Paul, Rüdiger Reischuk: On Time versus Space II. FOCS 1979: 298-306

Wolfgang J. Paul, Rüdiger Reischuk: A Graph Theoretic Approach to Determinism versus Non-Determinism. Theoretical Computer Science 1979: 222-232

Wolfgang J. Paul, Robert Endre Tarjan: Time-Space Trade-Offs in a Pebble Game. Acta Inf. 10: 111-115 (1978)

Wolfgang J. Paul, Ernst J. Prauß, Rüdiger Reischuk: On Alternation (Preliminary Version). FOCS 1978: 113-122

John E. Hopcroft, Wolfgang J. Paul, Leslie G. Valiant: On Time Versus Space. J. ACM 24(2): 332-337 (1977)

Wolfgang J. Paul, Robert Endre Tarjan, James R. Celoni: Space Bounds for a Game on Graphs. Mathematical Systems Theory 10: 239-251 (1977)

Wolfgang J. Paul, Robert Endre Tarjan, James R. Celoni: Correction: Space Bounds for a Game on Graphs. Mathematical Systems Theory 11: 85 (1977)

Wolfgang J. Paul: A 2.5 n-Lower Bound on the Combinational Complexity of Boolean Functions. SIAM J. Comput. 6(3): 427-443 (1977)

Wolfgang J. Paul, Robert Endre Tarjan: Time-Space Trade-Offs in a Pebble Game. ICALP 1977: 365-369

Wolfgang J. Paul: On Time Hierarchies. STOC 1977: 218-222

Wolfgang J. Paul: Realizing Boolean Functions on Disjoint sets of Variables. Theor. Comput. Sci. 2(3): 383-396 (1976)

Wolfgang J. Paul, Robert Endre Tarjan, James R. Celoni: Space Bounds for a Game of Graphs. STOC 1976: 149-160

John E. Hopcroft, Wolfgang J. Paul, Leslie G. Valiant: On Time versus Space and Related Problems. FOCS 1975: 57-64

Wolfgang J. Paul: A 2.5 n-lower Bound on the Combinatorial Complexity of Boolean Functions. STOC 1975: 27-36

Wolfgang J. Paul, H.-J. Stoß: Zur Komplexität von Sortierproblemen. Acta Inf. 3: 217-225 (1974)

Wolfgang J. Paul: Boolesche Minimalpolynome und Überdeckungsprobleme. Acta Inf. 4: 321-336 (1974)

Wolfgang J. Paul: Über die Zeit, die benötigt wird, um endliche Mengen umzuordnen. Automatentheorie und Formale Sprachen 1973: 249-253

Wolfgang J. Paul: Optimale Algorithmen zum Transponieren Quadratischer Matrizen. GI Jahrestagung 1973: 72-80