Wolfgang J. Paul

According to our database, Wolfgang J. Paul authored at least 93 papers between 1972 and 2016.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of two.

2016

System Architecture - An Ordinary Engineering Discipline

Wolfgang J. Paul, Christoph Baumann, Petro Lutsyk, Sabine Schmaltz

Springer, ISBN: 978-3-319-43065-2, 2016

2014

A Pipelined Multi-core MIPS Machine - Hardware Implementation and Correctness Proof.

Mikhail Kovalev, Silvia M. Müller, Wolfgang J. Paul

Lecture Notes in Computer Science 9000, Springer, ISBN: 978-3-319-13906-7, 2014

2013

Theory of Multi Core Hypervisor Verification.

Ernie Cohen, Wolfgang J. Paul, Sabine Schmaltz

Proceedings of the SOFSEM 2013: Theory and Practice of Computer Science, 2013

2012

Cyber War, Formal Verification and Certified Infrastructure.

Wolfgang J. Paul

Proceedings of the Verified Software: Theories, Tools, Experiments, 2012

Verification of TLB Virtualization Implemented in C.

Eyad Alkassar, Ernie Cohen, Mikhail Kovalev, Wolfgang J. Paul

Proceedings of the Verified Software: Theories, Tools, Experiments, 2012

Completing the Automated Verification of a Small Hypervisor - Assembler Code Verification.

Wolfgang J. Paul, Sabine Schmaltz, Andrey Shadrin

Proceedings of the Software Engineering and Formal Methods - 10th International Conference, 2012

2011

Complete Formal Hardware Verification of Interfaces for a FlexRay-Like Bus.

Christian Müller, Wolfgang J. Paul

Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

2010

Pervasive Verification of an OS Microkernel - Inline Assembly, Memory Consumption, Concurrent Devices.

Eyad Alkassar, Wolfgang J. Paul, Artem Starostin, Alexandra Tsyban

Proceedings of the Verified Software: Theories, 2010

Automated Verification of a Small Hypervisor.

Eyad Alkassar, Mark A. Hillebrand, Wolfgang J. Paul, Elena Petrova

Proceedings of the Verified Software: Theories, 2010

Computational models for the age of multicore processing.

Wolfgang J. Paul

Proceedings of the 28th International Conference on Computer Design, 2010

Verifying shadow page table algorithms.

Eyad Alkassar, Ernie Cohen, Mark A. Hillebrand, Mikhail Kovalev, Wolfgang J. Paul

Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, 2010

2009

Invariants, Modularity, and Rights.

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

Proceedings of the Perspectives of Systems Informatics, 2009

Pervasive Theory of Memory.

Ulan Degenbaev, Wolfgang J. Paul, Norbert Schirmer

Proceedings of the Efficient Algorithms, 2009

2008

On the correctness of upper layers of automotive systems.

Jewgenij Botaschanjan, Manfred Broy, Alexander Gruler, Alexander Harhurin, Steffen Knapp, Leonid Kof, Wolfgang J. Paul, Maria Spichkova

Formal Aspects Comput., 2008

2007

On the Architecture of System Verification Environments.

Mark A. Hillebrand, Wolfgang J. Paul

Proceedings of the Hardware and Software: Verification and Testing, 2007

2006

Putting it all together - Formal verification of the VAMP.

Sven Beyer, Christian Jacobi, Daniel Kröning, Dirk Leinenbach, Wolfgang J. Paul

Int. J. Softw. Tools Technol. Transf., 2006

Realistic Worst-Case Execution Time Analysis in the Context of Pervasive System Verification.

Steffen Knapp, Wolfgang J. Paul

Proceedings of the Program Analysis and Compilation, 2006

2005

Towards a Worldwide Verification Technology.

Wolfgang J. Paul

Proceedings of the Verified Software: Theories, 2005

On the Correctness of Operating System Kernels.

Mauro Gargano, Mark A. Hillebrand, Dirk Leinenbach, Wolfgang J. Paul

Proceedings of the Theorem Proving in Higher Order Logics, 18th International Conference, 2005

Towards the Formal Verification of a C0 Compiler: Code Generation and Implementation Correctnes.

Dirk Leinenbach, Wolfgang J. Paul, Elena Petrova

Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 2005

Dealing with I/O Devices in the Context of Pervasive System Verification.

Mark A. Hillebrand, Thomas In der Rieden, Wolfgang J. Paul

Proceedings of the 23rd International Conference on Computer Design (ICCD 2005), 2005

Towards the Formal Verification of Lower System Layers in Automotive Systems.

Sven Beyer, Peter Böhm, Michael Gerke, Mark A. Hillebrand, Thomas In der Rieden, Steffen Knapp, Dirk Leinenbach, Wolfgang J. Paul

