| Saturation unbound G Ciardo, R Marmorstein, R Siminiceanu International Conference on Tools and Algorithms for the Construction and …, 2003 | 128 | 2003 |
| The saturation algorithm for symbolic state-space exploration G Ciardo, R Marmorstein, R Siminiceanu International Journal on Software Tools for Technology Transfer 8 (1), 4-25, 2006 | 101 | 2006 |
| A Tool for Automated iptables Firewall Analysis. RM Marmorstein, P Kearns Usenix annual technical conference, Freenix Track, 71-81, 2005 | 60 | 2005 |
| Open source contribution as an effective software engineering class project R Marmorstein Proceedings of the 16th annual joint conference on Innovation and technology …, 2011 | 56 | 2011 |
| Firewall Analysis with Policy-based Host Classification. RM Marmorstein, P Kearns LISA 6, 4-4, 2006 | 34 | 2006 |
| An Open Source Solution for Testing NAT'd and Nested iptables Firewalls. RM Marmorstein, P Kearns LISA 5, 11-11, 2005 | 17 | 2005 |
| SMART: Stochastic Model checking Analyzer for Reliability and Timing, user manual G Ciardo, AS Miner, RL Jones III, RM Marmorstein, RI Siminiceanu SMART, 2004 | 14 | 2004 |
| Formal analysis of firewall policies RM Marmorstein The College of William and Mary, 2008 | 11 | 2008 |
| Teaching semaphores using... semaphores R Marmorstein Journal of Computing Sciences in Colleges 30 (3), 117-125, 2015 | 8 | 2015 |
| Assisted Firewall Policy Repair Using Examples and History. RM Marmorstein, P Kearns LISA, 27-37, 2007 | 6 | 2007 |
| Designing and implementing a user library for manipulation of multiway decision diagrams R Marmorstein MS Project Report, Department of Computer Science, The College of William …, 2004 | 2 | 2004 |
| SPIFS: short project instructional file system R Marmorstein Journal of Computing Sciences in Colleges 36 (3), 111-120, 2020 | 1 | 2020 |
| Debugging a firewall policy with polici mapping R Marmorstein, P Kearns ; login:: the magazine of USENIX & SAGE 32 (1), 44-51, 2007 | 1 | 2007 |
| Stochastic model checking analyzer for reliability and timing version 1.1 G Ciardo, AS Miner, RL Jones III, RM Marmorstein, RI Siminiceanu | 1 | 1996 |
| Thinking Inside the Box: Using Containers To Encourage Commit Discipline R Marmorstein Journal of Computing Sciences in Colleges 39 (3), 110-118, 2023 | | 2023 |
| Aberdeen, South Dakota RM Marmorstein The College of William and Mary, 2008 | | 2008 |
| APPROVAL PAGE RM Marmorstein Washington and Lee University, 2008 | | 2008 |
| Formal Analysis of Firewalls R Marmorstein, W Mao, D Coppit, H Wang, J Mayo | | 2008 |
| The saturation algorithm for symbolic state-space exploration C Gianfranco, R Marmorstein, S Radu International Journal on Software Tools for Technology Transfer 8 (1), 2006 | | 2006 |
| Symbolic Model-checking Analyzer for Reliability and Timing Version 1.1 G Ciardo, MY Chung, AS Miner, RL Jones III, RM Marmorstein, ... | | 1996 |
