Hideharu Kojima

Publication Activity (10 Years)

Years Active: 2001-2024
Publications (10 Years): 18

Top Topics

Optimal Parameter Values

Top Venues

IPDPS Workshops

ISSRE Workshops

Fundam. Informaticae

Publications

Seiya Ookura, Hideharu Kojima, Naoto Yanai
Performance Evaluation of ID-Based Aggregate Signature Scheme Based on Lattice for Wireless Multi-hop Secure Routing Protocols. ICICT (2024)
Keitaro Watanabe, Hideharu Kojima, Yuichi Sudo, Naoto Yanai, Tatsuhiro Tsuchiya
Implementation and Evaluation of Leader Election in the Population Protocol Model Using an Emulation Environment. DASC/PiCom/CBDCom/CyberSciTech (2022)
Takumi Okano, Hideharu Kojima, Naoto Yanai, Tatsuhiro Tsuchiya
Implementing Access Control in Chaincodes on Hyperledger Fabric with Attribute-Based Encryption. ICSA Companion (2022)
Hideharu Kojima, Naoto Yanai
A Model Checking Method for Secure Routing Protocols by SPIN with State Space Reduction. IPDPS Workshops (2020)
Tatsuya Konishi, Hideharu Kojima, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
Using simulated annealing for locating array construction. Inf. Softw. Technol. 126 (2020)
Tatsuya Konishi, Hideharu Kojima, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
Finding Minimum Locating Arrays Using a CSP Solver. Fundam. Informaticae 174 (1) (2020)
Hideharu Kojima, Naoto Yanai
A State Space Suppression Method for Formal Verification of Secure Routing Protocols With SPIN. ISSRE Workshops (2019)
Tatsuya Konishi, Hideharu Kojima, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
Finding minimum locating arrays using a CSP solver. CoRR (2019)
Shinnosuke Shimizu, Hideharu Kojima, Naoto Yanai, Tatsuhiro Tsuchiya
Implementation and Evaluation of ISDSR in Emulation Environments. WCNC (2019)
Tatsuya Konishi, Hideharu Kojima, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
Using simulated annealing for locating array construction. CoRR (2019)
Hideharu Kojima, Naoto Yanai
A State Space Reduction Method for Model Checking of Wireless Multi-Hop Network Routing Protocols Focusing on Topologies. CANDAR Workshops (2019)
Hideharu Kojima, Naoto Yanai, Jason Paul Cruz
ISDSR+: Improving the Security and Availability of Secure Routing Protocol. IEEE Access 7 (2019)
Satoshi Fujimoto, Hideharu Kojima, Tatsuhiro Tsuchiya
Controlling Occurrence Frequencies of Parameter Values in Pair-Wise Testing. Int. J. Softw. Eng. Knowl. Eng. 28 (7) (2018)
Hideharu Kojima, Tatsuhiro Tsuchiya, Yasumasa Fujisaki
The Aggregation Point Placement Problem for Power Distribution Systems. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (7) (2018)
Tatsuya Konishi, Hideharu Kojima, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
Finding Minimum Locating Arrays Using a SAT Solver. ICST Workshops (2017)
Hideharu Kojima, Yuta Nagashima, Tatsuhiro Tsuchiya
State space reduction techniques for model checking of MANET protocols. Int. J. Netw. Comput. 7 (1) (2017)
Hideharu Kojima, Naoto Yanai
Performance Evaluation for the Signature Algorithm of ISDSR on Raspberry Pi. CANDAR (2017)
Hideharu Kojima, Yuta Nagashima, Tatsuhiro Tsuchiya
Model Checking Techniques for State Space Reduction in MANET Protocol Verification. IPDPS Workshops (2016)
Yasuhiro Hirasaki, Hideharu Kojima, Tatsuhiro Tsuchiya
Applying Random Testing to Constrained Interaction Testing. SEKE (2014)
Satoshi Fujimoto, Hideharu Kojima, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
Applying Parameter Value Weighting to a Practical Application. ISSRE Workshops (2014)
Takahiro Nagamoto, Hideharu Kojima, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
Locating a Faulty Interaction in Pair-wise Testing. PRDC (2014)
Yuki Matsui, Hideharu Kojima, Tatsuhiro Tsuchiya
Modeling the Interaction of Power Line and SCADA Networks. HASE (2014)
Satoshi Fujimoto, Hideharu Kojima, Tatsuhiro Tsuchiya
A Value Weighting Method for Pair-wise Testing. APSEC (1) (2013)
Koki Morii, Koji Taketa, Yuichiro Mori, Hideharu Kojima, Eitaro Kohno, Shinji Inoue, Tomoyuki Ohta, Yoshiaki Kakuda
A New Generation Children Tracking System Using Bluetooth MANET Composed of Android Mobile Terminals. UIC/ATC (2012)
Yuki Matsui, Hideharu Kojima, Tatsuhiro Tsuchiya
Maximizing Availability of Consistent Data in Unreliable Networks. ICPADS (2012)
Yuichiro Mori, Hideharu Kojima, Eitaro Kohno, Shinji Inoue, Tomoyuki Ohta, Yoshiaki Kakuda, Atsushi Ito
A Self-Configurable New Generation Children Tracking System Based on Mobile Ad Hoc Networks Consisting of Android Mobile Terminals. ISADS (2011)
Hideharu Kojima, Tomoyuki Ohta, Yoshiaki Kakuda
A Transition Reduction Method for FSM of MANET Routing Protocol with Blacklist. ISADS (2011)
Akihiro Yamanouchi, Takeshi Hashimoto, Tomoyuki Ohta, Hideharu Kojima, Yoshiaki Kakuda
Resource Management Middleware Using Mobile Agents for Mobile Ad Hoc Networks. ICDCS Workshops (2010)
Hideharu Kojima, Juichi Takahashi, Tomoyuki Ohta, Yoshiaki Kakuda
An Equivalent Division Method for Reducing Test Cases in State Transition Testing of MANET Protocols. IEICE Trans. Commun. (3) (2009)
Hideharu Kojima, Yoshiaki Kakuda, Juichi Takahashi, Tomoyuki Ohta
A model for concurrent states and its coverage criteria. ISADS (2009)
Juichi Takahashi, Hideharu Kojima, Zengo Furukawa
Coverage Based Testing for Concurrent Software. ICDCS Workshops (2008)
Hideharu Kojima, Tomoyuki Ohta, Yoshiaki Kakuda
State Transition Model for Test Sequence Generation of MANET Clustering Protocols. ICDCS Workshops (2007)
Hideharu Kojima, Rolf Adams
jShio - A Customization Language Compiler-Compiler. OOIS (2001)