Hideharu Kojima

Orcid: 0000-0001-5842-8120

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Performance Evaluation of ID-Based Aggregate Signature Scheme Based on Lattice for Wireless Multi-hop Secure Routing Protocols.
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.
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.
Proceedings of the IEEE Intl. Conf. on Dependable, 2022

2020
Using simulated annealing for locating array construction.
Inf. Softw. Technol., 2020

Finding Minimum Locating Arrays Using a CSP Solver.
Fundam. Informaticae, 2020

A Model Checking Method for Secure Routing Protocols by SPIN with State Space Reduction.
Proceedings of the 2020 IEEE International Parallel and Distributed Processing Symposium Workshops, 2020

2019
ISDSR+: Improving the Security and Availability of Secure Routing Protocol.
IEEE Access, 2019

Implementation and Evaluation of ISDSR in Emulation Environments.
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.
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.
Proceedings of the Seventh International Symposium on Computing and Networking Workshops, 2019

2018
Controlling Occurrence Frequencies of Parameter Values in Pair-Wise Testing.
Int. J. Softw. Eng. Knowl. Eng., 2018

The Aggregation Point Placement Problem for Power Distribution Systems.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2018

2017
State space reduction techniques for model checking of MANET protocols.
Int. J. Netw. Comput., 2017

Finding Minimum Locating Arrays Using a SAT Solver.
Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

Performance Evaluation for the Signature Algorithm of ISDSR on Raspberry Pi.
Proceedings of the Fifth International Symposium on Computing and Networking, 2017

2016
Model Checking Techniques for State Space Reduction in MANET Protocol Verification.
Proceedings of the 2016 IEEE International Parallel and Distributed Processing Symposium Workshops, 2016

2014
Applying Random Testing to Constrained Interaction Testing.
Proceedings of the 26th International Conference on Software Engineering and Knowledge Engineering, 2014

Locating a Faulty Interaction in Pair-wise Testing.
Proceedings of the 20th IEEE Pacific Rim International Symposium on Dependable Computing, 2014

Applying Parameter Value Weighting to a Practical Application.
Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops, 2014

Modeling the Interaction of Power Line and SCADA Networks.
Proceedings of the 15th International IEEE Symposium on High-Assurance Systems Engineering, 2014

2013
A Value Weighting Method for Pair-wise Testing.
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.
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.
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.
Proceedings of the 10th International Symposium on Autonomous Decentralized Systems, 2011

A Transition Reduction Method for FSM of MANET Routing Protocol with Blacklist.
Proceedings of the 10th International Symposium on Autonomous Decentralized Systems, 2011

2010
Resource Management Middleware Using Mobile Agents for Mobile Ad Hoc Networks.
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.
IEICE Trans. Commun., 2009

A model for concurrent states and its coverage criteria.
Proceedings of the International Symposium on Autonomous Decentralized Systems (ISADS 2009), 2009

2008
Coverage Based Testing for Concurrent Software.
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.
Proceedings of the 27th International Conference on Distributed Computing Systems Workshops (ICDCS 2007 Workshops), 2007

2001
jShio - A Customization Language Compiler-Compiler.
Proceedings of the 7th International Conference on Object Oriented Information Systems, 2001


  Loading...