2006 |
4 | EE | Tadaaki Tanimoto,
Seiji Yamaguchi,
Akio Nakata,
Teruo Higashino:
A real time budgeting method for module-level-pipelined bus based system using bus scenarios.
DAC 2006: 37-42 |
3 | EE | Akio Nakata,
Tadaaki Tanimoto,
Suguru Sasaki,
Teruo Higashino:
A Timed Failure Equivalence Preserving Abstraction for Parametric Time-interval Automata.
Int. J. Found. Comput. Sci. 17(4): 833-850 (2006) |
2005 |
2 | EE | Tadaaki Tanimoto,
Akio Nakata,
Hideaki Hashimoto,
Teruo Higashino:
Double Depth First Search Based Parametric Analysis for Parametric Time-Interval Automata.
IEICE Transactions 88-A(11): 3007-3021 (2005) |
2004 |
1 | EE | Tadaaki Tanimoto,
Suguru Sasaki,
Akio Nakata,
Teruo Higashino:
A Global Timed Bisimulation Preserving Abstraction for Parametric Time-Interval Automata.
ATVA 2004: 179-195 |