論文 - 小島 英春
-
Model checking techniques for state space reduction in MANET protocol verification
Hideharu Kojima, Yuta Nagashima, Tatsuhiro Tsuchiya ( 共著 )
2016 IEEE 30TH INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM WORKSHOPS (IPDPSW) 509 - 516 2016年
研究論文（国際会議プロシーディングス） 英語
-
組み合わせインタラクションテストにおけるBDDを用いた制約処理法の性能評価
坂野宏樹, 中川博之, 小島英春, 土屋達弘 ( 共著 )
電子情報通信学会論文誌 D J98-D ( 3 ) 384-395 - 395 2015年03月
研究論文（学術雑誌） 日本語
-
松井 佑記, 小島 英春, 土屋 達弘 ( 共著 )
情報処理学会論文誌 55 ( 3 ) 1177 - 1185 2014年03月
研究論文（学術雑誌） 日本語
-
Applying parameter value weighting to a practical application
Satoshi Fujimoto, Hideharu Kojima, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya ( 共著 )
2014 IEEE INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS (ISSREW) 130 - 131 2014年
研究論文（国際会議プロシーディングス） 英語
-
On the Availability of Replicated Data Managed by Hierarchical Voting
Yuuki Ueda, Hideharu Kojima, Tatsuhiro Tsuchiya ( 共著 )
PROCEEDINGS OF 2013 INTERNATIONAL CONFERENCE ON INFORMATION SCIENCE AND CLOUD COMPUTING COMPANION (ISCC-C) 313 - 316 2014年
研究論文（国際会議プロシーディングス） 英語
-
Modeling the Interaction of Power Line and SCADA Networks
Yuki Matsui, Hideharu Kojima, Tatsuhiro Tsuchiya ( 共著 )
2014 IEEE 15TH INTERNATIONAL SYMPOSIUM ON HIGH-ASSURANCE SYSTEMS ENGINEERING (HASE) 261 - 262 2014年
研究論文（国際会議プロシーディングス） 英語
-
Locating a Faulty Interaction in Pair-Wise Testing
Takahiro Nagamoto, Hideharu Kojima, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya ( 共著 )
2014 20TH IEEE PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING (PRDC 2014) 155 - 156 2014年
研究論文（国際会議プロシーディングス） 英語
-
Applying Random Testing to Constrained Interaction Testing.
Yasuhiro Hirasaki, Hideharu Kojima, Tatsuhiro Tsuchiya ( 共著 )
The 26th International Conference on Software Engineering and Knowledge Engineering, Hyatt Regency, Vancouver, BC, Canada, July 1-3, 2013. 193 - 198 2014年
研究論文（国際会議プロシーディングス） 英語
-
A value weighting method for pair-wise testing
Satoshi Fujimoto, Hideharu Kojima, Tatsuhiro Tsuchiya ( 共著 )
Proceedings - Asia-Pacific Software Engineering Conference, APSEC 1 99 - 105 2013年
研究論文（国際会議プロシーディングス） 英語
-
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 ( 共著 )
2012 9TH INTERNATIONAL CONFERENCE ON UBIQUITOUS INTELLIGENCE & COMPUTING AND 9TH INTERNATIONAL CONFERENCE ON AUTONOMIC & TRUSTED COMPUTING (UIC/ATC) 405 - 407 2012年
研究論文（国際会議プロシーディングス） 英語
-
Maximizing Availability of Consistent Data in Unreliable Networks
Yuki Matsui, Hideharu Kojima, Tatsuhiro Tsuchiya ( 共著 )
PROCEEDINGS OF THE 2012 IEEE 18TH INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED SYSTEMS (ICPADS 2012) 117 - 123 2012年
研究論文（国際会議プロシーディングス） 英語
-
Yuichiro Mori, Hideharu Kojima, Eitaro Kohno, Shinji Inoue, Tomoyuki Ohta, Yoshiaki Kakuda, Atsushi Ito ( 共著 )
Proceedings - 2011 10th International Symposium on Autonomous Decentralized Systems, ISADS 2011 339 - 342 2011年
研究論文（国際会議プロシーディングス） 英語
-
A transition reduction method for FSM of MANET routing protocol with blacklist
Hideharu Kojima, Tomoyuki Ohta, Yoshiaki Kakuda ( 共著 )
Proceedings - 2011 10th International Symposium on Autonomous Decentralized Systems, ISADS 2011 611 - 616 2011年
研究論文（国際会議プロシーディングス） 英語
-
Resource management middleware using mobile agents for mobile ad hoc networks
Akihiro Yamanouchi, Takeshi Hashimoto, Tomoyuki Ohta, Hideharu Kojima, Yoshiaki Kakuda ( 共著 )
Proceedings - International Conference on Distributed Computing Systems 1 - 6 2010年
研究論文（国際会議プロシーディングス） 英語
-
An Equivalent Division Method for Reducing Test Cases in State Transition Testing of MANET Protocols
Hideharu Kojima, Juichi Takahashi, Tomoyuki Ohta, Yoshiaki Kakuda ( 共著 )
IEICE TRANSACTIONS ON COMMUNICATIONS E92B ( 3 ) 794 - 806 2009年03月
研究論文（学術雑誌） 英語
-
A Model for Concurrent States and Its Coverage Criteria
Hideharu Kojima, Juichi Takahashi, Tomoyuki Ohta, Yoshiaki Kakuda ( 共著 )
ISADS 2009: 2009 INTERNATIONAL SYMPOSIUM ON AUTONOMOUS DECENTRALIZED SYSTEMS, PROCEEDINGS 363 - + 2009年
研究論文（国際会議プロシーディングス） 英語
-
MANETプロトコルの仕様適合性試験のための状態遷移図縮退手法
小島 英春, 大田 知行, 角田 良明, 高橋 寿一 ( 共著 )
電子情報通信学会論文誌. B, 通信 = The transactions of the Institute of Electronics, Information and Communication Engineers. B 91 ( 4 ) 353 - 363 2008年04月
研究論文（学術雑誌） 日本語
-
Coverage Based Testing for Concurrent Software.
Juichi Takahashi, Hideharu Kojima, Zengo Furukawa ( 単著 )
28th IEEE International Conference on Distributed Computing Systems Workshops (ICDCS 2008 Workshops), 17-20 June 2008, Beijing, China 533 - 538 2008年
研究論文（学術雑誌） 英語
-
State transition model for test sequence generation of MANET clustering protocols
Hideharu Kojima, Tomoyuki Ohta, Yoshiaki Kakuda ( 共著 )
Proceedings - International Conference on Distributed Computing Systems 55 2007年
研究論文（国際会議プロシーディングス） 英語
-
Development of testbed framework for ad hoc networks
Shinji Yamashita, Rika Furukawa, Tomoyuki Ohta, Hideharu Kojima, Yoshiaki Kakuda ( 共著 )
Proc. Wireless Personal Multimedia Communications (WPMC2005) 1 383 - 387 2005年09月
研究論文（国際会議プロシーディングス） 英語