| 2008 |
|---|
| 6 | EE | Torben Amtoft,
John Hatcliff,
Edwin Rodríguez,
Robby,
Jonathan Hoag,
David Greve:
Specification and Checking of Software Contracts for Conditional Information Flow.
FM 2008: 229-245 |
| 2006 |
|---|
| 5 | EE | Robby,
Edwin Rodríguez,
Matthew B. Dwyer,
John Hatcliff:
Checking JML specifications using an extensible software model checking framework.
STTT 8(3): 280-299 (2006) |
| 2005 |
|---|
| 4 | EE | Edwin Rodríguez,
Matthew B. Dwyer,
Cormac Flanagan,
John Hatcliff,
Gary T. Leavens,
Robby:
Extending JML for Modular Specification and Verification of Multi-threaded Programs.
ECOOP 2005: 551-576 |
| 2004 |
|---|
| 3 | EE | Edwin Rodríguez,
Matthew B. Dwyer,
John Hatcliff,
Robby:
A Flexible Framework for the Estimation of Coverage Metrics in Explicit State Software Model Checking.
CASSIS 2004: 210-228 |
| 2 | EE | Scott Harmon,
Edwin Rodríguez,
Christopher Zhong,
William Hsu:
A Comparison of Hybrid Incremental Reuse Strategies for Reinforcement Learning in Genetic Programming.
GECCO (2) 2004: 706-707 |
| 1 | EE | Robby,
Edwin Rodríguez,
Matthew B. Dwyer,
John Hatcliff:
Checking Strong Specifications Using an Extensible Software Model Checking Framework.
TACAS 2004: 404-420 |
