Edwin Rodríguez
According to our database1,
Edwin Rodríguez
authored at least 9 papers
between 2004 and 2010.
Collaborative distances:
Collaborative distances:
Timeline
2004
2005
2006
2007
2008
2009
2010
0
1
2
3
4
5
1
1
1
1
1
4
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2010
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
2008
Proceedings of the FM 2008: Formal Methods, 2008
2006
Int. J. Softw. Tools Technol. Transf., 2006
2005
Proceedings of the ECOOP 2005, 2005
2004
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