High-level Estimation and Exploration of Reliability for Multi-Processor System-on-Chip

Low-Power Design and Power-Aware Verification

The Hardware Trojan War Attacks, Myths, and Defenses

Dependable Multicore Architectures at Nanoscale

System Dependability Evaluation Including S-dependency and Uncertainty Model-Driven Dependability Analyses

Cloud Computing Concepts and Practices

Advanced Logic Synthesis

Contactless VLSI Measurement and Testing Techniques

Smart Camera Design Algorithms, Architectures, and Art

Machine Learning for Model Order Reduction

CMOS Circuits for Biological Sensing and Processing

Simulation and Optimization of Digital Circuits Considering and Mitigating Destabilizing Factors