Travelled to:1 × Brazil
1 × France
Collaborated with:S.Abed O.A.Mohamed M.H.Zaki S.Tahar
Talks about:methodolog (1) reachabl (1) multiway (1) theorem (1) analysi (1) symbol (1) signal (1) prover (1) design (1) analog (1)
Person: Ghiath Al Sammane
DBLP: Sammane:Ghiath_Al
Contributed to:
2008
2007Wrote 2 papers:
- SAC-2008-AbedMS #analysis #graph #multi #proving #reachability #theorem proving #using
- Reachability analysis using multiway decision graphs in the HOL theorem prover (SA, OAM, GAS), pp. 333–338.
- DATE-2007-Al-SammaneZT #design #verification
- A symbolic methodology for the verification of analog and mixed signal designs (GAS, MHZ, ST), pp. 249–254.