Will Marrero

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

6EEJane 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)
5EEHazem H. Hamed, Ehab S. Al-Shaer, Will Marrero: Modeling and Verification of IPSec and VPN Security Policies. ICNP 2005: 259-278
4EEWill Marrero, Amber Settle: Testing first: emphasizing testing in early programming courses. ITiCSE 2005: 4-8
3EERadha Jagadeesan, Will Marrero, Corin Pitcher, Vijay A. Saraswat: Timed constraint programming: a declarative approach to usage control. PPDP 2005: 164-175
2EEWill Marrero: Using BDDs to Decide CTL. TACAS 2005: 222-236
1 Sergey Berezin, Edmund M. Clarke, Somesh Jha, Will Marrero: Model checking algorithms for the µ-calculus. Proof, Language, and Interaction 2000: 309-338

Coauthor Index

1Ehab Al-Shaer (Ehab S. Al-Shaer) [5]
2Brian Berenbach [6]
3Sergey Berezin [1]
4Edmund M. Clarke [1]
5Jane Cleland-Huang [6]
6Hazem H. Hamed [5]
7Radha Jagadeesan [3]
8Somesh Jha [1]
9Corin Pitcher [3]
10Vijay A. Saraswat [3]
11Amber Settle [4]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)