Robert M. Marmorstein

According to our database, Robert M. Marmorstein authored at least 9 papers between 2002 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2011

Open source contribution as an effective software engineering class project.

Robert M. Marmorstein

Proceedings of the 16th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2011

2007

Debugging a Firewall Policy with Policy Mapping.

Robert M. Marmorstein, Phil Kearns

login Usenix Mag., 2007

Assisted Firewall Policy Repair Using Examples and History.

Robert M. Marmorstein, Phil Kearns

Proceedings of the 21th Large Installation System Administration Conference, 2007

2006

The saturation algorithm for symbolic state-space exploration.

Gianfranco Ciardo, Robert M. Marmorstein, Radu Siminiceanu

Int. J. Softw. Tools Technol. Transf., 2006

Firewall Analysis with Policy-based Host Classification.

Robert M. Marmorstein, Phil Kearns

Proceedings of the 20th Conference on Systems Administration (LISA 2006), 2006

2005

A Tool for Automated iptables Firewall Analysis.

Robert M. Marmorstein, Phil Kearns

Proceedings of the FREENIX Track: 2005 USENIX Annual Technical Conference, 2005

An Open Source Solution for Testing NAT'd and Nested iptables Firewalls.

Robert M. Marmorstein, Phil Kearns

Proceedings of the 19th Conference on Systems Administration (LISA 2005), 2005

2003

Saturation Unbound.

Gianfranco Ciardo, Robert M. Marmorstein, Radu Siminiceanu

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003

2002

SMART: Stochastic Model-checking Analyzer for Reliability and Timing.

Gianfranco Ciardo, R. L. Jones III, Robert M. Marmorstein, Andrew S. Miner, Radu Siminiceanu

Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN 2002), 2002