Ghiath Al Sammane

According to our database, Ghiath Al Sammane authored at least 12 papers between 2003 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2013

Automatic verification of reduction techniques in Higher Order Logic.

Sa'ed Abed, Otmane Aït Mohamed, Ghiath Al Sammane

Formal Aspects Comput., 2013

2009

An Abstract Reachability Approach by Combining HOL Induction and Multiway Decision Graphs.

Sa'ed Abed, Otmane Aït Mohamed, Ghiath Al Sammane

J. Comput. Sci. Technol., 2009

2008

Reachability analysis using multiway decision graphs in the HOL theorem prover.

Sa'ed Abed, Otmane Aït Mohamed, Ghiath Al Sammane

Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

The Performance of Combining Multiway Decision Graphs and HOL Theorem Prover.

Sa'ed Abed, Otmane Aït Mohamed, Ghiath Al Sammane

Proceedings of the Forum on specification and Design Languages, 2008

2007

Formal Verification of Analog and Mixed Signal Designs in Mathematica.

Mohamed H. Zaki, Ghiath Al Sammane, Sofiène Tahar

Proceedings of the Computational Science - ICCS 2007, 7th International Conference, Beijing, China, May 27, 2007

Combining Symbolic Simulation and Interval Arithmetic for the Verification of AMS Designs.

Mohamed H. Zaki, Ghiath Al Sammane, Sofiène Tahar, Guy Bois

Proceedings of the Formal Methods in Computer-Aided Design, 7th International Conference, 2007

Towards Assertion Based Verification of Analog and Mixed Signal Designs Using PSL.

Ghiath Al Sammane, Mohamed H. Zaki, Zhi Jie Dong, Sofiène Tahar

Proceedings of the Forum on specification and Design Languages, 2007

A symbolic methodology for the verification of analog and mixed signal designs.

Ghiath Al Sammane, Mohamed H. Zaki, Sofiène Tahar

Proceedings of the 2007 Design, Automation and Test in Europe Conference and Exposition, 2007

2005

Verification of behavioral descriptions by combining symbolic simulation and automatic reasoning.

Ghiath Al Sammane, Dominique Borrione, Remy Chevallier

Proceedings of the 15th ACM Great Lakes Symposium on VLSI 2005, 2005

2004

TheoSim: combining symbolic simulation and theorem proving for hardware verification.

Ghiath Al Sammane, Julien Schmaltz, Diana Toma, Pierre Ostier, Dominique Borrione

Proceedings of the 17th Annual Symposium on Integrated Circuits and Systems Design, 2004

Combining Several Paradigms for Circuit Validation and Verification.

Diana Toma, Dominique Borrione, Ghiath Al Sammane

Proceedings of the Construction and Analysis of Safe, 2004

2003

Constrained Symbolic Simulation with Mathematica and ACL2.

Ghiath Al Sammane, Diana Toma, Julien Schmaltz, Pierre Ostier, Dominique Borrione

Proceedings of the Correct Hardware Design and Verification Methods, 2003