Empirical Comparison of Incremental Learning Strategies for Genetic Programming-Based Keep-Away Soccer Agents. - William H. Hsu; Scott J. Harmon; Edwin Rodríguez; Christopher Zhong (AAAI Technical Report (2), 2004)

A Flexible Framework for the Estimation of Coverage Metrics in Explicit State Software Model Checking. - Edwin Rodríguez; Matthew B. Dwyer; John Hatcliff; Robby (CASSIS, 2004)

A Comparison of Hybrid Incremental Reuse Strategies for Reinforcement Learning in Genetic Programming. - Scott J. Harmon; Edwin Rodríguez; Christopher Zhong; William H. Hsu (GECCO (2), 2004)

Checking Strong Specifications Using an Extensible Software Model Checking Framework. - Robby; Edwin Rodríguez; Matthew B. Dwyer; John Hatcliff (TACAS, 2004)

Extending JML for Modular Specification and Verification of Multi-threaded Programs. - Edwin Rodríguez; Matthew B. Dwyer; Cormac Flanagan; John Hatcliff; Gary T. Leavens; Robby (ECOOP, 2005)

Checking JML specifications using an extensible software model checking framework. - Robby; Edwin Rodríguez; Matthew B. Dwyer; John Hatcliff (Int. J. Softw. Tools Technol. Transf., 2006)

Specification and Checking of Software Contracts for Conditional Information Flow. - Torben Amtoft; John Hatcliff; Edwin Rodríguez; Robby; Jonathan Hoag; David A. Greve (FM, 2008)

Specification and Checking of Software Contracts for Conditional Information Flow. - Torben Amtoft; John Hatcliff; Edwin Rodríguez; Robby; Jonathan Hoag; David A. Greve (Design and Verification of Microprocessor Systems for High-Assurance Applications, 2010)

Precise and Automated Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs with Arrays. - Torben Amtoft; John Hatcliff; Edwin Rodríguez (ESOP, 2010)