Search the dblp DataBase

Publications of Author

1. Masahiro Higuchi, Osamu Shirakawa, Hiroyuki Seki, Mamoru Fujii, Tadao Kasami
   A Verification Procedure via Invariant for Extended Communicating Finite-State Machines. [Citation Graph (0, 0)][DBLP]
   CAV, 1992, pp:384-395 [Conf]
   
2. Harumasa Tada, Osamu Honda, Masahiro Higuchi
   A File Naming Scheme Using Hierarchical-Keywords. [Citation Graph (0, 0)][DBLP]
   COMPSAC, 2002, pp:799-804 [Conf]
   
3. Takanori Mori, K. Tokuda, Harumasa Tada, Masahiro Higuchi, Teruo Higashino
   A Method to Generate Conformance Test Sequences for FSM with Timer System Call. [Citation Graph (0, 0)][DBLP]
   FORTE, 2001, pp:301-318 [Conf]
   
4. Masahiro Higuchi, J. Sano, K. Hara, Mamoru Fujii
   A Semi-Automated Verification Method for Communication Protocols Modeled as 2-ECSFMs. [Citation Graph (0, 0)][DBLP]
   ICDCS, 1996, pp:290-298 [Conf]
   
5. Osamu Honda, Harumasa Tada, Masahiro Higuchi
   Location Transparent Distributed Scripts and Their Execution System on D'Agent. [Citation Graph (0, 0)][DBLP]
   ISADS, 2001, pp:223-226 [Conf]
   
6. Masahiro Higuchi, S. Sugawa, Mamoru Fujii
   A method for verifying liveness of protocols modeled as a class of ECFSM. [Citation Graph (0, 0)][DBLP]
   PSTV, 1994, pp:287-302 [Conf]