| 2007 |
|---|
| 6 | EE | Ghiath Al Sammane,
Mohamed H. Zaki,
Sofiène Tahar:
A symbolic methodology for the verification of analog and mixed signal designs.
DATE 2007: 249-254 |
| 5 | EE | Ghiath Al Sammane,
Mohamed H. Zaki,
Zhi Jie Dong,
Sofiène Tahar:
Towards Assertion Based Verification of Analog and Mixed Signal Designs Using PSL.
FDL 2007: 293-298 |
| 4 | EE | Mohamed H. Zaki,
Ghiath Al Sammane,
Sofiène Tahar,
Guy Bois:
Combining Symbolic Simulation and Interval Arithmetic for the Verification of AMS Designs.
FMCAD 2007: 207-215 |
| 3 | | Mohamed H. Zaki,
Sofiène Tahar,
Guy Bois:
Qualitative Abstraction based Verification for Analog Circuits.
ISoLA 2007: 147-158 |
| 2 | EE | Mohamed H. Zaki,
Ghiath Al Sammane,
Sofiène Tahar:
Formal Verification of Analog and Mixed Signal Designs in Mathematica.
International Conference on Computational Science (2) 2007: 263-267 |
| 2006 |
|---|
| 1 | EE | Mohamed H. Zaki,
Sofiène Tahar,
Guy Bois:
A practical approach for monitoring analog circuits.
ACM Great Lakes Symposium on VLSI 2006: 330-335 |
