Shafaq Iqtedar
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2015–2016
Best venue rank
A
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | DATE | Formal probabilistic analysis of distributed resource management schemes in on-chip systems. | Shafaq Iqtedar, Osman Hasan, Muhammad Shafique, Jrg Henkel |
| 2015 | DATE | Formal probabilistic analysis of distributed dynamic thermal management. | Shafaq Iqtedar, Osman Hasan, Muhammad Shafique, Jrg Henkel |
| 2015 | WETICE | Probabilistic Formal Verification Methodology for Decentralized Thermal Management in On-Chip Systems. | Shafaq Iqtedar, Osman Hasan, Muhammad Shafique, Jrg Henkel |