Edwin Rodríguez

Publication Activity (10 Years)

Years Active: 2004-2010
Publications (10 Years): 0

Publications

Torben Amtoft, John Hatcliff, Edwin Rodríguez
Precise and Automated Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs with Arrays. ESOP (2010)
Torben Amtoft, John Hatcliff, Edwin Rodríguez, Robby, Jonathan Hoag, David A. Greve
Specification and Checking of Software Contracts for Conditional Information Flow. FM (2008)
Robby, Edwin Rodríguez, Matthew B. Dwyer, John Hatcliff
Checking JML specifications using an extensible software model checking framework. Int. J. Softw. Tools Technol. Transf. 8 (3) (2006)
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)
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)
Scott J. Harmon, Edwin Rodríguez, Christopher Zhong, William H. Hsu
A Comparison of Hybrid Incremental Reuse Strategies for Reinforcement Learning in Genetic Programming. GECCO (2) (2004)
William H. Hsu, Scott J. Harmon, Edwin Rodríguez, Christopher Zhong
Empirical Comparison of Incremental Learning Strategies for Genetic Programming-Based Keep-Away Soccer Agents. AAAI Technical Report (2) (2004)
Robby, Edwin Rodríguez, Matthew B. Dwyer, John Hatcliff
Checking Strong Specifications Using an Extensible Software Model Checking Framework. TACAS (2004)