基本情報

写真b

小島 英春

KOJIMA Hideharu


キーワード

ネットワークプロトコル

所属組織 【 表示 / 非表示

  • 2012年04月01日 ~ 継続中,情報科学研究科 情報システム工学専攻,助教,専任

 

論文 【 表示 / 非表示

  • Finding minimum locating arrays using a CSP solver,Tatsuya Konishi, Hideharu Kojima, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya,arXiv,arXiv:1904.07480, pp. 1-16,2019年09月,その他

  • Using simulated annealing for locating array construction,Tatsuya Konishi, Hideharu Kojima, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya,arXiv,arXiv:1909.13090, pp. 1-23,2019年09月,その他

  • ゴールモデルのコンテキストに注目した効率的なモデル検査,本田大雅, 小島英春, 中川博之, 土屋達弘,ソフトウェアエンジニアリングシンポジウム2018論文集,229-235,2018年08月,会議報告/口頭発表

  • 焼きなまし法によるロケーティングアレイの生成,小西達也, 小島英春, 中川博之, 土屋達弘,信学技報,DC2017-82, pp.31-35,2018年02月,会議報告/口頭発表

  • Finding Minimum Locating Arrays Using a SAT Solver,Tatsuya Konishi, Hideharu Kojima, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya,10th IEEE International Conference on Software Testing, Verification and Validation Workshops,276-277,2017年03月,学術論文

全件表示 >>