Publications

Read more about our research.

Predictive thermal management for energy-efficient execution of concurrent applications on heterogeneous multicores

Eduardo Weber W?chter, Cédric De Bellefroid, Karunakar Reddy Basireddy, Amit Kumar Singh, Bashir M. Al-Hashimi & Geoff Merrett, 2019, IEEE Transactions on Very Large Scale Integration (VLSI) Systems, 27(6), 1404-1415

DOI: 10.1109/TVLSI.2019.2896776

Type: article

SMT-based refutation of spurious bug reports in the clang static analyzer

Mikhail R. Gadelha, Enrico Steffinlongo, Lucas Cordeiro, Bernd Fischer & Denis Nicole, 2019

DOI: 10.1109/ICSE-Companion.2019.00026

Type: conference

Towards an integrated privacy protection framework for IoT: contextualising regulatory requirements with industry best practices.

2019

Type: conference

Fuzzy-based approach to assess and prioritize privacy risks

2019, Soft Computing, 1-11

DOI: 10.1007/s00500-019-03986-5

Type: article

ESBMC v6.0

Mikhail R. Gadelha, Felipe Monteiro, Lucas Cordeiro & Denis Nicole, 2019

DOI: 10.1007/978-3-030-17502-3_15

Type: conference

A methodology for assuring the safety and security of critical infrastructure based on STPA and Event-B

Giles Howard, Michael Butler, John Colley & Vladimiro Sassone, 2019, International Journal of Critical Computer-Based Systems, 56-75

DOI: 10.1504/IJCCBS.2019.10020048

Type: journalSpecialIssue

Threat modelling for the virtual machine image in cloud computing

Raid, Khalid Hussein Hussein & Vladimiro Sassone, 2019

DOI: 10.5121/csit.2019.90911

Type: conference