Embedded and Real-Time Operating Systems

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

Introduction to Logic Circuits & Logic Design with Verilog

Separation Logic for High-level Synthesis

Cloud Computing Concepts and Practices

Introduction to Logic Circuits & Logic Design with VHDL

Digital Systems From Logic Gates to Processors

Operational Amplifiers Theory and Design