Search the dblp DataBase

Publications of Author

1. Lee Pike, Steven D. Johnson
   The formal verification of a reintegration protocol. [Citation Graph (0, 0)][DBLP]
   EMSOFT, 2005, pp:286-289 [Conf]
   
2. Paul S. Miner, Alfons Geser, Lee Pike, Jeffrey Maddalon
   A Unified Fault-Tolerance Protocol. [Citation Graph (0, 0)][DBLP]
   FORMATS/FTRTFT, 2004, pp:167-182 [Conf]
   
3. Geoffrey M. Brown, Lee Pike
   Easy Parameterized Verification of Biphase Mark and 8N1 Protocols. [Citation Graph (0, 0)][DBLP]
   TACAS, 2006, pp:58-72 [Conf]
   
4. Lee Pike, Jeffrey Maddalon, Paul S. Miner, Alfons Geser
   Abstractions for Fault-Tolerant Distributed System Verification. [Citation Graph (0, 0)][DBLP]
   TPHOLs, 2004, pp:257-270 [Conf]
   
5. Lee Pike, Mark Shields, John Matthews
   A verifying core for a cryptographic language compiler. [Citation Graph (0, 0)][DBLP]
   ACL2, 2006, pp:1-10 [Conf]
   
6. Gerard Allwein, Hilmi Demir, Lee Pike
   Logics for Classes of Boolean Monoids. [Citation Graph (0, 0)][DBLP]
   Journal of Logic, Language and Information, 2004, v:13, n:3, pp:241-266 [Journal]
   
7. Lee Pike
   A Note on Inconsistent Axioms in Rushby's "Systematic Formal Verification for Fault-Tolerant Time-Triggered Algorithms'. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 2006, v:32, n:5, pp:347-348 [Journal]
   
8. Geoffrey M. Brown, Lee Pike
   Temporal Refinement Using SMT and Model Checking with an Application to Physical-Layer Protocols. [Citation Graph (0, 0)][DBLP]
   MEMOCODE, 2007, pp:171-180 [Conf]
   
9. 
   Modeling Time-Triggered Protocols and Verifying Their Real-Time Schedules. [Citation Graph (, )][DBLP]
   
   
10. 
    Roll your own test bed for embedded real-time protocols: a haskell experience. [Citation Graph (, )][DBLP]