|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 3 occurrences of 3 keywords
|
|
|
|
|
Results
Found 9 publication records. Showing 9 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Shengchao Qin, Chenguang Luo, Wei-Ngan Chin, Guanhua He |
Automatically Refining Partial Specifications for Program Verification.  |
FM  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Chenguang Luo, Florin Craciun, Shengchao Qin, Guanhua He, Wei-Ngan Chin |
Verifying pointer safety for programs with unknown calls. |
J. Symb. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Shengchao Qin, Guanhua He, Chenguang Luo, Wei-Ngan Chin |
Loop Invariant Synthesis in a Combined Domain. |
ICFEM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Shengchao Qin, Chenguang Luo, Guanhua He, Florin Craciun, Wei-Ngan Chin |
Verifying Heap-Manipulating Programs with Unknown Procedure Calls. |
ICFEM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Guanhua He, Shengchao Qin, Chenguang Luo, Wei-Ngan Chin |
Memory Usage Verification Using Hip/Sleek. |
ATVA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Guanhua He, Chenguang Luo |
Heap Memory Requirements Analysis via Separation Logic. |
TASE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Florin Craciun, Wei-Ngan Chin, Guanhua He, Shengchao Qin |
An Interval-Based Inference of Variant Parametric Types. |
ESOP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Chenguang Luo, Guanhua He, Shengchao Qin |
A Heap Model for Java Bytecode to Support Separation Logic. |
APSEC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Shengchao Qin, Guanhua He |
Linking Object-Z with Spec#. |
ICECCS |
2007 |
DBLP DOI BibTeX RDF |
Spec#, pre/post conditions, verification, Formal specification, Object-Z |
Displaying result #1 - #9 of 9 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")