A fast selective traversal algorithm for binary search trees. - Tohru Kikuno; Noriyoshi Yoshida; Hiromi Kusumoto (COMPSAC, 1979)

NP-completeness of some type of p-center problem. - Tohru Kikuno; Noriyoshi Yoshida; Yoshiaki Kakuda (Discret. Appl. Math., 1980)

A linear algorithm for the domination number of a series-parallel graph. - Tohru Kikuno; Noriyoshi Yoshida; Yoshiaki Kakuda (Discret. Appl. Math., 1983)

A Semantic Approach to Usability in Relational Database Systems. - Kazuo Sugihara; Jun'ichi Miyao; Tohru Kikuno; Noriyoshi Yoshida (ICDE, 1984)

A Distributed Algorithm for Deadlock Detection and Resolution. - Kazuo Sugihara; Tohru Kikuno; Noriyoshi Yoshida; Masanobu Ogata (Symposium on Reliability in Distributed Software and Database Systems, 1984)

Feasibility problem for meeting timetable rearrangement. - Kazuo Sugihara; Tohru Kikuno; Noriyoshi Yoshida; Kazunori Arame (Syst. Comput. Jpn., 1985)

Design of hardware algorithms by recurrence relations. - Shin'ichi Wakabayashi; Tohru Kikuno; Noriyoshi Yoshida (Syst. Comput. Jpn., 1985)

Response time minimization for processing simple queries in star networks. - Jun'ichi Miyao; Tohru Kikuno; Noriyoshi Yoshida (Syst. Comput. Jpn., 1987)

A Heuristic Algorithm for Gate Assignment in One-Dimensional Array Approach. - Takashi Fujii; Hideya Horikawa; Tohru Kikuno; Noriyoshi Yoshida (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1987)

Experimental evaluation of software reliability growth models. - Ken-ichi Matsumoto; Katsuro Inoue; Tohru Kikuno; Koji Torii (FTCS, 1988)

Optimization of Multiple Queries in Relational Database Systems. - Jun'ichi Miyao; Kazuyuki Tominaga; Tohru Kikuno; Noriyoshi Yoshida (Syst. Comput. Jpn., 1988)

A Formal Adaptation Method for Process Descriptions. - Katsuro Inoue; Takeshi Ogihara; Tohru Kikuno; Koji Torii (ICSE, 1989)

A Meeting Scheduler for Office Automation. - Kazuo Sugihara; Tohru Kikuno; Noriyoshi Yoshida (IEEE Trans. Software Eng., 1989)

Incremental Attribute Evaluation for Multiple Subtree Replacements in Structure-Oriented Environments. - An Feng; Tohru Kikuno; Koji Torii (WAGA, 1990)

Experimental evaluation of the cost effectiveness of software reviews. - Shinji Kusumoto; Ken-ichi Matsumoto; Tohru Kikuno; Koji Torii (COMPSAC, 1991)

Fault analysis based on fault reporting in JSP software development. - Yukio Mohri; Tohru Kikuno (COMPSAC, 1991)

Reconfiguration Algorithm for Fault-Tolerant Arrays with Minimum Number of Dangerous Processors. - C. Chen; An Feng; Tohru Kikuno; Koji Torii (FTCS, 1991)

Comparison of Hybrid Modular Redundant Multiprocessor Systems with respect to Performabilitites. - Chang Chen; Hiroyuki Asada; Yoshiaki Kakuda; Tohru Kikuno (FTCS, 1993)

A new framework of measuring software development processes. - Ken-ichi Matsumoto; Shinji Kusumoto; Tohru Kikuno; Koji Torii (IEEE METRICS, 1993)

Analysis of metrics for object-oriented program complexity. - Eun Mi Kim; Ok-Bae Chang; Shinji Kusumoto; Tohru Kikuno (COMPSAC, 1994)

Application of protocol sythesis technique to resolution of the service interaction problem. - Yoshiaki Kakuda; Hiroyuki Asada; Tohru Kikuno (FORTE, 1994)

