Tadaaki Tanimoto

According to our database, Tadaaki Tanimoto authored at least 5 papers between 2004 and 2011.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2011

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

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

A real time budgeting method for module-level-pipelined bus based system using bus scenarios.

Tadaaki Tanimoto, Seiji Yamaguchi, Akio Nakata, Teruo Higashino

Proceedings of the 43rd Design Automation Conference, 2006

2005

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

2004

A Global Timed Bisimulation Preserving Abstraction for Parametric Time-Interval Automata.

Tadaaki Tanimoto, Suguru Sasaki, Akio Nakata, Teruo Higashino

Proceedings of the Automated Technology for Verification and Analysis: Second International Conference, 2004