BibTeX records: Hideharu Kojima

download as .bib file

@inproceedings{DBLP:conf/dasc/WatanabeKSYT22,
  author       = {Keitaro Watanabe and
                  Hideharu Kojima and
                  Yuichi Sudo and
                  Naoto Yanai and
                  Tatsuhiro Tsuchiya},
  title        = {Implementation and Evaluation of Leader Election in the Population
                  Protocol Model Using an Emulation Environment},
  booktitle    = {{IEEE} Intl. Conf. on Dependable, Autonomic and Secure Computing,
                  Intl Conf on Pervasive Intelligence and Computing, Intl Conf on Cloud
                  and Big Data Computing, Intl Conf on Cyber Science and Technology
                  Congress, DASC/PiCom/CBDCom/CyberSciTech 2022, Falerna, Italy, September
                  12-15, 2022},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2022},
  url          = {https://doi.org/10.1109/DASC/PiCom/CBDCom/Cy55231.2022.9927751},
  doi          = {10.1109/DASC/PICOM/CBDCOM/CY55231.2022.9927751},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dasc/WatanabeKSYT22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icsa/OkanoKYT22,
  author       = {Takumi Okano and
                  Hideharu Kojima and
                  Naoto Yanai and
                  Tatsuhiro Tsuchiya},
  title        = {Implementing Access Control in Chaincodes on Hyperledger Fabric with
                  Attribute-Based Encryption},
  booktitle    = {{IEEE} 19th International Conference on Software Architecture Companion,
                  {ICSA} Companion 2022, Honolulu, HI, USA, March 12-15, 2022},
  pages        = {193--196},
  publisher    = {{IEEE}},
  year         = {2022},
  url          = {https://doi.org/10.1109/ICSA-C54293.2022.00044},
  doi          = {10.1109/ICSA-C54293.2022.00044},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icsa/OkanoKYT22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/KonishiKNT20,
  author       = {Tatsuya Konishi and
                  Hideharu Kojima and
                  Hiroyuki Nakagawa and
                  Tatsuhiro Tsuchiya},
  title        = {Finding Minimum Locating Arrays Using a {CSP} Solver},
  journal      = {Fundam. Informaticae},
  volume       = {174},
  number       = {1},
  pages        = {27--42},
  year         = {2020},
  url          = {https://doi.org/10.3233/FI-2020-1929},
  doi          = {10.3233/FI-2020-1929},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/KonishiKNT20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/infsof/KonishiKNT20,
  author       = {Tatsuya Konishi and
                  Hideharu Kojima and
                  Hiroyuki Nakagawa and
                  Tatsuhiro Tsuchiya},
  title        = {Using simulated annealing for locating array construction},
  journal      = {Inf. Softw. Technol.},
  volume       = {126},
  pages        = {106346},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.infsof.2020.106346},
  doi          = {10.1016/J.INFSOF.2020.106346},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/infsof/KonishiKNT20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ipps/KojimaY20,
  author       = {Hideharu Kojima and
                  Naoto Yanai},
  title        = {A Model Checking Method for Secure Routing Protocols by {SPIN} with
                  State Space Reduction},
  booktitle    = {2020 {IEEE} International Parallel and Distributed Processing Symposium
                  Workshops, {IPDPSW} 2020, New Orleans, LA, USA, May 18-22, 2020},
  pages        = {627--635},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.1109/IPDPSW50202.2020.00105},
  doi          = {10.1109/IPDPSW50202.2020.00105},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ipps/KojimaY20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/access/KojimaYC19,
  author       = {Hideharu Kojima and
                  Naoto Yanai and
                  Jason Paul Cruz},
  title        = {{ISDSR+:} Improving the Security and Availability of Secure Routing
                  Protocol},
  journal      = {{IEEE} Access},
  volume       = {7},
  pages        = {74849--74868},
  year         = {2019},
  url          = {https://doi.org/10.1109/ACCESS.2019.2916318},
  doi          = {10.1109/ACCESS.2019.2916318},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/access/KojimaYC19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ic-nc/KojimaY19,
  author       = {Hideharu Kojima and
                  Naoto Yanai},
  title        = {A State Space Reduction Method for Model Checking of Wireless Multi-Hop
                  Network Routing Protocols Focusing on Topologies},
  booktitle    = {Seventh International Symposium on Computing and Networking Workshops,
                  {CANDAR} 2019 Workshops, Nagasaki, Japan, November 26-29, 2019},
  pages        = {14--20},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/CANDARW.2019.00010},
  doi          = {10.1109/CANDARW.2019.00010},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ic-nc/KojimaY19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issre/KojimaY19,
  author       = {Hideharu Kojima and
                  Naoto Yanai},
  editor       = {Katinka Wolter and
                  Ina Schieferdecker and
                  Barbara Gallina and
                  Michel Cukier and
                  Roberto Natella and
                  Naghmeh Ramezani Ivaki and
                  Nuno Laranjeiro},
  title        = {A State Space Suppression Method for Formal Verification of Secure
                  Routing Protocols With {SPIN}},
  booktitle    = {{IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops 2019, Berlin, Germany, October 27-30,
                  2019},
  pages        = {124--125},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/ISSREW.2019.00061},
  doi          = {10.1109/ISSREW.2019.00061},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/KojimaY19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wcnc/ShimizuKYT19,
  author       = {Shinnosuke Shimizu and
                  Hideharu Kojima and
                  Naoto Yanai and
                  Tatsuhiro Tsuchiya},
  title        = {Implementation and Evaluation of {ISDSR} in Emulation Environments},
  booktitle    = {2019 {IEEE} Wireless Communications and Networking Conference, {WCNC}
                  2019, Marrakesh, Morocco, April 15-18, 2019},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/WCNC.2019.8885647},
  doi          = {10.1109/WCNC.2019.8885647},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wcnc/ShimizuKYT19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1904-07480,
  author       = {Tatsuya Konishi and
                  Hideharu Kojima and
                  Hiroyuki Nakagawa and
                  Tatsuhiro Tsuchiya},
  title        = {Finding minimum locating arrays using a {CSP} solver},
  journal      = {CoRR},
  volume       = {abs/1904.07480},
  year         = {2019},
  url          = {http://arxiv.org/abs/1904.07480},
  eprinttype    = {arXiv},
  eprint       = {1904.07480},
  timestamp    = {Sat, 23 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1904-07480.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1909-13090,
  author       = {Tatsuya Konishi and
                  Hideharu Kojima and
                  Hiroyuki Nakagawa and
                  Tatsuhiro Tsuchiya},
  title        = {Using simulated annealing for locating array construction},
  journal      = {CoRR},
  volume       = {abs/1909.13090},
  year         = {2019},
  url          = {http://arxiv.org/abs/1909.13090},
  eprinttype    = {arXiv},
  eprint       = {1909.13090},
  timestamp    = {Sat, 23 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1909-13090.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ieicet/KojimaTF18,
  author       = {Hideharu Kojima and
                  Tatsuhiro Tsuchiya and
                  Yasumasa Fujisaki},
  title        = {The Aggregation Point Placement Problem for Power Distribution Systems},
  journal      = {{IEICE} Trans. Fundam. Electron. Commun. Comput. Sci.},
  volume       = {101-A},
  number       = {7},
  pages        = {1074--1082},
  year         = {2018},
  url          = {https://doi.org/10.1587/transfun.E101.A.1074},
  doi          = {10.1587/TRANSFUN.E101.A.1074},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ieicet/KojimaTF18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijseke/FujimotoKT18,
  author       = {Satoshi Fujimoto and
                  Hideharu Kojima and
                  Tatsuhiro Tsuchiya},
  title        = {Controlling Occurrence Frequencies of Parameter Values in Pair-Wise
                  Testing},
  journal      = {Int. J. Softw. Eng. Knowl. Eng.},
  volume       = {28},
  number       = {7},
  pages        = {983--1000},
  year         = {2018},
  url          = {https://doi.org/10.1142/S0218194018500274},
  doi          = {10.1142/S0218194018500274},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijseke/FujimotoKT18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijnc/KojimaNT17,
  author       = {Hideharu Kojima and
                  Yuta Nagashima and
                  Tatsuhiro Tsuchiya},
  title        = {State space reduction techniques for model checking of {MANET} protocols},
  journal      = {Int. J. Netw. Comput.},
  volume       = {7},
  number       = {1},
  pages        = {29--49},
  year         = {2017},
  url          = {http://www.ijnc.org/index.php/ijnc/article/view/141},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijnc/KojimaNT17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ic-nc/KojimaY17,
  author       = {Hideharu Kojima and
                  Naoto Yanai},
  title        = {Performance Evaluation for the Signature Algorithm of {ISDSR} on Raspberry
                  Pi},
  booktitle    = {Fifth International Symposium on Computing and Networking, {CANDAR}
                  2017, Aomori, Japan, November 19-22, 2017},
  pages        = {230--236},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/CANDAR.2017.68},
  doi          = {10.1109/CANDAR.2017.68},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ic-nc/KojimaY17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icst/KonishiKNT17,
  author       = {Tatsuya Konishi and
                  Hideharu Kojima and
                  Hiroyuki Nakagawa and
                  Tatsuhiro Tsuchiya},
  title        = {Finding Minimum Locating Arrays Using a {SAT} Solver},
  booktitle    = {2017 {IEEE} International Conference on Software Testing, Verification
                  and Validation Workshops, {ICST} Workshops 2017, Tokyo, Japan, March
                  13-17, 2017},
  pages        = {276--277},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/ICSTW.2017.49},
  doi          = {10.1109/ICSTW.2017.49},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icst/KonishiKNT17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ipps/KojimaNT16,
  author       = {Hideharu Kojima and
                  Yuta Nagashima and
                  Tatsuhiro Tsuchiya},
  title        = {Model Checking Techniques for State Space Reduction in {MANET} Protocol
                  Verification},
  booktitle    = {2016 {IEEE} International Parallel and Distributed Processing Symposium
                  Workshops, {IPDPS} Workshops 2016, Chicago, IL, USA, May 23-27, 2016},
  pages        = {509--516},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/IPDPSW.2016.122},
  doi          = {10.1109/IPDPSW.2016.122},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ipps/KojimaNT16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hase/MatsuiKT14,
  author       = {Yuki Matsui and
                  Hideharu Kojima and
                  Tatsuhiro Tsuchiya},
  title        = {Modeling the Interaction of Power Line and {SCADA} Networks},
  booktitle    = {15th International {IEEE} Symposium on High-Assurance Systems Engineering,
                  {HASE} 2014, Miami Beach, FL, USA, January 9-11, 2014},
  pages        = {261--262},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/HASE.2014.49},
  doi          = {10.1109/HASE.2014.49},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hase/MatsuiKT14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issre/FujimotoKNT14,
  author       = {Satoshi Fujimoto and
                  Hideharu Kojima and
                  Hiroyuki Nakagawa and
                  Tatsuhiro Tsuchiya},
  title        = {Applying Parameter Value Weighting to a Practical Application},
  booktitle    = {25th {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Naples, Italy, November 3-6, 2014},
  pages        = {130--131},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/ISSREW.2014.63},
  doi          = {10.1109/ISSREW.2014.63},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/FujimotoKNT14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/prdc/NagamotoKNT14,
  author       = {Takahiro Nagamoto and
                  Hideharu Kojima and
                  Hiroyuki Nakagawa and
                  Tatsuhiro Tsuchiya},
  title        = {Locating a Faulty Interaction in Pair-wise Testing},
  booktitle    = {20th {IEEE} Pacific Rim International Symposium on Dependable Computing,
                  {PRDC} 2014, Singapore, November 18-21, 2014},
  pages        = {155--156},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/PRDC.2014.26},
  doi          = {10.1109/PRDC.2014.26},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/prdc/NagamotoKNT14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/seke/HirasakiKT14,
  author       = {Yasuhiro Hirasaki and
                  Hideharu Kojima and
                  Tatsuhiro Tsuchiya},
  editor       = {Marek Z. Reformat},
  title        = {Applying Random Testing to Constrained Interaction Testing},
  booktitle    = {The 26th International Conference on Software Engineering and Knowledge
                  Engineering, Hyatt Regency, Vancouver, BC, Canada, July 1-3, 2013},
  pages        = {193--198},
  publisher    = {Knowledge Systems Institute Graduate School},
  year         = {2014},
  timestamp    = {Thu, 06 Oct 2022 12:30:17 +0200},
  biburl       = {https://dblp.org/rec/conf/seke/HirasakiKT14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/apsec/FujimotoKT13,
  author       = {Satoshi Fujimoto and
                  Hideharu Kojima and
                  Tatsuhiro Tsuchiya},
  editor       = {Pornsiri Muenchaisri and
                  Gregg Rothermel},
  title        = {A Value Weighting Method for Pair-wise Testing},
  booktitle    = {20th Asia-Pacific Software Engineering Conference, {APSEC} 2013, Ratchathewi,
                  Bangkok, Thailand, December 2-5, 2013 - Volume 1},
  pages        = {99--105},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/APSEC.2013.24},
  doi          = {10.1109/APSEC.2013.24},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/apsec/FujimotoKT13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icpads/MatsuiKT12,
  author       = {Yuki Matsui and
                  Hideharu Kojima and
                  Tatsuhiro Tsuchiya},
  title        = {Maximizing Availability of Consistent Data in Unreliable Networks},
  booktitle    = {18th {IEEE} International Conference on Parallel and Distributed Systems,
                  {ICPADS} 2012, Singapore, December 17-19, 2012},
  pages        = {117--123},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/ICPADS.2012.26},
  doi          = {10.1109/ICPADS.2012.26},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icpads/MatsuiKT12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/uic/MoriiTMKKIOK12,
  author       = {Koki Morii and
                  Koji Taketa and
                  Yuichiro Mori and
                  Hideharu Kojima and
                  Eitaro Kohno and
                  Shinji Inoue and
                  Tomoyuki Ohta and
                  Yoshiaki Kakuda},
  editor       = {Bernady O. Apduhan and
                  Ching{-}Hsien Hsu and
                  Tadashi Dohi and
                  Kenji Ishida and
                  Laurence Tianruo Yang and
                  Jianhua Ma},
  title        = {A New Generation Children Tracking System Using Bluetooth {MANET}
                  Composed of Android Mobile Terminals},
  booktitle    = {9th International Conference on Ubiquitous Intelligence and Computing
                  and 9th International Conference on Autonomic and Trusted Computing,
                  {UIC/ATC} 2012, Fukuoka, Japan, September 4-7, 2012},
  pages        = {405--407},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/UIC-ATC.2012.86},
  doi          = {10.1109/UIC-ATC.2012.86},
  timestamp    = {Thu, 01 Feb 2024 20:40:31 +0100},
  biburl       = {https://dblp.org/rec/conf/uic/MoriiTMKKIOK12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isads/MoriKKIOKI11,
  author       = {Yuichiro Mori and
                  Hideharu Kojima and
                  Eitaro Kohno and
                  Shinji Inoue and
                  Tomoyuki Ohta and
                  Yoshiaki Kakuda and
                  Atsushi Ito},
  title        = {A Self-Configurable New Generation Children Tracking System Based
                  on Mobile Ad Hoc Networks Consisting of Android Mobile Terminals},
  booktitle    = {10th International Symposium on Autonomous Decentralized Systems,
                  {ISADS} 2011, Tokyo {\&} Hiroshima, Japan, March 23-17, 2011},
  pages        = {339--342},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/ISADS.2011.51},
  doi          = {10.1109/ISADS.2011.51},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isads/MoriKKIOKI11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isads/KojimaOK11,
  author       = {Hideharu Kojima and
                  Tomoyuki Ohta and
                  Yoshiaki Kakuda},
  title        = {A Transition Reduction Method for {FSM} of {MANET} Routing Protocol
                  with Blacklist},
  booktitle    = {10th International Symposium on Autonomous Decentralized Systems,
                  {ISADS} 2011, Tokyo {\&} Hiroshima, Japan, March 23-17, 2011},
  pages        = {611--616},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/ISADS.2011.87},
  doi          = {10.1109/ISADS.2011.87},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isads/KojimaOK11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icdcsw/YamanouchiHOKK10,
  author       = {Akihiro Yamanouchi and
                  Takeshi Hashimoto and
                  Tomoyuki Ohta and
                  Hideharu Kojima and
                  Yoshiaki Kakuda},
  title        = {Resource Management Middleware Using Mobile Agents for Mobile Ad Hoc
                  Networks},
  booktitle    = {30th {IEEE} International Conference on Distributed Computing Systems
                  Workshops {(ICDCS} 2010 Workshops), 21-25 June 2010, Genova, Italy},
  pages        = {1--6},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/ICDCSW.2010.29},
  doi          = {10.1109/ICDCSW.2010.29},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icdcsw/YamanouchiHOKK10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ieicet/KojimaTOK09,
  author       = {Hideharu Kojima and
                  Juichi Takahashi and
                  Tomoyuki Ohta and
                  Yoshiaki Kakuda},
  title        = {An Equivalent Division Method for Reducing Test Cases in State Transition
                  Testing of {MANET} Protocols},
  journal      = {{IEICE} Trans. Commun.},
  volume       = {92-B},
  number       = {3},
  pages        = {794--806},
  year         = {2009},
  url          = {https://doi.org/10.1587/transcom.E92.B.794},
  doi          = {10.1587/TRANSCOM.E92.B.794},
  timestamp    = {Sat, 11 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ieicet/KojimaTOK09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isads/KojimaKTO09,
  author       = {Hideharu Kojima and
                  Yoshiaki Kakuda and
                  Juichi Takahashi and
                  Tomoyuki Ohta},
  title        = {A model for concurrent states and its coverage criteria},
  booktitle    = {International Symposium on Autonomous Decentralized Systems {(ISADS}
                  2009), 23-25 March 2009, Athens, Greece},
  pages        = {363--368},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/ISADS.2009.5207390},
  doi          = {10.1109/ISADS.2009.5207390},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isads/KojimaKTO09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icdcsw/TakahashiKF08,
  author       = {Juichi Takahashi and
                  Hideharu Kojima and
                  Zengo Furukawa},
  title        = {Coverage Based Testing for Concurrent Software},
  booktitle    = {28th {IEEE} International Conference on Distributed Computing Systems
                  Workshops {(ICDCS} 2008 Workshops), 17-20 June 2008, Beijing, China},
  pages        = {533--538},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/ICDCS.Workshops.2008.76},
  doi          = {10.1109/ICDCS.WORKSHOPS.2008.76},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icdcsw/TakahashiKF08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icdcsw/KojimaOK07,
  author       = {Hideharu Kojima and
                  Tomoyuki Ohta and
                  Yoshiaki Kakuda},
  title        = {State Transition Model for Test Sequence Generation of {MANET} Clustering
                  Protocols},
  booktitle    = {27th International Conference on Distributed Computing Systems Workshops
                  {(ICDCS} 2007 Workshops), June 25-29, 2007, Toronto, Ontario, Canada},
  pages        = {55},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.org/10.1109/ICDCSW.2007.76},
  doi          = {10.1109/ICDCSW.2007.76},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icdcsw/KojimaOK07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/oois/KojimaA01,
  author       = {Hideharu Kojima and
                  Rolf Adams},
  editor       = {Yingxu Wang and
                  Shushma Patel and
                  Ronald Johnston},
  title        = {jShio - {A} Customization Language Compiler-Compiler},
  booktitle    = {7th International Conference on Object Oriented Information Systems,
                  {OOIS} 2001, Calgary, Canada, August 27-29, 2001. Proceedings},
  pages        = {345--354},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/978-1-4471-0719-4\_36},
  doi          = {10.1007/978-1-4471-0719-4\_36},
  timestamp    = {Tue, 02 Aug 2022 14:54:57 +0200},
  biburl       = {https://dblp.org/rec/conf/oois/KojimaA01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.