Automated synthesis of protocol specifications with message collisions and verification of timeliness. - Yoshiaki Kakuda; Hirotaka Igarashi; Tohru Kikuno (ICNP, 1994)

A Model-based Approach for Software Test Process Improvement. - Lin Lian; Fusayuki Fujita; Shinji Kusumoto; Ken-ichi Matsumoto; Tohru Kikuno; Koji Torii (Software Quality and Productivity, 1994)

Automated Verification of Responsive Protocols Modeled by Extended Finite State Machines. - Yoshiaki Kakuda; Tohru Kikuno; Kenichi Kawashima (Real Time Syst., 1994)

A Dynamic Resolution Method for Feature Interactions and Its Evaluation. - Yoshiaki Kakuda; Akihiro Inoue; Hiroyuki Asada; Tohru Kikuno; Tadashi Ohta (FIW, 1995)

A routing protocol for finding two node-disjoint paths in computer networks. - Kenji Ishida; Yoshiaki Kakuda; Tohru Kikuno (ICNP, 1995)

Improvement of Software Process by Process Description and Benefit Estimation. - Toshifumi Tanaka; Keishi Sakamoto; Shinji Kusumoto; Ken-ichi Matsumoto; Tohru Kikuno (ICSE, 1995)

An approach to safety and correctness verification of software design specification. - Eun Mi Kim; Shinji Kusumoto; Tohru Kikuno (ISSRE, 1995)

Analysis of review's effectiveness based on software metrics. - Yasunari Takagi; Toshifumi Tanaka; Naoki Niihara; Keishi Sakamoto; Shinji Kusumoto; Tohru Kikuno (ISSRE, 1995)

A new fault-tolerant scheduling technique for real-time multiprocessor systems. - Tatsuhiro Tsuchiya; Yoshiaki Kakuda; Tohru Kikuno (RTCSA, 1995)

Localizing Multiple Faults in a Protocol Implementation. - Yoshiaki Kakuda; Hideki Yukitomo; Shinji Kusumoto; Tohru Kikuno (IEEE Des. Test Comput., 1995)

A New Conformance Testing Technique for Localization of Multiple Faults in Communication Protocols. - Yoshiaki Kakuda; Hideki Yukitomo; Shinji Kusumoto; Tohru Kikuno (IEICE Trans. Inf. Syst., 1995)

A New Model with Time Constraints for Conformance Testing of Communication Protocols. - Daisuke Teratani; Yoshiaki Kakuda; Tohru Kikuno (Asian Test Symposium, 1996)

Heuristics for Computing Attribute Values of C++ Program Complexity Metrics. - Eun Mi Kim; Shinji Kusumoto; Tohru Kikuno; Ok-Bae Chang (COMPSAC, 1996)

Timed Reachability Analysis Method for EFSM-based Communication Protocols and Its Experimental Evaluation. - Shin'ichi Nagano; Yoshinori Hatakeyama; Yoshiaki Kakuda; Tohru Kikuno (ICNP, 1996)

An Integration-Oriented Approach for Designing Communication Protocols from Component-Based Service Specifications. - Masahide Nakamura; Yoshiaki Kakuda; Tohru Kikuno (INFOCOM, 1996)

On constructing communication protocols from component-based service specifications. - Masahide Nakamura; Yoshiaki Kakuda; Tohru Kikuno (Comput. Commun., 1996)

Experimental Evaluation of Time Allocation Procedure for Technical Reviews. - Shinji Kusumoto; Tohru Kikuno; Ken-ichi Matsumoto; Koji Torii (J. Syst. Softw., 1996)

Modeling and evaluation of responsive multiprocessor systems. - Tatsuhiro Tsuchiya; Yoshiaki Kakuda; Tohru Kikuno (Syst. Comput. Jpn., 1996)

Estimating the Number of Faults using Simulator based on Generalized Stochastic Petri-Net Model. - Osamu Mizuno; Shinji Kusumoto; Tohru Kikuno; Yasunari Takagi; Keishi Sakamoto (Asian Test Symposium, 1997)

