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