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