Derivation of Safety Requirements for Safety Analysis of Object-Oriented Design Documents. - Tatsuhiro Tsuchiya; Hirofumi Terada; Shinji Kusumoto; Tohru Kikuno; Eun Mi Kim (COMPSAC, 1997)

Petri-Net Based Detection Method for Non-Deterministic Feature Interactions and its Experimental Evaluation. - Masahide Nakamura; Yoshiaki Kakuda; Tohru Kikuno (FIW, 1997)

A New Approach to Realizing Fault-Tolerant Multiprocessor Scheduling by Exploiting Implicit Redundancy. - Koji Hashimoto; Tatsuhiro Tsuchiya; Tohru Kikuno (FTCS, 1997)

A Synthesis Method for Fault-tolerant and Flexible Multipath Routing Protocols. - Yutaka Hatanaka; Masahide Nakamura; Yoshiaki Kakuda; Tohru Kikuno (ICECCS, 1997)

A New Software Project Simulator Based on Generalized Stochastic Petri-net. - Shinji Kusumoto; Osamu Mizuno; Tohru Kikuno; Yuji Hirayama; Yasunari Takagi; Keishi Sakamoto (ICSE, 1997)

Analyzing Non-Determinism in Telecommunication Services Using P-Invariant of Petri-Net Model. - Masahide Nakamura; Yoshiaki Kakuda; Tohru Kikuno (INFOCOM, 1997)

An approach to safety verification of object-oriented design specification for an elevator control system. - Eun Mi Kim; Shinji Kusumoto; Tatsuhiro Tsuchiya; Tohru Kikuno (WORDS, 1997)

A new fault localizing method for the program debugging process. - Lin Lian; Shinji Kusumoto; Tohru Kikuno; Ken-ichi Matsumoto; Koji Torii (Inf. Softw. Technol., 1997)

Application of Real-Time Temporal Logic to Design Fault Detection in Responsive Communication Protocols. - Shin'ichi Nagano; Hiroyuki Fujita; Yoshiaki Kakuda; Tohru Kikuno (Asian Test Symposium, 1998)

Feature Interaction Detection Using Permutation Symmetry. - Masahide Nakamura; Yoshiaki Kakuda; Tohru Kikuno (FIW, 1998)

VP Reservation for Rapid Restoration Using Multiagents. - Yoshiaki Kakuda; Shin'ichi Nagano; Tohru Kikuno; Masahiro Terabe (ICECCS, 1998)

Analyzing Effects of Cost Estimation Accuracy on Quality and Productivity. - Osamu Mizuno; Tohru Kikuno; Katsumi Inagaki; Yasunari Takagi; Keishi Sakamoto (ICSE, 1998)

Experience of Responsiveness Verification for Connection Establishment Protocols. - Shin'ichi Nagano; Yoshiaki Kakuda; Tohru Kikuno (ISORC, 1998)

Experimental Evaluation of Simplified Verification Methods for Responsive Communication Protocols. - Shin'ichi Nagano; Tohru Kikuno (RTCSA, 1998)

A Multiprocessor Scheduling Algorithm for Low Overhead Fault-Tolerance. - Koji Hashimoto; Tatsuhiro Tsuchiya; Tohru Kikuno (SRDS, 1998)

A new approach in feature interaction testing. - Masahide Nakamura; Tohru Kikuno (Integr., 1998)

A promising approach to two-person software review in educational environment. - Shinji Kusumoto; Atsushi Chimura; Tohru Kikuno; Ken-ichi Matsumoto; Yukio Mohri (J. Syst. Softw., 1998)

Genetics-based multiprocessor scheduling using task duplication. - Tatsuhiro Tsuchiya; Tetsuya Osada; Tohru Kikuno (Microprocess. Microsystems, 1998)

A Straightforward Approach to Effort Estimation for Updating Programs in Object-Oriented Prototyping Development. - Satoru Uehara; Osamu Mizuno; Tohru Kikuno (APSEC, 1999)

A Framework for Top-Down Cost Estimation of Software Development. - Tsuneo Yamaura; Tohru Kikuno (COMPSAC, 1999)

