A Global Timed Bisimulation Preserving Abstraction for Parametric Time-Interval Automata. - Tadaaki Tanimoto; Suguru Sasaki; Akio Nakata; Teruo Higashino (ATVA, 2004)

Double Depth First Search Based Parametric Analysis for Parametric Time-Interval Automata. - Tadaaki Tanimoto; Akio Nakata; Hideaki Hashimoto; Teruo Higashino (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2005)

A real time budgeting method for module-level-pipelined bus based system using bus scenarios. - Tadaaki Tanimoto; Seiji Yamaguchi; Akio Nakata; Teruo Higashino (DAC, 2006)

A Timed Failure Equivalence Preserving Abstraction for Parametric Time-interval Automata. - Akio Nakata; Tadaaki Tanimoto; Suguru Sasaki; Teruo Higashino (Int. J. Found. Comput. Sci., 2006)

Symbolic Discord Computation for Efficient Analysis of Message Sequence Charts. - Yosuke Kakiuchi; Tomofumi Nakagawa; Kiyoharu Hamaguchi; Tadaaki Tanimoto; Masaki Nakanishi (IPSJ Trans. Syst. LSI Des. Methodol., 2011)