Chenguang Luo

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Shengchao Qin

> Home > Persons > Chenguang Luo

Publications

2014
[j4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/QinHLCY14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/QinHLCY14
Shengchao Qin, Guanhua He, Chenguang Luo, Wei-Ngan Chin, Hongli Yang:
Automatically refining partial specifications for heap-manipulating programs. Sci. Comput. Program. 82: 56-76 (2014)
2013
[j3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jsc/QinHLCC13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsc/QinHLCC13
Shengchao Qin, Guanhua He, Chenguang Luo, Wei-Ngan Chin, Xin Chen:
Loop invariant synthesis in a combined abstract domain. J. Symb. Comput. 50: 386-408 (2013)
2011
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/QinLCH11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/QinLCH11
Shengchao Qin, Chenguang Luo, Wei-Ngan Chin, Guanhua He:
Automatically Refining Partial Specifications for Program Verification. FM 2011: 369-385
2010
[j2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jsc/LuoCQHC10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsc/LuoCQHC10
Chenguang Luo, Florin Craciun, Shengchao Qin, Guanhua He, Wei-Ngan Chin:
Verifying pointer safety for programs with unknown calls. J. Symb. Comput. 45(11): 1163-1183 (2010)
[c9]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cade/CraciunLHQC10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/CraciunLHQC10
Florin Craciun, Chenguang Luo, Guanhua He, Shengchao Qin, Wei-Ngan Chin:
Discovering Specifications for Unknown Procedures - Work in Progress. WING@ETAPS/IJCAR 2010: 76-91
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/QinLHCC10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/QinLHCC10
Shengchao Qin, Chenguang Luo, Guanhua He, Florin Craciun, Wei-Ngan Chin:
Verifying Heap-Manipulating Programs with Unknown Procedure Calls. ICFEM 2010: 171-187
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/QinHLC10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/QinHLC10
Shengchao Qin, Guanhua He, Chenguang Luo, Wei-Ngan Chin:
Loop Invariant Synthesis in a Combined Domain. ICFEM 2010: 468-484
2009
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/HeQLC09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/HeQLC09
Guanhua He, Shengchao Qin, Chenguang Luo, Wei-Ngan Chin:
Memory Usage Verification Using Hip/Sleek. ATVA 2009: 166-181
2008
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/fcsc/LuoQQ08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fcsc/LuoQQ08
Chenguang Luo, Shengchao Qin, Zongyan Qiu:
Verifying BPEL-like programs with Hoare logic. Frontiers Comput. Sci. China 2(4): 344-356 (2008)
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/apsec/LuoHQ08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apsec/LuoHQ08
Chenguang Luo, Guanhua He, Shengchao Qin:
A Heap Model for Java Bytecode to Support Separation Logic. APSEC 2008: 127-134
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/tase/LuoQQ08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tase/LuoQQ08
Chenguang Luo, Shengchao Qin, Zongyan Qiu:
Verifying BPEL-Like Programs with Hoare Logic. TASE 2008: 151-158
[c1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/LuoQ08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/LuoQ08
Chenguang Luo, Shengchao Qin:
Separation Logic for Multiple Inheritance. FICS 2008: 27-40

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.