Lee Pike

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

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

Coauthor Index

1Gerard Allwein [1]
2Geoffrey M. Brown [6] [8]
3Hilmi Demir [1]
4Alfons Geser [2] [3]
5Steven D. Johnson [4]
6Jeffrey Maddalon [2] [3]
7John Matthews [7]
8Paul S. Miner [2] [3]
9Mark Shields [7]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)