Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Tohru Kikuno
@inproceedings{DBLP:conf/isads/TeradaSTK13,
author = {Hirofumi Terada and
Yutaka Sato and
Tatsuhiro Tsuchiya and
Tohru Kikuno},
title = {Software reconstruction and module management for distributed processing
of train control},
booktitle = {11th International Symposium on Autonomous Decentralized Systems,
{ISADS} 2013, Mexico City, Mexico, 6-8 March 2013},
pages = {1--6},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ISADS.2013.6513407},
doi = {10.1109/ISADS.2013.6513407},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isads/TeradaSTK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/NanbaTK12,
author = {Toru Nanba and
Tatsuhiro Tsuchiya and
Tohru Kikuno},
title = {Using Satisfiability Solving for Pairwise Testing in the Presence
of Constraints},
journal = {{IEICE} Trans. Fundam. Electron. Commun. Comput. Sci.},
volume = {95-A},
number = {9},
pages = {1501--1505},
year = {2012},
url = {https://doi.org/10.1587/transfun.E95.A.1501},
doi = {10.1587/TRANSFUN.E95.A.1501},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ieicet/NanbaTK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/HataMK12,
author = {Hideaki Hata and
Osamu Mizuno and
Tohru Kikuno},
editor = {Martin Glinz and
Gail C. Murphy and
Mauro Pezz{\`{e}}},
title = {Bug prediction based on fine-grained module histories},
booktitle = {34th International Conference on Software Engineering, {ICSE} 2012,
June 2-9, 2012, Zurich, Switzerland},
pages = {200--210},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICSE.2012.6227193},
doi = {10.1109/ICSE.2012.6227193},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/HataMK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/NoguchiTK12,
author = {Tatsuya Noguchi and
Tatsuhiro Tsuchiya and
Tohru Kikuno},
title = {Safety Verification of Asynchronous Consensus Algorithms with Model
Checking},
booktitle = {{IEEE} 18th Pacific Rim International Symposium on Dependable Computing,
{PRDC} 2012, Niigata, Japan, November 18-19, 2012},
pages = {80--88},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/PRDC.2012.24},
doi = {10.1109/PRDC.2012.24},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/prdc/NoguchiTK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ic-nc/InoueTK11,
author = {Hiroyuki Inoue and
Tatsuhiro Tsuchiya and
Tohru Kikuno},
title = {Bounded Model Checking of Concurrent Systems with Unbounded Integer
Variables},
booktitle = {Second International Conference on Networking and Computing, {ICNC}
2011, November 30 - December 2, 2011, Osaka, Japan},
pages = {261--265},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICNC.2011.47},
doi = {10.1109/ICNC.2011.47},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ic-nc/InoueTK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ic-nc/NanbaTK11,
author = {Toru Nanba and
Tatsuhiro Tsuchiya and
Tohru Kikuno},
title = {Constructing Test Sets for Pairwise Testing: {A} SAT-Based Approach},
booktitle = {Second International Conference on Networking and Computing, {ICNC}
2011, November 30 - December 2, 2011, Osaka, Japan},
pages = {271--274},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICNC.2011.49},
doi = {10.1109/ICNC.2011.49},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ic-nc/NanbaTK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwpse/HataMK11,
author = {Hideaki Hata and
Osamu Mizuno and
Tohru Kikuno},
editor = {Anthony Cleve and
Romain Robbes},
title = {Historage: fine-grained version control system for Java},
booktitle = {Proceedings of the 12th International Workshop on Principles of Software
Evolution and the 7th annual {ERCIM} Workshop on Software Evolution,
{EVOL/IWPSE} 2011, Szeged, Hungary, September 5-6, 2011},
pages = {96--100},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2024445.2024463},
doi = {10.1145/2024445.2024463},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwpse/HataMK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/TokuyamaTK11,
author = {Shun Tokuyama and
Tatsuhiro Tsuchiya and
Tohru Kikuno},
editor = {Leon Alkalai and
Timothy Tsai and
Tomohiro Yoneda},
title = {Gossiping with Network Coding},
booktitle = {17th {IEEE} Pacific Rim International Symposium on Dependable Computing,
{PRDC} 2011, Pasadena, CA, USA, December 12-14, 2011},
pages = {63--70},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/PRDC.2011.17},
doi = {10.1109/PRDC.2011.17},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/prdc/TokuyamaTK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ese/HataMK10,
author = {Hideaki Hata and
Osamu Mizuno and
Tohru Kikuno},
title = {Fault-prone module detection using large-scale text features based
on spam filtering},
journal = {Empir. Softw. Eng.},
volume = {15},
number = {2},
pages = {147--165},
year = {2010},
url = {https://doi.org/10.1007/s10664-009-9117-9},
doi = {10.1007/S10664-009-9117-9},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ese/HataMK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/MakikawaTK10,
author = {Fuminori Makikawa and
Tatsuhiro Tsuchiya and
Tohru Kikuno},
title = {Constructing Overlay Networks with Short Paths and Low Communication
Cost},
journal = {{IEICE} Trans. Inf. Syst.},
volume = {93-D},
number = {6},
pages = {1540--1548},
year = {2010},
url = {https://doi.org/10.1587/transinf.E93.D.1540},
doi = {10.1587/TRANSINF.E93.D.1540},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ieicet/MakikawaTK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/KimotoTK10,
author = {Masahiro Kimoto and
Tatsuhiro Tsuchiya and
Tohru Kikuno},
title = {The Time Complexity of Hsu and Huang's Self-Stabilizing Maximal Matching
Algorithm},
journal = {{IEICE} Trans. Inf. Syst.},
volume = {93-D},
number = {10},
pages = {2850--2853},
year = {2010},
url = {https://doi.org/10.1587/transinf.E93.D.2850},
doi = {10.1587/TRANSINF.E93.D.2850},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ieicet/KimotoTK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ic-nc/MakikawaTK10,
author = {Fuminori Makikawa and
Tatsuhiro Tsuchiya and
Tohru Kikuno},
title = {Balance and Proximity-Aware Skip Graph Construction},
booktitle = {First International Conference on Networking and Computing, {ICNC}
2010, Higashi Hiroshima, Japan, November 17-19, 2010. Proceedings},
pages = {268--271},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/IC-NC.2010.59},
doi = {10.1109/IC-NC.2010.59},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ic-nc/MakikawaTK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/HamamatsuTK10,
author = {Masashi Hamamatsu and
Tatsuhiro Tsuchiya and
Tohru Kikuno},
editor = {Yutaka Ishikawa and
Dong Tang and
Hiroshi Nakamura},
title = {On the Reliability of Cascaded {TMR} Systems},
booktitle = {16th {IEEE} Pacific Rim International Symposium on Dependable Computing,
{PRDC} 2010, Tokyo, Japan, December 13-15, 2010},
pages = {184--190},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/PRDC.2010.45},
doi = {10.1109/PRDC.2010.45},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/prdc/HamamatsuTK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/SekizawaTTK09,
author = {Toshifusa Sekizawa and
Tatsuhiro Tsuchiya and
Koichi Takahashi and
Tohru Kikuno},
title = {Probabilistic Model Checking of the One-Dimensional Ising Model},
journal = {{IEICE} Trans. Inf. Syst.},
volume = {92-D},
number = {5},
pages = {1003--1011},
year = {2009},
url = {https://doi.org/10.1587/transinf.E92.D.1003},
doi = {10.1587/TRANSINF.E92.D.1003},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ieicet/SekizawaTTK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/MatsuoTK09,
author = {Takafumi Matsuo and
Tatsuhiro Tsuchiya and
Tohru Kikuno},
title = {Feature Interaction Verification Using Unbounded Model Checking with
Interpolation},
journal = {{IEICE} Trans. Inf. Syst.},
volume = {92-D},
number = {6},
pages = {1250--1259},
year = {2009},
url = {https://doi.org/10.1587/transinf.E92.D.1250},
doi = {10.1587/TRANSINF.E92.D.1250},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ieicet/MatsuoTK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/KimotoTK09,
author = {Masahiro Kimoto and
Tatsuhiro Tsuchiya and
Tohru Kikuno},
title = {On the Time Complexity of Dijkstra's Three-State Mutual Exclusion
Algorithm},
journal = {{IEICE} Trans. Inf. Syst.},
volume = {92-D},
number = {8},
pages = {1570--1573},
year = {2009},
url = {https://doi.org/10.1587/transinf.E92.D.1570},
doi = {10.1587/TRANSINF.E92.D.1570},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ieicet/KimotoTK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsea/MenziesMTK09,
author = {Tim Menzies and
Osamu Mizuno and
Yasunari Takagi and
Tohru Kikuno},
title = {Explanation vs Performance in Data Mining: {A} Case Study with Predicting
Runaway Projects},
journal = {J. Softw. Eng. Appl.},
volume = {2},
number = {4},
pages = {221--236},
year = {2009},
url = {https://doi.org/10.4236/jsea.2009.24030},
doi = {10.4236/JSEA.2009.24030},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsea/MenziesMTK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/MinamikawaTK09,
author = {Takahiro Minamikawa and
Tatsuhiro Tsuchiya and
Tohru Kikuno},
editor = {Shahida Sulaiman and
Noor Maizura Mohamad Noor},
title = {Towards Automated Verification of Distributed Consensus Protocols},
booktitle = {16th Asia-Pacific Software Engineering Conference, {APSEC} 2009, 1-3
December 2009, Batu Ferringhi, Penang, Malaysia},
pages = {499--506},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/APSEC.2009.23},
doi = {10.1109/APSEC.2009.23},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/MinamikawaTK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/KadonoTK09,
author = {Masaya Kadono and
Tatsuhiro Tsuchiya and
Tohru Kikuno},
title = {Using the NuSMV Model Checker for Test Generation from Statecharts},
booktitle = {2009 15th {IEEE} Pacific Rim International Symposium on Dependable
Computing, {PRDC} 2009, Shanghai, China, 16-18 November 2009},
pages = {37--42},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/PRDC.2009.15},
doi = {10.1109/PRDC.2009.15},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/prdc/KadonoTK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/MizunoK08,
author = {Osamu Mizuno and
Tohru Kikuno},
title = {Prediction of Fault-Prone Software Modules Using a Generic Text Discriminator},
journal = {{IEICE} Trans. Inf. Syst.},
volume = {91-D},
number = {4},
pages = {888--896},
year = {2008},
url = {https://doi.org/10.1093/ietisy/e91-d.4.888},
doi = {10.1093/IETISY/E91-D.4.888},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ieicet/MizunoK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijwmc/WongTK08,
author = {TheinLai Wong and
Tatsuhiro Tsuchiya and
Tohru Kikuno},
title = {A self-organising algorithm for sensor placement in wireless mobile
microsensor networks},
journal = {Int. J. Wirel. Mob. Comput.},
volume = {3},
number = {1/2},
pages = {69--78},
year = {2008},
url = {https://doi.org/10.1504/IJWMC.2008.019719},
doi = {10.1504/IJWMC.2008.019719},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijwmc/WongTK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispw/DebariMKKH08,
author = {Junya Debari and
Osamu Mizuno and
Tohru Kikuno and
Nahomi Kikuchi and
Masayuki Hirayama},
editor = {Qing Wang and
Dietmar Pfahl and
David M. Raffo},
title = {On Deriving Actions for Improving Cost Overrun by Applying Association
Rule Mining to Industrial Project Repository},
booktitle = {Making Globally Distributed Software Development a Success Story,
International Conference on Software Process, {ICSP} 2008, Leipzig,
Germany, May 10-11, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5007},
pages = {51--62},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-79588-9\_6},
doi = {10.1007/978-3-540-79588-9\_6},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ispw/DebariMKKH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/HataMK08,
author = {Hideaki Hata and
Osamu Mizuno and
Tohru Kikuno},
title = {Comparative Study of Fault-Proneness Filtering with {PMD}},
booktitle = {19th International Symposium on Software Reliability Engineering {(ISSRE}
2008), 11-14 November 2008, Seattle/Redmond, WA, {USA}},
pages = {317--318},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ISSRE.2008.49},
doi = {10.1109/ISSRE.2008.49},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issre/HataMK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/msr/YoshimuraNHK08,
author = {Kentaro Yoshimura and
Fumio Narisawa and
Koji Hashimoto and
Tohru Kikuno},
editor = {Ahmed E. Hassan and
Michele Lanza and
Michael W. Godfrey},
title = {{FAVE:} factor analysis based approach for detecting product line
variability from change history},
booktitle = {Proceedings of the 2008 International Working Conference on Mining
Software Repositories, {MSR} 2008 (Co-located with ICSE), Leipzig,
Germany, May 10-11, 2008, Proceedings},
pages = {11--18},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1370750.1370753},
doi = {10.1145/1370750.1370753},
timestamp = {Tue, 06 Nov 2018 16:57:14 +0100},
biburl = {https://dblp.org/rec/conf/msr/YoshimuraNHK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/msr/HataMK08,
author = {Hideaki Hata and
Osamu Mizuno and
Tohru Kikuno},
editor = {Ahmed E. Hassan and
Michele Lanza and
Michael W. Godfrey},
title = {An extension of fault-prone filtering using precise training and a
dynamic threshold},
booktitle = {Proceedings of the 2008 International Working Conference on Mining
Software Repositories, {MSR} 2008 (Co-located with ICSE), Leipzig,
Germany, May 10-11, 2008, Proceedings},
pages = {89--98},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1370750.1370772},
doi = {10.1145/1370750.1370772},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/msr/HataMK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/MinamikawaTK08,
author = {Takahiro Minamikawa and
Tatsuhiro Tsuchiya and
Tohru Kikuno},
title = {Language and Tool Support for Model Checking of Fault-Tolerant Distributed
Algorithms},
booktitle = {14th {IEEE} Pacific Rim International Symposium on Dependable Computing,
{PRDC} 2008, 15-17 December 2008, Taipei, Taiwan},
pages = {40--47},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/PRDC.2008.13},
doi = {10.1109/PRDC.2008.13},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/prdc/MinamikawaTK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/HamamatsuTK08,
author = {Masashi Hamamatsu and
Tatsuhiro Tsuchiya and
Tohru Kikuno},
title = {Finding the Optimal Configuration of a Cascading {TMR} System},
booktitle = {14th {IEEE} Pacific Rim International Symposium on Dependable Computing,
{PRDC} 2008, 15-17 December 2008, Taipei, Taiwan},
pages = {349--350},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/PRDC.2008.12},
doi = {10.1109/PRDC.2008.12},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/prdc/HamamatsuTK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snpd/LeelapruteMTK08,
author = {Pattara Leelaprute and
Takafumi Matsuo and
Tatsuhiro Tsuchiya and
Tohru Kikuno},
title = {Detecting Feature Interactions in Home Appliance Networks},
booktitle = {Ninth {ACIS} International Conference on Software Engineering, Artificial
Intelligence, Networking and Parallel/Distributed Computing, {SNPD}
2008, In conjunction with Second International Workshop on Advanced
Internet Technology and Applications, August 6-8, 2008, Phuket, Thailand},
pages = {895--903},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/SNPD.2008.158},
doi = {10.1109/SNPD.2008.158},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/snpd/LeelapruteMTK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/YoshimuraNHK08,
author = {Kentaro Yoshimura and
Fumio Narisawa and
Koji Hashimoto and
Tohru Kikuno},
editor = {Steffen Thiel and
Klaus Pohl},
title = {A Method to Analyze Variability Based on Product Release History:
Case Study of Automotive System},
booktitle = {Software Product Lines, 12th International Conference, {SPLC} 2008,
Limerick, Ireland, September 8-12, 2008, Proceedings. Second Volume
(Workshops)},
pages = {249--256},
publisher = {Lero Int. Science Centre, University of Limerick, Ireland},
year = {2008},
timestamp = {Tue, 10 Mar 2009 09:37:30 +0100},
biburl = {https://dblp.org/rec/conf/splc/YoshimuraNHK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssiri/KimotoTK08,
author = {Shin Kimoto and
Tatsuhiro Tsuchiya and
Tohru Kikuno},
title = {Pairwise Testing in the Presence of Configuration Change Cost},
booktitle = {Second International Conference on Secure System Integration and Reliability
Improvement, {SSIRI} 2008, July 14-17, 2008, Yokohama, Japan},
pages = {32--38},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/SSIRI.2008.27},
doi = {10.1109/SSIRI.2008.27},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ssiri/KimotoTK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/WongTK07,
author = {TheinLai Wong and
Tatsuhiro Tsuchiya and
Tohru Kikuno},
title = {An Energy-Efficient Broadcast Scheme for Multihop Wireless Ad Hoc
Networks Using Variable-Range Transmission Power},
journal = {{IEICE} Trans. Inf. Syst.},
volume = {90-D},
number = {3},
pages = {680--684},
year = {2007},
url = {https://doi.org/10.1093/ietisy/e90-d.3.680},
doi = {10.1093/IETISY/E90-D.3.680},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ieicet/WongTK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esem/MizunoINK07,
author = {Osamu Mizuno and
Shiro Ikami and
Shuya Nakaichi and
Tohru Kikuno},
title = {Fault-Prone Filtering: Detection of Fault-Prone Modules Using Spam
Filtering Technique},
booktitle = {Proceedings of the First International Symposium on Empirical Software
Engineering and Measurement, {ESEM} 2007, September 20-21, 2007, Madrid,
Spain},
pages = {374--383},
publisher = {{ACM} / {IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ESEM.2007.29},
doi = {10.1109/ESEM.2007.29},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esem/MizunoINK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/msr/MizunoINK07,
author = {Osamu Mizuno and
Shiro Ikami and
Shuya Nakaichi and
Tohru Kikuno},
title = {Spam Filter Based Approach for Finding Fault-Prone Software Modules},
booktitle = {Fourth International Workshop on Mining Software Repositories, {MSR}
2007 {(ICSE} Workshop), Minneapolis, MN, USA, May 19-20, 2007, Proceedings},
pages = {4},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/MSR.2007.29},
doi = {10.1109/MSR.2007.29},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/msr/MizunoINK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nca/MakikawaMTK07,
author = {Fuminori Makikawa and
Takafumi Matsuo and
Tatsuhiro Tsuchiya and
Tohru Kikuno},
title = {Constructing Overlay Networks with Low Link Costs and Short Paths},
booktitle = {Sixth {IEEE} International Symposium on Network Computing and Applications
{(NCA} 2007), 12 - 14 July 2007, Cambridge, MA, {USA}},
pages = {299--304},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/NCA.2007.13},
doi = {10.1109/NCA.2007.13},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nca/MakikawaMTK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdcn/WongTK07,
author = {TheinLai Wong and
Tatsuhiro Tsuchiya and
Tohru Kikuno},
editor = {Helmar Burkhart},
title = {A localized broadcast scheme for minimizing power consumption in wireless
mobile ad hoc networks},
booktitle = {Proceedings of the {IASTED} International Conference on Parallel and
Distributed Computing and Networks, as part of the 25th {IASTED} International
Multi-Conference on Applied Informatics, February 13-15 2007, Innsbruck,
Austria},
pages = {7--12},
publisher = {{IASTED/ACTA} Press},
year = {2007},
timestamp = {Thu, 25 Oct 2007 15:04:30 +0200},
biburl = {https://dblp.org/rec/conf/pdcn/WongTK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/MizunoK07,
author = {Osamu Mizuno and
Tohru Kikuno},
editor = {Ivica Crnkovic and
Antonia Bertolino},
title = {Training on errors experiment to detect fault-prone software modules
by spam filter},
booktitle = {Proceedings of the 6th joint meeting of the European Software Engineering
Conference and the {ACM} {SIGSOFT} International Symposium on Foundations
of Software Engineering, 2007, Dubrovnik, Croatia, September 3-7,
2007},
pages = {405--414},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1287624.1287683},
doi = {10.1145/1287624.1287683},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/MizunoK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/comcom/TsuchiyaIK06,
author = {Tatsuhiro Tsuchiya and
Shinichi Ikeda and
Tohru Kikuno},
title = {Counter-based reliability optimization for gossip-based broadcasting},
journal = {Comput. Commun.},
volume = {29},
number = {9},
pages = {1516--1521},
year = {2006},
url = {https://doi.org/10.1016/j.comcom.2005.09.018},
doi = {10.1016/J.COMCOM.2005.09.018},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/comcom/TsuchiyaIK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bioadit/OkuyamaTK06,
author = {Takuya Okuyama and
Tatsuhiro Tsuchiya and
Tohru Kikuno},
editor = {Auke Jan Ijspeert and
Toshimitsu Masuzawa and
Shinji Kusumoto},
title = {Improving the Robustness of Epidemic Communication in Scale-Free Networks},
booktitle = {Biologically Inspired Approaches to Advanced Information Technology,
Second International Workshop, BioADIT 2006, Osaka, Japan, January
26-27, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3853},
pages = {294--305},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11613022\_24},
doi = {10.1007/11613022\_24},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/bioadit/OkuyamaTK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icoin/IkedaTK06,
author = {Shinichi Ikeda and
Tatsuhiro Tsuchiya and
Tohru Kikuno},
editor = {Ilyoung Chong and
Kenji Kawahara},
title = {A Decentralized Scheme for Network-Aware Reliable Overlay Construction},
booktitle = {Information Networking, Advances in Data Communications and Wireless
Networks, International Conference, {ICOIN} 2006, Sendai, Japan, January
16-19, 2006, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3961},
pages = {955--964},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11919568\_95},
doi = {10.1007/11919568\_95},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/icoin/IkedaTK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/AbeMKKH06,
author = {Seiya Abe and
Osamu Mizuno and
Tohru Kikuno and
Nahomi Kikuchi and
Masayuki Hirayama},
editor = {Leon J. Osterweil and
H. Dieter Rombach and
Mary Lou Soffa},
title = {Estimation of project success using Bayesian classifier},
booktitle = {28th International Conference on Software Engineering {(ICSE} 2006),
Shanghai, China, May 20-28, 2006},
pages = {600--603},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1134285.1134371},
doi = {10.1145/1134285.1134371},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/AbeMKKH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/profes/AmasakiHMK06,
author = {Sousuke Amasaki and
Yasuhiro Hamano and
Osamu Mizuno and
Tohru Kikuno},
editor = {J{\"{u}}rgen M{\"{u}}nch and
Matias Vierimaa},
title = {Characterization of Runaway Software Projects Using Association Rule
Mining},
booktitle = {Product-Focused Software Process Improvement, 7th International Conference,
{PROFES} 2006, Amsterdam, The Netherlands, June 12-14, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4034},
pages = {402--407},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11767718\_35},
doi = {10.1007/11767718\_35},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/profes/AmasakiHMK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ese/TakagiMK05,
author = {Yasunari Takagi and
Osamu Mizuno and
Tohru Kikuno},
title = {An Empirical Approach to Characterizing Risky Software Projects Based
on Logistic Regression Analysis},
journal = {Empir. Softw. Eng.},
volume = {10},
number = {4},
pages = {495--515},
year = {2005},
url = {https://doi.org/10.1007/s10664-005-3864-z},
doi = {10.1007/S10664-005-3864-Z},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ese/TakagiMK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/AmasakiTMK05,
author = {Sousuke Amasaki and
Yasunari Takagi and
Osamu Mizuno and
Tohru Kikuno},
title = {Constructing a Bayesian Belief Network to Predict Final Quality in
Embedded System Development},
journal = {{IEICE} Trans. Inf. Syst.},
volume = {88-D},
number = {6},
pages = {1134--1141},
year = {2005},
url = {https://doi.org/10.1093/ietisy/e88-d.6.1134},
doi = {10.1093/IETISY/E88-D.6.1134},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ieicet/AmasakiTMK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/SumiMKH05,
author = {Takeshi Sumi and
Osamu Mizuno and
Tohru Kikuno and
Masayuki Hirayama},
title = {An Effective Testing Method for Hardware Related Fault in Embedded
Software},
journal = {{IEICE} Trans. Inf. Syst.},
volume = {88-D},
number = {6},
pages = {1142--1149},
year = {2005},
url = {https://doi.org/10.1093/ietisy/e88-d.6.1142},
doi = {10.1093/IETISY/E88-D.6.1142},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ieicet/SumiMKH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcst/HirayamaMK05,
author = {Masayuki Hirayama and
Osamu Mizuno and
Tohru Kikuno},
title = {Analysis of Software Test Item Generation - Comparison Between High
Skilled and Low Skilled Engineers},
journal = {J. Comput. Sci. Technol.},
volume = {20},
number = {2},
pages = {250--257},
year = {2005},
url = {https://doi.org/10.1007/s11390-005-0250-7},
doi = {10.1007/S11390-005-0250-7},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcst/HirayamaMK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sqj/AmasakiYMTK05,
author = {Sousuke Amasaki and
Takashi Yoshitomi and
Osamu Mizuno and
Yasunari Takagi and
Tohru Kikuno},
title = {A New Challenge for Applying Time Series Metrics Data to Software
Quality Estimation},
journal = {Softw. Qual. J.},
volume = {13},
number = {2},
pages = {177--193},
year = {2005},
url = {https://doi.org/10.1007/s11219-005-6216-8},
doi = {10.1007/S11219-005-6216-8},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sqj/AmasakiYMTK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/LeelapruteTKNM05,
author = {Pattara Leelaprute and
Tatsuhiro Tsuchiya and
Tohru Kikuno and
Masahide Nakamura and
Ken{-}ichi Matsumoto},
title = {Describing and Verifying Integrated Services of Home Network Systems},
booktitle = {12th Asia-Pacific Software Engineering Conference {(APSEC} 2005),
15-17 December 2005, Taipei, Taiwan},
pages = {549--560},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/APSEC.2005.59},
doi = {10.1109/APSEC.2005.59},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/LeelapruteTKNM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iastedSE/LeelapruteKNM05,
author = {Pattara Leelaprute and
Tohru Kikuno and
Masahide Nakamura and
Ken{-}ichi Matsumoto},
editor = {Peter Kokol},
title = {Definition and Detection of Semantic Warnings for VoiceXML},
booktitle = {{IASTED} International Conference on Software Engineering, part of
the 23rd Multi-Conference on Applied Informatics, Innsbruck, Austria,
February 15-17, 2005},
pages = {267--275},
publisher = {{IASTED/ACTA} Press},
year = {2005},
timestamp = {Thu, 27 Oct 2005 12:09:59 +0200},
biburl = {https://dblp.org/rec/conf/iastedSE/LeelapruteKNM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpads/IgarashiTK05,
author = {Daisuke Igarashi and
Tatsuhiro Tsuchiya and
Tohru Kikuno},
title = {Overlay Network Topologies for Gossip-Based Multicast},
booktitle = {11th International Conference on Parallel and Distributed Systems,
{ICPADS} 2005, Fuduoka, Japan, July 20-22, 2005},
pages = {2--7},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ICPADS.2005.214},
doi = {10.1109/ICPADS.2005.214},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icpads/IgarashiTK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/Kikuno05,
author = {Tohru Kikuno},
title = {Why Do Software Projects Fail? Reasons and a Solution Using a Bayesian
Classifier to Predict Potential Risk},
booktitle = {11th {IEEE} Pacific Rim International Symposium on Dependable Computing
{(PRDC} 2005), 12-14 December, 2005, Changsha, Hunan, China},
pages = {4},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/PRDC.2005.61},
doi = {10.1109/PRDC.2005.61},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/prdc/Kikuno05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cn/NakamuraLMK04,
author = {Masahide Nakamura and
Pattara Leelaprute and
Ken{-}ichi Matsumoto and
Tohru Kikuno},
title = {On detecting feature interactions in the programmable service environment
of Internet telephony},
journal = {Comput. Networks},
volume = {45},
number = {5},
pages = {605--624},
year = {2004},
url = {https://doi.org/10.1016/j.comnet.2004.03.003},
doi = {10.1016/J.COMNET.2004.03.003},
timestamp = {Wed, 19 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cn/NakamuraLMK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/HirayamaMK04,
author = {Masayuki Hirayama and
Osamu Mizuno and
Tohru Kikuno},
title = {Test Item Prioritizing Metrics for Selective Software Testing},
journal = {{IEICE} Trans. Inf. Syst.},
volume = {87-D},
number = {12},
pages = {2733--2743},
year = {2004},
url = {http://search.ieice.org/bin/summary.php?id=e87-d\_12\_2733},
timestamp = {Sat, 11 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ieicet/HirayamaMK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aina/WongTK04,
author = {TheinLai Wong and
Tatsuhiro Tsuchiya and
Tohru Kikuno},
title = {A Self-organizing Technique for Sensor Placement in Wireless Micro-Sensor
Networks},
booktitle = {18th International Conference on Advanced Information Networking and
Applications {(AINA} 2004), 29-31 March 2004, Fukuoka, Japan},
pages = {78--83},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/AINA.2004.1283891},
doi = {10.1109/AINA.2004.1283891},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aina/WongTK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/OgataTK04,
author = {Shougo Ogata and
Tatsuhiro Tsuchiya and
Tohru Kikuno},
editor = {Farn Wang},
title = {SAT-Based Verification of Safe Petri Nets},
booktitle = {Automated Technology for Verification and Analysis: Second International
Conference, {ATVA} 2004, Taipei, Taiwan, ROC, October 31-November
3, 2004. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3299},
pages = {79--92},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30476-0\_11},
doi = {10.1007/978-3-540-30476-0\_11},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/OgataTK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bioadit/TsuchiyaK04,
author = {Tatsuhiro Tsuchiya and
Tohru Kikuno},
editor = {Auke Jan Ijspeert and
Masayuki Murata and
Naoki Wakamiya},
title = {An Adaptive Mechanism for Epidemic Communication},
booktitle = {Biologically Inspired Approaches to Advanced Information Technology,
First International Workshop, BioADIT 2004, Lausanne, Switzerland,
January 29-30, 2004. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3141},
pages = {306--316},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27835-1\_23},
doi = {10.1007/978-3-540-27835-1\_23},
timestamp = {Fri, 30 Dec 2022 14:18:14 +0100},
biburl = {https://dblp.org/rec/conf/bioadit/TsuchiyaK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/ShibaTK04,
author = {Toshiaki Shiba and
Tatsuhiro Tsuchiya and
Tohru Kikuno},
title = {Using Artificial Life Techniques to Generate Test Cases for Combinatorial
Testing},
booktitle = {28th International Computer Software and Applications Conference {(COMPSAC}
2004), Design and Assessment of Trustworthy Software-Based Systems,
27-30 September 2004, Hong Kong, China, Proceedings},
pages = {72--77},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/CMPSAC.2004.1342808},
doi = {10.1109/CMPSAC.2004.1342808},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/ShibaTK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/TsuchiyaK04,
author = {Tatsuhiro Tsuchiya and
Tohru Kikuno},
title = {On the Effects of Partial Membership Knowledge on Reliability of Gossip-Based
Multicast},
booktitle = {10th {IEEE} Pacific Rim International Symposium on Dependable Computing
{(PRDC} 2004), 3-5 March 2004, Papeete, Tahiti},
pages = {76--83},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/PRDC.2004.1276555},
doi = {10.1109/PRDC.2004.1276555},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/prdc/TsuchiyaK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/profes/MizunuHTK04,
author = {Osamu Mizuno and
Takanari Hamasaki and
Yasunari Takagi and
Tohru Kikuno},
editor = {Frank Bomarius and
Hajimu Iida},
title = {An Empirical Evaluation of Predicting Runaway Software Projects Using
Bayesian Classification},
booktitle = {Product Focused Software Process Improvement, 5th International Conference,
{PROFES} 2004, Kausai Science City, Japan, April 5-8, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3009},
pages = {263--273},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24659-6\_19},
doi = {10.1007/978-3-540-24659-6\_19},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/profes/MizunuHTK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scjapan/UeharaMK03,
author = {Satoru Uehara and
Osamu Mizuno and
Tohru Kikuno},
title = {Design of a new mechanism for context data storage on Web systems
and its implementation using component-object technology},
journal = {Syst. Comput. Jpn.},
volume = {34},
number = {3},
pages = {53--63},
year = {2003},
url = {https://doi.org/10.1002/scj.10020},
doi = {10.1002/SCJ.10020},
timestamp = {Wed, 13 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scjapan/UeharaMK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/LeelapruteNMK03,
author = {Pattara Leelaprute and
Masahide Nakamura and
Ken{-}ichi Matsumoto and
Tohru Kikuno},
title = {Evaluating Semantic Warnings in VoIP Programmable Services with Open
Source Environment},
booktitle = {10th Asia-Pacific Software Engineering Conference {(APSEC} 2003),
10-12 December 2003, Chiang Mai, Thailand},
pages = {552},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/APSEC.2003.1254410},
doi = {10.1109/APSEC.2003.1254410},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/LeelapruteNMK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ats/HirayamaYMK03,
author = {Masayuki Hirayama and
Tetsuya Yamamoto and
Osamu Mizuno and
Tohru Kikuno},
title = {Analysis of Software Test Item Generation - Comparison between High
Skilled and Low Skilled Engineers},
booktitle = {12th Asian Test Symposium {(ATS} 2003), 17-19 November 2003, Xian,
China},
pages = {210--215},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/ATS.2003.1250811},
doi = {10.1109/ATS.2003.1250811},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ats/HirayamaYMK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fiw/NakamuraLMK03,
author = {Masahide Nakamura and
Pattara Leelaprute and
Ken{-}ichi Matsumoto and
Tohru Kikuno},
editor = {Daniel Amyot and
Luigi Logrippo},
title = {Detecting Script-to-Script Interactions in Call Processing Language},
booktitle = {Feature Interactions in Telecommunications and Software Systems VII,
June 11-13, 2003, Ottawa, Canada},
pages = {215--230},
publisher = {{IOS} Press},
year = {2003},
timestamp = {Tue, 16 Nov 2004 09:12:37 +0100},
biburl = {https://dblp.org/rec/conf/fiw/NakamuraLMK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/AmasakiTMK03,
author = {Sousuke Amasaki and
Yasunari Takagi and
Osamu Mizuno and
Tohru Kikuno},
title = {A Bayesian Belief Network for Assessing the Likelihood of Fault Content},
booktitle = {14th International Symposium on Software Reliability Engineering {(ISSRE}
2003), 17-20 November 2003, Denver, CO, {USA}},
pages = {215--226},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/ISSRE.2003.1251044},
doi = {10.1109/ISSRE.2003.1251044},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/AmasakiTMK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saint/NakamuraLMK03,
author = {Masahide Nakamura and
Pattara Leelaprute and
Ken{-}ichi Matsumoto and
Tohru Kikuno},
title = {Semantic Warnings and Feature Interaction in Call Processing Language
on Internet Telephony},
booktitle = {2003 Symposium on Applications and the Internet {(SAINT} 2003), 27-31
January 2003 - Orlando, FL, USA, Proceedings},
pages = {283--291},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/SAINT.2003.1183061},
doi = {10.1109/SAINT.2003.1183061},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/saint/NakamuraLMK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieiceta/YokogawaTK02,
author = {Tomoyuki Yokogawa and
Tatsuhiro Tsuchiya and
Tohru Kikuno},
title = {Verifying Fault Tolerance of Concurrent Systems by Model Checking},
journal = {{IEICE} Trans. Fundam. Electron. Commun. Comput. Sci.},
volume = {85-A},
number = {11},
pages = {2414--2425},
year = {2002},
url = {http://search.ieice.org/bin/summary.php?id=e85-a\_11\_2414},
timestamp = {Wed, 09 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ieiceta/YokogawaTK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieiceta/KobayashiTK02,
author = {Noritaka Kobayashi and
Tatsuhiro Tsuchiya and
Tohru Kikuno},
title = {New 2-Factor Covering Designs for Software Testing},
journal = {{IEICE} Trans. Fundam. Electron. Commun. Comput. Sci.},
volume = {85-A},
number = {12},
pages = {2946--2949},
year = {2002},
url = {http://search.ieice.org/bin/summary.php?id=e85-a\_12\_2946},
timestamp = {Wed, 09 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ieiceta/KobayashiTK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/KobayashiTK02,
author = {Noritaka Kobayashi and
Tatsuhiro Tsuchiya and
Tohru Kikuno},
title = {Non-specification-based approaches to logic testing for software},
journal = {Inf. Softw. Technol.},
volume = {44},
number = {2},
pages = {113--121},
year = {2002},
url = {https://doi.org/10.1016/S0950-5849(01)00222-1},
doi = {10.1016/S0950-5849(01)00222-1},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/infsof/KobayashiTK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/KobayashiTK02,
author = {Noritaka Kobayashi and
Tatsuhiro Tsuchiya and
Tohru Kikuno},
title = {A new method for constructing pair-wise covering designs for software
testing},
journal = {Inf. Process. Lett.},
volume = {81},
number = {2},
pages = {85--91},
year = {2002},
url = {https://doi.org/10.1016/S0020-0190(01)00195-8},
doi = {10.1016/S0020-0190(01)00195-8},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ipl/KobayashiTK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/TsuchiyaK02,
author = {Tatsuhiro Tsuchiya and
Tohru Kikuno},
title = {Byzantine quorum systems with maximum availability},
journal = {Inf. Process. Lett.},
volume = {83},
number = {2},
pages = {71--77},
year = {2002},
url = {https://doi.org/10.1016/S0020-0190(01)00311-8},
doi = {10.1016/S0020-0190(01)00311-8},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ipl/TsuchiyaK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/TsuchiyaK02,
author = {Tatsuhiro Tsuchiya and
Tohru Kikuno},
title = {On fault classes and error detection capability of specification-based
testing},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {11},
number = {1},
pages = {58--62},
year = {2002},
url = {https://doi.org/10.1145/504087.504089},
doi = {10.1145/504087.504089},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tosem/TsuchiyaK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ats/AmasakiYMKT02,
author = {Sousuke Amasaki and
Takashi Yoshitomi and
Osamu Mizuno and
Tohru Kikuno and
Yasunari Takagi},
title = {Statistical Analysis of Time Series Data on the Number of Faults Detected
by Statistical Analysis of Time Series Data on the Number of Faults
Detected by Software Testing},
booktitle = {11th Asian Test Symposium {(ATS} 2002), 18-20 November 2002, Guam,
{USA}},
pages = {272--277},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/ATS.2002.1181723},
doi = {10.1109/ATS.2002.1181723},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ats/AmasakiYMKT02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icoin/ChoiTK02,
author = {Eun Hye Choi and
Tatsuhiro Tsuchiya and
Tohru Kikuno},
editor = {Ilyoung Chong},
title = {Optimal k-Coteries That Maximize Availability in General Networks},
booktitle = {Information Networking, Wireless Communications Technologies and Network
Applications, International Conference, {ICOIN} 2002, Cheju Island,
Korea, January 30 - February 1, 2002, Revised Papers, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {2344},
pages = {596--608},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45801-8\_57},
doi = {10.1007/3-540-45801-8\_57},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/icoin/ChoiTK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icoin/HamadaTNK02,
author = {Takayuki Hamada and
Tatsuhiro Tsuchiya and
Masahide Nakamura and
Tohru Kikuno},
editor = {Ilyoung Chong},
title = {Using Symbolic Model Checking to Detect Service Interactions in Telecommunication
Services},
booktitle = {Information Networking, Wireless Communications Technologies and Network
Applications, International Conference, {ICOIN} 2002, Cheju Island,
Korea, January 30 - February 1, 2002, Revised Papers, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {2343},
pages = {641--651},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45803-4\_58},
doi = {10.1007/3-540-45803-4\_58},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/icoin/HamadaTNK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isese/HirayamaYOMK02,
author = {Masayuki Hirayama and
Tetsuya Yamamoto and
Jiro Okayasu and
Osamu Mizuno and
Tohru Kikuno},
title = {Elimination of Crucial Faults by a New Selective Testing Method},
booktitle = {2002 International Symposium on Empirical Software Engineering {(ISESE}
2002), 3-4 October 2002, Nara, Japan},
pages = {183--194},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/ISESE.2002.1166937},
doi = {10.1109/ISESE.2002.1166937},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isese/HirayamaYOMK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/MizunoSTK02,
author = {Osamu Mizuno and
Eijiro Shigematsu and
Yasunari Takagi and
Tohru Kikuno},
title = {On Estimating Testing Effort Needed to Assure Field Quality in Software
Development},
booktitle = {13th International Symposium on Software Reliability Engineering {(ISSRE}
2002), 12-15 November 2002, Annapolis, MD, {USA}},
pages = {139--148},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/ISSRE.2002.1173234},
doi = {10.1109/ISSRE.2002.1173234},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/MizunoSTK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/TsuchiyaNK02,
author = {Tatsuhiro Tsuchiya and
Masahide Nakamura and
Tohru Kikuno},
title = {Detecting Feature Interactions in Telecommunication Services with
a {SAT} Solver},
booktitle = {9th Pacific Rim International Symposium on Dependable Computing {(PRDC}
2002), 16-18 December 2002, Tsukuba-City, Ibarski, Japan},
pages = {131--136},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/PRDC.2002.1185629},
doi = {10.1109/PRDC.2002.1185629},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/prdc/TsuchiyaNK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/words/NakamuraLK02,
author = {Masahide Nakamura and
Pattara Leelaprute and
Tohru Kikuno},
title = {Deriving Interaction-Prone Scenarios in Feature Interaction Filtering
with Use Case Maps},
booktitle = {7th {IEEE} International Workshop on Object-Oriented Real-Time Dependable
Systems {(WORDS} 2002), 7-9 January 2002, San Diego, CA, {USA}},
pages = {237--244},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/WORDS.2002.1000058},
doi = {10.1109/WORDS.2002.1000058},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/words/NakamuraLK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/KobayashiTK01,
author = {Noritaka Kobayashi and
Tatsuhiro Tsuchiya and
Tohru Kikuno},
title = {Minimizing the mean delay of quorum-based mutual exclusion schemes},
journal = {J. Syst. Softw.},
volume = {58},
number = {1},
pages = {1--9},
year = {2001},
url = {https://doi.org/10.1016/S0164-1212(01)00023-1},
doi = {10.1016/S0164-1212(01)00023-1},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jss/KobayashiTK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tpds/TsuchiyaNPK01,
author = {Tatsuhiro Tsuchiya and
Shin'ichi Nagano and
Rohayu Bt Paidi and
Tohru Kikuno},
title = {Symbolic Model Checking for Self-Stabilizing Algorithms},
journal = {{IEEE} Trans. Parallel Distributed Syst.},
volume = {12},
number = {1},
pages = {81--95},
year = {2001},
url = {https://doi.org/10.1109/71.899941},
doi = {10.1109/71.899941},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tpds/TsuchiyaNPK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apaqs/MizunoAKT01,
author = {Osamu Mizuno and
Takuya Adachi and
Tohru Kikuno and
Yasunari Takagi},
title = {On Prediction of Cost and Duration for Risky Software Projects Based
on Risk Questionnaire},
booktitle = {2nd Asia-Pacific Conference on Quality Software {(APAQS} 2001), 10-11
December 2001, Hong Kong, China, Proceedings},
pages = {120--130},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/APAQS.2001.990010},
doi = {10.1109/APAQS.2001.990010},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apaqs/MizunoAKT01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apaqs/HirayamaYOMK01,
author = {Masayuki Hirayama and
Tetsuya Yamamoto and
Jiro Okayasu and
Osamu Mizuno and
Tohru Kikuno},
title = {A Selective Software Testing Method Based on Priorities Assigned to
Functional Modules},
booktitle = {2nd Asia-Pacific Conference on Quality Software {(APAQS} 2001), 10-11
December 2001, Hong Kong, China, Proceedings},
pages = {259--267},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/APAQS.2001.990028},
doi = {10.1109/APAQS.2001.990028},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apaqs/HirayamaYOMK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/KikuchiK01,
author = {Nahomi Kikuchi and
Tohru Kikuno},
title = {Improving the Testing Process by Program Static Analysis},
booktitle = {8th Asia-Pacific Software Engineering Conference {(APSEC} 2001), 4-7
December 2001, Macau, China},
pages = {195--201},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/APSEC.2001.991477},
doi = {10.1109/APSEC.2001.991477},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/KikuchiK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/UeharaMK01,
author = {Satoru Uehara and
Osamu Mizuno and
Tohru Kikuno},
title = {Development of Session Management Mechanism for Cellular Phone with
{WWW} Connection},
booktitle = {8th Asia-Pacific Software Engineering Conference {(APSEC} 2001), 4-7
December 2001, Macau, China},
pages = {345},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/APSEC.2001.991500},
doi = {10.1109/APSEC.2001.991500},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/UeharaMK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/KobayashiTK01,
author = {Noritaka Kobayashi and
Tatsuhiro Tsuchiya and
Tohru Kikuno},
title = {Applicability of Non-Specification-Based Approaches to Logic Testing
for Software},
booktitle = {2001 International Conference on Dependable Systems and Networks {(DSN}
2001) (formerly: FTCS), 1-4 July 2001, G{\"{o}}teborg, Sweden,
Proceedings},
pages = {337--346},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/DSN.2001.941418},
doi = {10.1109/DSN.2001.941418},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsn/KobayashiTK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/words/UeharaMK01,
author = {Satoru Uehara and
Osamu Mizuno and
Tohru Kikuno},
title = {An Implementation of Electronic Shopping Cart on the Web System using
Component-Object Technology},
booktitle = {6th Workshop on Object-Oriented Real-Time Dependable Systems {(WORDS}
2001), 8-10 January 2001, Rome, Italy},
pages = {77--84},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/WORDS.2001.945116},
doi = {10.1109/WORDS.2001.945116},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/words/UeharaMK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/MizunoKITS00,
author = {Osamu Mizuno and
Tohru Kikuno and
Katsumi Inagaki and
Yasunari Takagi and
Keishi Sakamoto},
title = {Statistical analysis of deviation of actual cost from estimated cost
using actual project data},
journal = {Inf. Softw. Technol.},
volume = {42},
number = {7},
pages = {465--473},
year = {2000},
url = {https://doi.org/10.1016/S0950-5849(00)00092-6},
doi = {10.1016/S0950-5849(00)00092-6},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/infsof/MizunoKITS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/HashimotoTK00,
author = {Koji Hashimoto and
Tatsuhiro Tsuchiya and
Tohru Kikuno},
title = {A new approach to fault-tolerant scheduling using task duplication
in multiprocessor systems},
journal = {J. Syst. Softw.},
volume = {53},
number = {2},
pages = {159--171},
year = {2000},
url = {https://doi.org/10.1016/S0164-1212(99)00105-3},
doi = {10.1016/S0164-1212(99)00105-3},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jss/HashimotoTK00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ats/HirayamaOYMK00,
author = {Masayuki Hirayama and
Jiro Okayasu and
Tetsuya Yamamoto and
Osamu Mizuno and
Tohru Kikuno},
title = {Generating test items for checking illegal behaviors in software testing},
booktitle = {9th Asian Test Symposium {(ATS} 2000), 4-6 December 2000, Taipei,
Taiwan},
pages = {235--240},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/ATS.2000.893631},
doi = {10.1109/ATS.2000.893631},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ats/HirayamaOYMK00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/KikuchiMK00,
author = {Nahomi Kikuchi and
Osamu Mizuno and
Tohru Kikuno},
title = {Identifying Key Attributes of Projects that Affect the Field Quality
of Communication Software},
booktitle = {24th International Computer Software and Applications Conference {(COMPSAC}
2000), 25-28 October 2000, Taipei, Taiwan},
pages = {176--178},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/CMPSAC.2000.884711},
doi = {10.1109/CMPSAC.2000.884711},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/KikuchiMK00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/HashimotoTK00,
author = {Koji Hashimoto and
Tatsuhiro Tsuchiya and
Tohru Kikuno},
title = {Fault-Secure Scheduling of Arbitrary Task Graphs to Multiprocessor
Systems},
booktitle = {2000 International Conference on Dependable Systems and Networks {(DSN}
2000) (formerly {FTCS-30} and DCCA-8), 25-28 June 2000, New York,
NY, {USA}},
pages = {203--212},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/ICDSN.2000.857536},
doi = {10.1109/ICDSN.2000.857536},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsn/HashimotoTK00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fiw/NakamuraKHL00,
author = {Masahide Nakamura and
Tohru Kikuno and
Jameleddine Hassine and
Luigi Logrippo},
editor = {Muffy Calder and
Evan H. Magill},
title = {Feature Interaction Filtering with Use Case Maps at Requirements Stage},
booktitle = {Feature Interactions in Telecommunications and Software Systems VI,
May 17-19, 2000, Glasgow, Scotland, {UK}},
pages = {163--178},
publisher = {{IOS} Press},
year = {2000},
timestamp = {Tue, 16 Nov 2004 09:12:33 +0100},
biburl = {https://dblp.org/rec/conf/fiw/NakamuraKHL00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/MizunoKTS00,
author = {Osamu Mizuno and
Tohru Kikuno and
Yasunari Takagi and
Keishi Sakamoto},
editor = {Carlo Ghezzi and
Mehdi Jazayeri and
Alexander L. Wolf},
title = {Characterization of risky projects based on project managers' evaluation},
booktitle = {Proceedings of the 22nd International Conference on on Software Engineering,
{ICSE} 2000, Limerick Ireland, June 4-11, 2000},
pages = {387--395},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/337180.337226},
doi = {10.1145/337180.337226},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/MizunoKTS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/AizonoK00,
author = {Takeiki Aizono and
Tohru Kikuno},
title = {Intelligent Scheduling based on Start Time Adjustment for Advanced
Sequential Control Systems},
booktitle = {3rd International Symposium on Object-Oriented Real-Time Distributed
Computing {(ISORC} 2000), 15-17 March 2000, Newport Beach, CA, {USA}},
pages = {138},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/ISORC.2000.839521},
doi = {10.1109/ISORC.2000.839521},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/AizonoK00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/TsuchiyaK99,
author = {Tatsuhiro Tsuchiya and
Tohru Kikuno},
title = {Availability Evaluation of Quorum-Based Mutual Exclusion Schemes in
General Topology Networks},
journal = {Comput. J.},
volume = {42},
number = {7},
pages = {613--622},
year = {1999},
url = {https://doi.org/10.1093/comjnl/42.7.613},
doi = {10.1093/COMJNL/42.7.613},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cj/TsuchiyaK99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/IshidaKNKA99,
author = {Kenji Ishida and
Yoshiaki Kakuda and
Masahide Nakamura and
Tohru Kikuno and
Kitsutaro Amano},
title = {A protocol synthesis method for fault-tolerant multipath routing},
journal = {Inf. Softw. Technol.},
volume = {41},
number = {11-12},
pages = {745--754},
year = {1999},
url = {https://doi.org/10.1016/S0950-5849(99)00034-8},
doi = {10.1016/S0950-5849(99)00034-8},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/infsof/IshidaKNKA99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/TsuchiyaIK99,
author = {Tatsuhiro Tsuchiya and
Nobuhiko Ido and
Tohru Kikuno},
title = {Constructing Byzantine Quorum Systems from Combinatorial Designs},
journal = {Inf. Process. Lett.},
volume = {71},
number = {1},
pages = {35--42},
year = {1999},
url = {https://doi.org/10.1016/S0020-0190(99)00075-7},
doi = {10.1016/S0020-0190(99)00075-7},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ipl/TsuchiyaIK99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tpds/TsuchiyaYK99,
author = {Tatsuhiro Tsuchiya and
Masatoshi Yamaguchi and
Tohru Kikuno},
title = {Minimizing the Maximum Delay for Reaching Consensus in Quorum-Based
Mutual Exclusion Schemes},
journal = {{IEEE} Trans. Parallel Distributed Syst.},
volume = {10},
number = {4},
pages = {337--345},
year = {1999},
url = {https://doi.org/10.1109/71.762814},
doi = {10.1109/71.762814},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tpds/TsuchiyaYK99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/UeharaMK99,
author = {Satoru Uehara and
Osamu Mizuno and
Tohru Kikuno},
title = {A Straightforward Approach to Effort Estimation for Updating Programs
in Object-Oriented Prototyping Development},
booktitle = {6th Asia-Pacific Software Engineering Conference {(APSEC} '99), 7-10
December 1999, Takamatsu, Japan},
pages = {144},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/APSEC.1999.809595},
doi = {10.1109/APSEC.1999.809595},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/UeharaMK99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/YamauraK99,
author = {Tsuneo Yamaura and
Tohru Kikuno},
title = {A Framework for Top-Down Cost Estimation of Software Development},
booktitle = {23rd International Computer Software and Applications Conference {(COMPSAC}
'99), 27-19 October 1999, Phoenix, AZ, {USA}},
pages = {322--323},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/CMPSAC.1999.812729},
doi = {10.1109/CMPSAC.1999.812729},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/YamauraK99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/words/UeharaMIK99,
author = {Satoru Uehara and
Osamu Mizuno and
Yumi Itou and
Tohru Kikuno},
title = {An MVC-based analysis of object-oriented system prototyping for banking
related {GUI} applications-correlationship between {OO} metrics and
efforts for requirement change},
booktitle = {Fourth International Workshop on Object-Oriented Real-Time Dependable
Systems, Santa Barbara, California, USA, January 27-29, 1999. Proceedings},
pages = {65--73},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/WORDS.1999.806563},
doi = {10.1109/WORDS.1999.806563},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/words/UeharaMIK99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/words/ChoiTK99,
author = {Eun Hye Choi and
Tatsuhiro Tsuchiya and
Tohru Kikuno},
title = {On the availability of k-coteries in networks with unreliable nodes
and links},
booktitle = {Fourth International Workshop on Object-Oriented Real-Time Dependable
Systems, Santa Barbara, California, USA, January 27-29, 1999. Proceedings},
pages = {148--155},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/WORDS.1999.806573},
doi = {10.1109/WORDS.1999.806573},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/words/ChoiTK99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/integration/NakamuraK98,
author = {Masahide Nakamura and
Tohru Kikuno},
title = {A new approach in feature interaction testing},
journal = {Integr.},
volume = {26},
number = {1-2},
pages = {211--223},
year = {1998},
url = {https://doi.org/10.1016/S0167-9260(98)00029-7},
doi = {10.1016/S0167-9260(98)00029-7},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/integration/NakamuraK98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/KusumotoCKMM98,
author = {Shinji Kusumoto and
Atsushi Chimura and
Tohru Kikuno and
Ken{-}ichi Matsumoto and
Yukio Mohri},
title = {A promising approach to two-person software review in educational
environment},
journal = {J. Syst. Softw.},
volume = {40},
number = {2},
pages = {115--123},
year = {1998},
url = {https://doi.org/10.1016/S0164-1212(97)00004-6},
doi = {10.1016/S0164-1212(97)00004-6},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jss/KusumotoCKMM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mam/TsuchiyaOK98,
author = {Tatsuhiro Tsuchiya and
Tetsuya Osada and
Tohru Kikuno},
title = {Genetics-based multiprocessor scheduling using task duplication},
journal = {Microprocess. Microsystems},
volume = {22},
number = {3-4},
pages = {197--207},
year = {1998},
url = {https://doi.org/10.1016/S0141-9331(98)00079-9},
doi = {10.1016/S0141-9331(98)00079-9},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mam/TsuchiyaOK98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ats/NaganoFKK98,
author = {Shin'ichi Nagano and
Hiroyuki Fujita and
Yoshiaki Kakuda and
Tohru Kikuno},
title = {Application of Real-Time Temporal Logic to Design Fault Detection
in Responsive Communication Protocols},
booktitle = {7th Asian Test Symposium {(ATS} '98), 2-4 December 1998, Singapore},
pages = {408--412},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/ATS.1998.741648},
doi = {10.1109/ATS.1998.741648},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ats/NaganoFKK98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fiw/NakamuraKK98,
author = {Masahide Nakamura and
Yoshiaki Kakuda and
Tohru Kikuno},
editor = {Kristofer Kimbler and
Wiet Bouma},
title = {Feature Interaction Detection Using Permutation Symmetry},
booktitle = {Feature Interactions in Telecommunications and Software Systems V,
September 29 - October 1, 1998, Malm{\"{o}}, Sweden},
pages = {187--201},
publisher = {{IOS} Press},
year = {1998},
timestamp = {Tue, 16 Nov 2004 09:41:16 +0100},
biburl = {https://dblp.org/rec/conf/fiw/NakamuraKK98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/KakudaNKT98,
author = {Yoshiaki Kakuda and
Shin'ichi Nagano and
Tohru Kikuno and
Masahiro Terabe},
title = {{VP} Reservation for Rapid Restoration Using Multiagents},
booktitle = {4th International Conference on Engineering of Complex Computer Systems
{(ICECCS} '98), 10-14 August 1998, Monterey, CA, {USA}},
pages = {121--128},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/ICECCS.1998.706662},
doi = {10.1109/ICECCS.1998.706662},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/KakudaNKT98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/MizunoKITS98,
author = {Osamu Mizuno and
Tohru Kikuno and
Katsumi Inagaki and
Yasunari Takagi and
Keishi Sakamoto},
editor = {Koji Torii and
Kokichi Futatsugi and
Richard A. Kemmerer},
title = {Analyzing Effects of Cost Estimation Accuracy on Quality and Productivity},
booktitle = {Forging New Links, Proceedings of the 1998 International Conference
on Software Engineering, {ICSE} 98, Kyoto, Japan, April 19-25, 1998},
pages = {410--419},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/ICSE.1998.671596},
doi = {10.1109/ICSE.1998.671596},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/MizunoKITS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/NaganoKK98,
author = {Shin'ichi Nagano and
Yoshiaki Kakuda and
Tohru Kikuno},
title = {Experience of Responsiveness Verification for Connection Establishment
Protocols},
booktitle = {1st International Symposium on Object-Oriented Real-Time Distributed
Computing {(ISORC} '98), 20-22 April 1998, Kyoto, Japan},
pages = {383},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/ISORC.1998.666811},
doi = {10.1109/ISORC.1998.666811},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/NaganoKK98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/NaganoK98,
author = {Shin'ichi Nagano and
Tohru Kikuno},
title = {Experimental Evaluation of Simplified Verification Methods for Responsive
Communication Protocols},
booktitle = {5th International Workshop on Real-Time Computing Systems and Applications
{(RTCSA} '98), 27-29 October 1998, Hiroshima, Japan},
pages = {195--199},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/RTCSA.1998.726417},
doi = {10.1109/RTCSA.1998.726417},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/NaganoK98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/srds/HashimotoTK98,
author = {Koji Hashimoto and
Tatsuhiro Tsuchiya and
Tohru Kikuno},
title = {A Multiprocessor Scheduling Algorithm for Low Overhead Fault-Tolerance},
booktitle = {The Seventeenth Symposium on Reliable Distributed Systems, {SRDS}
1998, West Lafayette, Indiana, USA, October 20-22, 1998, Proceedings},
pages = {186--194},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/RELDIS.1998.740493},
doi = {10.1109/RELDIS.1998.740493},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/srds/HashimotoTK98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/LianKKMT97,
author = {Lin Lian and
Shinji Kusumoto and
Tohru Kikuno and
Ken{-}ichi Matsumoto and
Koji Torii},
title = {A new fault localizing method for the program debugging process},
journal = {Inf. Softw. Technol.},
volume = {39},
number = {4},
pages = {271--284},
year = {1997},
url = {https://doi.org/10.1016/S0950-5849(96)01149-4},
doi = {10.1016/S0950-5849(96)01149-4},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/infsof/LianKKMT97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ats/MizunoKKTS97,
author = {Osamu Mizuno and
Shinji Kusumoto and
Tohru Kikuno and
Yasunari Takagi and
Keishi Sakamoto},
title = {Estimating the Number of Faults using Simulator based on Generalized
Stochastic Petri-Net Model},
booktitle = {6th Asian Test Symposium {(ATS} '97), 17-18 November 1997, Akita,
Japan},
pages = {269},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/ATS.1997.643969},
doi = {10.1109/ATS.1997.643969},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ats/MizunoKKTS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/TsuchiyaTKKK97a,
author = {Tatsuhiro Tsuchiya and
Hirofumi Terada and
Shinji Kusumoto and
Tohru Kikuno and
Eun Mi Kim},
title = {Derivation of Safety Requirements for Safety Analysis of Object-Oriented
Design Documents},
booktitle = {21st International Computer Software and Applications Conference {(COMPSAC}
'97), 11-15 August 1997, Washington, DC, {USA}},
pages = {252--255},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/CMPSAC.1997.624809},
doi = {10.1109/CMPSAC.1997.624809},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/TsuchiyaTKKK97a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fiw/NakamuraKK97,
author = {Masahide Nakamura and
Yoshiaki Kakuda and
Tohru Kikuno},
editor = {Petre Dini and
Raouf Boutaba and
Luigi Logrippo},
title = {Petri-Net Based Detection Method for Non-Deterministic Feature Interactions
and its Experimental Evaluation},
booktitle = {Feature Interactions in Telecommunications Networks IV, June 17-19,
1997, Montr{\'{e}}al, Canada},
pages = {138--152},
publisher = {{IOS} Press},
year = {1997},
timestamp = {Tue, 16 Nov 2004 10:38:12 +0100},
biburl = {https://dblp.org/rec/conf/fiw/NakamuraKK97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftcs/HashimotoTK97,
author = {Koji Hashimoto and
Tatsuhiro Tsuchiya and
Tohru Kikuno},
title = {A New Approach to Realizing Fault-Tolerant Multiprocessor Scheduling
by Exploiting Implicit Redundancy},
booktitle = {Digest of Papers: FTCS-27, The Twenty-Seventh Annual International
Symposium on Fault-Tolerant Computing, Seattle, Washington, USA, June
24-27, 1997},
pages = {174--183},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/FTCS.1997.614090},
doi = {10.1109/FTCS.1997.614090},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ftcs/HashimotoTK97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/HatanakaNKK97,
author = {Yutaka Hatanaka and
Masahide Nakamura and
Yoshiaki Kakuda and
Tohru Kikuno},
title = {A Synthesis Method for Fault-tolerant and Flexible Multipath Routing
Protocols},
booktitle = {3rd {IEEE} International Conference on Engineering of Complex Computer
Systems {(ICECCS} '97), 8-12 September 1997, Lake Como, Italy},
pages = {96--105},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/ICECCS.1997.622301},
doi = {10.1109/ICECCS.1997.622301},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/HatanakaNKK97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/KusumotoMKHTS97,
author = {Shinji Kusumoto and
Osamu Mizuno and
Tohru Kikuno and
Yuji Hirayama and
Yasunari Takagi and
Keishi Sakamoto},
editor = {W. Richards Adrion and
Alfonso Fuggetta and
Richard N. Taylor and
Anthony I. Wasserman},
title = {A New Software Project Simulator Based on Generalized Stochastic Petri-net},
booktitle = {Pulling Together, Proceedings of the 19th International Conference
on Software Engineering, Boston, Massachusetts, USA, May 17-23, 1997},
pages = {293--302},
publisher = {{ACM}},
year = {1997},
url = {https://doi.org/10.1145/253228.253290},
doi = {10.1145/253228.253290},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/KusumotoMKHTS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/infocom/NakamuraKK97,
author = {Masahide Nakamura and
Yoshiaki Kakuda and
Tohru Kikuno},
title = {Analyzing Non-Determinism in Telecommunication Services Using P-Invariant
of Petri-Net Model},
booktitle = {Proceedings {IEEE} {INFOCOM} '97, The Conference on Computer Communications,
Sixteenth Annual Joint Conference of the {IEEE} Computer and Communications
Societies, Driving the Information Revolution, Kobe, Japan, April
7-12, 1997},
pages = {1253--1260},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/INFCOM.1997.631155},
doi = {10.1109/INFCOM.1997.631155},
timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
biburl = {https://dblp.org/rec/conf/infocom/NakamuraKK97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/words/KimKTK97,
author = {Eun Mi Kim and
Shinji Kusumoto and
Tatsuhiro Tsuchiya and
Tohru Kikuno},
title = {An approach to safety verification of object-oriented design specification
for an elevator control system},
booktitle = {3rd Workshop on Object-Oriented Real-Time Dependable Systems {(WORDS}
'97), 5-7 February 1997, Newport Beach, CA, {USA}},
pages = {256--263},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/WORDS.1997.609965},
doi = {10.1109/WORDS.1997.609965},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/words/KimKTK97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/comcom/NakamuraKK96,
author = {Masahide Nakamura and
Yoshiaki Kakuda and
Tohru Kikuno},
title = {On constructing communication protocols from component-based service
specifications},
journal = {Comput. Commun.},
volume = {19},
number = {14},
pages = {1200--1215},
year = {1996},
url = {https://doi.org/10.1016/S0140-3664(96)01154-1},
doi = {10.1016/S0140-3664(96)01154-1},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/comcom/NakamuraKK96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/KusumotoKMT96,
author = {Shinji Kusumoto and
Tohru Kikuno and
Ken{-}ichi Matsumoto and
Koji Torii},
title = {Experimental Evaluation of Time Allocation Procedure for Technical
Reviews},
journal = {J. Syst. Softw.},
volume = {35},
number = {2},
pages = {119--126},
year = {1996},
url = {https://doi.org/10.1016/0164-1212(95)00091-7},
doi = {10.1016/0164-1212(95)00091-7},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jss/KusumotoKMT96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scjapan/TsuchiyaKK96,
author = {Tatsuhiro Tsuchiya and
Yoshiaki Kakuda and
Tohru Kikuno},
title = {Modeling and evaluation of responsive multiprocessor systems},
journal = {Syst. Comput. Jpn.},
volume = {27},
number = {14},
pages = {20--28},
year = {1996},
url = {https://doi.org/10.1002/scj.4690271403},
doi = {10.1002/SCJ.4690271403},
timestamp = {Wed, 13 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scjapan/TsuchiyaKK96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ats/TerataniKK96,
author = {Daisuke Teratani and
Yoshiaki Kakuda and
Tohru Kikuno},
title = {A New Model with Time Constraints for Conformance Testing of Communication
Protocols},
booktitle = {5th Asian Test Symposium {(ATS} '96), November 20-22, 1996, Hsinchu,
Taiwan},
pages = {269},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/ATS.1996.555170},
doi = {10.1109/ATS.1996.555170},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ats/TerataniKK96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/KimKKC96,
author = {Eun Mi Kim and
Shinji Kusumoto and
Tohru Kikuno and
Ok{-}Bae Chang},
title = {Heuristics for Computing Attribute Values of {C++} Program Complexity
Metrics},
booktitle = {{COMPSAC} '96 - 20th Computer Software and Applications Conference,
August 19-23, 1996, Seoul, Korea},
pages = {104--109},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/CMPSAC.1996.542433},
doi = {10.1109/CMPSAC.1996.542433},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/KimKKC96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icnp/NaganoHKK96,
author = {Shin'ichi Nagano and
Yoshinori Hatakeyama and
Yoshiaki Kakuda and
Tohru Kikuno},
title = {Timed Reachability Analysis Method for EFSM-based Communication Protocols
and Its Experimental Evaluation},
booktitle = {1996 International Conference on Network Protocols, {ICNP} 1996, October
29 - November 1, 1996, Columbus, Ohio, {USA}},
pages = {92},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/ICNP.1996.564914},
doi = {10.1109/ICNP.1996.564914},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icnp/NaganoHKK96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/infocom/NakamuraKK96,
author = {Masahide Nakamura and
Yoshiaki Kakuda and
Tohru Kikuno},
title = {An Integration-Oriented Approach for Designing Communication Protocols
from Component-Based Service Specifications},
booktitle = {Proceedings {IEEE} {INFOCOM} '96, The Conference on Computer Communications,
Fifteenth Annual Joint Conference of the {IEEE} Computer and Communications
Societies, Networking the Next Generation, San Francisco, CA, USA,
March 24-28, 1996},
pages = {1157--1164},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/INFCOM.1996.493060},
doi = {10.1109/INFCOM.1996.493060},
timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
biburl = {https://dblp.org/rec/conf/infocom/NakamuraKK96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dt/KakudaYKK95,
author = {Yoshiaki Kakuda and
Hideki Yukitomo and
Shinji Kusumoto and
Tohru Kikuno},
title = {Localizing Multiple Faults in a Protocol Implementation},
journal = {{IEEE} Des. Test Comput.},
volume = {12},
number = {3},
pages = {34--42},
year = {1995},
url = {https://doi.org/10.1109/MDT.1995.466373},
doi = {10.1109/MDT.1995.466373},
timestamp = {Sun, 17 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dt/KakudaYKK95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/KakudaYKK95,
author = {Yoshiaki Kakuda and
Hideki Yukitomo and
Shinji Kusumoto and
Tohru Kikuno},
title = {A New Conformance Testing Technique for Localization of Multiple Faults
in Communication Protocols},
journal = {{IEICE} Trans. Inf. Syst.},
volume = {78-D},
number = {7},
pages = {802--810},
year = {1995},
url = {http://search.ieice.org/bin/summary.php?id=e78-d\_7\_802},
timestamp = {Sat, 11 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ieicet/KakudaYKK95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fiw/KakudaIAKO95,
author = {Yoshiaki Kakuda and
Akihiro Inoue and
Hiroyuki Asada and
Tohru Kikuno and
Tadashi Ohta},
editor = {Kong E. Cheng and
Tadashi Ohta},
title = {A Dynamic Resolution Method for Feature Interactions and Its Evaluation},
booktitle = {Feature Interactions in Telecommunications III, October 11-13, 1995,
Kyoto, Japan},
pages = {97--114},
publisher = {{IOS} Press},
year = {1995},
timestamp = {Tue, 16 Nov 2004 10:51:26 +0100},
biburl = {https://dblp.org/rec/conf/fiw/KakudaIAKO95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icnp/IshidaKK95,
author = {Kenji Ishida and
Yoshiaki Kakuda and
Tohru Kikuno},
title = {A routing protocol for finding two node-disjoint paths in computer
networks},
booktitle = {1995 International Conference on Network Protocols, {ICNP} 1995, November
7-10, 1995, Tokyo, Japan},
pages = {340},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/ICNP.1995.524850},
doi = {10.1109/ICNP.1995.524850},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icnp/IshidaKK95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/TanakaSKMK95,
author = {Toshifumi Tanaka and
Keishi Sakamoto and
Shinji Kusumoto and
Ken{-}ichi Matsumoto and
Tohru Kikuno},
editor = {Dewayne E. Perry and
Ross Jeffery and
David Notkin},
title = {Improvement of Software Process by Process Description and Benefit
Estimation},
booktitle = {17th International Conference on Software Engineering, Seattle, Washington,
USA, April 23-30, 1995, Proceedings},
pages = {123--132},
publisher = {{ACM}},
year = {1995},
url = {https://doi.org/10.1145/225014.225026},
doi = {10.1145/225014.225026},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/TanakaSKMK95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/TakagiTNSKK95,
author = {Yasunari Takagi and
Toshifumi Tanaka and
Naoki Niihara and
Keishi Sakamoto and
Shinji Kusumoto and
Tohru Kikuno},
title = {Analysis of review's effectiveness based on software metrics},
booktitle = {Sixth International Symposium on Software Reliability Engineering,
{ISSRE} 1995, Toulouse, France, October 24-27, 1995},
pages = {34--39},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/ISSRE.1995.497641},
doi = {10.1109/ISSRE.1995.497641},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/TakagiTNSKK95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/KimKK95,
author = {Eun Mi Kim and
Shinji Kusumoto and
Tohru Kikuno},
title = {An approach to safety and correctness verification of software design
specification},
booktitle = {Sixth International Symposium on Software Reliability Engineering,
{ISSRE} 1995, Toulouse, France, October 24-27, 1995},
pages = {78--83},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/ISSRE.1995.497646},
doi = {10.1109/ISSRE.1995.497646},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/KimKK95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/TsuchiyaKK95,
author = {Tatsuhiro Tsuchiya and
Yoshiaki Kakuda and
Tohru Kikuno},
title = {A new fault-tolerant scheduling technique for real-time multiprocessor
systems},
booktitle = {2nd International Workshop on Real-Time Computing Systems and Applications,
October 25 - 27, 1995, Tokyo, Japan},
pages = {197--202},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/RTCSA.1995.528772},
doi = {10.1109/RTCSA.1995.528772},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/TsuchiyaKK95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/KakudaKK94,
author = {Yoshiaki Kakuda and
Tohru Kikuno and
Kenichi Kawashima},
title = {Automated Verification of Responsive Protocols Modeled by Extended
Finite State Machines},
journal = {Real Time Syst.},
volume = {7},
number = {3},
pages = {275--289},
year = {1994},
url = {https://doi.org/10.1007/BF01088522},
doi = {10.1007/BF01088522},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rts/KakudaKK94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/KimCKK94,
author = {Eun Mi Kim and
Ok{-}Bae Chang and
Shinji Kusumoto and
Tohru Kikuno},
title = {Analysis of metrics for object-oriented program complexity},
booktitle = {Eighteenth Annual International Computer Software and Applications
Conference, {COMPSAC} 1994, Taipei, Taiwan, 9-11 November, 1994, Proceedings},
pages = {201--207},
publisher = {{IEEE}},
year = {1994},
url = {https://doi.org/10.1109/CMPSAC.1994.342806},
doi = {10.1109/CMPSAC.1994.342806},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/compsac/KimCKK94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/KakudaAK94,
author = {Yoshiaki Kakuda and
Hiroyuki Asada and
Tohru Kikuno},
editor = {Dieter Hogrefe and
Stefan Leue},
title = {Application of protocol sythesis technique to resolution of the service
interaction problem},
booktitle = {Formal Description Techniques VII, Proceedings of the 7th {IFIP} {WG6.1}
International Conference on Formal Description Techniques, Berne,
Switzerland, 1994},
series = {{IFIP} Conference Proceedings},
volume = {6},
pages = {379--381},
publisher = {Chapman {\&} Hall},
year = {1994},
timestamp = {Thu, 03 Jan 2002 11:58:39 +0100},
biburl = {https://dblp.org/rec/conf/forte/KakudaAK94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icnp/KakudaIK94,
author = {Yoshiaki Kakuda and
Hirotaka Igarashi and
Tohru Kikuno},
title = {Automated synthesis of protocol specifications with message collisions
and verification of timeliness},
booktitle = {1994 International Conference on Network Protocols, {ICNP} 1994, Boston,
MA, USA, October 25-28, 1994, Proceedings},
pages = {143--150},
publisher = {{IEEE} Computer Society},
year = {1994},
url = {https://doi.org/10.1109/ICNP.1994.344366},
doi = {10.1109/ICNP.1994.344366},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icnp/KakudaIK94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsqp/LianFKMKT94,
author = {Lin Lian and
Fusayuki Fujita and
Shinji Kusumoto and
Ken{-}ichi Matsumoto and
Tohru Kikuno and
Koji Torii},
editor = {Matthew K. O. Lee and
Ben{-}Zion Barta and
Peter Juliff},
title = {A Model-based Approach for Software Test Process Improvement},
booktitle = {Software Quality and Productivity: Theory, practice and training,
5-7 December 1994, City Polytechnic of Hong Kong Hong Kong},
series = {{IFIP} Conference Proceedings},
volume = {3},
pages = {300--307},
publisher = {Chapman {\&} Hall},
year = {1994},
timestamp = {Mon, 21 Oct 2002 11:06:25 +0200},
biburl = {https://dblp.org/rec/conf/icsqp/LianFKMKT94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftcs/ChenAKK93,
author = {Chang Chen and
Hiroyuki Asada and
Yoshiaki Kakuda and
Tohru Kikuno},
title = {Comparison of Hybrid Modular Redundant Multiprocessor Systems with
respect to Performabilitites},
booktitle = {Digest of Papers: FTCS-23, The Twenty-Third Annual International Symposium
on Fault-Tolerant Computing, Toulouse, France, June 22-24, 1993},
pages = {66--75},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://doi.org/10.1109/FTCS.1993.627309},
doi = {10.1109/FTCS.1993.627309},
timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
biburl = {https://dblp.org/rec/conf/ftcs/ChenAKK93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/metrics/MatsumotoKKT93,
author = {Ken{-}ichi Matsumoto and
Shinji Kusumoto and
Tohru Kikuno and
Koji Torii},
title = {A new framework of measuring software development processes},
booktitle = {Proceedings of the First International Software Metrics Symposium,
{METRICS} 1993, May 21-22, 1993, Balimore, Maryland, {USA}},
pages = {108--118},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://doi.org/10.1109/METRIC.1993.263795},
doi = {10.1109/METRIC.1993.263795},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/metrics/MatsumotoKKT93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/KusumotoMKT91,
author = {Shinji Kusumoto and
Ken{-}ichi Matsumoto and
Tohru Kikuno and
Koji Torii},
title = {Experimental evaluation of the cost effectiveness of software reviews},
booktitle = {Proceedings of the Fifteenth Annual International Computer Software
and Applications Conference, {COMPSAC} 1991, Tokyo, Japan, 11-13 September,
1991},
pages = {424--429},
publisher = {{IEEE}},
year = {1991},
url = {https://doi.org/10.1109/CMPSAC.1991.170216},
doi = {10.1109/CMPSAC.1991.170216},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/compsac/KusumotoMKT91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/MohriK91,
author = {Yukio Mohri and
Tohru Kikuno},
title = {Fault analysis based on fault reporting in {JSP} software development},
booktitle = {Proceedings of the Fifteenth Annual International Computer Software
and Applications Conference, {COMPSAC} 1991, Tokyo, Japan, 11-13 September,
1991},
pages = {591--596},
publisher = {{IEEE}},
year = {1991},
url = {https://doi.org/10.1109/CMPSAC.1991.170244},
doi = {10.1109/CMPSAC.1991.170244},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compsac/MohriK91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftcs/ChenFKT91,
author = {C. Chen and
An Feng and
Tohru Kikuno and
Koji Torii},
title = {Reconfiguration Algorithm for Fault-Tolerant Arrays with Minimum Number
of Dangerous Processors},
booktitle = {Proceedings of the 1991 International Symposium on Fault-Tolerant
Computing, Montreal, Canada},
pages = {452--461},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://doi.org/10.1109/FTCS.1991.146700},
doi = {10.1109/FTCS.1991.146700},
timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
biburl = {https://dblp.org/rec/conf/ftcs/ChenFKT91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/waga/FengKT90,
author = {An Feng and
Tohru Kikuno and
Koji Torii},
editor = {Pierre Deransart and
Martin Jourdan},
title = {Incremental Attribute Evaluation for Multiple Subtree Replacements
in Structure-Oriented Environments},
booktitle = {Attribute Grammars and their Applications, International Conference
WAGA, Paris, France, September 19-21, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {461},
pages = {192--206},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-53101-7\_14},
doi = {10.1007/3-540-53101-7\_14},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/waga/FengKT90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/SugiharaKY89,
author = {Kazuo Sugihara and
Tohru Kikuno and
Noriyoshi Yoshida},
title = {A Meeting Scheduler for Office Automation},
journal = {{IEEE} Trans. Software Eng.},
volume = {15},
number = {10},
pages = {1141--1146},
year = {1989},
url = {https://doi.org/10.1109/TSE.1989.559760},
doi = {10.1109/TSE.1989.559760},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/SugiharaKY89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/InoueOKT89,
author = {Katsuro Inoue and
Takeshi Ogihara and
Tohru Kikuno and
Koji Torii},
editor = {Larry E. Druffel and
Dick Fairley and
Dines Bj{\o}rner},
title = {A Formal Adaptation Method for Process Descriptions},
booktitle = {Proceedings of the 11th International Conference on Software Engineering,
Pittsburg, PA, USA, May 15-18, 1989},
pages = {145--153},
publisher = {{IEEE} Computer Society / {ACM} Press},
year = {1989},
url = {https://doi.org/10.1145/74587.74609},
doi = {10.1145/74587.74609},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/InoueOKT89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scjapan/MiyaoTKY88,
author = {Jun'ichi Miyao and
Kazuyuki Tominaga and
Tohru Kikuno and
Noriyoshi Yoshida},
title = {Optimization of Multiple Queries in Relational Database Systems},
journal = {Syst. Comput. Jpn.},
volume = {19},
number = {4},
pages = {56--65},
year = {1988},
url = {https://doi.org/10.1002/scj.4690190406},
doi = {10.1002/SCJ.4690190406},
timestamp = {Wed, 13 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scjapan/MiyaoTKY88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftcs/MatsumotoIKT88,
author = {Ken{-}ichi Matsumoto and
Katsuro Inoue and
Tohru Kikuno and
Koji Torii},
title = {Experimental evaluation of software reliability growth models},
booktitle = {Proceedings of the Eighteenth International Symposium on Fault-Tolerant
Computing, {FTCS} 1988, Tokyo, Japan, 27-30 June, 1988},
pages = {148--153},
publisher = {{IEEE} Computer Society},
year = {1988},
url = {https://doi.org/10.1109/FTCS.1988.5313},
doi = {10.1109/FTCS.1988.5313},
timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
biburl = {https://dblp.org/rec/conf/ftcs/MatsumotoIKT88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scjapan/MiyaoKY87,
author = {Jun'ichi Miyao and
Tohru Kikuno and
Noriyoshi Yoshida},
title = {Response time minimization for processing simple queries in star networks},
journal = {Syst. Comput. Jpn.},
volume = {18},
number = {4},
pages = {11--23},
year = {1987},
url = {https://doi.org/10.1002/scj.4690180402},
doi = {10.1002/SCJ.4690180402},
timestamp = {Wed, 13 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scjapan/MiyaoKY87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/FujiiHKY87,
author = {Takashi Fujii and
Hideya Horikawa and
Tohru Kikuno and
Noriyoshi Yoshida},
title = {A Heuristic Algorithm for Gate Assignment in One-Dimensional Array
Approach},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {6},
number = {2},
pages = {159--164},
year = {1987},
url = {https://doi.org/10.1109/TCAD.1987.1270259},
doi = {10.1109/TCAD.1987.1270259},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/FujiiHKY87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scjapan/WakabayashiKY85,
author = {Shin'ichi Wakabayashi and
Tohru Kikuno and
Noriyoshi Yoshida},
title = {Design of hardware algorithms by recurrence relations},
journal = {Syst. Comput. Jpn.},
volume = {16},
number = {3},
pages = {10--18},
year = {1985},
url = {https://doi.org/10.1002/scj.4690160302},
doi = {10.1002/SCJ.4690160302},
timestamp = {Wed, 13 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scjapan/WakabayashiKY85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scjapan/SugiharaKYA85,
author = {Kazuo Sugihara and
Tohru Kikuno and
Noriyoshi Yoshida and
Kazunori Arame},
title = {Feasibility problem for meeting timetable rearrangement},
journal = {Syst. Comput. Jpn.},
volume = {16},
number = {3},
pages = {77--84},
year = {1985},
url = {https://doi.org/10.1002/scj.4690160309},
doi = {10.1002/SCJ.4690160309},
timestamp = {Wed, 13 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scjapan/SugiharaKYA85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icde/SugiharaMKY84,
author = {Kazuo Sugihara and
Jun'ichi Miyao and
Tohru Kikuno and
Noriyoshi Yoshida},
title = {A Semantic Approach to Usability in Relational Database Systems},
booktitle = {Proceedings of the First International Conference on Data Engineering,
April 24-27, 1984, Los Angeles, California, {USA}},
pages = {203--210},
publisher = {{IEEE} Computer Society},
year = {1984},
url = {https://doi.org/10.1109/ICDE.1984.7271273},
doi = {10.1109/ICDE.1984.7271273},
timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
biburl = {https://dblp.org/rec/conf/icde/SugiharaMKY84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/srds/SugiharaKYO84,
author = {Kazuo Sugihara and
Tohru Kikuno and
Noriyoshi Yoshida and
Masanobu Ogata},
title = {A Distributed Algorithm for Deadlock Detection and Resolution},
booktitle = {Fourth Symposium on Reliability in Distributed Software and Database
Systems, {SRDS} 1984, Silver Spring, Maryland, USA, October 15-17,
1984, Proceedings},
pages = {169--176},
publisher = {{IEEE} Computer Society},
year = {1984},
timestamp = {Fri, 09 Jan 2015 14:54:29 +0100},
biburl = {https://dblp.org/rec/conf/srds/SugiharaKYO84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dam/KikunoYK83,
author = {Tohru Kikuno and
Noriyoshi Yoshida and
Yoshiaki Kakuda},
title = {A linear algorithm for the domination number of a series-parallel
graph},
journal = {Discret. Appl. Math.},
volume = {5},
number = {3},
pages = {299--311},
year = {1983},
url = {https://doi.org/10.1016/0166-218X(83)90003-3},
doi = {10.1016/0166-218X(83)90003-3},
timestamp = {Thu, 11 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dam/KikunoYK83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dam/KikunoYK80,
author = {Tohru Kikuno and
Noriyoshi Yoshida and
Yoshiaki Kakuda},
title = {NP-completeness of some type of p-center problem},
journal = {Discret. Appl. Math.},
volume = {2},
number = {4},
pages = {361--363},
year = {1980},
url = {https://doi.org/10.1016/0166-218X(80)90034-7},
doi = {10.1016/0166-218X(80)90034-7},
timestamp = {Thu, 11 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dam/KikunoYK80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/KikunoYK79,
author = {Tohru Kikuno and
Noriyoshi Yoshida and
Hiromi Kusumoto},
title = {A fast selective traversal algorithm for binary search trees},
booktitle = {The {IEEE} Computer Society's Third International Computer Software
and Applications Conference, {COMPSAC} 1979, 6-8 November, 1979, Chicago,
Illinois, {USA}},
pages = {601--605},
publisher = {{IEEE}},
year = {1979},
url = {https://doi.org/10.1109/CMPSAC.1979.762565},
doi = {10.1109/CMPSAC.1979.762565},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/compsac/KikunoYK79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-04-25 02:31 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
