research
∙
11/07/2021
A Symbolic Approach to Detecting Hardware Trojans Triggered by Don't Care Transitions
Due to the globalization of Integrated Circuit (IC) supply chain, hardwa...
share
research
∙
04/16/2021
Learning Feature Interactions With and Without Specifications
Features in product lines and highly configurable systems can interact i...
research
∙
12/30/2017
Heuristics for Selecting Predicates for Partial Predicate Abstraction
In this paper we consider the problem of configuring partial predicate a...
research
∙
12/05/2017