2005 |
6 | EE | Takanori Mori,
Michiaki Katsumoto:
A Quality Decision Method for Multi-Object Content based on User Requirements.
DFMA 2005: 231-238 |
2004 |
5 | EE | Takanori Mori,
Akio Nakata,
Teruo Higashino:
A Method for Designing Multimedia Protocols using Both Parametric Model Checking and Functional Testing.
Stud. Inform. Univ. 3(2): 231- (2004) |
2003 |
4 | EE | Takanori Mori,
Hirotaka Otsuka,
Nobuo Funabiki,
Akio Nakata,
Teruo Higashino:
A test sequence generation method for communication protocols using the SAT algorithm.
Systems and Computers in Japan 34(11): 20-29 (2003) |
2002 |
3 | EE | Masayuki Kirimura,
Yoshifumi Takamoto,
Takanori Mori,
Keiichi Yasumoto,
Akio Nakata,
Teruo Higashino:
Design and Implementation of FPGA Circuits for High Speed Network Monitors.
FPL 2002: 393-403 |
2 | EE | Makoto Yamada,
Takanori Mori,
Atsushi Fukada,
Akio Nakata,
Teruo Higashino:
A Method for Functional Testing of Media Synchronization Protocols.
ICOIN (2) 2002: 539-550 |
2001 |
1 | | Takanori Mori,
K. Tokuda,
Harumasa Tada,
Masahiro Higuchi,
Teruo Higashino:
A Method to Generate Conformance Test Sequences for FSM with Timer System Call.
FORTE 2001: 301-318 |