| 2004 |
|---|
| 10 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | Zijian Zhou,
Xiaoyu Song,
Francisco Corella,
Eduard Cerny,
Michel Langevin:
Partitioning transition relations efficiently and automatically.
Great Lakes Symposium on VLSI 1995: 106-111 |
