Login / Signup
Takeshi Nagaoka
Publication Activity (10 Years)
Years Active: 2010-2011
Publications (10 Years): 0
</>
Publications
</>
Kozo Okano
,
Behzad Bordbar
,
Takeshi Nagaoka
Clock Number Reduction Abstraction on CEGAR Loop Approach to Timed Automaton.
ICNC
(2011)
Takeshi Nagaoka
,
Akihiko Ito
,
Kozo Okano
,
Shinji Kusumoto
QoS Analysis of Real-Time Distributed Systems Based on Hybrid Analysis of Probabilistic Model Checking Technique and Simulation.
IEICE Trans. Inf. Syst.
(5) (2011)
Takeshi Nagaoka
,
Kozo Okano
,
Shinji Kusumoto
An Abstraction Refinement Technique for Timed Automata Based on Counterexample-Guided Abstraction Refinement Loop.
IEICE Trans. Inf. Syst.
(5) (2010)