| 1996 |
|---|
| 6 | | Masahiro Higuchi,
J. Sano,
K. Hara,
Mamoru Fujii:
A Semi-Automated Verification Method for Communication Protocols Modeled as 2-ECSFMs.
ICDCS 1996: 290-298 |
| 1994 |
|---|
| 5 | | Masahiro Higuchi,
S. Sugawa,
Mamoru Fujii:
A method for verifying liveness of protocols modeled as a class of ECFSM.
PSTV 1994: 287-302 |
| 1992 |
|---|
| 4 | | Masahiro Higuchi,
Osamu Shirakawa,
Hiroyuki Seki,
Mamoru Fujii,
Tadao Kasami:
A Verification Procedure via Invariant for Extended Communicating Finite-State Machines.
CAV 1992: 384-395 |
| 1991 |
|---|
| 3 | | Hiroyuki Seki,
T. Matsumura,
Mamoru Fujii,
Tadao Kasami:
On Multiple Context-Free Grammars.
Theor. Comput. Sci. 88(2): 191-229 (1991) |
| 1989 |
|---|
| 2 | EE | Hideo Kudo,
Yuji Sugiyama,
Mamoru Fujii,
Koji Torii:
Quantifying a design process based on experiments.
Journal of Systems and Software 9(2): 129-136 (1989) |
| 1987 |
|---|
| 1 | | Koji Torii,
Yuji Sugiyama,
Mamoru Fujii,
Tadao Kasami,
Yoshitomi Morisawa:
Logical Programming for the Telegram Analysis Problem.
Comput. Lang. 12(1): 9-20 (1987) |
