Model checking algorithms for the µ-calculus. - Sergey Berezin; Edmund M. Clarke; Somesh Jha; Will Marrero (Proof, Language, and Interaction, 2000)

Modeling and Verification of IPSec and VPN Security Policies. - Hazem H. Hamed; Ehab S. Al-Shaer; Will Marrero (ICNP, 2005)

Testing first: emphasizing testing in early programming courses. - Will Marrero; Amber Settle (ITiCSE, 2005)

Timed constraint programming: a declarative approach to usage control. - Radha Jagadeesan; Will Marrero; Corin Pitcher; Vijay A. Saraswat (PPDP, 2005)

Using BDDs to Decide CTL. - Will Marrero (TACAS, 2005)

Goal-Centric Traceability: Using Virtual Plumblines to Maintain Critical Systemic Qualities. - Jane Cleland-Huang; Will Marrero; Brian Berenbach (IEEE Trans. Software Eng., 2008)