Zijian Zhou

	2004
10		Otmane Aït Mohamed, Xiaoyu Song, Eduard Cerny, Sofiène Tahar, Zijian Zhou: MDG-Based State Enumeration By Retiming And Circuit Transformation. Journal of Circuits, Systems, and Computers 13(5): 1111-1132 (2004)
	1999
9		Sofiène Tahar, Xiaoyu Song, Eduard Cerny, Zijian Zhou, Michel Langevin, Otmane Aït Mohamed: Modeling and formal verification of the Fairisle ATM switch fabricusing MDGs. IEEE Trans. on CAD of Integrated Circuits and Systems 18(7): 956-972 (1999)
	1997
8		Eduard Cerny, Francisco Corella, Michel Langevin, Xiaoyu Song, Sofiène Tahar, Zijian Zhou: Verification with Abstract State Machines Using MDGs. Formal Hardware Verification 1997: 79-113
7		Francisco Corella, Zijian Zhou, Xiaoyu Song, Michel Langevin, Eduard Cerny: Multiway Decision Graphs for Automated Hardware Verification. Formal Methods in System Design 10(1): 7-46 (1997)
	1996
6		K. D. Anon, N. Boulerice, Eduard Cerny, Francisco Corella, Michel Langevin, Xiaoyu Song, Sofiène Tahar, Ying Xu, Zijian Zhou: MDG Tools for the Verification of RTL Designs. CAV 1996: 433-436
5		Zijian Zhou, Xiaoyu Song, Sofiène Tahar, Eduard Cerny, Francisco Corella, Michel Langevin: Formal Verification of the Island Tunnel Controller Using Multiway Decision Graphs. FMCAD 1996: 233-247
4		Sofiène Tahar, Zijian Zhou, Xiaoyu Song, Eduard Cerny, Michel Langevin: Formal Verification of an ATM Switch Fabric using Multiway Decision Graphs. Great Lakes Symposium on VLSI 1996: 106-111
3		Michel Langevin, Sofiène Tahar, Zijian Zhou, Xiaoyu Song, Eduard Cerny: Behavioral Verification of an ATM Switch Fabric using Implicit Abstract State Enumeration. ICCD 1996: 20-26
	1995
2		Francisco Corella, Michel Langevin, Eduard Cerny, Zijian Zhou, Xiaoyu Song: State enumeration with abstract descriptions of state machines. CHARME 1995: 146-160
1		Zijian Zhou, Xiaoyu Song, Francisco Corella, Eduard Cerny, Michel Langevin: Partitioning transition relations efficiently and automatically. Great Lakes Symposium on VLSI 1995: 106-111

Coauthor Index

1	K. D. Anon	[6]
2	N. Boulerice	[6]
3	Eduard Cerny	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10]
4	Francisco Corella	[1] [2] [5] [6] [7] [8]
5	Michel Langevin	[1] [2] [3] [4] [5] [6] [7] [8] [9]
6	Otmane Aït Mohamed	[9] [10]
7	Xiaoyu Song	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10]
8	Sofiène Tahar	[3] [4] [5] [6] [8] [9] [10]
9	Ying Xu	[6]