dblp.uni-trier.dewww.uni-trier.de

Hongjun Zheng Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2001
8 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. ICSE 2001: 177-187
2000
7EEJames C. Corbett, Matthew B. Dwyer, John Hatcliff, Shawn Laubach, Corina S. Pasareanu, Robby, Hongjun Zheng: Bandera: extracting finite-state models from Java source code. ICSE 2000: 439-448
6 John Hatcliff, Matthew B. Dwyer, Hongjun Zheng: Slicing Software for Model Construction. Higher-Order and Symbolic Computation 13(4): 315-353 (2000)
1999
5EEJohn Hatcliff, James C. Corbett, Matthew B. Dwyer, Stefan Sokolowski, Hongjun Zheng: A Formal Study of Slicing for Multi-threaded Programs with JVM Concurrency Primitives. SAS 1999: 1-18
4EETomasz Janowski, Gustavo Giménez Lugo, Hongjun Zheng: Modelling an Extended/Virtual Enterprise by the Composition of Enterprise Models. Journal of Intelligent and Robotic Systems 26(3-4): 303-324 (1999)
1998
3 Tomasz Janowski, Gustavo Giménez Lugo, Hongjun Zheng: Composing enterprise models: The extended and the virtual enterprise. BASYS 1998: 185-194
2EETomasz Janowski, Hongjun Zheng, Gustavo Giménez Lugo: Market-Driven Symbolic Execution of Methods of Manufacturing Enterprises. ICFEM 1998: 100-109
1997
1 Naixiao Zhang, Hongjun Zheng, Zongyan Qiu: Garment: A Mechanism for Abstraction and Encapsulation of Languages. SIGPLAN Notices 32(6): 53-60 (1997)

Coauthor Index

1James C. Corbett [5] [7]
2Matthew B. Dwyer [5] [6] [7] [8]
3John Hatcliff [5] [6] [7] [8]
4Tomasz Janowski [2] [3] [4]
5Roby Joehanes [8]
6Shawn Laubach [7] [8]
7Gustavo Giménez Lugo (Gustavo Alberto Giménez Lugo) [2] [3] [4]
8Corina S. Pasareanu [7] [8]
9Zongyan Qiu [1]
10 Robby [7] [8]
11Stefan Sokolowski [5]
12Willem Visser [8]
13Naixiao Zhang [1]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)