On the availability of k-coteries in networks with unreliable nodes and links. - Eun Hye Choi; Tatsuhiro Tsuchiya; Tohru Kikuno (WORDS (Jan.), 1999)

An MVC-based analysis of object-oriented system prototyping for banking related GUI applications-correlationship between OO metrics and efforts for requirement change. - Satoru Uehara; Osamu Mizuno; Yumi Itou; Tohru Kikuno (WORDS (Jan.), 1999)

Availability Evaluation of Quorum-Based Mutual Exclusion Schemes in General Topology Networks. - Tatsuhiro Tsuchiya; Tohru Kikuno (Comput. J., 1999)

A protocol synthesis method for fault-tolerant multipath routing. - Kenji Ishida; Yoshiaki Kakuda; Masahide Nakamura; Tohru Kikuno; Kitsutaro Amano (Inf. Softw. Technol., 1999)

Constructing Byzantine Quorum Systems from Combinatorial Designs. - Tatsuhiro Tsuchiya; Nobuhiko Ido; Tohru Kikuno (Inf. Process. Lett., 1999)

Minimizing the Maximum Delay for Reaching Consensus in Quorum-Based Mutual Exclusion Schemes. - Tatsuhiro Tsuchiya; Masatoshi Yamaguchi; Tohru Kikuno (IEEE Trans. Parallel Distributed Syst., 1999)

Generating test items for checking illegal behaviors in software testing. - Masayuki Hirayama; Jiro Okayasu; Tetsuya Yamamoto; Osamu Mizuno; Tohru Kikuno (Asian Test Symposium, 2000)

Identifying Key Attributes of Projects that Affect the Field Quality of Communication Software. - Nahomi Kikuchi; Osamu Mizuno; Tohru Kikuno (COMPSAC, 2000)

Fault-Secure Scheduling of Arbitrary Task Graphs to Multiprocessor Systems. - Koji Hashimoto; Tatsuhiro Tsuchiya; Tohru Kikuno (DSN, 2000)

Feature Interaction Filtering with Use Case Maps at Requirements Stage. - Masahide Nakamura; Tohru Kikuno; Jameleddine Hassine; Luigi Logrippo (FIW, 2000)

Characterization of risky projects based on project managers' evaluation. - Osamu Mizuno; Tohru Kikuno; Yasunari Takagi; Keishi Sakamoto (ICSE, 2000)

Intelligent Scheduling based on Start Time Adjustment for Advanced Sequential Control Systems. - Takeiki Aizono; Tohru Kikuno (ISORC, 2000)

Statistical analysis of deviation of actual cost from estimated cost using actual project data. - Osamu Mizuno; Tohru Kikuno; Katsumi Inagaki; Yasunari Takagi; Keishi Sakamoto (Inf. Softw. Technol., 2000)

A new approach to fault-tolerant scheduling using task duplication in multiprocessor systems. - Koji Hashimoto; Tatsuhiro Tsuchiya; Tohru Kikuno (J. Syst. Softw., 2000)

A Selective Software Testing Method Based on Priorities Assigned to Functional Modules. - Masayuki Hirayama; Tetsuya Yamamoto; Jiro Okayasu; Osamu Mizuno; Tohru Kikuno (APAQS, 2001)

On Prediction of Cost and Duration for Risky Software Projects Based on Risk Questionnaire. - Osamu Mizuno; Takuya Adachi; Tohru Kikuno; Yasunari Takagi (APAQS, 2001)

Improving the Testing Process by Program Static Analysis. - Nahomi Kikuchi; Tohru Kikuno (APSEC, 2001)

Development of Session Management Mechanism for Cellular Phone with WWW Connection. - Satoru Uehara; Osamu Mizuno; Tohru Kikuno (APSEC, 2001)

Applicability of Non-Specification-Based Approaches to Logic Testing for Software. - Noritaka Kobayashi; Tatsuhiro Tsuchiya; Tohru Kikuno (DSN, 2001)

