Paul S. Miner

Publication Activity (10 Years)

Years Active: 1987-2004
Publications (10 Years): 0

Publications

Paul S. Miner, Alfons Geser, Lee Pike, Jeffrey Maddalon
A Unified Fault-Tolerance Protocol. FORMATS/FTRTFT (2004)
Elizabeth Latronico, Paul S. Miner, Philip Koopman
Quantifying the Reliability of Proven SPIDER Group Membership Service Guarantees. DSN (2004)
Lee Pike, Jeffrey Maddalon, Paul S. Miner, Alfons Geser
Abstractions for Fault-Tolerant Distributed System Verification. TPHOLs (2004)
Steven D. Johnson, Paul S. Miner
Integrated reasoning support in system design: design derivation and theorem proving. CHARME (1997)
Paul S. Miner, James F. Leathrum
Verification of IEEE Compliant Subtractive Division Algorithms. FMCAD (1996)
Steven D. Johnson, Paul S. Miner, Albert John Camilleri
Studies of the Single Pulser in Various Reasoning Systems. TPCD (1994)
Paul S. Miner, Shyamsundar Pullela, Steven D. Johnson
Interaction of Formal Design Systems in the Development of a Fault-Tolerant Clock Synchronization Circuit. SRDS (1994)
Frederic L. Swern, Salvatore J. Bavuso, Anna L. Martensen, Paul S. Miner
The Effects of Latent Faults on Highly Reliable Computer Systems. IEEE Trans. Computers 36 (8) (1987)