Binary synthesis implementing external interrupt handler as independent module. - Naoya Ito; Yuuki Oosako; Nagisa Ishiura; Hiroyuki Kanbara; Hiroyuki Tomiyama (RSP, 2017)

Synthesis of Full Hardware Implementation of RTOS-Based Systems. - Yuuki Oosako; Nagisa Ishiura; Hiroyuki Tomiyama; Hiroyuki Kanbara (RSP, 2018)