Search the dblp DataBase
Dave Peticolas: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Cui Zhang, Brian R. Becker, Dave Peticolas, Mark Heckman, Karl N. Levitt, Ronald A. Olsson
Verification of a Distributed Computing. [Citation Graph (0, 0)][DBLP]
HICSS (5), 1997, pp:252-261 [Conf] - Richard J. Feiertag, Stuart Staniford-Chen, Karl N. Levitt, Mark Heckman, Dave Peticolas, Rick Crawford, Lee Benzinger, Sue Rho, Stephen Wu
Intrusion Detection Inter-component Adaptive Negotiation. [Citation Graph (0, 0)][DBLP]
Recent Advances in Intrusion Detection, 1999, pp:- [Conf] - Mark Heckman, Cui Zhang, Brian R. Becker, Dave Peticolas, Karl N. Levitt, Ronald A. Olsson
Towards Applying the Composition Principle to Verify a Microkernel Operating System. [Citation Graph (0, 0)][DBLP]
TPHOLs, 1996, pp:235-250 [Conf] - Richard J. Feiertag, Stuart Staniford-Chen, Karl N. Levitt, Mark Heckman, Dave Peticolas, Rick Crawford, Lee Benzinger, Sue Rho, Stephen Wu
Intrusion detection inter-component adaptive negotiation. [Citation Graph (0, 0)][DBLP]
Computer Networks, 2000, v:34, n:4, pp:605-621 [Journal] - Cui Zhang, Brian R. Becker, Dave Peticolas, Ronald A. Olsson, Karl N. Levitt
LVT: A Layered Verification Technique for Distributed Computing Systems. [Citation Graph (0, 0)][DBLP]
Softw. Test., Verif. Reliab., 1999, v:9, n:2, pp:107-133 [Journal]
Search in 0.003secs, Finished in 0.003secs
| 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 |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002