Tadaaki Tanimoto (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

4 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 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)

2 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)

1 Tadaaki Tanimoto, Suguru Sasaki, Akio Nakata, Teruo Higashino: A Global Timed Bisimulation Preserving Abstraction for Parametric Time-Interval Automata. ATVA 2004: 179-195

Selection of 4 from 4 records - Tadaaki Tanimoto has 5 coauthors

4		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		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)
2		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)
1		Tadaaki Tanimoto, Suguru Sasaki, Akio Nakata, Teruo Higashino: A Global Timed Bisimulation Preserving Abstraction for Parametric Time-Interval Automata. ATVA 2004: 179-195