( en | de | ru )

 

Disambiguation of "Rodríguez, Edwin"

Author of the publication

copydeleteadd this publication to your clipboard
Extending JML for Modular Specification and Verification of Multi-threaded Programs.

, , , , , and . ECOOP, volume 3586 of Lecture Notes in Computer Science, page 551-576. Springer, (2005)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Daniel Rodríguez

Carlos Rodríguez

Agustín Rodríguez

Jerónimo Rodríguez

Carlos Rodríguez

 

Other publications of authors with the same name

Specification and Checking of Software Contracts for Conditional Information Flow., , , , , and . FM, volume 5014 of Lecture Notes in Computer Science, page 229-245. Springer, (2008)Specification and Checking of Software Contracts for Conditional Information Flow., , , , , and . Design and Verification of Microprocessor Systems for High-Assurance Applications, Springer, (2010)A Comparison of Hybrid Incremental Reuse Strategies for Reinforcement Learning in Genetic Programming., , , and . GECCO (2), volume 3103 of Lecture Notes in Computer Science, page 706-707. Springer, (2004)Precise and Automated Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs with Arrays., , and . ESOP, volume 6012 of Lecture Notes in Computer Science, page 43-63. Springer, (2010)Checking JML specifications using an extensible software model checking framework., , , and . Int. J. Softw. Tools Technol. Transf., 8 (3): 280-299 (2006)Checking Strong Specifications Using an Extensible Software Model Checking Framework., , , and . TACAS, volume 2988 of Lecture Notes in Computer Science, page 404-420. Springer, (2004)Empirical Comparison of Incremental Learning Strategies for Genetic Programming-Based Keep-Away Soccer Agents., , , and . AAAI Technical Report (2), FS-04-02, page 43-51. AAAI Press, (2004)A Flexible Framework for the Estimation of Coverage Metrics in Explicit State Software Model Checking., , , and . CASSIS, volume 3362 of Lecture Notes in Computer Science, page 210-228. Springer, (2004)Extending JML for Modular Specification and Verification of Multi-threaded Programs., , , , , and . ECOOP, volume 3586 of Lecture Notes in Computer Science, page 551-576. Springer, (2005)Empirical Comparison of Incremental Reuse Strategies in Genetic Programming for Keep-Away Soccer, , , and . Late Breaking Papers at the 2004 Genetic and Evolutionary Computation Conference, Seattle, Washington, USA, (26 July 2004)