Formal probabilistic analysis of distributed dynamic thermal management. - Shafaq Iqtedar; Osman Hasan; Muhammad Shafique 001; Jörg Henkel (DATE, 2015)

Probabilistic Formal Verification Methodology for Decentralized Thermal Management in On-Chip Systems. - Shafaq Iqtedar; Osman Hasan; Muhammad Shafique 001; Jörg Henkel (WETICE, 2015)

Formal probabilistic analysis of distributed resource management schemes in on-chip systems. - Shafaq Iqtedar; Osman Hasan; Muhammad Shafique 001; Jörg Henkel (DATE, 2016)