Ghiath Al Sammane

Publication Activity (10 Years)

Years Active: 2003-2013
Publications (10 Years): 0

Top Topics

Default Reasoning

Higher Order Logic

Bayesian Networks

Top Venues

Formal Aspects Comput.

Publications

Sa'ed Abed, Otmane Aït Mohamed, Ghiath Al Sammane
Automatic verification of reduction techniques in Higher Order Logic. Formal Aspects Comput. 25 (6) (2013)
Sa'ed Abed, Otmane Aït Mohamed, Ghiath Al Sammane
An Abstract Reachability Approach by Combining HOL Induction and Multiway Decision Graphs. J. Comput. Sci. Technol. 24 (1) (2009)
Sa'ed Abed, Otmane Aït Mohamed, Ghiath Al Sammane
The Performance of Combining Multiway Decision Graphs and HOL Theorem Prover. FDL (2008)
Sa'ed Abed, Otmane Aït Mohamed, Ghiath Al Sammane
Reachability analysis using multiway decision graphs in the HOL theorem prover. SAC (2008)
Ghiath Al Sammane, Mohamed H. Zaki, Sofiène Tahar
A symbolic methodology for the verification of analog and mixed signal designs. DATE (2007)
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)
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)
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)
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)
Diana Toma, Dominique Borrione, Ghiath Al Sammane
Combining Several Paradigms for Circuit Validation and Verification. CASSIS (2004)
Ghiath Al Sammane, Julien Schmaltz, Diana Toma, Pierre Ostier, Dominique Borrione
TheoSim: combining symbolic simulation and theorem proving for hardware verification. SBCCI (2004)
Ghiath Al Sammane, Diana Toma, Julien Schmaltz, Pierre Ostier, Dominique Borrione
Constrained Symbolic Simulation with Mathematica and ACL2. CHARME (2003)