The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Ghiath Al Sammane: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Diana Toma, Dominique Borrione, Ghiath Al Sammane
    Combining Several Paradigms for Circuit Validation and Verification. [Citation Graph (0, 0)][DBLP]
    CASSIS, 2004, pp:229-249 [Conf]
  2. Ghiath Al Sammane, Diana Toma, Julien Schmaltz, Pierre Ostier, Dominique Borrione
    Constrained Symbolic Simulation with Mathematica and ACL2. [Citation Graph (0, 0)][DBLP]
    CHARME, 2003, pp:150-157 [Conf]
  3. Ghiath Al Sammane, Dominique Borrione, Remy Chevallier
    Verification of behavioral descriptions by combining symbolic simulation and automatic reasoning. [Citation Graph (0, 0)][DBLP]
    ACM Great Lakes Symposium on VLSI, 2005, pp:260-263 [Conf]
  4. Ghiath Al Sammane, Julien Schmaltz, Diana Toma, Pierre Ostier, Dominique Borrione
    TheoSim: combining symbolic simulation and theorem proving for hardware verification. [Citation Graph (0, 0)][DBLP]
    SBCCI, 2004, pp:60-65 [Conf]
  5. Ghiath Al-Sammane, Mohamed H. Zaki, Sofiène Tahar
    A symbolic methodology for the verification of analog and mixed signal designs. [Citation Graph (0, 0)][DBLP]
    DATE, 2007, pp:249-254 [Conf]
  6. Mohamed H. Zaki, Ghiath Al-Sammane, Sofiène Tahar
    Formal Verification of Analog and Mixed Signal Designs in Mathematica. [Citation Graph (0, 0)][DBLP]
    International Conference on Computational Science (2), 2007, pp:263-267 [Conf]

  7. Combining Symbolic Simulation and Interval Arithmetic for the Verification of AMS Designs. [Citation Graph (, )][DBLP]


  8. Reachability analysis using multiway decision graphs in the HOL theorem prover. [Citation Graph (, )][DBLP]


  9. The Performance of Combining Multiway Decision Graphs and HOL Theorem Prover. [Citation Graph (, )][DBLP]


  10. Towards Assertion Based Verification of Analog and Mixed Signal Designs Using PSL. [Citation Graph (, )][DBLP]


Search in 0.001secs, Finished in 0.002secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002