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 2014; 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) 2014 ： ISSN 0918-7553
| Publication # |
IS-RR-2014-001 |
| Title |
Model Checking Conformance of Design Model to Its Formal Specification |
| Author(s) |
Vu, Dieu-Huong / Chiba, Yuki / Yatake, Kenro / Aoki, Toshiaki |
| Date Published |
20140418 |
| Pages |
1-18 |
| Publication # |
IS-RR-2014-002 |
| Title |
Analyzing the Impact of Mitigation Strategies on the Spread of a Virus |
| Author(s) |
Nguyen, Thanh Dang / Bonnet, Francois / Defago, Xavier |
| Date Published |
20140519 |
| Pages |
1-16, i-ii |
| Publication # |
IS-RR-2014-003 |
| Title |
Pushdown Model Generation of Malware |
| Author(s) |
Nguyen, Minh Hai / Ogawa, Mizuhito / Quan, Thanh Tho |
| Date Published |
20140624 |
| Pages |
1-18 |
| Publication # |
IS-RR-2014-004 |
| Title |
Tight Bound on Mobile Byzantine Agreement |
| Author(s) |
Bonnet, Francois / Defago, Xavier / Nguyen, Thanh Dang / Potop-Butucaru, Maria |
| Date Published |
20140729 |
| Pages |
1-19 |
| Publication # |
IS-RR-2014-005 |
| Title |
Sufficient completeness of parameterized specifications in CafeOBJ |
| Author(s) |
Nakamura, Masaki / Gaina, Daniel / Ogata, Kazuhiro / Futatsugi, Kokichi |
| Date Published |
20141215 |
| Pages |
1-4 |