2013年度(平成25年度)

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

領域名   情報数理領域

教員名   山本 光晴

電子メール mituharumath.s.chiba-u.ac.jp

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

 

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

   ・``Modular Software Model Checking for Distributed Systems'', W. Leungwattanakit, C. Artho, M. Hagiya, Y. Tanabe, M. Yamamoto, K. Takahashi, IEEE Transactions on Software Engineering, 査読有, 印刷中.

   ・``Modbat: A Model-based API Tester for Event-driven Systems'', C. Artho, A. Biere, M. Hagiya, E. Platon, M. Seidl, Y. Tanabe and M. Yamamoto, Ninth Haifa Verification Conference, 査読有, LNCS 8244, pp. 112 - 128, 2013.

   ・``Software Model Checking for Distributed Systems with Selector-Based, Non-blocking Communication'', C. Artho, M. Hagiya, R. Potter, Y. Tanabe, F. Weitl, M. Yamamoto, 28th IEEE/ACM International Conference on Automated Software Engineering, 査読有, pp. 169 - 179, 2013.

 

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

   ・卒業研究     0

   ・大学院修士    0

   ・大学院博士    0

 

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

   ・なし

 

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

   ・なし

 

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

   ・情報処理学会・プログラミング研究会 運営委員

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

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

 

6)特許(発明者名,発明の名称,出願日,出願番号,整理番号等)

   ・なし

 

7)その他 

   ・なし