dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Tohru Kikuno Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2011
135Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHideaki Hata, Osamu Mizuno, Tohru Kikuno: Historage: fine-grained version control system for Java. EVOL/IWPSE 2011: 96-100
134Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHiroyuki Inoue, Tatsuhiro Tsuchiya, Tohru Kikuno: Bounded Model Checking of Concurrent Systems with Unbounded Integer Variables. ICNC 2011: 261-265
133Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLToru Nanba, Tatsuhiro Tsuchiya, Tohru Kikuno: Constructing Test Sets for Pairwise Testing: A SAT-Based Approach. ICNC 2011: 271-274
132Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShun Tokuyama, Tatsuhiro Tsuchiya, Tohru Kikuno: Gossiping with Network Coding. PRDC 2011: 63-70
2010
131Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFuminori Makikawa, Tatsuhiro Tsuchiya, Tohru Kikuno: Balance and Proximity-Aware Skip Graph Construction. ICNC 2010: 268-271
130Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMasashi Hamamatsu, Tatsuhiro Tsuchiya, Tohru Kikuno: On the Reliability of Cascaded TMR Systems. PRDC 2010: 184-190
129Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHideaki Hata, Osamu Mizuno, Tohru Kikuno: Fault-prone module detection using large-scale text features based on spam filtering. Empirical Software Engineering 15(2): 147-165 (2010)
128Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMasahiro Kimoto, Tatsuhiro Tsuchiya, Tohru Kikuno: The Time Complexity of Hsu and Huang's Self-Stabilizing Maximal Matching Algorithm. IEICE Transactions 93-D(10): 2850-2853 (2010)
127Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFuminori Makikawa, Tatsuhiro Tsuchiya, Tohru Kikuno: Constructing Overlay Networks with Short Paths and Low Communication Cost. IEICE Transactions 93-D(6): 1540-1548 (2010)
2009
126Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTakahiro Minamikawa, Tatsuhiro Tsuchiya, Tohru Kikuno: Towards Automated Verification of Distributed Consensus Protocols. APSEC 2009: 499-506
125Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMasaya Kadono, Tatsuhiro Tsuchiya, Tohru Kikuno: Using the NuSMV Model Checker for Test Generation from Statecharts. PRDC 2009: 37-42
124Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLToshifusa Sekizawa, Tatsuhiro Tsuchiya, Koichi Takahashi, Tohru Kikuno: Probabilistic Model Checking of the One-Dimensional Ising Model. IEICE Transactions 92-D(5): 1003-1011 (2009)
123Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTakafumi Matsuo, Tatsuhiro Tsuchiya, Tohru Kikuno: Feature Interaction Verification Using Unbounded Model Checking with Interpolation. IEICE Transactions 92-D(6): 1250-1259 (2009)
122Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMasahiro Kimoto, Tatsuhiro Tsuchiya, Tohru Kikuno: On the Time Complexity of Dijkstra's Three-State Mutual Exclusion Algorithm. IEICE Transactions 92-D(8): 1570-1573 (2009)
121Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTim Menzies, Osamu Mizuno, Yasunari Takagi, Tohru Kikuno: Explanation vs Performance in Data Mining: A Case Study with Predicting Runaway Projects. JSEA 2(4): 221-236 (2009)
2008
120Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJunya Debari, Osamu Mizuno, Tohru Kikuno, Nahomi Kikuchi, Masayuki Hirayama: On Deriving Actions for Improving Cost Overrun by Applying Association Rule Mining to Industrial Project Repository. ICSP 2008: 51-62
119Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHideaki Hata, Osamu Mizuno, Tohru Kikuno: Comparative Study of Fault-Proneness Filtering with PMD. ISSRE 2008: 317-318
118Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKentaro Yoshimura, Fumio Narisawa, Koji Hashimoto, Tohru Kikuno: FAVE: factor analysis based approach for detecting product line variability from change history. MSR 2008: 11-18
117Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHideaki Hata, Osamu Mizuno, Tohru Kikuno: An extension of fault-prone filtering using precise training and a dynamic threshold. MSR 2008: 89-98
116Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMasashi Hamamatsu, Tatsuhiro Tsuchiya, Tohru Kikuno: Finding the Optimal Configuration of a Cascading TMR System. PRDC 2008: 349-350
115Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTakahiro Minamikawa, Tatsuhiro Tsuchiya, Tohru Kikuno: Language and Tool Support for Model Checking of Fault-Tolerant Distributed Algorithms. PRDC 2008: 40-47
114Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPattara Leelaprute, Takafumi Matsuo, Tatsuhiro Tsuchiya, Tohru Kikuno: Detecting Feature Interactions in Home Appliance Networks. SNPD 2008: 895-903
113no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKentaro Yoshimura, Fumio Narisawa, Koji Hashimoto, Tohru Kikuno: A Method to Analyze Variability Based on Product Release History: Case Study of Automotive System. SPLC (2) 2008: 249-256
112Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShin Kimoto, Tatsuhiro Tsuchiya, Tohru Kikuno: Pairwise Testing in the Presence of Configuration Change Cost. SSIRI 2008: 32-38
111Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOsamu Mizuno, Tohru Kikuno: Prediction of Fault-Prone Software Modules Using a Generic Text Discriminator. IEICE Transactions 91-D(4): 888-896 (2008)
110Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTheinLai Wong, Tatsuhiro Tsuchiya, Tohru Kikuno: A self-organising algorithm for sensor placement in wireless mobile microsensor networks. IJWMC 3(1/2): 69-78 (2008)
2007
109Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOsamu Mizuno, Tohru Kikuno: Training on errors experiment to detect fault-prone software modules by spam filter. ESEC/SIGSOFT FSE 2007: 405-414
108Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOsamu Mizuno, Shiro Ikami, Shuya Nakaichi, Tohru Kikuno: Fault-Prone Filtering: Detection of Fault-Prone Modules Using Spam Filtering Technique. ESEM 2007: 374-383
107Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOsamu Mizuno, Shiro Ikami, Shuya Nakaichi, Tohru Kikuno: Spam Filter Based Approach for Finding Fault-Prone Software Modules. MSR 2007: 4
106Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFuminori Makikawa, Takafumi Matsuo, Tatsuhiro Tsuchiya, Tohru Kikuno: Constructing Overlay Networks with Low Link Costs and Short Paths. NCA 2007: 299-304
105no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTheinLai Wong, Tatsuhiro Tsuchiya, Tohru Kikuno: A localized broadcast scheme for minimizing power consumption in wireless mobile ad hoc networks. Parallel and Distributed Computing and Networks 2007: 7-12
104Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTheinLai Wong, Tatsuhiro Tsuchiya, Tohru Kikuno: An Energy-Efficient Broadcast Scheme for Multihop Wireless Ad Hoc Networks Using Variable-Range Transmission Power. IEICE Transactions 90-D(3): 680-684 (2007)
2006
103Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTakuya Okuyama, Tatsuhiro Tsuchiya, Tohru Kikuno: Improving the Robustness of Epidemic Communication in Scale-Free Networks. BioADIT 2006: 294-305
102Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShinichi Ikeda, Tatsuhiro Tsuchiya, Tohru Kikuno: A Decentralized Scheme for Network-Aware Reliable Overlay Construction. ICOIN 2006: 955-964
101Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSeiya Abe, Osamu Mizuno, Tohru Kikuno, Nahomi Kikuchi, Masayuki Hirayama: Estimation of project success using Bayesian classifier. ICSE 2006: 600-603
100Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSousuke Amasaki, Yasuhiro Hamano, Osamu Mizuno, Tohru Kikuno: Characterization of Runaway Software Projects Using Association Rule Mining. PROFES 2006: 402-407
99Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTatsuhiro Tsuchiya, Shinichi Ikeda, Tohru Kikuno: Counter-based reliability optimization for gossip-based broadcasting. Computer Communications 29(9): 1516-1521 (2006)
2005
98Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPattara Leelaprute, Tatsuhiro Tsuchiya, Tohru Kikuno, Masahide Nakamura, Ken-ichi Matsumoto: Describing and Verifying Integrated Services of Home Network Systems. APSEC 2005: 549-560
97no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPattara Leelaprute, Tohru Kikuno, Masahide Nakamura, Ken-ichi Matsumoto: Definition and Detection of Semantic Warnings for VoiceXML. IASTED Conf. on Software Engineering 2005: 267-275
96Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaisuke Igarashi, Tatsuhiro Tsuchiya, Tohru Kikuno: Overlay Network Topologies for Gossip-Based Multicast. ICPADS (1) 2005: 2-7
95Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTohru Kikuno: Why Do Software Projects Fail? Reasons and a Solution Using a Bayesian Classifier to Predict Potential Risk. PRDC 2005: 4
94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYasunari Takagi, Osamu Mizuno, Tohru Kikuno: An Empirical Approach to Characterizing Risky Software Projects Based on Logistic Regression Analysis. Empirical Software Engineering 10(4): 495-515 (2005)
93Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSousuke Amasaki, Yasunari Takagi, Osamu Mizuno, Tohru Kikuno: Constructing a Bayesian Belief Network to Predict Final Quality in Embedded System Development. IEICE Transactions 88-D(6): 1134-1141 (2005)
92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTakeshi Sumi, Osamu Mizuno, Tohru Kikuno, Masayuki Hirayama: An Effective Testing Method for Hardware Related Fault in Embedded Software. IEICE Transactions 88-D(6): 1142-1149 (2005)
91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMasayuki Hirayama, Osamu Mizuno, Tohru Kikuno: Analysis of Software Test Item Generation - Comparison Between High Skilled and Low Skilled Engineers. J. Comput. Sci. Technol. 20(2): 250-257 (2005)
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSousuke Amasaki, Takashi Yoshitomi, Osamu Mizuno, Yasunari Takagi, Tohru Kikuno: A New Challenge for Applying Time Series Metrics Data to Software Quality Estimation. Software Quality Journal 13(2): 177-193 (2005)
2004
89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTheinLai Wong, Tatsuhiro Tsuchiya, Tohru Kikuno: A Self-organizing Technique for Sensor Placement in Wireless Micro-Sensor Networks. AINA (1) 2004: 78-83
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShougo Ogata, Tatsuhiro Tsuchiya, Tohru Kikuno: SAT-Based Verification of Safe Petri Nets. ATVA 2004: 79-92
87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTatsuhiro Tsuchiya, Tohru Kikuno: An Adaptive Mechanism for Epidemic Communication. BioADIT 2004: 306-316
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLToshiaki Shiba, Tatsuhiro Tsuchiya, Tohru Kikuno: Using Artificial Life Techniques to Generate Test Cases for Combinatorial Testing. COMPSAC 2004: 72-77
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTatsuhiro Tsuchiya, Tohru Kikuno: On the Effects of Partial Membership Knowledge on Reliability of Gossip-Based Multicast. PRDC 2004: 76-83
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOsamu Mizuno, Takanari Hamasaki, Yasunari Takagi, Tohru Kikuno: An Empirical Evaluation of Predicting Runaway Software Projects Using Bayesian Classification. PROFES 2004: 263-273
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMasahide Nakamura, Pattara Leelaprute, Ken-ichi Matsumoto, Tohru Kikuno: On detecting feature interactions in the programmable service environment of Internet telephony. Computer Networks 45(5): 605-624 (2004)
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMasayuki Hirayama, Osamu Mizuno, Tohru Kikuno: Test Item Prioritizing Metrics for Selective Software Testing. IEICE Transactions 87-D(12): 2733-2743 (2004)
2003
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPattara Leelaprute, Masahide Nakamura, Ken-ichi Matsumoto, Tohru Kikuno: Evaluating Semantic Warnings in VoIP Programmable Services with Open Source Environment. APSEC 2003: 552-
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMasayuki Hirayama, Tetsuya Yamamoto, Osamu Mizuno, Tohru Kikuno: Analysis of Software Test Item Generation - Comparison between High Skilled and Low Skilled Engineers. Asian Test Symposium 2003: 210-215
79no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMasahide Nakamura, Pattara Leelaprute, Ken-ichi Matsumoto, Tohru Kikuno: Detecting Script-to-Script Interactions in Call Processing Language. FIW 2003: 215-230
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSousuke Amasaki, Yasunari Takagi, Osamu Mizuno, Tohru Kikuno: A Bayesian Belief Network for Assessing the Likelihood of Fault Content. ISSRE 2003: 215-226
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMasahide Nakamura, Pattara Leelaprute, Ken-ichi Matsumoto, Tohru Kikuno: Semantic Warnings and Feature Interaction in Call Processing Language on Internet Telephony. SAINT 2003: 283-291
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSatoru Uehara, Osamu Mizuno, Tohru Kikuno: Design of a new mechanism for context data storage on Web systems and its implementation using component-object technology. Systems and Computers in Japan 34(3): 53-63 (2003)
2002
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSousuke Amasaki, Takashi Yoshitomi, Osamu Mizuno, Tohru Kikuno, Yasunari Takagi: 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. Asian Test Symposium 2002: 272-277
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTakayuki Hamada, Tatsuhiro Tsuchiya, Masahide Nakamura, Tohru Kikuno: Using Symbolic Model Checking to Detect Service Interactions in Telecommunication Services. ICOIN (1) 2002: 641-651
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEun Hye Choi, Tatsuhiro Tsuchiya, Tohru Kikuno: Optimal k-Coteries That Maximize Availability in General Networks. ICOIN (2) 2002: 596-608
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMasayuki Hirayama, Tetsuya Yamamoto, Jiro Okayasu, Osamu Mizuno, Tohru Kikuno: Elimination of Crucial Faults by a New Selective Testing Method. ISESE 2002: 183-194
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOsamu Mizuno, Eijiro Shigematsu, Yasunari Takagi, Tohru Kikuno: On Estimating Testing Effort Needed to Assure Field Quality in Software Development. ISSRE 2002: 139-148
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTatsuhiro Tsuchiya, Masahide Nakamura, Tohru Kikuno: Detecting Feature Interactions in Telecommunication Services with a SAT Solver. PRDC 2002: 131-136
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMasahide Nakamura, Pattara Leelaprute, Tohru Kikuno: Deriving Interaction-Prone Scenarios in Feature Interaction Filtering with Use Case Maps. WORDS 2002: 237-244
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTatsuhiro Tsuchiya, Tohru Kikuno: On fault classes and error detection capability of specification-based testing. ACM Trans. Softw. Eng. Methodol. 11(1): 58-62 (2002)
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNoritaka Kobayashi, Tatsuhiro Tsuchiya, Tohru Kikuno: A new method for constructing pair-wise covering designs for software testing. Inf. Process. Lett. 81(2): 85-91 (2002)
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTatsuhiro Tsuchiya, Tohru Kikuno: Byzantine quorum systems with maximum availability. Inf. Process. Lett. 83(2): 71-77 (2002)
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNoritaka Kobayashi, Tatsuhiro Tsuchiya, Tohru Kikuno: Non-specification-based approaches to logic testing for software. Information & Software Technology 44(2): 113-121 (2002)
2001
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOsamu Mizuno, T. Adachi, Tohru Kikuno, Yasunari Takagi: On Prediction of Cost and Duration for Risky Software Projects Based on Risk Questionnaire. APAQS 2001: 120-130
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMasayuki Hirayama, Tetsuya Yamamoto, Jiro Okayasu, Osamu Mizuno, Tohru Kikuno: A Selective Software Testing Method Based on Priorities Assigned to Functional Modules. APAQS 2001: 259-267
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNahomi Kikuchi, Tohru Kikuno: Improving the Testing Process by Program Static Analysis. APSEC 2001: 195-201
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSatoru Uehara, Osamu Mizuno, Tohru Kikuno: Development of Session Management Mechanism for Cellular Phone with WWW Connection. APSEC 2001: 345-
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNoritaka Kobayashi, Tatsuhiro Tsuchiya, Tohru Kikuno: Applicability of Non-Specification-Based Approaches to Logic Testing for Software. DSN 2001: 337-346
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSatoru Uehara, Osamu Mizuno, Tohru Kikuno: An Implementation of Electronic Shopping Cart on the Web System using Component-Object Technology. WORDS 2001: 77-84
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTatsuhiro Tsuchiya, Shin'ichi Nagano, Rohayu Bt Paidi, Tohru Kikuno: Symbolic Model Checking for Self-Stabilizing Algorithms. IEEE Trans. Parallel Distrib. Syst. 12(1): 81-95 (2001)
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNoritaka Kobayashi, Tatsuhiro Tsuchiya, Tohru Kikuno: Minimizing the mean delay of quorum-based mutual exclusion schemes. Journal of Systems and Software 58(1): 1-9 (2001)
2000
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMasayuki Hirayama, Jiro Okayasu, Tetsuya Yamamoto, Osamu Mizuno, Tohru Kikuno: Generating test items for checking illegal behaviors in software testing. Asian Test Symposium 2000: 235-240
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNahomi Kikuchi, Osamu Mizuno, Tohru Kikuno: Identifying Key Attributes of Projects that Affect the Field Quality of Communication Software. COMPSAC 2000: 176-
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKoji Hashimoto, Tatsuhiro Tsuchiya, Tohru Kikuno: Fault-Secure Scheduling of Arbitrary Task Graphs to Multiprocessor Systems. DSN 2000: 203-212
53no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMasahide Nakamura, Tohru Kikuno, Jameleddine Hassine, Luigi Logrippo: Feature Interaction Filtering with Use Case Maps at Requirements Stage. FIW 2000: 163-178
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOsamu Mizuno, Tohru Kikuno, Yasunari Takagi, Keishi Sakamoto: Characterization of risky projects based on project managers' evaluation. ICSE 2000: 387-395
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTakeiki Aizono, Tohru Kikuno: Intelligent Scheduling based on Start Time Adjustment for Advanced Sequential Control Systems. ISORC 2000: 138-
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOsamu Mizuno, Tohru Kikuno, Katsumi Inagaki, Yasunari Takagi, Keishi Sakamoto: Statistical analysis of deviation of actual cost from estimated cost using actual project data. Information & Software Technology 42(7): 465-473 (2000)
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKoji Hashimoto, Tatsuhiro Tsuchiya, Tohru Kikuno: A new approach to fault-tolerant scheduling using task duplication in multiprocessor systems. Journal of Systems and Software 53(2): 159-171 (2000)
1999
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSatoru Uehara, Osamu Mizuno, Tohru Kikuno: A Straightforward Approach to Effort Estimation for Updating Programs in Object-Oriented Prototyping Development. APSEC 1999: 144-
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTsuneo Yamaura, Tohru Kikuno: A Framework for Top-Down Cost Estimation of Software Development. COMPSAC 1999: 322-
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTatsuhiro Tsuchiya, Tohru Kikuno: Availability Evaluation of Quorum-Based Mutual Exclusion Schemes in General Topology Networks. Comput. J. 42(7): 613-622 (1999)
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTatsuhiro Tsuchiya, Masatoshi Yamaguchi, Tohru Kikuno: Minimizing the Maximum Delay for Reaching Consensus in Quorum-Based Mutual Exclusion Schemes. IEEE Trans. Parallel Distrib. Syst. 10(4): 337-345 (1999)
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTatsuhiro Tsuchiya, Nobuhiko Ido, Tohru Kikuno: Constructing Byzantine Quorum Systems from Combinatorial Designs. Inf. Process. Lett. 71(1): 35-42 (1999)
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKenji Ishida, Yoshiaki Kakuda, Masahide Nakamura, Tohru Kikuno, Kitsutaro Amano: A protocol synthesis method for fault-tolerant multipath routing. Information & Software Technology 41(11-12): 745-754 (1999)
1998
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShin'ichi Nagano, Hiroyuki Fujita, Yoshiaki Kakuda, Tohru Kikuno: Application of Real-Time Temporal Logic to Design Fault Detection in Responsive Communication Protocols. Asian Test Symposium 1998: 408-412
41no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMasahide Nakamura, Yoshiaki Kakuda, Tohru Kikuno: Feature Interaction Detection Using Permutation Symmetry. FIW 1998: 187-201
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYoshiaki Kakuda, Shin'ichi Nagano, Tohru Kikuno, Masahiro Terabe: VP Reservation for Rapid Restoration Using Multiagents. ICECCS 1998: 121-128
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOsamu Mizuno, Tohru Kikuno, Katsumi Inagaki, Yasunari Takagi, Keishi Sakamoto: Analyzing Effects of Cost Estimation Accuracy on Quality and Productivity. ICSE 1998: 410-419
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShin'ichi Nagano, Yoshiaki Kakuda, Tohru Kikuno: Experience of Responsiveness Verification for Connection Establishment Protocols. ISORC 1998: 383-
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShin'ichi Nagano, Tohru Kikuno: Experimental Evaluation of Simplified Verification Methods for Responsive Communication Protocols. RTCSA 1998: 195-199
36no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKoji Hashimoto, Tatsuhiro Tsuchiya, Tohru Kikuno: A Multiprocessor Scheduling Algorithm for Low Overhead Fault-Tolerance. SRDS 1998: 186-194
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMasahide Nakamura, Tohru Kikuno: A new approach in feature interaction testing. Integration 26(1-2): 211-223 (1998)
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShinji Kusumoto, Atsushi Chimura, Tohru Kikuno, Ken-ichi Matsumoto, Yukio Mohri: A promising approach to two-person software review in educational environment. Journal of Systems and Software 40(2): 115-123 (1998)
1997
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOsamu Mizuno, Shinji Kusumoto, Tohru Kikuno, Yasunari Takagi, Keishi Sakamoto: Estimating the Number of Faults using Simulator based on Generalized Stochastic Petri-Net Model. Asian Test Symposium 1997: 269-
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTatsuhiro Tsuchiya, Hirofumi Terada, Shinji Kusumoto, Tohru Kikuno, Eun Mi Kim: Derivation of Safety Requirements for Safety Analysis of Object-Oriented Design Documents. COMPSAC 1997: 232-239
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTatsuhiro Tsuchiya, Hirofumi Terada, Shinji Kusumoto, Tohru Kikuno, Eun Mi Kim: Derivation of Safety Requirements for Safety Analysis of Object-Oriented Design Documents. COMPSAC 1997: 252-
30no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMasahide Nakamura, Yoshiaki Kakuda, Tohru Kikuno: Petri-Net Based Detection Method for Non-Deterministic Feature Interactions and its Experimental Evaluation. FIW 1997: 138-152
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKoji Hashimoto, Tatsuhiro Tsuchiya, Tohru Kikuno: A New Approach to Realizing Fault-Tolerant Multiprocessor Scheduling by Exploiting Implicit Redundancy. FTCS 1997: 174-183
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYutaka Hatanaka, Masahide Nakamura, Yoshiaki Kakuda, Tohru Kikuno: A Synthesis Method for Fault-tolerant and Flexible Multipath Routing Protocols. ICECCS 1997: 96-105
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShinji Kusumoto, Osamu Mizuno, Tohru Kikuno, Yuji Hirayama, Yasunari Takagi, Keishi Sakamoto: A New Software Project Simulator Based on Generalized Stochastic Petri-net. ICSE 1997: 293-302
26no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMasahide Nakamura, Yoshiaki Kakuda, Tohru Kikuno: Analyzing Non-Determinism in Telecommunication Services Using P-Invariant of Petri-Net Model. INFOCOM 1997: 1253-1260
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLin Lian, Shinji Kusumoto, Tohru Kikuno, Ken-ichi Matsumoto, Koji Torii: A new fault localizing method for the program debugging process. Information & Software Technology 39(4): 271-284 (1997)
1996
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaisuke Teratani, Yoshiaki Kakuda, Tohru Kikuno: A New Model with Time Constraints for Conformance Testing of Communication Protocols. Asian Test Symposium 1996: 269-
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEun Mi Kim, Shinji Kusumoto, Tohru Kikuno, Ok-Bae Chang: Heuristics for Computing Attribute Values of C++ Program Complexity Metrics. COMPSAC 1996: 104-
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShin'ichi Nagano, Yoshinori Hatakeyama, Yoshiaki Kakuda, Tohru Kikuno: Timed Reachability Analysis Method for EFSM-based Communication Protocols and Its Experimental Evaluation. ICNP 1996: 92-
21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMasahide Nakamura, Yoshiaki Kakuda, Tohru Kikuno: An Integration-Oriented Approach for Designing Communication Protocols from Component-Based Service Specifications. INFOCOM 1996: 1157-1164
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMasahide Nakamura, Yoshiaki Kakuda, Tohru Kikuno: On constructing communication protocols from component-based service specifications. Computer Communications 19(14): 1200-1215 (1996)
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShinji Kusumoto, Tohru Kikuno, Ken-ichi Matsumoto, Koji Torii: Experimental Evaluation of Time Allocation Procedure for Technical Reviews. Journal of Systems and Software 35(2): 119-126 (1996)
1995
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYoshiaki Kakuda, Akihiro Inoue, Hiroyuki Asada, Tohru Kikuno, Tadashi Ohta: A Dynamic Resolution Method for Feature Interactions and Its Evaluation. FIW 1995: 97-114
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKenji Ishida, Yoshiaki Kakuda, Tohru Kikuno: A routing protocol for finding two node-disjoint paths in computer networks. ICNP 1995: 340-
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLToshifumi Tanaka, Keishi Sakamoto, Shinji Kusumoto, Ken-ichi Matsumoto, Tohru Kikuno: Improvement of Software Process by Process Description and Benefit Estimation. ICSE 1995: 123-132
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTatsuhiro Tsuchiya, Yoshiaki Kakuda, Tohru Kikuno: A new fault-tolerant scheduling technique for real-time multiprocessor systems. RTCSA 1995: 197-202
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYoshiaki Kakuda, Hideki Yukitomo, Shinji Kusumoto, Tohru Kikuno: Localizing Multiple Faults in a Protocol Implementation. IEEE Design & Test of Computers 12(3): 34-42 (1995)
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYoshiaki Kakuda, Hideki Yukitomo, Shinji Kusumoto, Tohru Kikuno: A New Conformance Testing Technique for Localization of Multiple Faults in Communication Protocols. IEICE Transactions 78-D(7): 802-810 (1995)
1994
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYoshiaki Kakuda, Hiroyuki Asada, Tohru Kikuno: Application of protocol sythesis technique to resolution of the service interaction problem. FORTE 1994: 379-381
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLin Lian, Fusayuki Fujita, Shinji Kusumoto, Ken-ichi Matsumoto, Tohru Kikuno, Koji Torii: A Model-based Approach for Software Test Process Improvement. Software Quality and Productivity 1994: 300-307
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYoshiaki Kakuda, Tohru Kikuno, Kenichi Kawashima: Automated Verification of Responsive Protocols Modeled by Extended Finite State Machines. Real-Time Systems 7(3): 275-289 (1994)
1993
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChang Chen, Hiroyuki Asada, Yoshiaki Kakuda, Tohru Kikuno: Comparison of Hybrid Modular Redundant Multiprocessor Systems with respect to Performabilitites. FTCS 1993: 66-75
1991
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLC. Chen, An Feng, Tohru Kikuno, Koji Torii: Reconfiguration Algorithm for Fault-Tolerant Arrays with Minimum Number of Dangerous Processors. FTCS 1991: 452-461
1990
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAn Feng, Tohru Kikuno, Koji Torii: Incremental Attribute Evaluation for Multiple Subtree Replacements in Structure-Oriented Environments. WAGA 1990: 192-206
1989
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKatsuro Inoue, Takeshi Ogihara, Tohru Kikuno, Koji Torii: A Formal Adaptation Method for Process Descriptions. ICSE 1989: 145-153
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKazuo Sugihara, Tohru Kikuno, Noriyoshi Yoshida: A Meeting Scheduler for Office Automation. IEEE Trans. Software Eng. 15(10): 1141-1146 (1989)
1988
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKen-ichi Matsumoto, Katsuro Inoue, Tohru Kikuno, Koji Torii: Experimental evaluation of software reliability growth models. FTCS 1988: 148-153
1987
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTakashi Fujii, Hideya Horikawa, Tohru Kikuno, Noriyoshi Yoshida: A Heuristic Algorithm for Gate Assignment in One-Dimensional Array Approach. IEEE Trans. on CAD of Integrated Circuits and Systems 6(2): 159-164 (1987)
1984
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKazuo Sugihara, Jun'ichi Miyao, Tohru Kikuno, Noriyoshi Yoshida: A Semantic Approach to Usability in Relational Database Systems. ICDE 1984: 203-210
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKazuo Sugihara, Tohru Kikuno, Noriyoshi Yoshida, Masanobu Ogata: A Distributed Algorithm for Deadlock Detection and Resolution. Symposium on Reliability in Distributed Software and Database Systems 1984: 169-176

