Wolfgang J. Paul

According to our database1, Wolfgang J. Paul
  • authored at least 97 papers between 1972 and 2016.
  • has a "Dijkstra number"2 of three.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2016
System Architecture - An Ordinary Engineering Discipline
Springer, ISBN: 978-3-319-43065-2, 2016

2014
A Pipelined Multi-core MIPS Machine - Hardware Implementation and Correctness Proof.
Lecture Notes in Computer Science 9000, Springer, ISBN: 978-3-319-13906-7, 2014

2013
Theory of Multi Core Hypervisor Verification.
Proceedings of the SOFSEM 2013: Theory and Practice of Computer Science, 2013

2012
Cyber War, Formal Verification and Certified Infrastructure.
Proceedings of the Verified Software: Theories, Tools, Experiments, 2012

Verification of TLB Virtualization Implemented in C.
Proceedings of the Verified Software: Theories, Tools, Experiments, 2012

Completing the Automated Verification of a Small Hypervisor - Assembler Code Verification.
Proceedings of the Software Engineering and Formal Methods - 10th International Conference, 2012

2011
Complete Formal Hardware Verification of Interfaces for a FlexRay-Like Bus.
Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

2010
Pervasive Verification of an OS Microkernel - Inline Assembly, Memory Consumption, Concurrent Devices.
Proceedings of the Verified Software: Theories, 2010

Automated Verification of a Small Hypervisor.
Proceedings of the Verified Software: Theories, 2010

Computational models for the age of multicore processing.
Proceedings of the 28th International Conference on Computer Design, 2010

Verifying shadow page table algorithms.
Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, 2010

2009

Pervasive Theory of Memory.
Proceedings of the Efficient Algorithms, 2009

2008
On the correctness of upper layers of automotive systems.
Formal Asp. Comput., 2008

2007
On the Architecture of System Verification Environments.
Proceedings of the Hardware and Software: Verification and Testing, 2007

2006
Putting it all together - Formal verification of the VAMP.
STTT, 2006

Realistic Worst-Case Execution Time Analysis in the Context of Pervasive System Verification.
Proceedings of the Program Analysis and Compilation, 2006

2005
Towards a Worldwide Verification Technology.
Proceedings of the Verified Software: Theories, 2005

On the Correctness of Operating System Kernels.
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.
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.
Proceedings of the 23rd International Conference on Computer Design (ICCD 2005), 2005

Towards the Formal Verification of Lower System Layers in Automotive Systems.
Proceedings of the 23rd International Conference on Computer Design (ICCD 2005), 2005

Towards the Pervasive Verification of Automotive Systems.
Proceedings of the Correct Hardware Design and Verification Methods, 2005

On the Verification of Memory Management Mechanisms.
Proceedings of the Correct Hardware Design and Verification Methods, 2005

2004
Realtime ray tracing of dynamic scenes on an FPGA chip.
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.
Proceedings of the Correct Hardware Design and Verification Methods, 2003

2002
To Booth or not to Booth.
Integration, 2002

Real PRAM Programming.
Proceedings of the Euro-Par 2002, 2002

Performance of MP3D on the SB-PRAM Prototype (Research Note).
Proceedings of the Euro-Par 2002, 2002

2001
Automated Pipeline Design.
Proceedings of the 38th Design Automation Conference, 2001

2000
On the Design of IEEE Compliant Floating Point Units.
IEEE Trans. Computers, 2000

Proving the Correctness of Pipelined Micro-Architectures.
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.
Springer, ISBN: 978-3-540-67481-8, 2000

1999
On the Cost-Effectiveness of PRAMs.
Acta Inf., 1999

1998
On the Correctness of Hardware Scheduling Mechanisms for Out-of-Order Execution.
Journal of Circuits, Systems, and Computers, 1998

1997
Decimal Adjustment of Long Numbers in Constant Time.
Inf. Process. Lett., 1997

