Search the dblp DataBase
Hongjun Zheng: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Tomasz Janowski, Zheng Hongjun, Gustavo Giménez Lugo
Market-Driven Symbolic Execution of Methods of Manufacturing Enterprises. [Citation Graph (0, 0)][DBLP]
ICFEM, 1998, pp:100-109 [Conf] - James C. Corbett, Matthew B. Dwyer, John Hatcliff, Shawn Laubach, Corina S. Pasareanu, Robby, Hongjun Zheng
Bandera: extracting finite-state models from Java source code. [Citation Graph (0, 0)][DBLP]
ICSE, 2000, pp:439-448 [Conf] - Matthew B. Dwyer, John Hatcliff, Roby Joehanes, Shawn Laubach, Corina S. Pasareanu, Robby, Hongjun Zheng, Willem Visser
Tool-Supported Program Abstraction for Finite-State Verification. [Citation Graph (0, 0)][DBLP]
ICSE, 2001, pp:177-187 [Conf] - Tomasz Janowski, Gustavo Giménez Lugo, Zheng Hongjun
Composing enterprise models: The extended and the virtual enterprise. [Citation Graph (0, 0)][DBLP]
BASYS, 1998, pp:185-194 [Conf] - John Hatcliff, James C. Corbett, Matthew B. Dwyer, Stefan Sokolowski, Hongjun Zheng
A Formal Study of Slicing for Multi-threaded Programs with JVM Concurrency Primitives. [Citation Graph (0, 0)][DBLP]
SAS, 1999, pp:1-18 [Conf] - John Hatcliff, Matthew B. Dwyer, Hongjun Zheng
Slicing Software for Model Construction. [Citation Graph (0, 0)][DBLP]
Higher-Order and Symbolic Computation, 2000, v:13, n:4, pp:315-353 [Journal]
Search in 0.001secs, Finished in 0.002secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002