Will Marrero

Publication Activity (10 Years)

Years Active: 2000-2008
Publications (10 Years): 0

Publications

Jane Cleland-Huang, Will Marrero, Brian Berenbach
Goal-Centric Traceability: Using Virtual Plumblines to Maintain Critical Systemic Qualities. IEEE Trans. Software Eng. 34 (5) (2008)
Hazem H. Hamed, Ehab S. Al-Shaer, Will Marrero
Modeling and Verification of IPSec and VPN Security Policies. ICNP (2005)
Will Marrero
Using BDDs to Decide CTL. TACAS (2005)
Radha Jagadeesan, Will Marrero, Corin Pitcher, Vijay A. Saraswat
Timed constraint programming: a declarative approach to usage control. PPDP (2005)
Will Marrero, Amber Settle
Testing first: emphasizing testing in early programming courses. ITiCSE (2005)
Sergey Berezin, Edmund M. Clarke, Somesh Jha, Will Marrero
Model checking algorithms for the µ-calculus. Proof, Language, and Interaction (2000)