Robert M. Marmorstein

Publication Activity (10 Years)

Years Active: 2002-2011
Publications (10 Years): 0

Publications

Robert M. Marmorstein
Open source contribution as an effective software engineering class project. ITiCSE (2011)
Robert M. Marmorstein, Phil Kearns
Debugging a Firewall Policy with Policy Mapping. login Usenix Mag. 32 (1) (2007)
Robert M. Marmorstein, Phil Kearns
Assisted Firewall Policy Repair Using Examples and History. LISA (2007)
Robert M. Marmorstein, Phil Kearns
Firewall Analysis with Policy-based Host Classification. LISA (2006)
Gianfranco Ciardo, Robert M. Marmorstein, Radu Siminiceanu
The saturation algorithm for symbolic state-space exploration. Int. J. Softw. Tools Technol. Transf. 8 (1) (2006)
Robert M. Marmorstein, Phil Kearns
A Tool for Automated iptables Firewall Analysis. USENIX Annual Technical Conference, FREENIX Track (2005)
Robert M. Marmorstein, Phil Kearns
An Open Source Solution for Testing NAT'd and Nested iptables Firewalls. LISA (2005)
Gianfranco Ciardo, Robert M. Marmorstein, Radu Siminiceanu
Saturation Unbound. TACAS (2003)
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)