The Effects of Latent Faults on Highly Reliable Computer Systems. - Frederic L. Swern; Salvatore J. Bavuso; Anna L. Martensen; Paul S. Miner (IEEE Trans. Computers, 1987)

Interaction of Formal Design Systems in the Development of a Fault-Tolerant Clock Synchronization Circuit. - Paul S. Miner; Shyamsundar Pullela; Steven D. Johnson (SRDS, 1994)

Studies of the Single Pulser in Various Reasoning Systems. - Steven D. Johnson; Paul S. Miner; Albert John Camilleri (TPCD, 1994)

Verification of IEEE Compliant Subtractive Division Algorithms. - Paul S. Miner; James F. Leathrum (FMCAD, 1996)

Integrated reasoning support in system design: design derivation and theorem proving. - Steven D. Johnson; Paul S. Miner (CHARME, 1997)

Quantifying the Reliability of Proven SPIDER Group Membership Service Guarantees. - Elizabeth Latronico; Paul S. Miner; Philip Koopman (DSN, 2004)

A Unified Fault-Tolerance Protocol. - Paul S. Miner; Alfons Geser; Lee Pike; Jeffrey Maddalon (FORMATS/FTRTFT, 2004)

Abstractions for Fault-Tolerant Distributed System Verification. - Lee Pike; Jeffrey Maddalon; Paul S. Miner; Alfons Geser (TPHOLs, 2004)