| 2007 |
|---|
| 7 | EE | Robert M. Marmorstein,
Phil Kearns:
Assisted Firewall Policy Repair Using Examples and History.
LISA 2007: 27-37 |
| 2006 |
|---|
| 6 | EE | Robert M. Marmorstein,
Phil Kearns:
Firewall Analysis with Policy-based Host Classification.
LISA 2006: 41-51 |
| 5 | EE | Gianfranco Ciardo,
Robert M. Marmorstein,
Radu Siminiceanu:
The saturation algorithm for symbolic state-space exploration.
STTT 8(1): 4-25 (2006) |
| 2005 |
|---|
| 4 | EE | Robert M. Marmorstein,
Phil Kearns:
An Open Source Solution for Testing NAT'd and Nested iptables Firewalls.
LISA 2005: 103-112 |
| 3 | EE | Robert M. Marmorstein,
Phil Kearns:
A Tool for Automated iptables Firewall Analysis.
USENIX Annual Technical Conference, FREENIX Track 2005: 71-81 |
| 2003 |
|---|
| 2 | EE | Gianfranco Ciardo,
Robert M. Marmorstein,
Radu Siminiceanu:
Saturation Unbound.
TACAS 2003: 379-393 |
| 2002 |
|---|
| 1 | EE | Gianfranco 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 |
