jShio - A Customization Language Compiler-Compiler. - Hideharu Kojima; Rolf Adams (OOIS, 2001)

State Transition Model for Test Sequence Generation of MANET Clustering Protocols. - Hideharu Kojima; Tomoyuki Ohta; Yoshiaki Kakuda (ICDCS Workshops, 2007)

Coverage Based Testing for Concurrent Software. - Juichi Takahashi; Hideharu Kojima; Zengo Furukawa (ICDCS Workshops, 2008)

A model for concurrent states and its coverage criteria. - Hideharu Kojima; Yoshiaki Kakuda; Juichi Takahashi; Tomoyuki Ohta (ISADS, 2009)

An Equivalent Division Method for Reducing Test Cases in State Transition Testing of MANET Protocols. - Hideharu Kojima; Juichi Takahashi; Tomoyuki Ohta; Yoshiaki Kakuda (IEICE Trans. Commun., 2009)

Resource Management Middleware Using Mobile Agents for Mobile Ad Hoc Networks. - Akihiro Yamanouchi; Takeshi Hashimoto; Tomoyuki Ohta; Hideharu Kojima; Yoshiaki Kakuda (ICDCS Workshops, 2010)

A Transition Reduction Method for FSM of MANET Routing Protocol with Blacklist. - Hideharu Kojima; Tomoyuki Ohta; Yoshiaki Kakuda (ISADS, 2011)

A Self-Configurable New Generation Children Tracking System Based on Mobile Ad Hoc Networks Consisting of Android Mobile Terminals. - Yuichiro Mori; Hideharu Kojima; Eitaro Kohno; Shinji Inoue; Tomoyuki Ohta; Yoshiaki Kakuda; Atsushi Ito (ISADS, 2011)

Maximizing Availability of Consistent Data in Unreliable Networks. - Yuki Matsui; Hideharu Kojima; Tatsuhiro Tsuchiya (ICPADS, 2012)

A New Generation Children Tracking System Using Bluetooth MANET Composed of Android Mobile Terminals. - Koki Morii; Koji Taketa; Yuichiro Mori; Hideharu Kojima; Eitaro Kohno; Shinji Inoue; Tomoyuki Ohta; Yoshiaki Kakuda (UIC/ATC, 2012)

A Value Weighting Method for Pair-wise Testing. - Satoshi Fujimoto; Hideharu Kojima; Tatsuhiro Tsuchiya (APSEC (1), 2013)

Modeling the Interaction of Power Line and SCADA Networks. - Yuki Matsui; Hideharu Kojima; Tatsuhiro Tsuchiya (HASE, 2014)

Applying Parameter Value Weighting to a Practical Application. - Satoshi Fujimoto; Hideharu Kojima; Hiroyuki Nakagawa; Tatsuhiro Tsuchiya (ISSRE Workshops, 2014)

Locating a Faulty Interaction in Pair-wise Testing. - Takahiro Nagamoto; Hideharu Kojima; Hiroyuki Nakagawa; Tatsuhiro Tsuchiya (PRDC, 2014)

Applying Random Testing to Constrained Interaction Testing. - Yasuhiro Hirasaki; Hideharu Kojima; Tatsuhiro Tsuchiya (SEKE, 2014)

Model Checking Techniques for State Space Reduction in MANET Protocol Verification. - Hideharu Kojima; Yuta Nagashima; Tatsuhiro Tsuchiya (IPDPS Workshops, 2016)

Performance Evaluation for the Signature Algorithm of ISDSR on Raspberry Pi. - Hideharu Kojima; Naoto Yanai (CANDAR, 2017)

Finding Minimum Locating Arrays Using a SAT Solver. - Tatsuya Konishi; Hideharu Kojima; Hiroyuki Nakagawa; Tatsuhiro Tsuchiya (ICST Workshops, 2017)

State space reduction techniques for model checking of MANET protocols. - Hideharu Kojima; Yuta Nagashima; Tatsuhiro Tsuchiya (Int. J. Netw. Comput., 2017)

The Aggregation Point Placement Problem for Power Distribution Systems. - Hideharu Kojima; Tatsuhiro Tsuchiya; Yasumasa Fujisaki (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2018)

Controlling Occurrence Frequencies of Parameter Values in Pair-Wise Testing. - Satoshi Fujimoto; Hideharu Kojima; Tatsuhiro Tsuchiya (Int. J. Softw. Eng. Knowl. Eng., 2018)

A State Space Reduction Method for Model Checking of Wireless Multi-Hop Network Routing Protocols Focusing on Topologies. - Hideharu Kojima; Naoto Yanai (CANDAR Workshops, 2019)

A State Space Suppression Method for Formal Verification of Secure Routing Protocols With SPIN. - Hideharu Kojima; Naoto Yanai (ISSRE Workshops, 2019)

Implementation and Evaluation of ISDSR in Emulation Environments. - Shinnosuke Shimizu; Hideharu Kojima; Naoto Yanai; Tatsuhiro Tsuchiya (WCNC, 2019)

ISDSR+: Improving the Security and Availability of Secure Routing Protocol. - Hideharu Kojima; Naoto Yanai; Jason Paul Cruz (IEEE Access, 2019)

A Model Checking Method for Secure Routing Protocols by SPIN with State Space Reduction. - Hideharu Kojima; Naoto Yanai (IPDPS Workshops, 2020)

Finding Minimum Locating Arrays Using a CSP Solver. - Tatsuya Konishi; Hideharu Kojima; Hiroyuki Nakagawa; Tatsuhiro Tsuchiya (Fundam. Informaticae, 2020)

Using simulated annealing for locating array construction. - Tatsuya Konishi; Hideharu Kojima; Hiroyuki Nakagawa; Tatsuhiro Tsuchiya (Inf. Softw. Technol., 2020)

Implementation and Evaluation of Leader Election in the Population Protocol Model Using an Emulation Environment. - Keitaro Watanabe; Hideharu Kojima; Yuichi Sudo; Naoto Yanai; Tatsuhiro Tsuchiya (DASC/PiCom/CBDCom/CyberSciTech, 2022)

Implementing Access Control in Chaincodes on Hyperledger Fabric with Attribute-Based Encryption. - Takumi Okano; Hideharu Kojima; Naoto Yanai; Tatsuhiro Tsuchiya (ICSA Companion, 2022)

Performance Evaluation of ID-Based Aggregate Signature Scheme Based on Lattice for Wireless Multi-hop Secure Routing Protocols. - Seiya Ookura; Hideharu Kojima; Naoto Yanai (ICICT, 2024)

Performance Evaluation of Secure Routing Protocols with Lattice Signature Scheme for Wireless Multi-hop Networks. - Ukyo Hasegawa; Hideharu Kojima (ICNC, 2025)