| 2004 |
|---|
| 8 | EE | Elizabeth Latronico,
Paul S. Miner,
Philip Koopman:
Quantifying the Reliability of Proven SPIDER Group Membership Service Guarantees.
DSN 2004: 275-284 |
| 7 | EE | Paul S. Miner,
Alfons Geser,
Lee Pike,
Jeffrey Maddalon:
A Unified Fault-Tolerance Protocol.
FORMATS/FTRTFT 2004: 167-182 |
| 6 | EE | Lee Pike,
Jeffrey Maddalon,
Paul S. Miner,
Alfons Geser:
Abstractions for Fault-Tolerant Distributed System Verification.
TPHOLs 2004: 257-270 |
| 1997 |
|---|
| 5 | | Steven D. Johnson,
Paul S. Miner:
Integrated reasoning support in system design: design derivation and theorem proving.
CHARME 1997: 255-272 |
| 1996 |
|---|
| 4 | | Paul S. Miner,
James F. Leathrum:
Verification of IEEE Compliant Subtractive Division Algorithms.
FMCAD 1996: 64-78 |
| 1994 |
|---|
| 3 | | 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: 128-137 |
| 2 | | Steven D. Johnson,
Paul S. Miner,
Albert John Camilleri:
Studies of the Single Pulser in Various Reasoning Systems.
TPCD 1994: 126-145 |
| 1987 |
|---|
| 1 | | 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): 1000-1005 (1987) |
