Dave Peticolas

According to our database, Dave Peticolas authored at least 4 papers between 1996 and 1999.

Collaborative distances:

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

1999

LVT: A Layered Verification Technique for Distributed Computing Systems.

Cui Zhang, Brian R. Becker, Dave Peticolas, Ronald A. Olsson, Karl N. Levitt

Softw. Test. Verification Reliab., 1999

Intrusion Detection Inter-component Adaptive Negotiation.

Richard J. Feiertag, Stuart Staniford-Chen, Karl N. Levitt, Mark R. Heckman, Dave Peticolas, Rick Crawford, Lee A. Benzinger, Sue Rho, Stephen Wu

Proceedings of the Recent Advances in Intrusion Detection, Second International Workshop, 1999

1997

Verification of a Distributed Computing.

Cui Zhang, Brian R. Becker, Dave Peticolas, Mark R. Heckman, Karl N. Levitt, Ronald A. Olsson

Proceedings of the 30th Annual Hawaii International Conference on System Sciences (HICSS-30), 1997

1996

Towards Applying the Composition Principle to Verify a Microkernel Operating System.

Mark R. Heckman, Cui Zhang, Brian R. Becker, Dave Peticolas, Karl N. Levitt, Ronald A. Olsson

Proceedings of the Theorem Proving in Higher Order Logics, 9th International Conference, 1996