Edwin Rodríguez

According to our database, Edwin Rodríguez authored at least 9 papers between 2004 and 2010.

Collaborative distances:

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

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

Proceedings of the Programming Languages and Systems, 2010

Specification and Checking of Software Contracts for Conditional Information Flow.

Torben Amtoft, John Hatcliff, Edwin Rodríguez, Robby, Jonathan Hoag, David A. Greve

Proceedings of the Design and Verification of Microprocessor Systems for High-Assurance Applications., 2010

2008

Specification and Checking of Software Contracts for Conditional Information Flow.

Torben Amtoft, John Hatcliff, Edwin Rodríguez, Robby, Jonathan Hoag, David A. Greve

Proceedings of the FM 2008: Formal Methods, 2008

2006

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

2005

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

Proceedings of the ECOOP 2005, 2005

2004

Checking Strong Specifications Using an Extensible Software Model Checking Framework.

Robby, Edwin Rodríguez, Matthew B. Dwyer, John Hatcliff

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 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

Proceedings of the Genetic and Evolutionary Computation, 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

Proceedings of the Construction and Analysis of Safe, 2004

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

Proceedings of the Artificial Multiagent Learning, 2004