On the Design of IEEE Compliant Floating Point Units.
Proceedings of the 13th Symposium on Computer Arithmetic (ARITH-13 '97), 1997

1996
Making the Original Scoreboard Mechanism Deadlock Free.
Proceedings of the Fourth Israel Symposium on Theory of Computing and Systems, 1996

1995
High Performance Transaction Systems on the SB-PRAM.
Proceedings of the Third Israel Symposium on Theory of Computing and Systems, 1995

The Complexity of Simple Computer Architectures
Lecture Notes in Computer Science 995, Springer, ISBN: 3-540-60580-0, 1995

1994
A Note on Bitonic Sorting.
Inf. Process. Lett., 1994

Realization of PRAMs: Processor Design.
Proceedings of the Distributed Algorithms, 8th International Workshop, 1994

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

1993
On the Physical Design of PRAMs.
Comput. J., 1993

Automatic Parallelization by Pattern-Matching.
Proceedings of the Parallel Computation, 1993

1992
k versus k+1 Index Registers and Modifiable versus Non-modifiable Programs
Inf. Comput., November, 1992

Cost Effectiveness of Data Flow Machines and Vector Processors.
Proceedings of the Parallel Architectures and Their Efficient Use, 1992

1991
On the cost-effectiveness of PRAMs.
Proceedings of the Third IEEE Symposium on Parallel and Distributed Processing, 1991

A Randomized Heuristic Approach to Register Allocation
Proceedings of the Programming Language Implementation and Logic Programming, 1991

Scheduling Vector Straight Line Code on Vector Processors.
Code Generation, 1991

1990
Überblick über PRAM-Simulationen und ihre Realisierbarkeit.
Proceedings of the Entwurf und Betrieb verteilter Systeme, 1990

Parallelrechner aus wissenschaftlicher und kommerzieller Sicht.
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.
IFIP Congress, 1989

Two Versus One Index Register and Modifiable Versus Non-modifiable Programs.
Proceedings of the Automata, Languages and Programming, 16th International Colloquium, 1989

1988
Implementierung eines informationstheoretischen Ansatzes zur Bilderkennung.
Proceedings of the Innovative Informations-Infrastrukturen, 1988

1987
Über Parallelrechner für numerische Anwendungen und ihre Programmierung.
Praxis der Informationsverarbeitung und Kommunikation, 1987

1986
Bounds for Width Two Branching Programs.
SIAM J. Comput., 1986

1984
On Heads Versus Tapes.
Theor. Comput. Sci., 1984

Two Nonlinear Lower Bounds for On-Line Computations
Information and Control, 1984

On Monotone Formulae with Restricted Depth (Preliminary Version)
Proceedings of the 16th Annual ACM Symposium on Theory of Computing, April 30, 1984

1983
An Efficient General-Purpose Parallel Computer
J. ACM, April, 1983

Parallel Computation on 2-3-Trees.
ITA, 1983

Two Nonlinear Lower Bounds
Proceedings of the 15th Annual ACM Symposium on Theory of Computing, 1983

Bounds for Width Two Branching Programs
Proceedings of the 15th Annual ACM Symposium on Theory of Computing, 1983

Parallel Dictionaries in 2-3 Trees.
Proceedings of the Automata, 1983

On Determinism versus Non-Determinism and Related Problems (Preliminary Version)
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
Information and Control, 1982

On-Line Simulation of k+1 Tapes by k Tapes Requires Nonlinear Time
Proceedings of the 23rd Annual Symposium on Foundations of Computer Science, 1982

1981
An Information-Theoretic Approach to Time Bounds for On-Line Computation.
J. Comput. Syst. Sci., 1981

On Time versus Space II. (Turing Machines).
J. Comput. Syst. Sci., 1981

An Efficient General Purpose Parallel Computer
Proceedings of the 13th Annual ACM Symposium on Theory of Computing, 1981

On Heads Versus Tapes
Proceedings of the 22nd Annual Symposium on Foundations of Computer Science, 1981

1980
On Alternation II. A Graph Theoretic Approach to Determinism Versus Nondeterminism.
Acta Inf., 1980

On Alternation.
Acta Inf., 1980

An Information-Theoretic Approach to Time Bounds for On-Line Computation (Preliminary Version)
Proceedings of the 12th Annual ACM Symposium on Theory of Computing, 1980

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

1979
On Time Hierarchies.
J. Comput. Syst. Sci., 1979

A Graph Theoretic Approach to Determinism versus Non-Determinism.
Proceedings of the Theoretical Computer Science, 1979

On Time versus Space II
Proceedings of the 20th Annual Symposium on Foundations of Computer Science, 1979

Kolmogorov complexity and lower bounds.
FCT, 1979

1978
Time-Space Trade-Offs in a Pebble Game.
Acta Inf., 1978

On Alternation (Preliminary Version)
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.
SIAM J. Comput., 1977

Correction: Space Bounds for a Game on Graphs.
Mathematical Systems Theory, 1977

Space Bounds for a Game on Graphs.
Mathematical Systems Theory, 1977

On Time Versus Space.
J. ACM, 1977

On Time Hierarchies
Proceedings of the 9th Annual ACM Symposium on Theory of Computing, 1977

Time-Space Trade-Offs in a Pebble Game.
Proceedings of the Automata, 1977

1976
Realizing Boolean Functions on Disjoint sets of Variables.
Theor. Comput. Sci., 1976

Space Bounds for a Game of Graphs
Proceedings of the 8th Annual ACM Symposium on Theory of Computing, 1976

1975
A 2.5 n-lower Bound on the Combinatorial Complexity of Boolean Functions
Proceedings of the 7th Annual ACM Symposium on Theory of Computing, 1975

On Time versus Space and Related Problems
Proceedings of the 16th Annual Symposium on Foundations of Computer Science, 1975

1974
Zur Komplexität von Sortierproblemen.
Acta Inf., 1974

Boolesche Minimalpolynome und Überdeckungsprobleme.
Acta Inf., 1974

1973
Optimale Algorithmen zum Transponieren Quadratischer Matrizen.
Proceedings of the Gesellschaft für Informatik e.V., 1973

Über die Zeit, die benötigt wird, um endliche Mengen umzuordnen.
Proceedings of the 1. Fachtagung über Automatentheorie und Formale Sprachen, 1973

1972
Realisierung des Streaming-Konzepts.
Proceedings of the Gesellschaft für Informatik e.V., 1972


  Loading...