|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 7 publication records. Showing 7 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Torben Amtoft, John Hatcliff, Edwin Rodríguez |
Precise and Automated Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs with Arrays.  |
ESOP  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Torben Amtoft, John Hatcliff, Edwin Rodríguez, Robby, Jonathan Hoag, David Greve |
Specification and Checking of Software Contracts for Conditional Information Flow. |
FM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Robby, Edwin Rodríguez, Matthew B. Dwyer, John Hatcliff |
Checking JML specifications using an extensible software model checking framework. |
STTT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Edwin Rodríguez, Matthew B. Dwyer, Cormac Flanagan, John Hatcliff, Gary T. Leavens, Robby |
Extending JML for Modular Specification and Verification of Multi-threaded Programs. |
ECOOP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Scott J. Harmon, Edwin Rodríguez, Christopher Zhong, William Hsu |
A Comparison of Hybrid Incremental Reuse Strategies for Reinforcement Learning in Genetic Programming. |
GECCO |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Robby, Edwin Rodríguez, Matthew B. Dwyer, John Hatcliff |
Checking Strong Specifications Using an Extensible Software Model Checking Framework. |
TACAS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Edwin Rodríguez, Matthew B. Dwyer, John Hatcliff, Robby |
A Flexible Framework for the Estimation of Coverage Metrics in Explicit State Software Model Checking. |
CASSIS |
2004 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #7 of 7 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")