Tomoya Kitai

According to our database, Tomoya Kitai authored at least 4 papers between 2001 and 2005.

Collaborative distances:

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

2005

Failure Trace Analysis of Timed Circuits for Automatic Timing Constraints Derivation.

Tomoya Kitai, Tomohiro Yoneda, Chris J. Myers

IEICE Trans. Inf. Syst., 2005

2002

Level Oriented Formal Model for Asynchronous Circuit Verification and its Efficient Analysis Method.

Tomoya Kitai, Yusuke Oguro, Tomohiro Yoneda, Eric Mercer, Chris J. Myers

Proceedings of the 9th Pacific Rim International Symposium on Dependable Computing (PRDC 2002), 2002

Automatic Derivation of Timing Constraints by Failure Analysis.

Tomohiro Yoneda, Tomoya Kitai, Chris J. Myers

Proceedings of the Computer Aided Verification, 14th International Conference, 2002

2001

Partial Order Reduction in Verification of Wheel Structured Parameterized Circuits.

Tomoya Kitai, Tomohiro Yoneda

Proceedings of the 8th Pacific Rim International Symposium on Dependable Computing (PRDC 2001), 2001