Ghiath Al Sammane

12 papers A 1B 1C 2Misc 2Journal 2Unranked 4
YearRankTypeTitle / Venue / Authors
2013 J jnl
Automatic verification of reduction techniques in Higher Order Logic.
Formal Aspects Comput.
Sa'ed Abed, Otmane Aït Mohamed, Ghiath Al Sammane
2009 J jnl
An Abstract Reachability Approach by Combining HOL Induction and Multiway Decision Graphs.
J. Comput. Sci. Technol.
Sa'ed Abed, Otmane Aït Mohamed, Ghiath Al Sammane
2008 Misc conf
Reachability analysis using multiway decision graphs in the HOL theorem prover.
SAC
Sa'ed Abed, Otmane Aït Mohamed, Ghiath Al Sammane
2008 C conf
The Performance of Combining Multiway Decision Graphs and HOL Theorem Prover.
FDL
Sa'ed Abed, Otmane Aït Mohamed, Ghiath Al Sammane
2007 A conf
A symbolic methodology for the verification of analog and mixed signal designs.
DATE
Ghiath Al Sammane, Mohamed H. Zaki, Sofiène Tahar
2007 B conf
Combining Symbolic Simulation and Interval Arithmetic for the Verification of AMS Designs.
FMCAD
Mohamed H. Zaki, Ghiath Al Sammane, Sofiène Tahar, Guy Bois
2007 Misc conf
Formal Verification of Analog and Mixed Signal Designs in Mathematica.
International Conference on Computational Science (2)
Mohamed H. Zaki, Ghiath Al Sammane, Sofiène Tahar
2007 C conf
Towards Assertion Based Verification of Analog and Mixed Signal Designs Using PSL.
FDL
Ghiath Al Sammane, Mohamed H. Zaki, Zhi Jie Dong, Sofiène Tahar
2005 — conf
Verification of behavioral descriptions by combining symbolic simulation and automatic reasoning.
ACM Great Lakes Symposium on VLSI
Ghiath Al Sammane, Dominique Borrione, Remy Chevallier
2004 — conf
Combining Several Paradigms for Circuit Validation and Verification.
CASSIS
Diana Toma, Dominique Borrione, Ghiath Al Sammane
2004 — conf
TheoSim: combining symbolic simulation and theorem proving for hardware verification.
SBCCI
Ghiath Al Sammane, Julien Schmaltz, Diana Toma, Pierre Ostier, Dominique Borrione
2003 — conf
Constrained Symbolic Simulation with Mathematica and ACL2.
CHARME
Ghiath Al Sammane, Diana Toma, Julien Schmaltz, Pierre Ostier, Dominique Borrione