Peter R. Schneider

Publications

1.2K

Citations

H-Index

1965

Active since

Affiliations

IBM Research - Thomas J. Watson Research Center(Current)

University of Wisconsin–Madison

IBM (United States)

Peter R. Schneider is an author at IBM Research - Thomas J. Watson Research Center specializing in computer engineering, computer science, and engineering.

Top concepts

EngineeringComputer ScienceComputer EngineeringFormal MethodsFormal VerificationSystems EngineeringAutomated ReasoningReliability EngineeringComputer ArchitectureVerification

Publications per year

1965–1971

Publications

Programmed Algorithms to Compute Tests to Detect and Distinguish Between Failures in Logic Circuits

J. P. Roth, W. G. Bouricius, Peter R. Schneider · IEEE Transactions on Electronic Computers · 1967 · 374 citations

Engineering, Distinguish Between Failures, Verification +22

Design of dynamically checked computers.

William C. Carter, Peter R. Schneider · IFIP Congress · 1968 · 301 citations

Engineering, Runtime Verification, Checked Computers +9

Reliability modeling techniques for self-repairing computer systems

W. G. Bouricius, W. C. Carter, Peter R. Schneider · 1969 · 237 citations

Software Maintenance, Engineering, Computer Architecture +21

Reliability Modeling for Fault-Tolerant Computers

W. G. Bouricius, W.C. Carter, D.C. Jessep et al. · IEEE Transactions on Computers · 1971 · 114 citations

Reliability, Reliability Engineering, Engineering +15

On the Necessity to Examine D-Chains in Diagnostic Test Generation—An Example [Letter to the Editor]

Peter R. Schneider · IBM Journal of Research and Development · 1967 · 57 citations

Engineering, Parallel Paths, Diagnostic Tests +21

Rows per page

1–5 of 11