| 2008 |
|---|
| 5 | EE | Hamid Shojaei,
Twan Basten,
Marc Geilen,
Phillip Stanley-Marbell:
SPaC: a symbolic pareto calculator.
CODES+ISSS 2008: 179-184 |
| 2007 |
|---|
| 4 | EE | Mohammad Reza Kakoee,
Hamid Shojaei,
Hassan Ghasemzadeh,
Marjan Sirjani,
Zainalabedin Navabi:
A New Approach for Design and Verification of Transaction Level Models.
ISCAS 2007: 3760-3763 |
| 2006 |
|---|
| 3 | EE | Hamid Shojaei,
Mohammad Sayyaran:
Signal Coverage Computation in Formal Verification.
VLSI-SoC 2006: 92-97 |
| 2005 |
|---|
| 2 | EE | Pejman Lotfi-Kamran,
Mohammad Hosseinabady,
Hamid Shojaei,
Mehran Massoumi,
Zainalabedin Navabi:
TED+: a data structure for microprocessor verification.
ASP-DAC 2005: 567-572 |
| 2004 |
|---|
| 1 | EE | Hamid Shojaei,
Habib Ghayoumi:
Techniques for Formal Verification of Digital Systems: A System Approach.
DSD 2004: 444-449 |
