Tadaaki Tanimoto

Publication Activity (10 Years)

Years Active: 2004-2011
Publications (10 Years): 0

Publications

Yosuke Kakiuchi, Tomofumi Nakagawa, Kiyoharu Hamaguchi, Tadaaki Tanimoto, Masaki Nakanishi
Symbolic Discord Computation for Efficient Analysis of Message Sequence Charts. Inf. Media Technol. 6 (4) (2011)
Yosuke Kakiuchi, Tomofumi Nakagawa, Kiyoharu Hamaguchi, Tadaaki Tanimoto, Masaki Nakanishi
Symbolic Discord Computation for Efficient Analysis of Message Sequence Charts. IPSJ Trans. Syst. LSI Des. Methodol. 4 (2011)
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)
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) (2006)
Tadaaki Tanimoto, Akio Nakata, Hideaki Hashimoto, Teruo Higashino
Double Depth First Search Based Parametric Analysis for Parametric Time-Interval Automata. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (11) (2005)
Tadaaki Tanimoto, Suguru Sasaki, Akio Nakata, Teruo Higashino
A Global Timed Bisimulation Preserving Abstraction for Parametric Time-Interval Automata. ATVA (2004)