Wolfgang J. Paul

Publication Activity (10 Years)

Years Active: 1972-2013
Publications (10 Years): 0

Top Topics

Formal Verification

Operating System

Top Venues

Publications

Ernie Cohen, Wolfgang J. Paul, Sabine Schmaltz
Theory of Multi Core Hypervisor Verification. SOFSEM (2013)
Wolfgang J. Paul
Cyber War, Formal Verification and Certified Infrastructure. VSTTE (2012)
Eyad Alkassar, Ernie Cohen, Mikhail Kovalev, Wolfgang J. Paul
Verification of TLB Virtualization Implemented in C. VSTTE (2012)
Wolfgang J. Paul, Sabine Schmaltz, Andrey Shadrin
Completing the Automated Verification of a Small Hypervisor - Assembler Code Verification. SEFM (2012)
Christian A. Müller, Wolfgang J. Paul
Complete Formal Hardware Verification of Interfaces for a FlexRay-Like Bus. CAV (2011)
Eyad Alkassar, Ernie Cohen, Mark A. Hillebrand, Mikhail Kovalev, Wolfgang J. Paul
Verifying shadow page table algorithms. FMCAD (2010)
Eyad Alkassar, Wolfgang J. Paul, Artem Starostin, Alexandra Tsyban
Pervasive Verification of an OS Microkernel - Inline Assembly, Memory Consumption, Concurrent Devices. VSTTE (2010)
Wolfgang J. Paul
Computational models for the age of multicore processing. ICCD (2010)
Eyad Alkassar, Mark A. Hillebrand, Wolfgang J. Paul, Elena Petrova
Automated Verification of a Small Hypervisor. VSTTE (2010)
Ulan Degenbaev, Wolfgang J. Paul, Norbert Schirmer
Pervasive Theory of Memory. Efficient Algorithms (2009)
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)
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 Aspects Comput. 20 (6) (2008)
Mark A. Hillebrand, Wolfgang J. Paul
On the Architecture of System Verification Environments. Haifa Verification Conference (2007)
Steffen Knapp, Wolfgang J. Paul
Realistic Worst-Case Execution Time Analysis in the Context of Pervasive System Verification. Program Analysis and Compilation (2006)
Sven Beyer, Christian Jacobi, Daniel Kröning, Dirk Leinenbach, Wolfgang J. Paul
Putting it all together - Formal verification of the VAMP. Int. J. Softw. Tools Technol. Transf. 8 (4-5) (2006)
Iakov Dalinger, Mark A. Hillebrand, Wolfgang J. Paul
On the Verification of Memory Management Mechanisms. CHARME (2005)
Mauro Gargano, Mark A. Hillebrand, Dirk Leinenbach, Wolfgang J. Paul
On the Correctness of Operating System Kernels. TPHOLs (2005)
Mark A. Hillebrand, Thomas In der Rieden, Wolfgang J. Paul
Dealing with I/O Devices in the Context of Pervasive System Verification. ICCD (2005)
Wolfgang J. Paul
Towards a Worldwide Verification Technology. VSTTE (2005)
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)
Thomas In der Rieden, Dirk Leinenbach, Wolfgang J. Paul
Towards the Pervasive Verification of Automotive Systems. CHARME (2005)
Dirk Leinenbach, Wolfgang J. Paul, Elena Petrova
Towards the Formal Verification of a C0 Compiler: Code Generation and Implementation Correctnes. SEFM (2005)
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)
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)
Wolfgang J. Paul, Peter Bach, Michael Bosch, Jörg Fischer, Cédric Lichtenau, Jochen Röhrig
Real PRAM Programming. Euro-Par (2002)
Roman Dementiev, Michael Klein, Wolfgang J. Paul
Performance of MP3D on the SB-PRAM Prototype (Research Note). Euro-Par (2002)
Wolfgang J. Paul, Peter-Michael Seidel
To Booth or not to Booth. Integr. 32 (1-2) (2002)
Daniel Kroening, Wolfgang J. Paul
Automated Pipeline Design. DAC (2001)
Guy Even, Wolfgang J. Paul
On the Design of IEEE Compliant Floating Point Units. IEEE Trans. Computers 49 (5) (2000)
Daniel Kröning, Wolfgang J. Paul, Silvia M. Müller
Proving the Correctness of Pipelined Micro-Architectures. MBMV (2000)
Ferri Abolhassan, Jörg Keller, Wolfgang J. Paul
On the Cost-Effectiveness of PRAMs. Acta Informatica 36 (6) (1999)
Silvia M. Müller, Wolfgang J. Paul
On the Correctness of Hardware Scheduling Mechanisms for Out-of-Order Execution. J. Circuits Syst. Comput. 8 (2) (1998)
Guy Even, Wolfgang J. Paul
On the Design of IEEE Compliant Floating Point Units. IEEE Symposium on Computer Arithmetic (1997)
Andreas Döring, Wolfgang J. Paul
Decimal Adjustment of Long Numbers in Constant Time. Inf. Process. Lett. 62 (3) (1997)
Silvia M. Müller, Wolfgang J. Paul
Making the Original Scoreboard Mechanism Deadlock Free. ISTCS (1996)
Wolfgang J. Paul, Ray J. Solomonoff
Autonomous theory building systems. Ann. Oper. Res. 55 (1) (1995)
G. Gemünd, M. Jakob, Werner Massonne, Wolfgang J. Paul, B. Spengler
High Performance Transaction Systems on the SB-PRAM. ISTCS (1995)
Reinhard Drefenstedt, Jörg Keller, Wolfgang J. Paul
Applications of PRAMs in Telecommunications. IFIP Congress (1) (1994)
Jörg Keller, Wolfgang J. Paul, Dieter Scheerer
Realization of PRAMs: Processor Design. WDAG (1994)
Wolfgang J. Paul
A Note on Bitonic Sorting. Inf. Process. Lett. 49 (5) (1994)
Christoph W. Keßler, Wolfgang J. Paul
Automatic Parallelization by Pattern-Matching. ACPC (1993)
Ferri Abolhassan, Reinhard Drefenstedt, Jörg Keller, Wolfgang J. Paul, Dieter Scheerer
On the Physical Design of PRAMs. Comput. J. 36 (8) (1993)
Kurt Mehlhorn, Wolfgang J. Paul, Christian Uhrig
k versus k+1 Index Registers and Modifiable versus Non-modifiable Programs Inf. Comput. 101 (1) (1992)
Arno Formella, Werner Massonne, Wolfgang J. Paul
Cost Effectiveness of Data Flow Machines and Vector Processors. Heinz Nixdorf Symposium (1992)
Christoph W. Keßler, Wolfgang J. Paul, Thomas Rauber
A Randomized Heuristic Approach to Register Allocation PLILP (1991)
Christoph W. Keßler, Wolfgang J. Paul, Thomas Rauber
Scheduling Vector Straight Line Code on Vector Processors. Code Generation (1991)
Ferri Abolhassan, Jörg Keller, Wolfgang J. Paul
On the cost-effectiveness of PRAMs. SPDP (1991)
Ferri Abolhassan, Jörg Keller, Wolfgang J. Paul
Überblick über PRAM-Simulationen und ihre Realisierbarkeit. Entwurf und Betrieb verteilter Systeme (1990)
Wolfgang J. Paul
Parallelrechner aus wissenschaftlicher und kommerzieller Sicht. ARCS (1990)
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)
Kurt Mehlhorn, Wolfgang J. Paul
Two Versus One Index Register and Modifiable Versus Non-modifiable Programs. ICALP (1989)
P. Bergmann, Jörg Keller, Thomas Malter, Silvia M. Müller, Wolfgang J. Paul, Thorsten Pöschel, O. Schlüter, Lothar Thiele
Implementierung eines informationstheoretischen Ansatzes zur Bilderkennung. Innovative Informations-Infrastrukturen (1988)
Didier Y. Hinz, Wolfgang J. Paul
Über Parallelrechner für numerische Anwendungen und ihre Programmierung. Prax. Inf.verarb. Kommun. 10 (3) (1987)
Allan Borodin, Danny Dolev, Faith E. Fich, Wolfgang J. Paul
Bounds for Width Two Branching Programs. SIAM J. Comput. 15 (2) (1986)
Maria M. Klawe, Wolfgang J. Paul, Nicholas Pippenger, Mihalis Yannakakis
On Monotone Formulae with Restricted Depth (Preliminary Version) STOC (1984)
Wolfgang J. Paul
On Heads Versus Tapes. Theor. Comput. Sci. 28 (1984)
Pavol Duris, Zvi Galil, Wolfgang J. Paul, Rüdiger Reischuk
Two Nonlinear Lower Bounds for On-Line Computations Inf. Control. 60 (1-3) (1984)
Zvi Galil, Wolfgang J. Paul
An Efficient General-Purpose Parallel Computer J. ACM 30 (2) (1983)
Pavol Duris, Zvi Galil, Wolfgang J. Paul, Rüdiger Reischuk
Two Nonlinear Lower Bounds STOC (1983)
Wolfgang J. Paul, Nicholas Pippenger, Endre Szemerédi, William T. Trotter
On Determinism versus Non-Determinism and Related Problems (Preliminary Version) FOCS (1983)
Wolfgang J. Paul, Uzi Vishkin, Hubert Wagener
Parallel Computation on 2-3-Trees. RAIRO Theor. Informatics Appl. 17 (4) (1983)
Allan Borodin, Danny Dolev, Faith E. Fich, Wolfgang J. Paul
Bounds for Width Two Branching Programs STOC (1983)
Wolfgang J. Paul, Uzi Vishkin, Hubert Wagener
Parallel Dictionaries in 2-3 Trees. ICALP (1983)
Wolfgang J. Paul
On-Line Simulation of k+1 Tapes by k Tapes Requires Nonlinear Time Inf. Control. 53 (1/2) (1982)
Wolfgang J. Paul
On-Line Simulation of k+1 Tapes by k Tapes Requires Nonlinear Time FOCS (1982)
Wolfgang J. Paul, Rüdiger Reischuk
On Time versus Space II. (Turing Machines). J. Comput. Syst. Sci. 22 (3) (1981)
Zvi Galil, Wolfgang J. Paul
An Efficient General Purpose Parallel Computer STOC (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) (1981)
Wolfgang J. Paul
On Heads Versus Tapes FOCS (1981)
Zvi Galil, Wolfgang J. Paul
Effizienz Paralleler Rechner. GI Jahrestagung (1980)
Wolfgang J. Paul, Rüdiger Reischuk
On Alternation II. A Graph Theoretic Approach to Determinism Versus Nondeterminism. Acta Informatica 14 (1980)
Wolfgang J. Paul, Ernst-Jürgen Prauß, Rüdiger Reischuk
On Alternation. Acta Informatica 14 (1980)
Wolfgang J. Paul, Joel I. Seiferas, Janos Simon
An Information-Theoretic Approach to Time Bounds for On-Line Computation (Preliminary Version) STOC (1980)
Wolfgang J. Paul
Kolmogorov complexity and lower bounds. FCT (1979)
Wolfgang J. Paul
On Time Hierarchies. J. Comput. Syst. Sci. 19 (2) (1979)
Wolfgang J. Paul, Rüdiger Reischuk
On Time versus Space II FOCS (1979)
Wolfgang J. Paul, Rüdiger Reischuk
A Graph Theoretic Approach to Determinism versus Non-Determinism. Theoretical Computer Science (1979)
Wolfgang J. Paul, Ernst-Jürgen Prauß, Rüdiger Reischuk
On Alternation (Preliminary Version) FOCS (1978)
Wolfgang J. Paul, Robert Endre Tarjan
Time-Space Trade-Offs in a Pebble Game. Acta Informatica 10 (1978)
Wolfgang J. Paul, Robert Endre Tarjan, James R. Celoni
Correction: Space Bounds for a Game on Graphs. Math. Syst. Theory 11 (1977)
Wolfgang J. Paul
A 2.5 n-Lower Bound on the Combinational Complexity of Boolean Functions. SIAM J. Comput. 6 (3) (1977)
Wolfgang J. Paul, Robert Endre Tarjan
Time-Space Trade-Offs in a Pebble Game. ICALP (1977)
Wolfgang J. Paul, Robert Endre Tarjan, James R. Celoni
Space Bounds for a Game on Graphs. Math. Syst. Theory 10 (1977)
John E. Hopcroft, Wolfgang J. Paul, Leslie G. Valiant
On Time Versus Space. J. ACM 24 (2) (1977)
Wolfgang J. Paul
On Time Hierarchies STOC (1977)
Wolfgang J. Paul, Robert Endre Tarjan, James R. Celoni
Space Bounds for a Game of Graphs STOC (1976)
Wolfgang J. Paul
Realizing Boolean Functions on Disjoint sets of Variables. Theor. Comput. Sci. 2 (3) (1976)
Wolfgang J. Paul
A 2.5 n-lower Bound on the Combinatorial Complexity of Boolean Functions STOC (1975)
John E. Hopcroft, Wolfgang J. Paul, Leslie G. Valiant
On Time versus Space and Related Problems FOCS (1975)
Wolfgang J. Paul
Boolesche Minimalpolynome und Überdeckungsprobleme. Acta Informatica 4 (1974)
Wolfgang J. Paul, Hans-Jörg Stoß
Zur Komplexität von Sortierproblemen. Acta Informatica 3 (1974)
Wolfgang J. Paul
Optimale Algorithmen zum Transponieren Quadratischer Matrizen. GI Jahrestagung (1973)
Wolfgang J. Paul
Über die Zeit, die benötigt wird, um endliche Mengen umzuordnen. Automatentheorie und Formale Sprachen (1973)
Wolfgang J. Paul
Realisierung des Streaming-Konzepts. GI Jahrestagung (1972)