A Verification Procedure via Invariant for Extended Communicating Finite-State Machines. - Masahiro Higuchi; Osamu Shirakawa; Hiroyuki Seki; Mamoru Fujii; Tadao Kasami (CAV, 1992)

A method for verifying liveness of protocols modeled as a class of ECFSM. - Masahiro Higuchi; S. Sugawa; Mamoru Fujii (PSTV, 1994)

A Semi-Automated Verification Method for Communication Protocols Modeled as 2-ECSFMs. - Masahiro Higuchi; Junko Sano; Keigo Hara; Mamoru Fujii (ICDCS, 1996)

A phase connection method for communication protocols. - Tetsuo Sano; Masahiro Higuchi; Hiroyuki Seki; Tadao Kasami (Syst. Comput. Jpn., 1996)

A Method to Generate Conformance Test Sequences for FSM with Timer System Call. - Takanori Mori; K. Tokuda; Harumasa Tada; Masahiro Higuchi; Teruo Higashino (FORTE, 2001)

Location Transparent Distributed Scripts and Their Execution System on D'Agent. - Osamu Honda; Harumasa Tada; Masahiro Higuchi (ISADS, 2001)

A File Naming Scheme Using Hierarchical-Keywords. - Harumasa Tada; Osamu Honda; Masahiro Higuchi (COMPSAC, 2002)

A Handling Management System for Freight with the Ambient Calculus and UHF RFID Tags. - Toru Kato 002; Masahiro Higuchi (NBiS, 2012)

Development of a Tactile Sensor to Measure Tire Friction Coefficients in Arbitrary Directions. - Taisei Ise; Masahiro Higuchi; Hiroshi Tachiya (Int. J. Autom. Technol., 2013)

Integrated development environment for the multiple ambient calculus for modeling freight systems. - Toru Kato 002; Manami Shimazu; Masahiro Higuchi; Hiroshi Ohyama (CASE, 2016)

Container Shipping Route Recommendation System by Modeling Logistics System with the Ambient Calculus. - Toru Kato 002; Masahiro Higuchi; Hiroshi Ohyama; Yoshiaki Kawamura; Ryotaro Ohno (ISPA/BDCloud/SocialCom/SustainCom, 2022)

A Logistics Simulator with the Ambient Calculus for Modeling Intra-Regional Truck Transportation. - Toru Kato 002; Yuma Sakakibara; Masahiro Higuchi (IECON, 2023)