Design Automation for Embedded Systems
Computational reflection and its application to platform verification
On fast development of FPGA-based SOA services—machine vision case study
Routing-based synthesis of digital microfluidic biochips