An Implementation of Electronic Shopping Cart on the Web System using Component-Object Technology. - Satoru Uehara; Osamu Mizuno; Tohru Kikuno (WORDS, 2001)

Minimizing the mean delay of quorum-based mutual exclusion schemes. - Noritaka Kobayashi; Tatsuhiro Tsuchiya; Tohru Kikuno (J. Syst. Softw., 2001)

Symbolic Model Checking for Self-Stabilizing Algorithms. - Tatsuhiro Tsuchiya; Shin'ichi Nagano; Rohayu Bt Paidi; Tohru Kikuno (IEEE Trans. Parallel Distributed Syst., 2001)

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. - Sousuke Amasaki; Takashi Yoshitomi; Osamu Mizuno; Tohru Kikuno; Yasunari Takagi (Asian Test Symposium, 2002)

Optimal k-Coteries That Maximize Availability in General Networks. - Eun Hye Choi; Tatsuhiro Tsuchiya; Tohru Kikuno (ICOIN (2), 2002)

Using Symbolic Model Checking to Detect Service Interactions in Telecommunication Services. - Takayuki Hamada; Tatsuhiro Tsuchiya; Masahide Nakamura; Tohru Kikuno (ICOIN (1), 2002)

Elimination of Crucial Faults by a New Selective Testing Method. - Masayuki Hirayama; Tetsuya Yamamoto; Jiro Okayasu; Osamu Mizuno; Tohru Kikuno (ISESE, 2002)

On Estimating Testing Effort Needed to Assure Field Quality in Software Development. - Osamu Mizuno; Eijiro Shigematsu; Yasunari Takagi; Tohru Kikuno (ISSRE, 2002)

Detecting Feature Interactions in Telecommunication Services with a SAT Solver. - Tatsuhiro Tsuchiya; Masahide Nakamura; Tohru Kikuno (PRDC, 2002)

Deriving Interaction-Prone Scenarios in Feature Interaction Filtering with Use Case Maps. - Masahide Nakamura; Pattara Leelaprute; Tohru Kikuno (WORDS, 2002)

New 2-Factor Covering Designs for Software Testing. - Noritaka Kobayashi; Tatsuhiro Tsuchiya; Tohru Kikuno (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2002)

Verifying Fault Tolerance of Concurrent Systems by Model Checking. - Tomoyuki Yokogawa; Tatsuhiro Tsuchiya; Tohru Kikuno (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2002)

Non-specification-based approaches to logic testing for software. - Noritaka Kobayashi; Tatsuhiro Tsuchiya; Tohru Kikuno (Inf. Softw. Technol., 2002)

A new method for constructing pair-wise covering designs for software testing. - Noritaka Kobayashi; Tatsuhiro Tsuchiya; Tohru Kikuno (Inf. Process. Lett., 2002)

Byzantine quorum systems with maximum availability. - Tatsuhiro Tsuchiya; Tohru Kikuno (Inf. Process. Lett., 2002)

On fault classes and error detection capability of specification-based testing. - Tatsuhiro Tsuchiya; Tohru Kikuno (ACM Trans. Softw. Eng. Methodol., 2002)

Evaluating Semantic Warnings in VoIP Programmable Services with Open Source Environment. - Pattara Leelaprute; Masahide Nakamura; Ken-ichi Matsumoto; Tohru Kikuno (APSEC, 2003)

Analysis of Software Test Item Generation - Comparison between High Skilled and Low Skilled Engineers. - Masayuki Hirayama; Tetsuya Yamamoto; Osamu Mizuno; Tohru Kikuno (Asian Test Symposium, 2003)

Detecting Script-to-Script Interactions in Call Processing Language. - Masahide Nakamura; Pattara Leelaprute; Ken-ichi Matsumoto; Tohru Kikuno (FIW, 2003)

A Bayesian Belief Network for Assessing the Likelihood of Fault Content. - Sousuke Amasaki; Yasunari Takagi; Osamu Mizuno; Tohru Kikuno (ISSRE, 2003)

