Publications

Read more about our research.

Enabling data sharing in contextual environments: policy representation and analysis

Erisa Karafili & Emil Lupu, 2017

DOI: 10.1145/3078861.3078876

Type: conference

Game theoretic market driven smart home scheduling considering energy balancing

2017, IEEE Systems Journal, 11(2), 910-921

DOI: 10.1109/JSYST.2015.2418032

Type: article

Coarse-grained online monitoring of BTI aging by reusing power gating infrastructure

Vasileios Tenentes, Daniele Rossi, Sheng Yang, Saqib Khursheed, Bashir M. Al-Hashimi & Steve R. Gunn, 2017, IEEE Transactions on Very Large Scale Integration (VLSI) Systems, 25(4), 1397-1407

DOI: 10.1109/TVLSI.2016.2626218

Type: article

Aging benefits in nanometer CMOS designs

Daniele Rossi, Vasileios Tenentes, Sheng Yang, Saqib Khursheed & Bashir Al-Hashimi, 2017, IEEE Transactions on Circuits and Systems II: Express Briefs, 64(3), 324-328

DOI: 10.1109/TCSII.2016.2561206

Type: article

Using clang as a frontend on a formal verification tool

Mikhail R. Gadelha, Jeremy Morse, Lucas Cordeiro & Denis Nicole, 2017

Type: conference