 | 2009 |
|---|
| 6 |       | Hamid Shojaei,
Amir Hossein Ghamarian,
Twan Basten,
Marc Geilen,
Sander Stuijk,
Rob Hoes:
A parameterized compositional multi-dimensional multiple-choice knapsack heuristic for CMP run-time management.
DAC 2009: 917-922 |
| 2008 |
|---|
| 5 | | Hamid Shojaei,
Twan Basten,
Marc Geilen,
Phillip Stanley-Marbell:
SPaC: a symbolic pareto calculator.
CODES+ISSS 2008: 179-184 |
| 2007 |
|---|
| 4 | | 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 | | Hamid Shojaei,
Mohammad Sayyaran:
Signal Coverage Computation in Formal Verification.
VLSI-SoC 2006: 92-97 |
| 2005 |
|---|
| 2 | | 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 | | Hamid Shojaei,
Habib Ghayoumi:
Techniques for Formal Verification of Digital Systems: A System Approach.
DSD 2004: 444-449 |