Semantic Warnings and Feature Interaction in Call Processing Language on Internet Telephony. - Masahide Nakamura; Pattara Leelaprute; Ken-ichi Matsumoto; Tohru Kikuno (SAINT, 2003)

Design of a new mechanism for context data storage on Web systems and its implementation using component-object technology. - Satoru Uehara; Osamu Mizuno; Tohru Kikuno (Syst. Comput. Jpn., 2003)

A Self-organizing Technique for Sensor Placement in Wireless Micro-Sensor Networks. - TheinLai Wong; Tatsuhiro Tsuchiya; Tohru Kikuno (AINA (1), 2004)

SAT-Based Verification of Safe Petri Nets. - Shougo Ogata; Tatsuhiro Tsuchiya; Tohru Kikuno (ATVA, 2004)

An Adaptive Mechanism for Epidemic Communication. - Tatsuhiro Tsuchiya; Tohru Kikuno (BioADIT, 2004)

Using Artificial Life Techniques to Generate Test Cases for Combinatorial Testing. - Toshiaki Shiba; Tatsuhiro Tsuchiya; Tohru Kikuno (COMPSAC, 2004)

On the Effects of Partial Membership Knowledge on Reliability of Gossip-Based Multicast. - Tatsuhiro Tsuchiya; Tohru Kikuno (PRDC, 2004)

An Empirical Evaluation of Predicting Runaway Software Projects Using Bayesian Classification. - Osamu Mizuno; Takanari Hamasaki; Yasunari Takagi; Tohru Kikuno (PROFES, 2004)

On detecting feature interactions in the programmable service environment of Internet telephony. - Masahide Nakamura; Pattara Leelaprute; Ken-ichi Matsumoto; Tohru Kikuno (Comput. Networks, 2004)

Test Item Prioritizing Metrics for Selective Software Testing. - Masayuki Hirayama; Osamu Mizuno; Tohru Kikuno (IEICE Trans. Inf. Syst., 2004)

Describing and Verifying Integrated Services of Home Network Systems. - Pattara Leelaprute; Tatsuhiro Tsuchiya; Tohru Kikuno; Masahide Nakamura; Ken-ichi Matsumoto (APSEC, 2005)

Definition and Detection of Semantic Warnings for VoiceXML. - Pattara Leelaprute; Tohru Kikuno; Masahide Nakamura; Ken-ichi Matsumoto (IASTED Conf. on Software Engineering, 2005)

Overlay Network Topologies for Gossip-Based Multicast. - Daisuke Igarashi; Tatsuhiro Tsuchiya; Tohru Kikuno (ICPADS (1), 2005)

Why Do Software Projects Fail? Reasons and a Solution Using a Bayesian Classifier to Predict Potential Risk. - Tohru Kikuno (PRDC, 2005)

An Empirical Approach to Characterizing Risky Software Projects Based on Logistic Regression Analysis. - Yasunari Takagi; Osamu Mizuno; Tohru Kikuno (Empir. Softw. Eng., 2005)

Constructing a Bayesian Belief Network to Predict Final Quality in Embedded System Development. - Sousuke Amasaki; Yasunari Takagi; Osamu Mizuno; Tohru Kikuno (IEICE Trans. Inf. Syst., 2005)

An Effective Testing Method for Hardware Related Fault in Embedded Software. - Takeshi Sumi; Osamu Mizuno; Tohru Kikuno; Masayuki Hirayama (IEICE Trans. Inf. Syst., 2005)

Analysis of Software Test Item Generation - Comparison Between High Skilled and Low Skilled Engineers. - Masayuki Hirayama; Osamu Mizuno; Tohru Kikuno (J. Comput. Sci. Technol., 2005)

A New Challenge for Applying Time Series Metrics Data to Software Quality Estimation. - Sousuke Amasaki; Takashi Yoshitomi; Osamu Mizuno; Yasunari Takagi; Tohru Kikuno (Softw. Qual. J., 2005)

Improving the Robustness of Epidemic Communication in Scale-Free Networks. - Takuya Okuyama; Tatsuhiro Tsuchiya; Tohru Kikuno (BioADIT, 2006)

