2010年に発行した本学情報科学研究科のリサーチレポートを発行順に掲載しています。
本文は，図書館３階“本学関係刊行物”エリアに配架してありますので，ご利用ください。

発行番号	IS-RR-2010-001
論文タイトル	Automatic Generation of Model Checking Scripts based on Environment Modeling
著者	Yatake, Kenro/Nishibata, Hirokazu/Aoki, Toshiaki
発行年月日	20100210
ページ	Page: 1-8

発行番号	IS-RR-2010-002
論文タイトル	Modular Implementation of a Translator from Behavioral Specifications to Rewrite Theory Specifications (Extended Version)
著者	Zhang, Min/Ogata, Kazuhiro
発行年月日	20100310
ページ	Page: 1-15

発行番号	IS-RR-2010-003
論文タイトル	Modeling of Real-Time System Designs for Parametric Analysis
著者	Sathawornwichit, Chaiwat/Aoki, Toshiaki/Katayama, Takuya
発行年月日	20100420
ページ	Page: 1-10

発行番号	IS-RR-2010-004
論文タイトル	Combining Testing and Static Analysis to Overflow and Roundoff Error Detection
著者	Do, Thi Bich Ngoc/Ogawa, Mizuhito
発行年月日	20100621
ページ	Page: 1-27