| A symbolic methodology for the verification of analog and mixed signal designs G Al-Sammane, MH Zaki, S Tahar 2007 Design, Automation & Test in Europe Conference & Exhibition, 1-6, 2007 | 48 | 2007 |
| Towards Assertion Based Verification of Analog and Mixed Signal Designs Using PSL. G Al Sammane, MH Zaki, ZJ Dong, S Tahar FDL, 293-298, 2007 | 47 | 2007 |
| Combining symbolic simulation and interval arithmetic for the verification of AMS designs MH Zaki, G Al-Sammane, S Tahar, G Bois Formal Methods in Computer Aided Design (FMCAD'07), 207-215, 2007 | 31 | 2007 |
| On the simulation performance of contemporary AMS hardware description languages R Narayanan, N Abbasi, M Zaki, G Al Sammane, S Tahar 2008 International Conference on Microelectronics, 361-364, 2008 | 20 | 2008 |
| Simulation symbolique des circuits décrits au niveau algorithmique G Al-Sammane Université Joseph-Fourier-Grenoble I, 2005 | 20 | 2005 |
| TheoSim: combining symbolic simulation and theorem proving for hardware verification G Al Sammane, J Schmaltz, D Toma, P Ostier, D Borrione Proceedings of the 17th symposium on Integrated circuits and system design …, 2004 | 18 | 2004 |
| Combining several paradigms for circuit validation and verification D Toma, D Borrione, G Al Sammane International Workshop on Construction and Analysis of Safe, Secure, and …, 2004 | 17 | 2004 |
| Checking properties of PLL designs using run-time verification ZJ Dong, MH Zaki, G Al Sammane, S Tahar, G Bois 2007 Internatonal Conference on Microelectronics, 125-128, 2007 | 15 | 2007 |
| Integrating SAT with multiway decision graphs for efficient model checking OA Mohamed, Z Yang, G Al Sammane 2007 Internatonal Conference on Microelectronics, 129-132, 2007 | 14 | 2007 |
| Verification of analog and mixed signal designs using online monitoring Z Wang, N Abbasi, R Narayanan, MH Zaki, G Al Sammane, S Tahar 2009 IEEE 15th International Mixed-Signals, Sensors, and Systems Test …, 2009 | 12 | 2009 |
| Reachability analysis using multiway decision graphs in the HOL theorem prover S Abed, OA Mohamed, G Al Sammane Proceedings of the 2008 ACM symposium on Applied computing, 333-338, 2008 | 10 | 2008 |
| High level reduction technique for multiway decision graphs based model checking GA Sammane, S Abed, OA Mohamed First International Workshop on Verification and Evaluation of Computer and …, 2007 | 9 | 2007 |
| Run-time verification using the VHDL-AMS simulation environment ZJ Dong, MH Zaki, G Al Sammane, S Tahar, G Bois 2007 IEEE Northeast Workshop on Circuits and Systems, 1513-1516, 2007 | 8 | 2007 |
| An abstract reachability approach by combining HOL induction and multiway decision graphs S Abed, O Ait Mohamed, G Al-Sammane Journal of Computer Science and Technology 24, 76-95, 2009 | 7 | 2009 |
| Framework for formally verifying analog and mixed-signal designs MH Zaki, O Hasan, S Tahar, G Al-Sammane Computational Intelligence in Analog and Mixed-Signal (AMS) and Radio …, 2015 | 6 | 2015 |
| Constraint-Based verification of delta-sigma modulators using interval analysis G Al Sammane, MH Zaki, S Tahar, G Bois 2007 50th Midwest Symposium on Circuits and Systems, 726-729, 2007 | 6 | 2007 |
| On the embedding and verification of multiway decision graph in HOL theorem prover S Abed, OA Mohamed, G Al Sammane Technical Report 2007–1–Abed, ECE Department, Concordia University, Montreal …, 2007 | 5 | 2007 |
| Constrained Symbolic simulation with Mathematica and ACL2 GA Sammane, D Toma, J Schmaltz, P Ostier, D Borrione Correct Hardware Design and Verification Methods: 12th IFIP WG 10.5 Advanced …, 2003 | 4 | 2003 |
| Enabling AMS Simulation using Recurrence Notations N Abbasi, R Narayanan, G Al Sammane, MH Zaki, S Tahar Technical Report, Department of ECE, Concordia University, Montreal, Canada, 2008 | 3 | 2008 |
| Formal verification of analog and mixed signal designs in Mathematica MH Zaki, G Al-Sammane, S Tahar Computational Science–ICCS 2007: 7th International Conference, Beijing …, 2007 | 3 | 2007 |
