Hideharu Kojima

34 papers B 2C 5Misc 1Journal 9Unranked 17

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