A Decentralized Scheme for Network-Aware Reliable Overlay Construction. - Shinichi Ikeda; Tatsuhiro Tsuchiya; Tohru Kikuno (ICOIN, 2006)

Estimation of project success using Bayesian classifier. - Seiya Abe; Osamu Mizuno; Tohru Kikuno; Nahomi Kikuchi; Masayuki Hirayama (ICSE, 2006)

Characterization of Runaway Software Projects Using Association Rule Mining. - Sousuke Amasaki; Yasuhiro Hamano; Osamu Mizuno; Tohru Kikuno (PROFES, 2006)

Counter-based reliability optimization for gossip-based broadcasting. - Tatsuhiro Tsuchiya; Shinichi Ikeda; Tohru Kikuno (Comput. Commun., 2006)

Fault-Prone Filtering: Detection of Fault-Prone Modules Using Spam Filtering Technique. - Osamu Mizuno; Shiro Ikami; Shuya Nakaichi; Tohru Kikuno (ESEM, 2007)

Spam Filter Based Approach for Finding Fault-Prone Software Modules. - Osamu Mizuno; Shiro Ikami; Shuya Nakaichi; Tohru Kikuno (MSR, 2007)

Constructing Overlay Networks with Low Link Costs and Short Paths. - Fuminori Makikawa; Takafumi Matsuo; Tatsuhiro Tsuchiya; Tohru Kikuno (NCA, 2007)

A localized broadcast scheme for minimizing power consumption in wireless mobile ad hoc networks. - TheinLai Wong; Tatsuhiro Tsuchiya; Tohru Kikuno (Parallel and Distributed Computing and Networks, 2007)

Training on errors experiment to detect fault-prone software modules by spam filter. - Osamu Mizuno; Tohru Kikuno (ESEC/SIGSOFT FSE, 2007)

An Energy-Efficient Broadcast Scheme for Multihop Wireless Ad Hoc Networks Using Variable-Range Transmission Power. - TheinLai Wong; Tatsuhiro Tsuchiya; Tohru Kikuno (IEICE Trans. Inf. Syst., 2007)

On Deriving Actions for Improving Cost Overrun by Applying Association Rule Mining to Industrial Project Repository. - Junya Debari; Osamu Mizuno; Tohru Kikuno; Nahomi Kikuchi; Masayuki Hirayama (ICSP, 2008)

Comparative Study of Fault-Proneness Filtering with PMD. - Hideaki Hata; Osamu Mizuno; Tohru Kikuno (ISSRE, 2008)

An extension of fault-prone filtering using precise training and a dynamic threshold. - Hideaki Hata; Osamu Mizuno; Tohru Kikuno (MSR, 2008)

FAVE: factor analysis based approach for detecting product line variability from change history. - Kentaro Yoshimura; Fumio Narisawa; Koji Hashimoto; Tohru Kikuno (MSR, 2008)

Finding the Optimal Configuration of a Cascading TMR System. - Masashi Hamamatsu; Tatsuhiro Tsuchiya; Tohru Kikuno (PRDC, 2008)

Language and Tool Support for Model Checking of Fault-Tolerant Distributed Algorithms. - Takahiro Minamikawa; Tatsuhiro Tsuchiya; Tohru Kikuno (PRDC, 2008)

Detecting Feature Interactions in Home Appliance Networks. - Pattara Leelaprute; Takafumi Matsuo; Tatsuhiro Tsuchiya; Tohru Kikuno (SNPD, 2008)

A Method to Analyze Variability Based on Product Release History: Case Study of Automotive System. - Kentaro Yoshimura; Fumio Narisawa; Koji Hashimoto; Tohru Kikuno (SPLC (2), 2008)

Pairwise Testing in the Presence of Configuration Change Cost. - Shin Kimoto; Tatsuhiro Tsuchiya; Tohru Kikuno (SSIRI, 2008)

