Masahiro Higuchi

12 papers A* 1A 1B 1C 3Journal 2Unranked 4
YearRankTypeTitle / Venue / Authors
2023 C conf
A Logistics Simulator with the Ambient Calculus for Modeling Intra-Regional Truck Transportation.
IECON
Toru Kato, Yuma Sakakibara, Masahiro Higuchi
2022 — conf
Container Shipping Route Recommendation System by Modeling Logistics System with the Ambient Calculus.
ISPA/BDCloud/SocialCom/SustainCom
Toru Kato, Masahiro Higuchi, Hiroshi Ohyama, Yoshiaki Kawamura, Ryotaro Ohno
2016 — conf
Integrated development environment for the multiple ambient calculus for modeling freight systems.
CASE
Toru Kato, Manami Shimazu, Masahiro Higuchi, Hiroshi Ohyama
2013 J jnl
Development of a Tactile Sensor to Measure Tire Friction Coefficients in Arbitrary Directions.
Int. J. Autom. Technol.
Taisei Ise, Masahiro Higuchi, Hiroshi Tachiya
2012 — conf
A Handling Management System for Freight with the Ambient Calculus and UHF RFID Tags.
NBiS
Toru Kato, Masahiro Higuchi
2002 B conf
A File Naming Scheme Using Hierarchical-Keywords.
COMPSAC
Harumasa Tada, Osamu Honda, Masahiro Higuchi
2001 C conf
A Method to Generate Conformance Test Sequences for FSM with Timer System Call.
FORTE
Takanori Mori, K. Tokuda, Harumasa Tada, Masahiro Higuchi, Teruo Higashino
2001 C conf
Location Transparent Distributed Scripts and Their Execution System on D'Agent.
ISADS
Osamu Honda, Harumasa Tada, Masahiro Higuchi
1996 A conf
A Semi-Automated Verification Method for Communication Protocols Modeled as 2-ECSFMs.
ICDCS
Masahiro Higuchi, Junko Sano, Keigo Hara, Mamoru Fujii
1996 J jnl
A phase connection method for communication protocols.
Syst. Comput. Jpn.
Tetsuo Sano, Masahiro Higuchi, Hiroyuki Seki, Tadao Kasami
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