The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Lee Pike: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.003secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002