Takeshi Nagaoka

发表

Clock Number Reduction Abstraction on CEGAR Loop Approach to Timed Automaton

Behzad Bordbar, Kozo Okano, Takeshi Nagaoka, 2011, 2011 Second International Conference on Networking and Computing.

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

Shinji Kusumoto, Akihiko Ito, Kozo Okano, 2011, IEICE Trans. Inf. Syst..

Study on Model Abstraction for Model Checking of Real-time Systems

Takeshi Nagaoka, 2011 .

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

Shinji Kusumoto, Kozo Okano, Takeshi Nagaoka, 2010, IEICE Trans. Inf. Syst..