Hideharu Kojima

According to our database, Hideharu Kojima authored at least 31 papers between 2001 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Performance Evaluation of ID-Based Aggregate Signature Scheme Based on Lattice for Wireless Multi-hop Secure Routing Protocols.

Seiya Ookura, Hideharu Kojima, Naoto Yanai

Proceedings of the 7th International Conference on Information and Computer Technologies, 2024

2022

Implementing Access Control in Chaincodes on Hyperledger Fabric with Attribute-Based Encryption.

Takumi Okano, Hideharu Kojima, Naoto Yanai, Tatsuhiro Tsuchiya

Proceedings of the IEEE 19th International Conference on Software Architecture Companion, 2022

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

Proceedings of the IEEE Intl. Conf. on Dependable, 2022

2020

Using simulated annealing for locating array construction.

Tatsuya Konishi, Hideharu Kojima, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya

Inf. Softw. Technol., 2020

Finding Minimum Locating Arrays Using a CSP Solver.

Tatsuya Konishi, Hideharu Kojima, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya

Fundam. Informaticae, 2020

A Model Checking Method for Secure Routing Protocols by SPIN with State Space Reduction.

Hideharu Kojima, Naoto Yanai

Proceedings of the 2020 IEEE International Parallel and Distributed Processing Symposium Workshops, 2020

2019

ISDSR+: Improving the Security and Availability of Secure Routing Protocol.

Hideharu Kojima, Naoto Yanai, Jason Paul Cruz

IEEE Access, 2019

Implementation and Evaluation of ISDSR in Emulation Environments.

Shinnosuke Shimizu, Hideharu Kojima, Naoto Yanai, Tatsuhiro Tsuchiya

Proceedings of the 2019 IEEE Wireless Communications and Networking Conference, 2019

A State Space Suppression Method for Formal Verification of Secure Routing Protocols With SPIN.

Hideharu Kojima, Naoto Yanai

Proceedings of the IEEE International Symposium on Software Reliability Engineering Workshops, 2019

A State Space Reduction Method for Model Checking of Wireless Multi-Hop Network Routing Protocols Focusing on Topologies.

Hideharu Kojima, Naoto Yanai

Proceedings of the Seventh International Symposium on Computing and Networking Workshops, 2019

2018

Controlling Occurrence Frequencies of Parameter Values in Pair-Wise Testing.

Satoshi Fujimoto, Hideharu Kojima, Tatsuhiro Tsuchiya

Int. J. Softw. Eng. Knowl. Eng., 2018

The Aggregation Point Placement Problem for Power Distribution Systems.

Hideharu Kojima, Tatsuhiro Tsuchiya, Yasumasa Fujisaki

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2018

2017

State space reduction techniques for model checking of MANET protocols.

Hideharu Kojima, Yuta Nagashima, Tatsuhiro Tsuchiya

Int. J. Netw. Comput., 2017

Finding Minimum Locating Arrays Using a SAT Solver.

Tatsuya Konishi, Hideharu Kojima, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya

Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

Performance Evaluation for the Signature Algorithm of ISDSR on Raspberry Pi.

Hideharu Kojima, Naoto Yanai

Proceedings of the Fifth International Symposium on Computing and Networking, 2017

2016

Model Checking Techniques for State Space Reduction in MANET Protocol Verification.

Hideharu Kojima, Yuta Nagashima, Tatsuhiro Tsuchiya

Proceedings of the 2016 IEEE International Parallel and Distributed Processing Symposium Workshops, 2016

2014

Applying Random Testing to Constrained Interaction Testing.

Yasuhiro Hirasaki, Hideharu Kojima, Tatsuhiro Tsuchiya

Proceedings of the 26th International Conference on Software Engineering and Knowledge Engineering, 2014

Locating a Faulty Interaction in Pair-wise Testing.

Takahiro Nagamoto, Hideharu Kojima, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya

Proceedings of the 20th IEEE Pacific Rim International Symposium on Dependable Computing, 2014

Applying Parameter Value Weighting to a Practical Application.

Satoshi Fujimoto, Hideharu Kojima, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya

Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops, 2014

Modeling the Interaction of Power Line and SCADA Networks.

Yuki Matsui, Hideharu Kojima, Tatsuhiro Tsuchiya

Proceedings of the 15th International IEEE Symposium on High-Assurance Systems Engineering, 2014

2013

A Value Weighting Method for Pair-wise Testing.

Satoshi Fujimoto, Hideharu Kojima, Tatsuhiro Tsuchiya

Proceedings of the 20th Asia-Pacific Software Engineering Conference, 2013

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

Proceedings of the 9th International Conference on Ubiquitous Intelligence and Computing and 9th International Conference on Autonomic and Trusted Computing, 2012

Maximizing Availability of Consistent Data in Unreliable Networks.

Yuki Matsui, Hideharu Kojima, Tatsuhiro Tsuchiya

Proceedings of the 18th IEEE International Conference on Parallel and Distributed Systems, 2012

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

Proceedings of the 10th International Symposium on Autonomous Decentralized Systems, 2011

A Transition Reduction Method for FSM of MANET Routing Protocol with Blacklist.

Hideharu Kojima, Tomoyuki Ohta, Yoshiaki Kakuda

Proceedings of the 10th International Symposium on Autonomous Decentralized Systems, 2011

2010

Resource Management Middleware Using Mobile Agents for Mobile Ad Hoc Networks.

Akihiro Yamanouchi, Takeshi Hashimoto, Tomoyuki Ohta, Hideharu Kojima, Yoshiaki Kakuda

Proceedings of the 30th IEEE International Conference on Distributed Computing Systems Workshops (ICDCS 2010 Workshops), 2010

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

A model for concurrent states and its coverage criteria.

Hideharu Kojima, Yoshiaki Kakuda, Juichi Takahashi, Tomoyuki Ohta

Proceedings of the International Symposium on Autonomous Decentralized Systems (ISADS 2009), 2009

2008

Coverage Based Testing for Concurrent Software.

Juichi Takahashi, Hideharu Kojima, Zengo Furukawa

Proceedings of the 28th IEEE International Conference on Distributed Computing Systems Workshops (ICDCS 2008 Workshops), 2008

2007

State Transition Model for Test Sequence Generation of MANET Clustering Protocols.

Hideharu Kojima, Tomoyuki Ohta, Yoshiaki Kakuda

Proceedings of the 27th International Conference on Distributed Computing Systems Workshops (ICDCS 2007 Workshops), 2007

2001

jShio - A Customization Language Compiler-Compiler.

Hideharu Kojima, Rolf Adams

Proceedings of the 7th International Conference on Object Oriented Information Systems, 2001