HOME＞
List＞Title List of Research Report (School of Information Science)
Title List of Research Report (School of Information Science)
JAIST Research Report (School of Information Science) published in 2010;
listed in chronological order.
Full article is stored in the shelves near the Doctoral
Dissertations in the 3rd floor.
Research Report (School of Information Science) 2010 ： ISSN 0918-7553
| Publication # |
IS-RR-2010-001 |
| Title |
Automatic Generation of Model Checking Scripts based on Environment Modeling |
| Author(s) |
Yatake, Kenro/Nishibata, Hirokazu/Aoki, Toshiaki |
| Date Published |
20100210 |
| Pages |
1-8 |
| Publication # |
IS-RR-2010-002 |
| Title |
Modular Implementation of a Translator from Behavioral Specifications to Rewrite Theory Specifications (Extended Version) |
| Author(s) |
Zhang, Min/Ogata, Kazuhiro |
| Date Published |
20100310 |
| Pages |
1-15 |
| Publication # |
IS-RR-2010-003 |
| Title |
Modeling of Real-Time System Designs for Parametric Analysis |
| Author(s) |
Sathawornwichit, Chaiwat/Aoki, Toshiaki/Katayama, Takuya |
| Date Published |
20100420/td>
|
| Pages |
1-10 |
| Publication # |
IS-RR-2010-004 |
| Title |
Combining Testing and Static Analysis to Overflow and Roundoff Error Detection |
| Author(s) |
Do, Thi Bich Ngoc/Ogawa, Mizuhito |
| Date Published |
20100621 |
| Pages |
1-27 |