Proceedings of the 23rd International Conference on Computer Design (ICCD 2005), 2005

Towards the Pervasive Verification of Automotive Systems.

Thomas In der Rieden, Dirk Leinenbach, Wolfgang J. Paul

Proceedings of the Correct Hardware Design and Verification Methods, 2005

On the Verification of Memory Management Mechanisms.

Iakov Dalinger, Mark A. Hillebrand, Wolfgang J. Paul

Proceedings of the Correct Hardware Design and Verification Methods, 2005

Hardware Design - formaler Entwurf digitaler Schaltungen, 3. Auflage.

Jörg Keller, Wolfgang J. Paul

Teubner-Texte zur Informatik, Teubner, ISBN: 978-3-519-23047-2, 2005

2004

Realtime ray tracing of dynamic scenes on an FPGA chip.

Jörg Schmittler, Sven Woop, Daniel Wagner, Wolfgang J. Paul, Philipp Slusallek

Proceedings of the ACM SIGGRAPH/EUROGRAPHICS Symposium on Graphics Hardware 2004, 2004

2003

Instantiating Uninterpreted Functional Units and Memory System: Functional Verification of the VAMP.

Sven Beyer, Christian Jacobi, Daniel Kroening, Dirk Leinenbach, Wolfgang J. Paul

Proceedings of the Correct Hardware Design and Verification Methods, 2003

2002

To Booth or not to Booth.

Wolfgang J. Paul, Peter-Michael Seidel

Integr., 2002

Real PRAM Programming.

Wolfgang J. Paul, Peter Bach, Michael Bosch, Jörg Fischer, Cédric Lichtenau, Jochen Röhrig

Proceedings of the Euro-Par 2002, 2002

Performance of MP3D on the SB-PRAM Prototype (Research Note).

Roman Dementiev, Michael Klein, Wolfgang J. Paul

Proceedings of the Euro-Par 2002, 2002

2001

Automated Pipeline Design.

Daniel Kroening, Wolfgang J. Paul

Proceedings of the 38th Design Automation Conference, 2001

2000

On the Design of IEEE Compliant Floating Point Units.

Guy Even, Wolfgang J. Paul

IEEE Trans. Computers, 2000

Proving the Correctness of Pipelined Micro-Architectures.

Daniel Kröning, Wolfgang J. Paul, Silvia M. Müller

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Frankfurt, Germany, February 28, 2000

Computer architecture - complexity and correctness.

Silvia M. Müller, Wolfgang J. Paul

Springer, ISBN: 978-3-540-67481-8, 2000

1999

On the Cost-Effectiveness of PRAMs.

Ferri Abolhassan, Jörg Keller, Wolfgang J. Paul

Acta Informatica, 1999

1998

On the Correctness of Hardware Scheduling Mechanisms for Out-of-Order Execution.

Silvia M. Müller, Wolfgang J. Paul

J. Circuits Syst. Comput., 1998

1997

Decimal Adjustment of Long Numbers in Constant Time.

Andreas Döring, Wolfgang J. Paul

Inf. Process. Lett., 1997

1996

Making the Original Scoreboard Mechanism Deadlock Free.

Silvia M. Müller, Wolfgang J. Paul

Proceedings of the Fourth Israel Symposium on Theory of Computing and Systems, 1996

1995

Autonomous theory building systems.

Wolfgang J. Paul, Ray J. Solomonoff

Ann. Oper. Res., 1995

High Performance Transaction Systems on the SB-PRAM.

G. Gemünd, M. Jakob, Werner Massonne, Wolfgang J. Paul, B. Spengler

Proceedings of the Third Israel Symposium on Theory of Computing and Systems, 1995

The Complexity of Simple Computer Architectures

Silvia M. Müller, Wolfgang J. Paul

Lecture Notes in Computer Science 995, Springer, ISBN: 3-540-60580-0, 1995

Hardware Design - formaler Entwurf digitaler Schaltungen.

Jörg Keller, Wolfgang J. Paul

Teubner-Texte zur Informatik 15, Teubner, ISBN: 978-3-8154-2065-2, 1995

1994

A Note on Bitonic Sorting.

Wolfgang J. Paul

Inf. Process. Lett., 1994

Realization of PRAMs: Processor Design.

Jörg Keller, Wolfgang J. Paul, Dieter Scheerer

Proceedings of the Distributed Algorithms, 8th International Workshop, 1994

Applications of PRAMs in Telecommunications.

Reinhard Drefenstedt, Jörg Keller, Wolfgang J. Paul

