Hisashi Miyazaki

Publication Activity (10 Years)

Years Active: 2012-2015
Publications (10 Years): 0

Top Topics

Boolean Satisfiability

Top Venues

IEICE Trans. Inf. Syst.

IEICE Electron. Express

Publications

Tomoyuki Yokogawa, Masafumi Kondo, Hisashi Miyazaki, Sousuke Amasaki, Yoichiro Sato, Kazutami Arimoto
Bounded model checking of Time Petri Nets using SAT solver. IEICE Electron. Express 12 (2) (2015)
Tomoyuki Yokogawa, Sousuke Amasaki, Keisuke Okazaki, Yoichiro Sato, Kazutami Arimoto, Hisashi Miyazaki
Consistency Verification of UML Diagrams Based on Process Bisimulation. PRDC (2013)
Hisashi Miyazaki, Tomoyuki Yokogawa, Sousuke Amasaki, Kazuma Asada, Yoichiro Sato
Synthesis and Refinement Check of Sequence Diagrams. IEICE Trans. Inf. Syst. (9) (2012)