| 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 |
|---|
| 7 | EE | 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.
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 |
|---|
| 5 | EE | 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.
SAS 1999: 1-18 |
| 4 | EE | Tomasz 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 |
| 2 | EE | Tomasz 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) |