Proceedings of the Technology and Foundations - Information Processing '94, Volume 1, Proceedings of the IFIP 13th World Computer Congress, Hamburg, Germany, 28 August, 1994

Isolating the Reasons for the Performance of Parallel Machines on Numerical Programs.

Arno Formella, Silvia M. Müller, Wolfgang J. Paul, Anke Bingert

Proceedings of the Automatic Parallelization: New Approaches to Code Generation, 1994

1993

On the Physical Design of PRAMs.

Ferri Abolhassan, Reinhard Drefenstedt, Jörg Keller, Wolfgang J. Paul, Dieter Scheerer

Comput. J., 1993

Automatic Parallelization by Pattern-Matching.

Christoph W. Keßler, Wolfgang J. Paul

Proceedings of the Parallel Computation, 1993

1992

k versus k+1 Index Registers and Modifiable versus Non-modifiable Programs

Kurt Mehlhorn, Wolfgang J. Paul, Christian Uhrig

Inf. Comput., November, 1992

Cost Effectiveness of Data Flow Machines and Vector Processors.

Arno Formella, Werner Massonne, Wolfgang J. Paul

Proceedings of the Parallel Architectures and Their Efficient Use, 1992

On the Physical Design of PRAMs.

Ferri Abolhassan, Reinhard Drefenstedt, Jörg Keller, Wolfgang J. Paul, Dieter Scheerer

Proceedings of the Informatik, Festschrift zum 60. Geburtstag von Günter Hotz, 1992

1991

A Randomized Heuristic Approach to Register Allocation

Christoph W. Keßler, Wolfgang J. Paul, Thomas Rauber

Proceedings of the Programming Language Implementation and Logic Programming, 1991

Scheduling Vector Straight Line Code on Vector Processors.

Christoph W. Keßler, Wolfgang J. Paul, Thomas Rauber

Proceedings of the Code Generation, 1991

1990

Überblick über PRAM-Simulationen und ihre Realisierbarkeit.

Ferri Abolhassan, Jörg Keller, Wolfgang J. Paul

Proceedings of the Entwurf und Betrieb verteilter Systeme, 1990

Parallelrechner aus wissenschaftlicher und kommerzieller Sicht.

Wolfgang J. Paul

Proceedings of the Architektur von Rechensystemen, 1990

1989

Contributions of Theoretical Computer Science, Applied Computer Science and Numerical Mathematics to the Design of Parallel Computers.

Silvia M. Müller, Wolfgang J. Paul

Proceedings of the Information Processing 89, Proceedings of the IFIP 11th World Computer Congress, San Francisco, USA, August 28, 1989

Two Versus One Index Register and Modifiable Versus Non-modifiable Programs.

Kurt Mehlhorn, Wolfgang J. Paul

Proceedings of the Automata, Languages and Programming, 16th International Colloquium, 1989

1988

Implementierung eines informationstheoretischen Ansatzes zur Bilderkennung.

P. Bergmann, Jörg Keller, Thomas Malter, Silvia M. Müller, Wolfgang J. Paul, Thorsten Pöschel, O. Schlüter, Lothar Thiele

Proceedings of the Innovative Informations-Infrastrukturen, 1988

1987

Über Parallelrechner für numerische Anwendungen und ihre Programmierung.

Didier Y. Hinz, Wolfgang J. Paul

Prax. Inf.verarb. Kommun., 1987

1986

Bounds for Width Two Branching Programs.

Allan Borodin, Danny Dolev, Faith E. Fich, Wolfgang J. Paul

SIAM J. Comput., 1986

1984

On Heads Versus Tapes.

Wolfgang J. Paul

Theor. Comput. Sci., 1984

Two Nonlinear Lower Bounds for On-Line Computations

Pavol Duris, Zvi Galil, Wolfgang J. Paul, Rüdiger Reischuk

Inf. Control., 1984

On Monotone Formulae with Restricted Depth (Preliminary Version)

Maria M. Klawe, Wolfgang J. Paul, Nicholas Pippenger, Mihalis Yannakakis

Proceedings of the 16th Annual ACM Symposium on Theory of Computing, April 30, 1984

1983

An Efficient General-Purpose Parallel Computer

Zvi Galil, Wolfgang J. Paul

J. ACM, April, 1983

Parallel Computation on 2-3-Trees.

Wolfgang J. Paul, Uzi Vishkin, Hubert Wagener

RAIRO Theor. Informatics Appl., 1983

Two Nonlinear Lower Bounds

Pavol Duris, Zvi Galil, Wolfgang J. Paul, Rüdiger Reischuk

Proceedings of the 15th Annual ACM Symposium on Theory of Computing, 1983

