| |
| 2006 | ||
|---|---|---|
| 5 | EE | Husam Abu-Haimed, David L. Dill, Sergey Berezin: A Refinement Method for Validity Checking of Quantified First-Order Formulas in Hardware Verification. FMCAD 2006: 145-152 |
| 2003 | ||
| 4 | EE | Husam Abu-Haimed, Sergey Berezin, David L. Dill: Strengthening Invariants by Symbolic Consistency Testing. CAV 2003: 407-419 |
| 3 | EE | Husam Abu-Haimed, Sergey Berezin, David L. Dill: Semi-formal Verification of Memory Systems by Symbolic Simulation. CHARME 2003: 158-163 |
| 2001 | ||
| 2 | Mayez A. Al-Mouhamed, Husam Abu-Haimed: Evaluation of Neural and Genetic Algorithms for Synthesizing Parallel Storage Schemes. International Journal of Parallel Programming 29(4): 365-399 (2001) | |
| 2000 | ||
| 1 | Mayez A. Al-Mouhamed, Husam Abu-Haimed: Evaluation of Neural and Genetic Algorithms for Synthesizing Parallel Storage Schemes. PDPTA 2000 | |
| 1 | Mayez A. Al-Mouhamed | [1] [2] |
| 2 | Sergey Berezin | [3] [4] [5] |
| 3 | David L. Dill | [3] [4] [5] |