Will Marrero

According to our database, Will Marrero authored at least 6 papers between 2000 and 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2008

Goal-Centric Traceability: Using Virtual Plumblines to Maintain Critical Systemic Qualities.

Jane Cleland-Huang, Will Marrero, Brian Berenbach

IEEE Trans. Software Eng., 2008

2005

Using BDDs to Decide CTL.

Will Marrero

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005

Timed constraint programming: a declarative approach to usage control.

Radha Jagadeesan, Will Marrero, Corin Pitcher, Vijay A. Saraswat

Proceedings of the 7th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2005

Testing first: emphasizing testing in early programming courses.

Will Marrero, Amber Settle

Proceedings of the 10th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2005

Modeling and Verification of IPSec and VPN Security Policies.

Hazem H. Hamed, Ehab S. Al-Shaer, Will Marrero

Proceedings of the 13th IEEE International Conference on Network Protocols (ICNP 2005), 2005

2000

Model checking algorithms for the µ-calculus.

Sergey Berezin, Edmund M. Clarke, Somesh Jha, Will Marrero

Proceedings of the Proof, Language, and Interaction, Essays in Honour of Robin Milner, 2000