Search the dblp DataBase

Publications of Author

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