Mamoru Fujii

According to our database, Mamoru Fujii authored at least 13 papers between 1987 and 1996.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1996

A Semi-Automated Verification Method for Communication Protocols Modeled as 2-ECSFMs.

Masahiro Higuchi, Junko Sano, Keigo Hara, Mamoru Fujii

Proceedings of the 16th International Conference on Distributed Computing Systems, 1996

1994

A method for verifying liveness of protocols modeled as a class of ECFSM.

Masahiro Higuchi, S. Sugawa, Mamoru Fujii

Proceedings of the Protocol Specification, 1994

1992

A Verification Procedure via Invariant for Extended Communicating Finite-State Machines.

Masahiro Higuchi, Osamu Shirakawa, Hiroyuki Seki, Mamoru Fujii, Tadao Kasami

Proceedings of the Computer Aided Verification, Fourth International Workshop, 1992

1991

An Algebraic Method For Verifying Progress Property of Communication Protocols.

Teruo Higashino, Kenichi Taniguchi, Tadao Kasami, Mamoru Fujii, Masaaki Mori

Proceedings of the Software Science and Engineering: Selected Papers from the Kyoto Symposia, 1991

On Multiple Context-Free Grammars.

Hiroyuki Seki, Takashi Matsumura, Mamoru Fujii, Tadao Kasami

Theor. Comput. Sci., 1991

The generative power of multiple context-free grammars and head grammars.

Takashi Matsumura, Hiroyuki Seki, Mamoru Fujii, Tadao Kasami

Syst. Comput. Jpn., 1991

1989

Generalized context-free grammars and multiple context-free grammars.

Tadao Kasami, Hiroyuki Seki, Mamoru Fujii

Syst. Comput. Jpn., 1989

Membership problem for head languages and multiple context-free languages.

Tadao Kasami, Hiroyuki Seki, Mamoru Fujii

Syst. Comput. Jpn., 1989

Verification of safeness and mutual exclusion properties of algebraically specified token ring LAN protocol.

Teruo Higashino, Mamoru Fujii, Kenichi Taniguchi, Tadao Kasami, Masaaki Mori

Syst. Comput. Jpn., 1989

Quantifying a design process based on experiments.

Hideo Kudo, Yuji Sugiyama, Mamoru Fujii, Koji Torii

J. Syst. Softw., 1989

1988

An attribute grammar with common attributes and its evaluator in prolog.

An Feng, Yuji Sugiyama, Mamoru Fujii, Koji Torii

Syst. Comput. Jpn., 1988

1987

Verification of progress property of algebraically specified communication protocols.

Teruo Higashino, Kenichi Taniguchi, Tadao Kasami, Mamoru Fujii, Masaaki Mori

Syst. Comput. Jpn., 1987

Logical Programming for the Telegram Analysis Problem.

Koji Torii, Yuji Sugiyama, Mamoru Fujii, Tadao Kasami, Yoshitomi Morisawa

Comput. Lang., 1987