Publications

Read more about our research.

Research outputs

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
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
A prototype evaluation of a tamper-resistant high performance blockchain-based transaction log for a distributed database
Leonardo Aniello, Roberto Baldoni, Edoardo Gaetani, Federico Lombardi, Andrea Margheri & Vladimiro Sassone, 2017
DOI: 10.1109/EDCC.2017.31
Type: conference
Android malware family classification based on resource consumption over time
Luca Massarelli, Leonardo Aniello, Claudio Ciccotelli, Leonardo Querzoni, Daniele Ucci & Roberto Baldoni, 2017
DOI: 10.1109/MALWARE.2017.8323954
Type: conference