| 2008 |
|---|
| 10 | EE | Sa'ed Abed,
Otmane Aït Mohamed,
Ghiath Al Sammane:
The Performance of Combining Multiway Decision Graphs and HOL Theorem Prover.
FDL 2008: 136-141 |
| 9 | EE | Sa'ed Abed,
Otmane Aït Mohamed,
Ghiath Al Sammane:
Reachability analysis using multiway decision graphs in the HOL theorem prover.
SAC 2008: 333-338 |
| 2007 |
|---|
| 8 | 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 |
| 7 | 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 |
| 6 | 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 |
| 5 | 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 |
| 2005 |
|---|
| 4 | EE | Ghiath Al Sammane,
Dominique Borrione,
Remy Chevallier:
Verification of behavioral descriptions by combining symbolic simulation and automatic reasoning.
ACM Great Lakes Symposium on VLSI 2005: 260-263 |
| 2004 |
|---|
| 3 | EE | Diana Toma,
Dominique Borrione,
Ghiath Al Sammane:
Combining Several Paradigms for Circuit Validation and Verification.
CASSIS 2004: 229-249 |
| 2 | EE | Ghiath Al Sammane,
Julien Schmaltz,
Diana Toma,
Pierre Ostier,
Dominique Borrione:
TheoSim: combining symbolic simulation and theorem proving for hardware verification.
SBCCI 2004: 60-65 |
| 2003 |
|---|
| 1 | EE | Ghiath Al Sammane,
Diana Toma,
Julien Schmaltz,
Pierre Ostier,
Dominique Borrione:
Constrained Symbolic Simulation with Mathematica and ACL2.
CHARME 2003: 150-157 |
