( en | de | ru )

 

Disambiguation of "Zheng, Hongjun"

Author of the publication

copydeleteadd this publication to your clipboard
Bandera: extracting finite-state models from Java source code.

, , , , , , and . ICSE, page 439-448. ACM, (2000)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Hongjun Chen

Hongjun Pu

Hongjun Ren

Hongjun Fan

Hongjun Li

 

Other publications of authors with the same name

Analog fiber-optic links using high-order fiber modes., , , , , , , , , and 1 other author(s). ECOC, page 1-3. IEEE, (2015)Experimental demonstration of long-distance analog transmission over few-mode fibers., , , and . OFC, page 1-3. IEEE, (2015)Experimental demonstration of 5-mode PON achieving a net gain of 4 dB in upstream transmission loss budget., , , , , , , , , and 3 other author(s). ECOC, page 1-3. IEEE, (2015)Tool-Supported Program Abstraction for Finite-State Verification., , , , , , , and . ICSE, page 177-187. IEEE Computer Society, (2001)Bandera: extracting finite-state models from Java source code., , , , , , and . ICSE, page 439-448. ACM, (2000)A Formal Study of Slicing for Multi-threaded Programs with JVM Concurrency Primitives., , , , and . SAS, volume 1694 of Lecture Notes in Computer Science, page 1-18. Springer, (1999)Composing enterprise models: The extended and the virtual enterprise., , and . BASYS, volume 130 of IFIP Conference Proceedings, page 185-194. Kluwer, (1998)Market-Driven Symbolic Execution of Methods of Manufacturing Enterprises., , and . ICFEM, page 100-109. IEEE Computer Society, (1998)Research on Multi-task Cruise Path Planning of UAV Based on COA Optimization Algorithm., , and . IPEC, page 662-666. ACM, (2022)MSVD-MOEB algorithm applied to cancer gene expression data., and . iCAST, page 119-124. IEEE, (2015)