2008 |
9 | EE | Naoki Iwasaki,
Katsumi Wasaki:
A Meta Hardware Description Language Melasy for Model-Checking Systems.
ITNG 2008: 273-278 |
2007 |
8 | EE | Katsumi Wasaki,
Toshiaki Harai,
Tamotsu Hayashi,
Ken-ichi Arai:
Controller Design and Verification for A Pipeline Image Processor based on An Extended Petri net.
DSD 2007: 257-260 |
7 | | Katsumi Wasaki,
Ken-ichi Arai:
A Case Study of Formal Verification for Multi-level Pipeline Logic Circuit by using Mizar Proof Checker.
FCS 2007: 10-16 |
2005 |
6 | EE | Hisayoshi Kunimune,
Masaaki Niimura,
Katsumi Wasaki,
Yasushi Fuwa,
Yasunari Shidama,
Yatsuka Nakamura:
The Learning System of Shinshu University Graduate School of Science and Technology on the Internet.
KES (3) 2005: 1296-1302 |
2004 |
5 | EE | Shinnosuke Yamaguchi,
A. Nishino,
Katsumi Wasaki,
Yasunari Shidama:
The design verification for the 3DES encipher chip based on an extended Petri net and XML/Java executor.
ICARCV 2004: 1994-1999 |
2003 |
4 | | Shinnosuke Yamaguchi,
Katsumi Wasaki,
Yasunari Shidama:
A High Reliability Design for Nfs Server Software By Using an Extended Petri Net.
ICEIS (3) 2003: 498-502 |
2002 |
3 | EE | Koichi Okada,
Katsumi Wasaki,
Yasunari Shidama:
The persistence of the Petri Net state-space.
ICARCV 2002: 69-72 |
2 | EE | Shinnosuke Yamaguchi,
Katsumi Wasaki,
Yasunari Shidama:
A high reliability design for NFS server software based on the logical coloured Petri net.
ICARCV 2002: 73-77 |
2001 |
1 | | Takashi Mitsuishi,
Jun Kawabe,
Katsumi Wasaki,
Yasunari Shidama:
Optimization of Fuzzy Feedback Control in L_Space.
FUZZ-IEEE 2001: 896-899 |