SMART: Stochastic Model-checking Analyzer for Reliability and Timing. - Gianfranco Ciardo; R. L. Jones III; Robert M. Marmorstein; Andrew S. Miner; Radu Siminiceanu (DSN, 2002)

Saturation Unbound. - Gianfranco Ciardo; Robert M. Marmorstein; Radu Siminiceanu (TACAS, 2003)

An Open Source Solution for Testing NAT'd and Nested iptables Firewalls. - Robert M. Marmorstein; Phil Kearns (LISA, 2005)

A Tool for Automated iptables Firewall Analysis. - Robert M. Marmorstein; Phil Kearns (USENIX ATC, FREENIX Track, 2005)

Firewall Analysis with Policy-based Host Classification. - Robert M. Marmorstein; Phil Kearns (LISA, 2006)

The saturation algorithm for symbolic state-space exploration. - Gianfranco Ciardo; Robert M. Marmorstein; Radu Siminiceanu (Int. J. Softw. Tools Technol. Transf., 2006)

Assisted Firewall Policy Repair Using Examples and History. - Robert M. Marmorstein; Phil Kearns (LISA, 2007)

Debugging a Firewall Policy with Policy Mapping. - Robert M. Marmorstein; Phil Kearns (login Usenix Mag., 2007)

Open source contribution as an effective software engineering class project. - Robert M. Marmorstein (ITiCSE, 2011)

Teaching semaphores using... semaphores. - Robert M. Marmorstein (J. Comput. Sci. Coll., 2015)

SPIFS: short project instructional file system. - Robert M. Marmorstein (J. Comput. Sci. Coll., 2020)

Thinking Inside the Box: Using Containers To Encourage Commit Discipline. - Robert M. Marmorstein (J. Comput. Sci. Coll., 2023)