According to our database1, Edwin Rodríguez authored at least 9 papers between 2004 and 2010.
Legend:Book In proceedings Article PhD thesis Other
Precise and Automated Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs with Arrays.
Proceedings of the Programming Languages and Systems, 2010
Proceedings of the Design and Verification of Microprocessor Systems for High-Assurance Applications., 2010
Proceedings of the FM 2008: Formal Methods, 2008
Int. J. Softw. Tools Technol. Transf., 2006
Proceedings of the ECOOP 2005, 2005
Checking Strong Specifications Using an Extensible Software Model Checking Framework.
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.
Proceedings of the Genetic and Evolutionary Computation, 2004
A Flexible Framework for the Estimation of Coverage Metrics in Explicit State Software Model Checking.
Proceedings of the Construction and Analysis of Safe, 2004
Empirical Comparison of Incremental Learning Strategies for Genetic Programming-Based Keep-Away Soccer Agents.
Proceedings of the Artificial Multiagent Learning, 2004