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

Zijian Zhou

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

2004
10EEOtmane 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
9EESofiè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
4EESofiè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
3EEMichel 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
1EEZijian 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

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

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)