Mamoru Fujii

13 papers A* 1A 1Journal 9Unranked 1
YearRankTypeTitle / Venue / Authors
1996 A conf
A Semi-Automated Verification Method for Communication Protocols Modeled as 2-ECSFMs.
ICDCS
Masahiro Higuchi, Junko Sano, Keigo Hara, Mamoru Fujii
1994 — conf
A method for verifying liveness of protocols modeled as a class of ECFSM.
PSTV
Masahiro Higuchi, S. Sugawa, Mamoru Fujii
1992 A* conf
A Verification Procedure via Invariant for Extended Communicating Finite-State Machines.
CAV
Masahiro Higuchi, Osamu Shirakawa, Hiroyuki Seki, Mamoru Fujii, Tadao Kasami
1991 — ch.
An Algebraic Method For Verifying Progress Property of Communication Protocols.
Software Science and Engineering
Teruo Higashino, Kenichi Taniguchi, Tadao Kasami, Mamoru Fujii, Masaaki Mori
1991 J jnl
On Multiple Context-Free Grammars.
Theor. Comput. Sci.
Hiroyuki Seki, Takashi Matsumura, Mamoru Fujii, Tadao Kasami
1991 J jnl
The generative power of multiple context-free grammars and head grammars.
Syst. Comput. Jpn.
Takashi Matsumura, Hiroyuki Seki, Mamoru Fujii, Tadao Kasami
1989 J jnl
Generalized context-free grammars and multiple context-free grammars.
Syst. Comput. Jpn.
Tadao Kasami, Hiroyuki Seki, Mamoru Fujii
1989 J jnl
Membership problem for head languages and multiple context-free languages.
Syst. Comput. Jpn.
Tadao Kasami, Hiroyuki Seki, Mamoru Fujii
1989 J jnl
Quantifying a design process based on experiments.
J. Syst. Softw.
Hideo Kudo, Yuji Sugiyama, Mamoru Fujii, Koji Torii
1989 J jnl
Verification of safeness and mutual exclusion properties of algebraically specified token ring LAN protocol.
Syst. Comput. Jpn.
Teruo Higashino, Mamoru Fujii, Kenichi Taniguchi, Tadao Kasami, Masaaki Mori
1988 J jnl
An attribute grammar with common attributes and its evaluator in prolog.
Syst. Comput. Jpn.
An Feng, Yuji Sugiyama, Mamoru Fujii, Koji Torii
1987 J jnl
Logical Programming for the Telegram Analysis Problem.
Comput. Lang.
Koji Torii, Yuji Sugiyama, Mamoru Fujii, Tadao Kasami, Yoshitomi Morisawa
1987 J jnl
Verification of progress property of algebraically specified communication protocols.
Syst. Comput. Jpn.
Teruo Higashino, Kenichi Taniguchi, Tadao Kasami, Mamoru Fujii, Masaaki Mori