Tadaaki Tanimoto

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2011
Symbolic Discord Computation for Efficient Analysis of Message Sequence Charts.
IPSJ Trans. Syst. LSI Des. Methodol., 2011

2006
A Timed Failure Equivalence Preserving Abstraction for Parametric Time-interval Automata.
Int. J. Found. Comput. Sci., 2006

A real time budgeting method for module-level-pipelined bus based system using bus scenarios.
Proceedings of the 43rd Design Automation Conference, 2006

2005
Double Depth First Search Based Parametric Analysis for Parametric Time-Interval Automata.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2005

2004
A Global Timed Bisimulation Preserving Abstraction for Parametric Time-Interval Automata.
Proceedings of the Automated Technology for Verification and Analysis: Second International Conference, 2004


  Loading...