Mamoru Fujii

Publication Activity (10 Years)

Years Active: 1987-1996
Publications (10 Years): 0

Publications

Masahiro Higuchi, J. Sano, K. Hara, Mamoru Fujii
A Semi-Automated Verification Method for Communication Protocols Modeled as 2-ECSFMs. ICDCS (1996)
Masahiro Higuchi, S. Sugawa, Mamoru Fujii
A method for verifying liveness of protocols modeled as a class of ECFSM. PSTV (1994)
Masahiro Higuchi, Osamu Shirakawa, Hiroyuki Seki, Mamoru Fujii, Tadao Kasami
A Verification Procedure via Invariant for Extended Communicating Finite-State Machines. CAV (1992)
Takashi Matsumura, Hiroyuki Seki, Mamoru Fujii, Tadao Kasami
The generative power of multiple context-free grammars and head grammars. Systems and Computers in Japan 22 (4) (1991)
Hiroyuki Seki, Takashi Matsumura, Mamoru Fujii, Tadao Kasami
On Multiple Context-Free Grammars. Theor. Comput. Sci. 88 (2) (1991)
Tadao Kasami, Hiroyuki Seki, Mamoru Fujii
Generalized context-free grammars and multiple context-free grammars. Systems and Computers in Japan 20 (7) (1989)
Hideo Kudo, Yuji Sugiyama, Mamoru Fujii, Koji Torii
Quantifying a design process based on experiments. J. Syst. Softw. 9 (2) (1989)
Teruo Higashino, Mamoru Fujii, Kenichi Taniguchi, Tadao Kasami, Masaaki Mori
Verification of safeness and mutual exclusion properties of algebraically specified token ring LAN protocol. Systems and Computers in Japan 20 (5) (1989)
Tadao Kasami, Hiroyuki Seki, Mamoru Fujii
Membership problem for head languages and multiple context-free languages. Systems and Computers in Japan 20 (6) (1989)
An Feng, Yuji Sugiyama, Mamoru Fujii, Koji Torii
An attribute grammar with common attributes and its evaluator in prolog. Systems and Computers in Japan 19 (6) (1988)
Koji Torii, Yuji Sugiyama, Mamoru Fujii, Tadao Kasami, Yoshitomi Morisawa
Logical Programming for the Telegram Analysis Problem. Comput. Lang. 12 (1) (1987)
Teruo Higashino, Kenichi Taniguchi, Tadao Kasami, Mamoru Fujii, Masaaki Mori
Verification of progress property of algebraically specified communication protocols. Systems and Computers in Japan 18 (9) (1987)