Masahiro Higuchi

According to our database, Masahiro Higuchi authored at least 12 papers between 1992 and 2023.

Collaborative distances:

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

2023

A Logistics Simulator with the Ambient Calculus for Modeling Intra-Regional Truck Transportation.

Toru Kato, Yuma Sakakibara, Masahiro Higuchi

Proceedings of the 49th Annual Conference of the IEEE Industrial Electronics Society, 2023

2022

Container Shipping Route Recommendation System by Modeling Logistics System with the Ambient Calculus.

Toru Kato, Masahiro Higuchi, Hiroshi Ohyama, Yoshiaki Kawamura, Ryotaro Ohno

Proceedings of the IEEE Intl Conf on Parallel & Distributed Processing with Applications, 2022

2016

Integrated development environment for the multiple ambient calculus for modeling freight systems.

Toru Kato, Manami Shimazu, Masahiro Higuchi, Hiroshi Ohyama

Proceedings of the IEEE International Conference on Automation Science and Engineering, 2016

2013

Development of a Tactile Sensor to Measure Tire Friction Coefficients in Arbitrary Directions.

Taisei Ise, Masahiro Higuchi, Hiroshi Tachiya

Int. J. Autom. Technol., 2013

2012

A Handling Management System for Freight with the Ambient Calculus and UHF RFID Tags.

Toru Kato, Masahiro Higuchi

Proceedings of the 15th International Conference on Network-Based Information Systems, 2012

2002

A File Naming Scheme Using Hierarchical-Keywords.

Harumasa Tada, Osamu Honda, Masahiro Higuchi

Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002

2001

Location Transparent Distributed Scripts and Their Execution System on D'Agent.

Osamu Honda, Harumasa Tada, Masahiro Higuchi

Proceedings of the Fifth International Symposium on Autonomous Decentralized Systems, 2001

A Method to Generate Conformance Test Sequences for FSM with Timer System Call.

Takanori Mori, K. Tokuda, Harumasa Tada, Masahiro Higuchi, Teruo Higashino

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2001

1996

A phase connection method for communication protocols.

Tetsuo Sano, Masahiro Higuchi, Hiroyuki Seki, Tadao Kasami

Syst. Comput. Jpn., 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