Coauthor Index

1Seiya Abe [101]
2T. Adachi [64]
3Takeiki Aizono [51]
4Kitsutaro Amano [43]
5Sousuke Amasaki [75] [78] [90] [93] [100]
6Hiroyuki Asada [9] [12] [18]
7Ok-Bae Chang [23]
8C. Chen [8]
9Chang Chen [9]
10Atsushi Chimura [34]
11Eun Hye Choi [73]
12Junya Debari [120]
13An Feng [7] [8]
14Takashi Fujii [3]
15Fusayuki Fujita [11]
16Hiroyuki Fujita [42]
17Takayuki Hamada [74]
18Masashi Hamamatsu [116] [130]
19Yasuhiro Hamano [100]
20Takanari Hamasaki [84]
21Koji Hashimoto [29] [36] [49] [54] [113] [118]
22Jameleddine Hassine [53]
23Hideaki Hata [117] [119] [129] [135]
24Yoshinori Hatakeyama [22]
25Yutaka Hatanaka [28]
26Masayuki Hirayama [56] [63] [72] [80] [82] [91] [92] [101] [120]
27Yuji Hirayama [27]
28Hideya Horikawa [3]
29Nobuhiko Ido [44]
30Daisuke Igarashi [96]
31Shiro Ikami [107] [108]
32Shinichi Ikeda [99] [102]
33Katsumi Inagaki [39] [50]
34Akihiro Inoue [18]
35Hiroyuki Inoue [134]
36Katsuro Inoue [4] [6]
37Kenji Ishida [17] [43]
38Masaya Kadono [125]
39Yoshiaki Kakuda [9] [10] [12] [13] [14] [15] [17] [18] [20] [21] [22] [24] [26] [28] [30] [38] [40] [41] [42] [43]
40Kenichi Kawashima [10]
41Nahomi Kikuchi [55] [62] [101] [120]
42Eun Mi Kim [23] [31] [32]
43Masahiro Kimoto [122] [128]
44Shin Kimoto [112]
45Noritaka Kobayashi [57] [60] [65] [67]
46Shinji Kusumoto [11] [13] [14] [16] [19] [23] [25] [27] [31] [32] [33] [34]
47Pattara Leelaprute [69] [77] [79] [81] [83] [97] [98] [114]
48Lin Lian [11] [25]
49Luigi Logrippo [53]
50Fuminori Makikawa [106] [127] [131]
51Ken-ichi Matsumoto [4] [11] [16] [19] [25] [34] [77] [79] [81] [83] [97] [98]
52Takafumi Matsuo [106] [114] [123]
53Tim Menzies [121]
54Takahiro Minamikawa [115] [126]
55Jun'ichi Miyao [2]
56Osamu Mizuno [27] [33] [39] [48] [50] [52] [55] [56] [59] [61] [63] [64] [71] [72] [75] [76] [78] [80] [82] [84] [90] [91] [92] [93] [94] [100] [101] [107] [108] [109] [111] [117] [119] [120] [121] [129] [135]
57Yukio Mohri [34]
58Shin'ichi Nagano [22] [37] [38] [40] [42] [58]
59Shuya Nakaichi [107] [108]
60Masahide Nakamura [20] [21] [26] [28] [30] [35] [41] [43] [53] [69] [70] [74] [77] [79] [81] [83] [97] [98]
61Toru Nanba [133]
62Fumio Narisawa [113] [118]
63Masanobu Ogata [1]
64Shougo Ogata [88]
65Takeshi Ogihara [6]
66Tadashi Ohta [18]
67Jiro Okayasu [56] [63] [72]
68Takuya Okuyama [103]
69Rohayu Bt Paidi [58]
70Keishi Sakamoto [16] [27] [33] [39] [50] [52]
71Toshifusa Sekizawa [124]
72Toshiaki Shiba [86]
73Eijiro Shigematsu [71]
74Kazuo Sugihara [1] [2] [5]
75Takeshi Sumi [92]
76Yasunari Takagi [27] [33] [39] [50] [52] [64] [71] [75] [78] [84] [90] [93] [94] [121]
77Koichi Takahashi [124]
78Toshifumi Tanaka [16]
79Masahiro Terabe [40]
80Hirofumi Terada [31] [32]
81Daisuke Teratani [24]
82Shun Tokuyama [132]
83Koji Torii [4] [6] [7] [8] [11] [19] [25]
84Tatsuhiro Tsuchiya [15] [29] [31] [32] [36] [44] [45] [46] [49] [54] [57] [58] [60] [65] [66] [67] [68] [70] [73] [74] [85] [86] [87] [88] [89] [96] [98] [99] [102] [103] [104] [105] [106] [110] [112] [114] [115] [116] [122] [123] [124] [125] [126] [127] [128] [130] [131] [132] [133] [134]
85Satoru Uehara [48] [59] [61] [76]
86TheinLai Wong [89] [104] [105] [110]
87Masatoshi Yamaguchi [45]
88Tetsuya Yamamoto [56] [63] [72] [80]
89Tsuneo Yamaura [47]
90Noriyoshi Yoshida [1] [2] [3] [5]
91Kentaro Yoshimura [113] [118]
92Takashi Yoshitomi [75] [90]
93Hideki Yukitomo [13] [14]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page