Masaaki Mori

According to our database, Masaaki Mori authored at least 9 papers between 1984 and 2013.

Collaborative distances:

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

2013

Estimation of overlay link quality from previously observed link qualities.

Weihua Sun, Naoki Shibata, Keiichi Yasumoto, Masaaki Mori

Proceedings of the 10th IEEE Consumer Communications and Networking Conference, 2013

2005

MTcast: Robust and Efficient P2P-Based Video Delivery for Heterogeneous Users.

Tao Sun, Morihiko Tamai, Keiichi Yasumoto, Naoki Shibata, Minoru Ito, Masaaki Mori

Proceedings of the Principles of Distributed Systems, 9th International Conference, 2005

2003

QoS Functional Testing for Multi-media Systems.

Tao Sun, Keiichi Yasumoto, Masaaki Mori, Teruo Higashino

Proceedings of the Formal Techniques for Networked and Distributed Systems - FORTE 2003, 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29, 2003

1994

On finite covering of infinite spaces for protocol test selection.

Masaaki Mori, Son T. Vuong

Proceedings of the Protocol Specification, 1994

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

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

Automated Verification of Equivalence of Protocol Machines.

Teruo Higashino, Kiyoshi Ninomiya, Tomohisa Kimoto, Kenichi Taniguchi, Masaaki Mori

Proceedings of the Protocol Specification, 1989

1987

Verification of progress property of algebraically specified communication protocols.

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

Syst. Comput. Jpn., 1987

1984

An Algebraic Specification of HDLC Procedures and Its Verification.

Teruo Higashino, Masaaki Mori, Yuji Sugiyama, Kenichi Taniguchi, Tadao Kasami

IEEE Trans. Software Eng., 1984