2015年度（平成27年度）

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

領域名　　　情報数理学領域

教員名　　　山本　光晴

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

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

 

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

　　　

著者・発表者等

タイトル

発表雑誌・会合等

巻・号

頁

発行・発表年等

掲載論文のDOI(付与されている場合)
　(1)

F. Weitl, N.
Sebih, C. Artho,
M. Hagiya, Y.
Tanabe, Y.
Yamagata, M.
Yamamoto

Cardinality of
UDP
Transmission
Outcomes

Dependable
Software
Engineering:
Theories,
Tools, and
Applications -
First
International
Symposium
(SETTA
2015),
Lecture Notes
in Computer
Science

　9409

pp.120-134

2015

10.1007/978-3-319-25942-0_8
　(2)

C. Artho, K.
Suzaki, M.
Hagiya, W.
Leungwattanakit,
R. Potter, E.
Platon, Y.
Tanabe, F.
Weitl, M.
Yamamoto

Using
Checkpointing
and
Virtualization
for Fault
Injection

Int. Journal of
Networking
and
Computing
(IJNC)

　5(2)

pp. 347-372

2015

10.15803/ijnc.5.2_347
　(3)

N. Sebih, M.
Hagiya, F. Weitl,
M. Yamamoto,
C. Artho, Y.
Tanabe

Software Model
Checking of
UDP-based
Distributed
Applications

Int. Journal of
Networking
and
Computing (IJNC)

　5(2)

pp. 373-402

2015

10.15803/ijnc.5.2_373
　(4)

L. Ma, C. Artho,
Z. Cheng, H.
Sato, M. Hagiya,
Y. Tanabe,
M. Yamamoto

GRT at the
SBST 2015
Tool
Competition

8th Int.
Workshop on
Search-Based
Software
Testing (SBST)

　

pp. 48-51

2015

10.1109/SBST.2015.19

 

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

　　　・卒業研究　　　　　0名

　　　・大学院修士　　　　2名

　　　・大学院博士　　　　2名

 

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

 なし

 

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

 なし


（5）国際共同研究　(共同研究名,研究内容等)　

 なし

 

（6）新聞や雑誌等で報道された研究成果等　(報道媒体、報道年月日、報道内容等)

 なし

 

（7）国際並びに国内学会での受賞　(賞名、その内容、受賞理由等)　

 なし

　

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

　　　・日本応用数理学会・「数理的技法による情報セキュリティ」研究部会 幹事
　　　・日本応用数理学会 電子ジャーナル JSIAM Letters 編集委員


（9）特許　(発明者名、発明の名称、出願日、出願番号、整理番号等)　

 なし