Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Tidjani Négadi
Daniel P. Kennedy
Barbara Aquilani
Jayeon Yoo
Dong Yuan
Maximilian Dürr
Jhonathan Pinzon
Liangliang Shang
Chen Ma
Markus Neuhauser
Home
/
Author
/
CHENGUANG LUO
Author Info
Open Visualization
Name
Affiliation
Papers
CHENGUANG LUO
Durham University, Durham DH1 3LE, UK
13
Collaborators
Citations
PageRank
7
56
5.63
Referers
Referees
References
109
193
204
Search Limit
100
193
Publications (13 rows)
Collaborators (7 rows)
Referers (100 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
Automatically refining partial specifications for heap-manipulating programs
6
0.44
2014
Loop invariant synthesis in a combined abstract domain
8
0.49
2013
Automatically refining partial specifications for program verification
7
0.55
2011
Discovering Specifications for Unknown Procedures - Work in Progress.
0
0.34
2010
Verifying heap-manipulating programs with unknown procedure calls
0
0.34
2010
Loop invariant synthesis in a combined domain
7
0.44
2010
Verifying pointer safety for programs with unknown calls
5
0.50
2010
Memory Usage Verification Using Hip/Sleek
6
0.45
2009
Heap Memory Requirements Analysis via Separation Logic
0
0.34
2009
From Word Automata to Tree Automata
0
0.34
2008
A Heap Model for Java Bytecode to Support Separation Logic
2
0.38
2008
Verifying BPEL-Like Programs with Hoare Logic
9
0.60
2008
Separation Logic for Multiple Inheritance
6
0.44
2008
1