Prediction of Fault-Prone Software Modules Using a Generic Text Discriminator. - Osamu Mizuno; Tohru Kikuno (IEICE Trans. Inf. Syst., 2008)

A self-organising algorithm for sensor placement in wireless mobile microsensor networks. - TheinLai Wong; Tatsuhiro Tsuchiya; Tohru Kikuno (Int. J. Wirel. Mob. Comput., 2008)

Towards Automated Verification of Distributed Consensus Protocols. - Takahiro Minamikawa; Tatsuhiro Tsuchiya; Tohru Kikuno (APSEC, 2009)

Using the NuSMV Model Checker for Test Generation from Statecharts. - Masaya Kadono; Tatsuhiro Tsuchiya; Tohru Kikuno (PRDC, 2009)

On the Time Complexity of Dijkstra's Three-State Mutual Exclusion Algorithm. - Masahiro Kimoto; Tatsuhiro Tsuchiya; Tohru Kikuno (IEICE Trans. Inf. Syst., 2009)

Feature Interaction Verification Using Unbounded Model Checking with Interpolation. - Takafumi Matsuo; Tatsuhiro Tsuchiya; Tohru Kikuno (IEICE Trans. Inf. Syst., 2009)

Probabilistic Model Checking of the One-Dimensional Ising Model. - Toshifusa Sekizawa; Tatsuhiro Tsuchiya; Koichi Takahashi; Tohru Kikuno (IEICE Trans. Inf. Syst., 2009)

Explanation vs Performance in Data Mining: A Case Study with Predicting Runaway Projects. - Tim Menzies; Osamu Mizuno; Yasunari Takagi; Tohru Kikuno (J. Softw. Eng. Appl., 2009)

Balance and Proximity-Aware Skip Graph Construction. - Fuminori Makikawa; Tatsuhiro Tsuchiya; Tohru Kikuno (ICNC, 2010)

On the Reliability of Cascaded TMR Systems. - Masashi Hamamatsu; Tatsuhiro Tsuchiya; Tohru Kikuno (PRDC, 2010)

Fault-prone module detection using large-scale text features based on spam filtering. - Hideaki Hata; Osamu Mizuno; Tohru Kikuno (Empir. Softw. Eng., 2010)

The Time Complexity of Hsu and Huang's Self-Stabilizing Maximal Matching Algorithm. - Masahiro Kimoto; Tatsuhiro Tsuchiya; Tohru Kikuno (IEICE Trans. Inf. Syst., 2010)

Constructing Overlay Networks with Short Paths and Low Communication Cost. - Fuminori Makikawa; Tatsuhiro Tsuchiya; Tohru Kikuno (IEICE Trans. Inf. Syst., 2010)

Bounded Model Checking of Concurrent Systems with Unbounded Integer Variables. - Hiroyuki Inoue; Tatsuhiro Tsuchiya; Tohru Kikuno (ICNC, 2011)

Constructing Test Sets for Pairwise Testing: A SAT-Based Approach. - Toru Nanba; Tatsuhiro Tsuchiya; Tohru Kikuno (ICNC, 2011)

Historage: fine-grained version control system for Java. - Hideaki Hata; Osamu Mizuno; Tohru Kikuno (EVOL/IWPSE, 2011)

Gossiping with Network Coding. - Shun Tokuyama; Tatsuhiro Tsuchiya; Tohru Kikuno (PRDC, 2011)

Bug prediction based on fine-grained module histories. - Hideaki Hata; Osamu Mizuno; Tohru Kikuno (ICSE, 2012)

Safety Verification of Asynchronous Consensus Algorithms with Model Checking. - Tatsuya Noguchi; Tatsuhiro Tsuchiya; Tohru Kikuno (PRDC, 2012)

Using Satisfiability Solving for Pairwise Testing in the Presence of Constraints. - Toru Nanba; Tatsuhiro Tsuchiya; Tohru Kikuno (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2012)

Software reconstruction and module management for distributed processing of train control. - Hirofumi Terada; Yutaka Sato; Tatsuhiro Tsuchiya; Tohru Kikuno (ISADS, 2013)