Ghiath Al Sammane
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2007–2008
Best venue rank
C
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2008 | FDL | The Performance of Combining Multiway Decision Graphs and HOL Theorem Prover. | Sa'ed Abed, Otmane At Mohamed, Ghiath Al Sammane |
| 2008 | SAC | Reachability analysis using multiway decision graphs in the HOL theorem prover. | Sa'ed Abed, Otmane At Mohamed, Ghiath Al Sammane |
| 2007 | DATE | A symbolic methodology for the verification of analog and mixed signal designs. | Ghiath Al Sammane, Mohamed H. Zaki, Sofine Tahar |
| 2007 | FDL | Towards Assertion Based Verification of Analog and Mixed Signal Designs Using PSL. | Ghiath Al Sammane, Mohamed H. Zaki, Zhi Jie Dong, Sofine Tahar |
| 2007 | FMCAD | Combining Symbolic Simulation and Interval Arithmetic for the Verification of AMS Designs. | Mohamed H. Zaki, Ghiath Al Sammane, Sofine Tahar, Guy Bois |
| 2007 | ICCS | Formal Verification of Analog and Mixed Signal Designs in Mathematica. | Mohamed H. Zaki, Ghiath Al Sammane, Sofine Tahar |