Robert M. Marmorstein

12 papers A 2B 1Journal 5Unranked 4
YearRankTypeTitle / Venue / Authors
2023 J jnl
Thinking Inside the Box: Using Containers To Encourage Commit Discipline.
J. Comput. Sci. Coll.
Robert M. Marmorstein
2020 J jnl
SPIFS: short project instructional file system.
J. Comput. Sci. Coll.
Robert M. Marmorstein
2015 J jnl
Teaching semaphores using... semaphores.
J. Comput. Sci. Coll.
Robert M. Marmorstein
2011 B conf
Open source contribution as an effective software engineering class project.
ITiCSE
Robert M. Marmorstein
2007 — conf
Assisted Firewall Policy Repair Using Examples and History.
LISA
Robert M. Marmorstein, Phil Kearns
2007 J jnl
Debugging a Firewall Policy with Policy Mapping.
login Usenix Mag.
Robert M. Marmorstein, Phil Kearns
2006 — conf
Firewall Analysis with Policy-based Host Classification.
LISA
Robert M. Marmorstein, Phil Kearns
2006 J jnl
The saturation algorithm for symbolic state-space exploration.
Int. J. Softw. Tools Technol. Transf.
Gianfranco Ciardo, Robert M. Marmorstein, Radu Siminiceanu
2005 — conf
A Tool for Automated iptables Firewall Analysis.
USENIX ATC, FREENIX Track
Robert M. Marmorstein, Phil Kearns
2005 — conf
An Open Source Solution for Testing NAT'd and Nested iptables Firewalls.
LISA
Robert M. Marmorstein, Phil Kearns
2003 A conf
Saturation Unbound.
TACAS
Gianfranco Ciardo, Robert M. Marmorstein, Radu Siminiceanu
2002 A conf
SMART: Stochastic Model-checking Analyzer for Reliability and Timing.
DSN
Gianfranco Ciardo, R. L. Jones III, Robert M. Marmorstein, Andrew S. Miner, Radu Siminiceanu