The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Chenguang Luo" ( http://dblp.L3S.de/Authors/Chenguang_Luo )

  Author page on DBLP  Author page in RDF  Community of Chenguang Luo in ASPL-2

Publication years (Num. hits)
2008-2014 (15)
Publication types (Num. hits)
article(5) inproceedings(9) phdthesis(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 3 occurrences of 3 keywords

Results
Found 16 publication records. Showing 15 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Shengchao Qin, Guanhua He, Chenguang Luo, Wei-Ngan Chin, Hongli Yang Automatically refining partial specifications for heap-manipulating programs. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Shengchao Qin, Guanhua He, Chenguang Luo, Wei-Ngan Chin, Xin Chen 0027 Loop invariant synthesis in a combined abstract domain. Search on Bibsonomy J. Symb. Comput. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Shengchao Qin, Chenguang Luo, Wei-Ngan Chin, Guanhua He Automatically Refining Partial Specifications for Program Verification. Search on Bibsonomy FM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Chenguang Luo Verification of pointer-based programs with partial information. Search on Bibsonomy 2011   RDF
1Chenguang Luo, Florin Craciun, Shengchao Qin, Guanhua He, Wei-Ngan Chin Verifying pointer safety for programs with unknown calls. Search on Bibsonomy J. Symb. Comput. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Shengchao Qin, Chenguang Luo, Guanhua He, Florin Craciun, Wei-Ngan Chin Verifying Heap-Manipulating Programs with Unknown Procedure Calls. Search on Bibsonomy ICFEM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Shengchao Qin, Guanhua He, Chenguang Luo, Wei-Ngan Chin Loop Invariant Synthesis in a Combined Domain. Search on Bibsonomy ICFEM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Florin Craciun, Chenguang Luo, Guanhua He, Shengchao Qin, Wei-Ngan Chin Discovering Specifications for Unknown Procedures - Work in Progress. Search on Bibsonomy WING@ETAPS/IJCAR The full citation details ... 2010 DBLP  BibTeX  RDF
1Guanhua He, Shengchao Qin, Chenguang Luo, Wei-Ngan Chin Memory Usage Verification Using Hip/Sleek. Search on Bibsonomy ATVA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Guanhua He, Chenguang Luo Heap Memory Requirements Analysis via Separation Logic. Search on Bibsonomy TASE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Chenguang Luo, Shengchao Qin Separation Logic for Multiple Inheritance. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Chenguang Luo, Shengchao Qin, Zongyan Qiu Verifying BPEL-like programs with Hoare logic. Search on Bibsonomy Frontiers Comput. Sci. China The full citation details ... 2008 DBLP  DOI  BibTeX  RDF compensation mechanism, axiomatic verification system, operational semantics, soundness, WS-BPEL
1Chenguang Luo From Word Automata to Tree Automata. Search on Bibsonomy ICYCS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Chenguang Luo, Shengchao Qin, Zongyan Qiu Verifying BPEL-Like Programs with Hoare Logic. Search on Bibsonomy TASE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Chenguang Luo, Guanhua He, Shengchao Qin A Heap Model for Java Bytecode to Support Separation Logic. Search on Bibsonomy APSEC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #15 of 15 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license