| 2013 | ISADS | Software reconstruction and module management for distributed processing of train control. | Hirofumi Terada, Yutaka Sato, Tatsuhiro Tsuchiya, Tohru Kikuno |
| 2012 | ICSE | Bug prediction based on fine-grained module histories. | Hideaki Hata, Osamu Mizuno, Tohru Kikuno |
| 2012 | PRDC | Safety Verification of Asynchronous Consensus Algorithms with Model Checking. | Tatsuya Noguchi, Tatsuhiro Tsuchiya, Tohru Kikuno |
| 2011 | PRDC | Gossiping with Network Coding. | Shun Tokuyama, Tatsuhiro Tsuchiya, Tohru Kikuno |
| 2010 | PRDC | On the Reliability of Cascaded TMR Systems. | Masashi Hamamatsu, Tatsuhiro Tsuchiya, Tohru Kikuno |
| 2009 | APSEC | Towards Automated Verification of Distributed Consensus Protocols. | Takahiro Minamikawa, Tatsuhiro Tsuchiya, Tohru Kikuno |
| 2009 | PRDC | Using the NuSMV Model Checker for Test Generation from Statecharts. | Masaya Kadono, Tatsuhiro Tsuchiya, Tohru Kikuno |
| 2008 | ISSRE | Comparative Study of Fault-Proneness Filtering with PMD. | Hideaki Hata, Osamu Mizuno, Tohru Kikuno |
| 2008 | MSR | An extension of fault-prone filtering using precise training and a dynamic threshold. | Hideaki Hata, Osamu Mizuno, Tohru Kikuno |
| 2008 | MSR | FAVE: factor analysis based approach for detecting product line variability from change history. | Kentaro Yoshimura, Fumio Narisawa, Koji Hashimoto, Tohru Kikuno |
| 2008 | PRDC | Finding the Optimal Configuration of a Cascading TMR System. | Masashi Hamamatsu, Tatsuhiro Tsuchiya, Tohru Kikuno |
| 2008 | PRDC | Language and Tool Support for Model Checking of Fault-Tolerant Distributed Algorithms. | Takahiro Minamikawa, Tatsuhiro Tsuchiya, Tohru Kikuno |
| 2008 | SNPD | Detecting Feature Interactions in Home Appliance Networks. | Pattara Leelaprute, Takafumi Matsuo, Tatsuhiro Tsuchiya, Tohru Kikuno |
| 2008 | SPLC | A Method to Analyze Variability Based on Product Release History: Case Study of Automotive System. | Kentaro Yoshimura, Fumio Narisawa, Koji Hashimoto, Tohru Kikuno |
| 2007 | ESEM | Fault-Prone Filtering: Detection of Fault-Prone Modules Using Spam Filtering Technique. | Osamu Mizuno, Shiro Ikami, Shuya Nakaichi, Tohru Kikuno |
| 2007 | MSR | Spam Filter Based Approach for Finding Fault-Prone Software Modules. | Osamu Mizuno, Shiro Ikami, Shuya Nakaichi, Tohru Kikuno |
| 2007 | NCA | Constructing Overlay Networks with Low Link Costs and Short Paths. | Fuminori Makikawa, Takafumi Matsuo, Tatsuhiro Tsuchiya, Tohru Kikuno |
| 2006 | ICSE | Estimation of project success using Bayesian classifier. | Seiya Abe, Osamu Mizuno, Tohru Kikuno, Nahomi Kikuchi, Masayuki Hirayama |
| 2006 | PROFES | Characterization of Runaway Software Projects Using Association Rule Mining. | Sousuke Amasaki, Yasuhiro Hamano, Osamu Mizuno, Tohru Kikuno |
| 2005 | APSEC | Describing and Verifying Integrated Services of Home Network Systems. | Pattara Leelaprute, Tatsuhiro Tsuchiya, Tohru Kikuno, Masahide Nakamura, Ken-ichi Matsumoto |
| 2005 | ICPADS | Overlay Network Topologies for Gossip-Based Multicast. | Daisuke Igarashi, Tatsuhiro Tsuchiya, Tohru Kikuno |
| 2005 | PRDC | Why Do Software Projects Fail? Reasons and a Solution Using a Bayesian Classifier to Predict Potential Risk. | Tohru Kikuno |
| 2004 | AINA | A Self-organizing Technique for Sensor Placement in Wireless Micro-Sensor Networks. | TheinLai Wong, Tatsuhiro Tsuchiya, Tohru Kikuno |
| 2004 | ATVA | SAT-Based Verification of Safe Petri Nets. | Shougo Ogata, Tatsuhiro Tsuchiya, Tohru Kikuno |
| 2004 | COMPSAC | Using Artificial Life Techniques to Generate Test Cases for Combinatorial Testing. | Toshiaki Shiba, Tatsuhiro Tsuchiya, Tohru Kikuno |
| 2004 | PRDC | On the Effects of Partial Membership Knowledge on Reliability of Gossip-Based Multicast. | Tatsuhiro Tsuchiya, Tohru Kikuno |
| 2004 | PROFES | An Empirical Evaluation of Predicting Runaway Software Projects Using Bayesian Classification. | Osamu Mizuno, Takanari Hamasaki, Yasunari Takagi, Tohru Kikuno |
| 2003 | APSEC | Evaluating Semantic Warnings in VoIP Programmable Services with Open Source Environment. | Pattara Leelaprute, Masahide Nakamura, Ken-ichi Matsumoto, Tohru Kikuno |
| 2003 | ISSRE | A Bayesian Belief Network for Assessing the Likelihood of Fault Content. | Sousuke Amasaki, Yasunari Takagi, Osamu Mizuno, Tohru Kikuno |
| 2002 | ISSRE | On Estimating Testing Effort Needed to Assure Field Quality in Software Development. | Osamu Mizuno, Eijiro Shigematsu, Yasunari Takagi, Tohru Kikuno |
| 2002 | PRDC | Detecting Feature Interactions in Telecommunication Services with a SAT Solver. | Tatsuhiro Tsuchiya, Masahide Nakamura, Tohru Kikuno |
| 2001 | APSEC | Improving the Testing Process by Program Static Analysis. | Nahomi Kikuchi, Tohru Kikuno |
| 2001 | APSEC | Development of Session Management Mechanism for Cellular Phone with WWW Connection. | Satoru Uehara, Osamu Mizuno, Tohru Kikuno |
| 2001 | DSN | Applicability of Non-Specification-Based Approaches to Logic Testing for Software. | Noritaka Kobayashi, Tatsuhiro Tsuchiya, Tohru Kikuno |
| 2000 | COMPSAC | Identifying Key Attributes of Projects that Affect the Field Quality of Communication Software. | Nahomi Kikuchi, Osamu Mizuno, Tohru Kikuno |
| 2000 | DSN | Fault-Secure Scheduling of Arbitrary Task Graphs to Multiprocessor Systems. | Koji Hashimoto, Tatsuhiro Tsuchiya, Tohru Kikuno |
| 2000 | ICSE | Characterization of risky projects based on project managers' evaluation. | Osamu Mizuno, Tohru Kikuno, Yasunari Takagi, Keishi Sakamoto |
| 2000 | ISORC | Intelligent Scheduling based on Start Time Adjustment for Advanced Sequential Control Systems. | Takeiki Aizono, Tohru Kikuno |
| 1999 | APSEC | A Straightforward Approach to Effort Estimation for Updating Programs in Object-Oriented Prototyping Development. | Satoru Uehara, Osamu Mizuno, Tohru Kikuno |
| 1999 | COMPSAC | A Framework for Top-Down Cost Estimation of Software Development. | Tsuneo Yamaura, Tohru Kikuno |
| 1998 | ICECCS | VP Reservation for Rapid Restoration Using Multiagents. | Yoshiaki Kakuda, Shin'ichi Nagano, Tohru Kikuno, Masahiro Terabe |
| 1998 | ICSE | Analyzing Effects of Cost Estimation Accuracy on Quality and Productivity. | Osamu Mizuno, Tohru Kikuno, Katsumi Inagaki, Yasunari Takagi, Keishi Sakamoto |
| 1998 | ISORC | Experience of Responsiveness Verification for Connection Establishment Protocols. | Shin'ichi Nagano, Yoshiaki Kakuda, Tohru Kikuno |
| 1998 | RTCSA | Experimental Evaluation of Simplified Verification Methods for Responsive Communication Protocols. | Shin'ichi Nagano, Tohru Kikuno |
| 1998 | SRDS | A Multiprocessor Scheduling Algorithm for Low Overhead Fault-Tolerance. | Koji Hashimoto, Tatsuhiro Tsuchiya, Tohru Kikuno |
| 1997 | COMPSAC | Derivation of Safety Requirements for Safety Analysis of Object-Oriented Design Documents. | Tatsuhiro Tsuchiya, Hirofumi Terada, Shinji Kusumoto, Tohru Kikuno, Eun Mi Kim |
| 1997 | ICECCS | A Synthesis Method for Fault-tolerant and Flexible Multipath Routing Protocols. | Yutaka Hatanaka, Masahide Nakamura, Yoshiaki Kakuda, Tohru Kikuno |
| 1997 | INFOCOM | Analyzing Non-Determinism in Telecommunication Services Using P-Invariant of Petri-Net Model. | Masahide Nakamura, Yoshiaki Kakuda, Tohru Kikuno |
| 1997 | ICSE | A New Software Project Simulator Based on Generalized Stochastic Petri-net. | Shinji Kusumoto, Osamu Mizuno, Tohru Kikuno, Yuji Hirayama, Yasunari Takagi, Keishi Sakamoto |
| 1996 | COMPSAC | Heuristics for Computing Attribute Values of C++ Program Complexity Metrics. | Eun Mi Kim, Shinji Kusumoto, Tohru Kikuno, Ok-Bae Chang |
| 1996 | ICNP | Timed Reachability Analysis Method for EFSM-based Communication Protocols and Its Experimental Evaluation. | Shin'ichi Nagano, Yoshinori Hatakeyama, Yoshiaki Kakuda, Tohru Kikuno |
| 1996 | INFOCOM | An Integration-Oriented Approach for Designing Communication Protocols from Component-Based Service Specifications. | Masahide Nakamura, Yoshiaki Kakuda, Tohru Kikuno |
| 1995 | ICNP | A routing protocol for finding two node-disjoint paths in computer networks. | Kenji Ishida, Yoshiaki Kakuda, Tohru Kikuno |
| 1995 | ICSE | Improvement of Software Process by Process Description and Benefit Estimation. | Toshifumi Tanaka, Keishi Sakamoto, Shinji Kusumoto, Ken-ichi Matsumoto, Tohru Kikuno |
| 1995 | ISSRE | An approach to safety and correctness verification of software design specification. | Eun Mi Kim, Shinji Kusumoto, Tohru Kikuno |
| 1995 | ISSRE | Analysis of review's effectiveness based on software metrics. | Yasunari Takagi, Toshifumi Tanaka, Naoki Niihara, Keishi Sakamoto, Shinji Kusumoto, Tohru Kikuno |
| 1995 | RTCSA | A new fault-tolerant scheduling technique for real-time multiprocessor systems. | Tatsuhiro Tsuchiya, Yoshiaki Kakuda, Tohru Kikuno |
| 1994 | COMPSAC | Analysis of metrics for object-oriented program complexity. | Eun Mi Kim, Ok-Bae Chang, Shinji Kusumoto, Tohru Kikuno |
| 1994 | FORTE | Application of protocol sythesis technique to resolution of the service interaction problem. | Yoshiaki Kakuda, Hiroyuki Asada, Tohru Kikuno |
| 1994 | ICNP | Automated synthesis of protocol specifications with message collisions and verification of timeliness. | Yoshiaki Kakuda, Hirotaka Igarashi, Tohru Kikuno |
| 1991 | COMPSAC | Experimental evaluation of the cost effectiveness of software reviews. | Shinji Kusumoto, Ken-ichi Matsumoto, Tohru Kikuno, Koji Torii |
| 1991 | COMPSAC | Fault analysis based on fault reporting in JSP software development. | Yukio Mohri, Tohru Kikuno |
| 1989 | ICSE | A Formal Adaptation Method for Process Descriptions. | Katsuro Inoue, Takeshi Ogihara, Tohru Kikuno, Koji Torii |
| 1984 | ICDE | A Semantic Approach to Usability in Relational Database Systems. | Kazuo Sugihara, Jun'ichi Miyao, Tohru Kikuno, Noriyoshi Yoshida |
| 1984 | SRDS | A Distributed Algorithm for Deadlock Detection and Resolution. | Kazuo Sugihara, Tohru Kikuno, Noriyoshi Yoshida, Masanobu Ogata |
| 1979 | COMPSAC | A fast selective traversal algorithm for binary search trees. | Tohru Kikuno, Noriyoshi Yoshida, Hiromi Kusumoto |