Parallel Dictionaries in 2-3 Trees.

Wolfgang J. Paul, Uzi Vishkin, Hubert Wagener

Proceedings of the Automata, 1983

On Determinism versus Non-Determinism and Related Problems (Preliminary Version)

Wolfgang J. Paul, Nicholas Pippenger, Endre Szemerédi, William T. Trotter

Proceedings of the 24th Annual Symposium on Foundations of Computer Science, 1983

1982

On-Line Simulation of k+1 Tapes by k Tapes Requires Nonlinear Time

Wolfgang J. Paul

Inf. Control., 1982

1981

An Information-Theoretic Approach to Time Bounds for On-Line Computation.

Wolfgang J. Paul, Joel I. Seiferas, Janos Simon

J. Comput. Syst. Sci., 1981

On Time versus Space II. (Turing Machines).

Wolfgang J. Paul, Rüdiger Reischuk

J. Comput. Syst. Sci., 1981

1980

On Alternation II. A Graph Theoretic Approach to Determinism Versus Nondeterminism.

Wolfgang J. Paul, Rüdiger Reischuk

Acta Informatica, 1980

On Alternation.

Wolfgang J. Paul, Ernst-Jürgen Prauß, Rüdiger Reischuk

Acta Informatica, 1980

An Information-Theoretic Approach to Time Bounds for On-Line Computation (Preliminary Version)

Wolfgang J. Paul, Joel I. Seiferas, Janos Simon

Proceedings of the 12th Annual ACM Symposium on Theory of Computing, 1980

Effizienz Paralleler Rechner.

Zvi Galil, Wolfgang J. Paul

Proceedings of the GI - 10. Jahrestagung, Saarbrücken, 30. September, 1980

1979

On Time Hierarchies.

Wolfgang J. Paul

J. Comput. Syst. Sci., 1979

A Graph Theoretic Approach to Determinism versus Non-Determinism.

Wolfgang J. Paul, Rüdiger Reischuk

Proceedings of the Theoretical Computer Science, 1979

On Time versus Space II

Wolfgang J. Paul, Rüdiger Reischuk

Proceedings of the 20th Annual Symposium on Foundations of Computer Science, 1979

Kolmogorov complexity and lower bounds.

Wolfgang J. Paul

Proceedings of the Fundamentals of Computation Theory, 1979

1978

Time-Space Trade-Offs in a Pebble Game.

Wolfgang J. Paul, Robert Endre Tarjan

Acta Informatica, 1978

On Alternation (Preliminary Version)

Wolfgang J. Paul, Ernst-Jürgen Prauß, Rüdiger Reischuk

Proceedings of the 19th Annual Symposium on Foundations of Computer Science, 1978

1977

A 2.5 n-Lower Bound on the Combinational Complexity of Boolean Functions.

Wolfgang J. Paul

SIAM J. Comput., 1977

Correction: Space Bounds for a Game on Graphs.

Wolfgang J. Paul, Robert Endre Tarjan, James R. Celoni

Math. Syst. Theory, 1977

Space Bounds for a Game on Graphs.

Wolfgang J. Paul, Robert Endre Tarjan, James R. Celoni

Math. Syst. Theory, 1977

On Time Versus Space.

John E. Hopcroft, Wolfgang J. Paul, Leslie G. Valiant

J. ACM, 1977

1976

Realizing Boolean Functions on Disjoint sets of Variables.

Wolfgang J. Paul

Theor. Comput. Sci., 1976

1975

A 2.5 n-lower Bound on the Combinatorial Complexity of Boolean Functions

Wolfgang J. Paul

Proceedings of the 7th Annual ACM Symposium on Theory of Computing, 1975

On Time versus Space and Related Problems

John E. Hopcroft, Wolfgang J. Paul, Leslie G. Valiant

Proceedings of the 16th Annual Symposium on Foundations of Computer Science, 1975

1974

Zur Komplexität von Sortierproblemen.

Wolfgang J. Paul, Hans-Jörg Stoß

Acta Informatica, 1974

Boolesche Minimalpolynome und Überdeckungsprobleme.

Wolfgang J. Paul

Acta Informatica, 1974

1973

Optimale Algorithmen zum Transponieren Quadratischer Matrizen.

Wolfgang J. Paul

Proceedings of the Gesellschaft für Informatik e.V., 1973

Über die Zeit, die benötigt wird, um endliche Mengen umzuordnen.

Wolfgang J. Paul

Proceedings of the 1. Fachtagung über Automatentheorie und Formale Sprachen, 1973

1972

Realisierung des Streaming-Konzepts.

Wolfgang J. Paul

Proceedings of the Gesellschaft für Informatik e.V., 1972