- Formal Methods and Models for System Design: A System Level Perspective (The Kluwer international series in video computing)
- Pain Management: Essential Topics for Examinations
- Multiple Choice Questions in Regional Anaesthesia
- SPARK:: A Parallelizing Approach to the High-Level Synthesis of Digital Circuits
- From Variability Tolerance to Approximate Computing in Parallel Integrated Architectures and Accelerators