2006 |
8 | EE | Y.-S. Huang,
M. Jeng,
X. Xie,
D.-H. Chung:
Siphon-Based Deadlock Prevention Policy for Flexible Manufacturing Systems.
IEEE Transactions on Systems, Man, and Cybernetics, Part A 36(6): 1248-1256 (2006) |
2005 |
7 | EE | John A. Williams,
Neil W. Bergmann,
X. Xie:
FIFO Communication Models in Operating Systems for Reconfigurable Computing.
FCCM 2005: 277-278 |
2002 |
6 | | A. Ghaffari,
N. Rezg,
X. Xie:
Maximally Permissive and Non-Blocking Control of Petri Nets using Theory of Regions.
ICRA 2002: 1895-1900 |
5 | | X. Xie,
Sol M. Shatz:
Development of class-level and instance-level design models for distributed-object software.
Comput. Syst. Sci. Eng. 17(3): 169-181 (2002) |
2001 |
4 | | X. Xie,
Sol M. Shatz:
An approach for modeling components with customization for distributed software.
Informatica (Slovenia) 25(4): (2001) |
2000 |
3 | | X. Xie,
Sol M. Shatz:
An Approach To Using Formal Methods In Aspect Orientation.
PDPTA 2000 |
1998 |
2 | EE | A. Newman,
Sol M. Shatz,
X. Xie:
An Approach to Object System Modeling by State-Based Object Petri Nets.
Journal of Circuits, Systems, and Computers 8(1): 1-21 (1998) |
1992 |
1 | | T. Hamann,
J. M. Proth,
A. Soilha,
François Vernadat,
X. Xie:
COALA: A Manufacturing Plant Layout Approach.
PROLAMAT 1992: 789-796 |