- High-Performance Embedded Computing: Applications in Cyber-Physical Systems and Mobile Computing
- Embedded Software Design and Programming of Multiprocessor System-on-Chip: Simulink and System C Case Studies
- The Physics of Computing
- Computers as Components: Principles of Embedded Computing System Design
- Internet-of-Things (IoT) Systems: Architectures, Algorithms, Methodologies