Zaher S. Andraus
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2004–2008
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2008 | LPAR | Reveal: A Formal Verification Tool for Verilog Designs. | Zaher S. Andraus, Mark H. Liffiton, Karem A. Sakallah |
| 2006 | ASPDAC | Refinement strategies for verification methods based on datapath abstraction. | Zaher S. Andraus, Mark H. Liffiton, Karem A. Sakallah |
| 2005 | SAT | A Branch-and-Bound Algorithm for Extracting Smallest Minimal Unsatisfiable Formulas. | Maher N. Mneimneh, Ins Lynce, Zaher S. Andraus, Joo Marques-Silva, Karem A. Sakallah |
| 2004 | DAC | Automatic abstraction and verification of verilog models. | Zaher S. Andraus, Karem A. Sakallah |
| 2004 | DAC | AMUSE: a minimally-unsatisfiable subformula extractor. | Yoonna Oh, Maher N. Mneimneh, Zaher S. Andraus, Karem A. Sakallah, Igor L. Markov |