School personnel information

写真b

KOJIMA Hideharu


Organization 【 display / non-display

  • 2012.04.01 - , Department of Information Systems Engineering, Graduate School of Information Science and Technology, Assistant Professor

 

Academic Papers 【 display / non-display

  • On generating locating arrays using simulated annealing , Tatsuya Konishi, HIdeharu Kojima, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya,電子情報通信学会 ディペンダビリティコンピューティング研究会,DC2017-82, pp.31-35, 2018.02, Conference Report / Oral Presentation (In Japanese)

  • 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, Papers

  • A State Vector Reduction Method for Model Checking MANET Protocols, Hideharu Kojima, Yuta Nagashima, Tatsuhiro Tsuchiya, 13-14, 2017.01, Conference Report / Oral Presentation (In Japanese)

  • Verification of the node-disjoint multipath establishment process of a MANET, Yuta Nagashima, Hideharu Kojima, Tatsuhiro Tsuchiya, 7-12, 2017.01, Conference Report / Oral Presentation (In Japanese)

  • State space reduction techniques for model checking of MANET protocols, Hideharu Kojima, Yuta Nagashima, Tatsuhiro Tsuchiya, International Journal of Networking and Computing,7(1) 29-49, 2017.01, Papers

display all >>