| 2007 |
|---|
| 4 | EE | Fadi A. Zaraket,
Adnan Aziz,
Sarfraz Khurshid:
Sequential circuits for program analysis.
ASE 2007: 114-123 |
| 3 | EE | Fadi A. Zaraket,
John Pape,
Adnan Aziz,
Margarida F. Jacome,
Sarfraz Khurshid:
Global Optimization of Compositional Systems.
FMCAD 2007: 93-100 |
| 2 | EE | Fadi A. Zaraket,
Adnan Aziz,
Sarfraz Khurshid:
Sequential Circuits for Relational Analysis.
ICSE 2007: 13-22 |
| 2005 |
|---|
| 1 | | Fadi A. Zaraket,
Jason Baumgartner,
Adnan Aziz:
Scalable compositional minimization via static analysis.
ICCAD 2005: 1060-1067 |
