| |
| 2005 | ||
|---|---|---|
| 4 | EE | Hazem H. Hamed, Ehab S. Al-Shaer, Will Marrero: Modeling and Verification of IPSec and VPN Security Policies. ICNP 2005: 259-278 |
| 3 | EE | Will Marrero, Amber Settle: Testing first: emphasizing testing in early programming courses. ITiCSE 2005: 4-8 |
| 2 | EE | Radha Jagadeesan, Will Marrero, Corin Pitcher, Vijay A. Saraswat: Timed constraint programming: a declarative approach to usage control. PPDP 2005: 164-175 |
| 1 | EE | Will Marrero: Using BDDs to Decide CTL. TACAS 2005: 222-236 |
| 1 | Ehab Al-Shaer (Ehab S. Al-Shaer) | [4] |
| 2 | Hazem H. Hamed | [4] |
| 3 | Radha Jagadeesan | [2] |
| 4 | Corin Pitcher | [2] |
| 5 | Vijay A. Saraswat | [2] |
| 6 | Amber Settle | [3] |