Edwin Rodrguez
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2004–2010
Best venue rank
A
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2010 | ESOP | Precise and Automated Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs with Arrays. | Torben Amtoft, John Hatcliff, Edwin Rodrguez |
| 2008 | FM | Specification and Checking of Software Contracts for Conditional Information Flow. | Torben Amtoft, John Hatcliff, Edwin Rodrguez, Robby, Jonathan Hoag, David A. Greve |
| 2005 | ECOOP | Extending JML for Modular Specification and Verification of Multi-threaded Programs. | Edwin Rodrguez, Matthew B. Dwyer, Cormac Flanagan, John Hatcliff, Gary T. Leavens, Robby |
| 2004 | GECCO | A Comparison of Hybrid Incremental Reuse Strategies for Reinforcement Learning in Genetic Programming. | Scott J. Harmon, Edwin Rodrguez, Christopher Zhong, William H. Hsu |
| 2004 | TACAS | Checking Strong Specifications Using an Extensible Software Model Checking Framework. | Robby, Edwin Rodrguez, Matthew B. Dwyer, John Hatcliff |