Takeshi Nagaoka

According to our database, Takeshi Nagaoka authored at least 3 papers between 2010 and 2011.

Collaborative distances:

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

2011

QoS Analysis of Real-Time Distributed Systems Based on Hybrid Analysis of Probabilistic Model Checking Technique and Simulation.

Takeshi Nagaoka, Akihiko Ito, Kozo Okano, Shinji Kusumoto

IEICE Trans. Inf. Syst., 2011

Clock Number Reduction Abstraction on CEGAR Loop Approach to Timed Automaton.

Kozo Okano, Behzad Bordbar, Takeshi Nagaoka

Proceedings of the Second International Conference on Networking and Computing, 2011

2010

An Abstraction Refinement Technique for Timed Automata Based on Counterexample-Guided Abstraction Refinement Loop.

Takeshi Nagaoka, Kozo Okano, Shinji Kusumoto

IEICE Trans. Inf. Syst., 2010