dblp.uni-trier.dewww.uni-trier.de

Robert M. Marmorstein

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

2007
7EERobert M. Marmorstein, Phil Kearns: Assisted Firewall Policy Repair Using Examples and History. LISA 2007: 27-37
2006
6EERobert M. Marmorstein, Phil Kearns: Firewall Analysis with Policy-based Host Classification. LISA 2006: 41-51
5EEGianfranco Ciardo, Robert M. Marmorstein, Radu Siminiceanu: The saturation algorithm for symbolic state-space exploration. STTT 8(1): 4-25 (2006)
2005
4EERobert M. Marmorstein, Phil Kearns: An Open Source Solution for Testing NAT'd and Nested iptables Firewalls. LISA 2005: 103-112
3EERobert M. Marmorstein, Phil Kearns: A Tool for Automated iptables Firewall Analysis. USENIX Annual Technical Conference, FREENIX Track 2005: 71-81
2003
2EEGianfranco Ciardo, Robert M. Marmorstein, Radu Siminiceanu: Saturation Unbound. TACAS 2003: 379-393
2002
1EEGianfranco Ciardo, R. L. Jones III, Robert M. Marmorstein, Andrew S. Miner, Radu Siminiceanu: SMART: Stochastic Model-checking Analyzer for Reliability and Timing. DSN 2002: 545

Coauthor Index

1Gianfranco Ciardo [1] [2] [5]
2R. L. Jones III [1]
3Phil Kearns [3] [4] [6] [7]
4Andrew S. Miner [1]
5Radu Siminiceanu [1] [2] [5]

Colors in the list of coauthors

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