Author (author)	Title (title)	Journal/Conference	Volume / Number	Pages (pages)	Published date	Impact factor / Acceptance	File
論文誌	Takeshi Nagaoka, Kozo Okano, Shinji Kusumoto	An Abstraction Refinement Technique for Timed Automata Based on Counterexample-Guided Abstraction Refinement Loop	IEICE Transactions on Information and Systems	E93-D(5)	994-1005	May 2010
International Conference	Takeshi Nagaoka, Akihiko Ito, Toshiaki Tanaka, Kozo Okano, Shinji Kusumoto	Reachability Analysis of Probabilistic Timed Automata Based on an Abstraction Refinement Technique	Proceedings of International Workshop on Empirical Software Engineering in Practice 2010 (IWESEP 2010)		33-38	December 2010		IWESEP12.pdf
Domestic Conference	Takeshi Nagaoka, Kozo Okano, Shinji Kusumoto	Improvement of Abstraction Refinement for Timed Automata Based on Partial Parallel Composition	Embedded Systems Symposium 2008	2008(9)	141-150	October 2008		0
Workshop	Akihiko Ito, Takeshi Nagaoka, Kozo Okano, Shinji Kusumoto	時間抽象を行う洗練手法を用いた確率時間システムの到達可能性解析	電子情報通信学会技術研究報告	109(456)	85-90	March 2010		SIGSS1003.pdf
Workshop	Takeshi Nagaoka, Kozo Okano, Shinji Kusumoto	Abstraction of Timed Automata Based on Counterexample-Guided Abstraction Refinement Loop	IEICE Technical Report	107(505)	103-108	March 2008		0
Workshop	Takeshi Nagaoka, Kozo Okano, Shinji Kusumoto	Abstraction of Extended Timed Automata for Uppaal Based on Counterexample-Guided Abstraction Refinement Loop	IEICE Technical Report	107(176)	77-82	August 2007		0
Ph.D Thesis	Takeshi Nagaoka	Study on Model Abstraction for Model Checking of Real-Time Systems	Osaka University			2011		thesis.pdf
Ph.D Thesis	Akihiko Ito	時間抽象を行う洗練手法を用いた確率時間システムの到達可能性解析手法	大阪大学			February 2010		masterthesis.pdf
Ph.D Thesis	Takeshi Nagaoka	Model Abstraction of Timed Automata Based on Counterexample-Guided Abstraction Refinement Loop	大阪大学			2008		0
Technical Report	Takeshi Nagaoka, Kozo Okano, Shinji Kusumoto	An Abstraction Refinement Technique for Timed Automata Based on Counterexample-Guided Abstraction Refinement Loop				2008		0