2014年度（平成26年度）

コース名　　数学・情報数理学コース

領域名　　　情報数理領域

教員名　　　山本　光晴

電子メール　mituharu理math.s.chiba-u.ac.jp

　　　　　　※メール送信の際は、「理」を半角@に変更してください。

（1）研究論文などのリスト（印刷中を含む）

・Watcharin Leungwattanakit, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto, and Koichi Takahashi: Modular Software Model Checking for Distributed Systems, IEEE Transactions on Software Engineering, Vol.40, No.5, 2014, pp.483-501

・Using Checkpointing and Virtualization for Fault Injection, Cyrille Valentin Artho, Masami Hagiya, Watcharin Leungwattanakit, Eric Platon, Richard Potter, Kuniyasu Suzaki, Yoshinori Tanabe, Franz Weitl and Mitsuharu Yamamoto, The Second International Symposium on Computing and Networking (CANDAR'14), 2014, pp.144-150

・Software Model Checking of UDP-based Distributed Applications, Nazim Sebih, Franz Weitl, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe and Mitsuharu Yamamoto, The Second International Symposium on Computing and Networking (CANDAR'14), 2014, pp.96-105

（2）卒業研究、大学院修士および博士論文修了指導人数

　　　・卒業研究　　　　　3名

　　　・大学院修士　　　　4名

　　　・大学院博士　　　　0名

（3）国際会議出席と招待リスト

　　　・なし

（4）教育業績　（自己申告、テキストの作成など、授業の工夫など）

　　　・なし

（5）学会、国、県などへの協力，地域・社会と連携した教育・研究活動など

　　　・日本応用数理学会・「数理的技法による情報セキュリティ」研究部会 幹事

　　　・日本応用数理学会 電子ジャーナル JSIAM Letters 編集委員

　　　　　・ Workshop on Computation: Theory and Practice (WCTP-2014) プログラム委員

（6）特許（発明者名，発明の名称，出願日，出願番号，整理番号等）

　　　・なし

（7）その他　

　　　・なし