Search the dblp DataBase

Publications of Author

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