| 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 |
