Edwin Rodríguez

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

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

Specification and Checking of Software Contracts for Conditional Information Flow.
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.
Proceedings of the FM 2008: Formal Methods, 2008

2006
Checking JML specifications using an extensible software model checking framework.
Int. J. Softw. Tools Technol. Transf., 2006

2005
Extending JML for Modular Specification and Verification of Multi-threaded Programs.
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


  Loading...