Yoshihiro Shimizu

Publication Activity (10 Years)

Years Active: 2009-2019
Publications (10 Years): 1

Top Topics

Fault Isolation

Probabilistic Approaches

Program Synthesis

Top Venues

IEICE Trans. Inf. Syst.

NII Shonan Meet. Rep.

Asian Test Symposium

Publications

François Fages, Katsumi Inoue, Heinz Koeppl, Chris Myers, Yoshihiro Shimizu
Formal methods for the synthesis of biomolecular circuits (NII Shonan Meeting 157). NII Shonan Meet. Rep. 2019 (2019)
Yoshihiro Shimizu, Yo Tanaka
Reconstitution of the protein synthesis system on a glass microchip. ECAL (2013)
Masayuki Arai, Yoshihiro Shimizu, Kazuhiko Iwasaki
Note on Layout-Aware Weighted Probabilistic Bridge Fault Coverage. Asian Test Symposium (2012)
Yoshinobu Higami, Satoshi Ohno, Hironori Yamaoka, Hiroshi Takahashi, Yoshihiro Shimizu, Takashi Aikyo
Generation of Diagnostic Tests for Transition Faults Using a Stuck-At ATPG Tool. IEICE Trans. Inf. Syst. (4) (2012)
Yoshinobu Higami, Yosuke Kurose, Satoshi Ohno, Hironori Yamaoka, Hiroshi Takahashi, Yoshihiro Shimizu, Takashi Aikyo, Yuzo Takamatsu
Diagnostic test generation for transition faults using a stuck-at ATPG tool. ITC (2009)