Paul S. Miner

According to our database, Paul S. Miner authored at least 8 papers between 1987 and 2004.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2004

Abstractions for Fault-Tolerant Distributed System Verification.

Lee Pike, Jeffrey Maddalon, Paul S. Miner, Alfons Geser

Proceedings of the Theorem Proving in Higher Order Logics, 17th International Conference, 2004

A Unified Fault-Tolerance Protocol.

Paul S. Miner, Alfons Geser, Lee Pike, Jeffrey Maddalon

Proceedings of the Formal Techniques, 2004

Quantifying the Reliability of Proven SPIDER Group Membership Service Guarantees.

Elizabeth Latronico, Paul S. Miner, Philip Koopman

Proceedings of the 2004 International Conference on Dependable Systems and Networks (DSN 2004), 28 June, 2004

1997

Integrated reasoning support in system design: design derivation and theorem proving.

Steven D. Johnson, Paul S. Miner

Proceedings of the Advances in Hardware Design and Verification, 1997

1996

Verification of IEEE Compliant Subtractive Division Algorithms.

Paul S. Miner, James F. Leathrum

Proceedings of the Formal Methods in Computer-Aided Design, First International Conference, 1996

1994

Studies of the Single Pulser in Various Reasoning Systems.

Steven D. Johnson, Paul S. Miner, Albert John Camilleri

Proceedings of the Theorem Provers in Circuit Design, 1994

Interaction of Formal Design Systems in the Development of a Fault-Tolerant Clock Synchronization Circuit.

Paul S. Miner, Shyamsundar Pullela, Steven D. Johnson

Proceedings of the 13th Symposium on Reliable Distributed Systems, 1994

1987

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