| A self-configurable new generation children tracking system based on mobile ad hoc networks consisting of Android mobile terminals Y Mori, H Kojima, E Kohno, S Inoue, T Ohta, Y Kakuda, A Ito 2011 Tenth International Symposium on Autonomous Decentralized Systems, 339-342, 2011 | 87 | 2011 |
| Coverage based testing for concurrent software J Takahashi, H Kojima, Z Furukawa 2008 The 28th International Conference on Distributed Computing Systems …, 2008 | 25 | 2008 |
| Finding minimum locating arrays using a CSP solver T Konishi, H Kojima, H Nakagawa, T Tsuchiya Fundamenta Informaticae 174 (1), 27-42, 2020 | 24 | 2020 |
| Locating a faulty interaction in pair-wise testing T Nagamoto, H Kojima, H Nakagawa, T Tsuchiya 2014 IEEE 20th Pacific Rim International Symposium on Dependable Computing …, 2014 | 20 | 2014 |
| ISDSR+: improving the security and availability of secure routing protocol H Kojima, N Yanai, JP Cruz IEEE Access 7, 74849-74868, 2019 | 18 | 2019 |
| A new generation children tracking system using bluetooth MANET composed of android mobile terminals K Morii, K Taketa, Y Mori, H Kojima, E Kohno, S Inoue, T Ohta, Y Kakuda 2012 9th International Conference on Ubiquitous Intelligence and Computing …, 2012 | 16 | 2012 |
| Using simulated annealing for locating array construction T Konishi, H Kojima, H Nakagawa, T Tsuchiya Information and Software Technology 126, 106346, 2020 | 14 | 2020 |
| Modeling the interaction of power line and SCADA networks Y Matsui, H Kojima, T Tsuchiya 2014 IEEE 15th International Symposium on High-Assurance Systems Engineering …, 2014 | 12 | 2014 |
| Resource management middleware using mobile agents for mobile ad hoc networks A Yamanouchi, T Hashimoto, T Ohta, H Kojima, Y Kakuda 2010 IEEE 30th International Conference on Distributed Computing Systems …, 2010 | 11 | 2010 |
| A model for concurrent states and its coverage criteria H Kojima, J Takahashi, T Ohta, Y Kakuda 2009 International Symposium on Autonomous Decentralized Systems, 1-6, 2009 | 10 | 2009 |
| A value weighting method for pair-wise testing S Fujimoto, H Kojima, T Tsuchiya 2013 20th Asia-Pacific Software Engineering Conference (APSEC) 1, 99-105, 2013 | 9 | 2013 |
| Model checking techniques for state space reduction in manet protocol verification H Kojima, Y Nagashima, T Tsuchiya 2016 IEEE International Parallel and Distributed Processing Symposium …, 2016 | 6 | 2016 |
| Performance evaluation for the signature algorithm of isdsr on raspberry pi H Kojima, N Yanai 2017 Fifth International Symposium on Computing and Networking (CANDAR), 230-236, 2017 | 4 | 2017 |
| A Transition Reduction Method for FSM of MANET Routing Protocol with Blacklist H Kojima, T Ohta, Y Kakuda 2011 Tenth International Symposium on Autonomous Decentralized Systems, 611-616, 2011 | 4 | 2011 |
| A Model Checking Method for Secure Routing Protocols by SPIN with State Space Reduction H Kojima, N Yanai 2020 IEEE International Parallel and Distributed Processing Symposium …, 2020 | 3 | 2020 |
| The aggregation point placement problem for power distribution systems H Kojima, T Tsuchiya, Y Fujisaki IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and …, 2018 | 3 | 2018 |
| On the availability of replicated data managed by hierarchical voting Y Ueda, H Kojima, T Tsuchiya 2013 International Conference on Information Science and Cloud Computing …, 2013 | 3 | 2013 |
| An equivalent division method for reducing test cases in state transition testing of manet protocols H Kojima, J Takahashi, T Ohta, Y Kakuda IEICE transactions on communications 92 (3), 794-806, 2009 | 3 | 2009 |
| Controlling Occurrence Frequencies of Parameter Values in Pair-Wise Testing S Fujimoto, H Kojima, T Tsuchiya International Journal of Software Engineering and Knowledge Engineering 28 …, 2018 | 2 | 2018 |
| State space reduction techniques for model checking of MANET protocols H Kojima, Y Nagashima, T Tsuchiya International Journal of Networking and Computing 7 (1), 29-49, 2017 | 2 | 2017 |
Tatsuhiro TsuchiyaProfessor, Osaka UniversityVerified email at ist.osaka-u.ac.jp
