- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| j43 |      | Toru Nanba, Tatsuhiro Tsuchiya, Tohru Kikuno: Using Satisfiability Solving for Pairwise Testing in the Presence of Constraints. IEICE Transactions 95-A(9): 1501-1505 (2012) |
| c99 | | Hideaki Hata, Osamu Mizuno, Tohru Kikuno: Bug prediction based on fine-grained module histories. ICSE 2012: 200-210 |
| c98 | | Tatsuya Noguchi, Tatsuhiro Tsuchiya, Tohru Kikuno: Safety Verification of Asynchronous Consensus Algorithms with Model Checking. PRDC 2012: 80-88 |
| 2011 | ||
| c97 | | Hiroyuki Inoue, Tatsuhiro Tsuchiya, Tohru Kikuno: Bounded Model Checking of Concurrent Systems with Unbounded Integer Variables. ICNC 2011: 261-265 |
| c96 | | Toru Nanba, Tatsuhiro Tsuchiya, Tohru Kikuno: Constructing Test Sets for Pairwise Testing: A SAT-Based Approach. ICNC 2011: 271-274 |
| c95 | | Hideaki Hata, Osamu Mizuno, Tohru Kikuno: Historage: fine-grained version control system for Java. EVOL/IWPSE 2011: 96-100 |
| c94 | | |
| 2010 | ||
| j42 | | Hideaki 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) |
| j41 | | Fuminori Makikawa, Tatsuhiro Tsuchiya, Tohru Kikuno: Constructing Overlay Networks with Short Paths and Low Communication Cost. IEICE Transactions 93-D(6): 1540-1548 (2010) |
| j40 | | Masahiro 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) |
| c93 | | Fuminori Makikawa, Tatsuhiro Tsuchiya, Tohru Kikuno: Balance and Proximity-Aware Skip Graph Construction. ICNC 2010: 268-271 |
| c92 | | Masashi Hamamatsu, Tatsuhiro Tsuchiya, Tohru Kikuno: On the Reliability of Cascaded TMR Systems. PRDC 2010: 184-190 |
| 2009 | ||
| j39 | | Toshifusa Sekizawa, Tatsuhiro Tsuchiya, Koichi Takahashi, Tohru Kikuno: Probabilistic Model Checking of the One-Dimensional Ising Model. IEICE Transactions 92-D(5): 1003-1011 (2009) |
| j38 | | Takafumi Matsuo, Tatsuhiro Tsuchiya, Tohru Kikuno: Feature Interaction Verification Using Unbounded Model Checking with Interpolation. IEICE Transactions 92-D(6): 1250-1259 (2009) |
| j37 | | Masahiro 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) |
| j36 | | Tim 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) |
| c91 | | Takahiro Minamikawa, Tatsuhiro Tsuchiya, Tohru Kikuno: Towards Automated Verification of Distributed Consensus Protocols. APSEC 2009: 499-506 |
| c90 | | Masaya Kadono, Tatsuhiro Tsuchiya, Tohru Kikuno: Using the NuSMV Model Checker for Test Generation from Statecharts. PRDC 2009: 37-42 |
| 2008 | ||
| j35 | | Osamu Mizuno, Tohru Kikuno: Prediction of Fault-Prone Software Modules Using a Generic Text Discriminator. IEICE Transactions 91-D(4): 888-896 (2008) |
| j34 | | TheinLai Wong, Tatsuhiro Tsuchiya, Tohru Kikuno: A self-organising algorithm for sensor placement in wireless mobile microsensor networks. IJWMC 3(1/2): 69-78 (2008) |
| c89 | | Junya 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 |
| c88 | | Hideaki Hata, Osamu Mizuno, Tohru Kikuno: Comparative Study of Fault-Proneness Filtering with PMD. ISSRE 2008: 317-318 |
| c87 | | Kentaro Yoshimura, Fumio Narisawa, Koji Hashimoto, Tohru Kikuno: FAVE: factor analysis based approach for detecting product line variability from change history. MSR 2008: 11-18 |
| c86 | | Hideaki Hata, Osamu Mizuno, Tohru Kikuno: An extension of fault-prone filtering using precise training and a dynamic threshold. MSR 2008: 89-98 |
| c85 | | Takahiro Minamikawa, Tatsuhiro Tsuchiya, Tohru Kikuno: Language and Tool Support for Model Checking of Fault-Tolerant Distributed Algorithms. PRDC 2008: 40-47 |
| c84 | | Masashi Hamamatsu, Tatsuhiro Tsuchiya, Tohru Kikuno: Finding the Optimal Configuration of a Cascading TMR System. PRDC 2008: 349-350 |
| c83 | | Pattara Leelaprute, Takafumi Matsuo, Tatsuhiro Tsuchiya, Tohru Kikuno: Detecting Feature Interactions in Home Appliance Networks. SNPD 2008: 895-903 |
| c82 |  | Kentaro 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 |
| c81 | | Shin Kimoto, Tatsuhiro Tsuchiya, Tohru Kikuno: Pairwise Testing in the Presence of Configuration Change Cost. SSIRI 2008: 32-38 |
| 2007 | ||
| j33 | | TheinLai 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) |
| c80 | | Osamu Mizuno, Shiro Ikami, Shuya Nakaichi, Tohru Kikuno: Fault-Prone Filtering: Detection of Fault-Prone Modules Using Spam Filtering Technique. ESEM 2007: 374-383 |
| c79 | | Osamu Mizuno, Shiro Ikami, Shuya Nakaichi, Tohru Kikuno: Spam Filter Based Approach for Finding Fault-Prone Software Modules. MSR 2007: 4 |
| c78 | | Fuminori Makikawa, Takafumi Matsuo, Tatsuhiro Tsuchiya, Tohru Kikuno: Constructing Overlay Networks with Low Link Costs and Short Paths. NCA 2007: 299-304 |
| c77 | | TheinLai 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 |
| c76 | | Osamu Mizuno, Tohru Kikuno: Training on errors experiment to detect fault-prone software modules by spam filter. ESEC/SIGSOFT FSE 2007: 405-414 |
| 2006 | ||
| j32 | | Tatsuhiro Tsuchiya, Shinichi Ikeda, Tohru Kikuno: Counter-based reliability optimization for gossip-based broadcasting. Computer Communications 29(9): 1516-1521 (2006) |
| c75 | | Takuya Okuyama, Tatsuhiro Tsuchiya, Tohru Kikuno: Improving the Robustness of Epidemic Communication in Scale-Free Networks. BioADIT 2006: 294-305 |
| c74 | | Shinichi Ikeda, Tatsuhiro Tsuchiya, Tohru Kikuno: A Decentralized Scheme for Network-Aware Reliable Overlay Construction. ICOIN 2006: 955-964 |
| c73 | | Seiya Abe, Osamu Mizuno, Tohru Kikuno, Nahomi Kikuchi, Masayuki Hirayama: Estimation of project success using Bayesian classifier. ICSE 2006: 600-603 |
| c72 | | Sousuke Amasaki, Yasuhiro Hamano, Osamu Mizuno, Tohru Kikuno: Characterization of Runaway Software Projects Using Association Rule Mining. PROFES 2006: 402-407 |
| 2005 | ||
| j31 | | Yasunari 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) |
| j30 | | Sousuke 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) |
| j29 | | Takeshi 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) |
| j28 | | Masayuki 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) |
| j27 | | Sousuke 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) |
| c71 | | Pattara Leelaprute, Tatsuhiro Tsuchiya, Tohru Kikuno, Masahide Nakamura, Ken-ichi Matsumoto: Describing and Verifying Integrated Services of Home Network Systems. APSEC 2005: 549-560 |
| c70 | | Pattara Leelaprute, Tohru Kikuno, Masahide Nakamura, Ken-ichi Matsumoto: Definition and Detection of Semantic Warnings for VoiceXML. IASTED Conf. on Software Engineering 2005: 267-275 |
| c69 | | Daisuke Igarashi, Tatsuhiro Tsuchiya, Tohru Kikuno: Overlay Network Topologies for Gossip-Based Multicast. ICPADS (1) 2005: 2-7 |
| c68 | | Tohru Kikuno: Why Do Software Projects Fail? Reasons and a Solution Using a Bayesian Classifier to Predict Potential Risk. PRDC 2005: 4 |
| 2004 | ||
| j26 | | Masahide 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) |
| j25 | | Masayuki Hirayama, Osamu Mizuno, Tohru Kikuno: Test Item Prioritizing Metrics for Selective Software Testing. IEICE Transactions 87-D(12): 2733-2743 (2004) |
| c67 | | TheinLai Wong, Tatsuhiro Tsuchiya, Tohru Kikuno: A Self-organizing Technique for Sensor Placement in Wireless Micro-Sensor Networks. AINA (1) 2004: 78-83 |
| c66 | | Shougo Ogata, Tatsuhiro Tsuchiya, Tohru Kikuno: SAT-Based Verification of Safe Petri Nets. ATVA 2004: 79-92 |
| c65 | | Tatsuhiro Tsuchiya, Tohru Kikuno: An Adaptive Mechanism for Epidemic Communication. BioADIT 2004: 306-316 |
| c64 | | Toshiaki Shiba, Tatsuhiro Tsuchiya, Tohru Kikuno: Using Artificial Life Techniques to Generate Test Cases for Combinatorial Testing. COMPSAC 2004: 72-77 |
| c63 | | Tatsuhiro Tsuchiya, Tohru Kikuno: On the Effects of Partial Membership Knowledge on Reliability of Gossip-Based Multicast. PRDC 2004: 76-83 |
| c62 | | Osamu Mizuno, Takanari Hamasaki, Yasunari Takagi, Tohru Kikuno: An Empirical Evaluation of Predicting Runaway Software Projects Using Bayesian Classification. PROFES 2004: 263-273 |
| 2003 | ||
| j24 | | Satoru 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) |
| c61 | | Pattara Leelaprute, Masahide Nakamura, Ken-ichi Matsumoto, Tohru Kikuno: Evaluating Semantic Warnings in VoIP Programmable Services with Open Source Environment. APSEC 2003: 552- |
| c60 | | Masayuki 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 |
| c59 | | Masahide Nakamura, Pattara Leelaprute, Ken-ichi Matsumoto, Tohru Kikuno: Detecting Script-to-Script Interactions in Call Processing Language. FIW 2003: 215-230 |
| c58 | | Sousuke Amasaki, Yasunari Takagi, Osamu Mizuno, Tohru Kikuno: A Bayesian Belief Network for Assessing the Likelihood of Fault Content. ISSRE 2003: 215-226 |
| c57 | | Masahide Nakamura, Pattara Leelaprute, Ken-ichi Matsumoto, Tohru Kikuno: Semantic Warnings and Feature Interaction in Call Processing Language on Internet Telephony. SAINT 2003: 283-291 |
| 2002 | ||
| j23 | | Noritaka Kobayashi, Tatsuhiro Tsuchiya, Tohru Kikuno: Non-specification-based approaches to logic testing for software. Information & Software Technology 44(2): 113-121 (2002) |
| j22 | | Noritaka 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) |
| j21 | | Tatsuhiro Tsuchiya, Tohru Kikuno: Byzantine quorum systems with maximum availability. Inf. Process. Lett. 83(2): 71-77 (2002) |
| j20 | | Tatsuhiro Tsuchiya, Tohru Kikuno: On fault classes and error detection capability of specification-based testing. ACM Trans. Softw. Eng. Methodol. 11(1): 58-62 (2002) |
| c56 | | Sousuke 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 |
| c55 | | Eun Hye Choi, Tatsuhiro Tsuchiya, Tohru Kikuno: Optimal k-Coteries That Maximize Availability in General Networks. ICOIN (2) 2002: 596-608 |
| c54 | | Takayuki Hamada, Tatsuhiro Tsuchiya, Masahide Nakamura, Tohru Kikuno: Using Symbolic Model Checking to Detect Service Interactions in Telecommunication Services. ICOIN (1) 2002: 641-651 |
| c53 | | Masayuki Hirayama, Tetsuya Yamamoto, Jiro Okayasu, Osamu Mizuno, Tohru Kikuno: Elimination of Crucial Faults by a New Selective Testing Method. ISESE 2002: 183-194 |
| c52 | | Osamu Mizuno, Eijiro Shigematsu, Yasunari Takagi, Tohru Kikuno: On Estimating Testing Effort Needed to Assure Field Quality in Software Development. ISSRE 2002: 139-148 |
| c51 | | Tatsuhiro Tsuchiya, Masahide Nakamura, Tohru Kikuno: Detecting Feature Interactions in Telecommunication Services with a SAT Solver. PRDC 2002: 131-136 |
| c50 | | Masahide Nakamura, Pattara Leelaprute, Tohru Kikuno: Deriving Interaction-Prone Scenarios in Feature Interaction Filtering with Use Case Maps. WORDS 2002: 237-244 |
| 2001 | ||
| j19 | | Noritaka 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) |
| j18 | | Tatsuhiro 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) |
| c49 | | Osamu 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 |
| c48 | | Masayuki 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 |
| c47 | | Nahomi Kikuchi, Tohru Kikuno: Improving the Testing Process by Program Static Analysis. APSEC 2001: 195-201 |
| c46 | | Satoru Uehara, Osamu Mizuno, Tohru Kikuno: Development of Session Management Mechanism for Cellular Phone with WWW Connection. APSEC 2001: 345- |
| c45 | | Noritaka Kobayashi, Tatsuhiro Tsuchiya, Tohru Kikuno: Applicability of Non-Specification-Based Approaches to Logic Testing for Software. DSN 2001: 337-346 |
| c44 | | Satoru Uehara, Osamu Mizuno, Tohru Kikuno: An Implementation of Electronic Shopping Cart on the Web System using Component-Object Technology. WORDS 2001: 77-84 |
| 2000 | ||
| j17 | | Osamu 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) |
| j16 | | Koji 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) |
| c43 | | Masayuki 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 |
| c42 | | Nahomi Kikuchi, Osamu Mizuno, Tohru Kikuno: Identifying Key Attributes of Projects that Affect the Field Quality of Communication Software. COMPSAC 2000: 176-178 |
| c41 | | Koji Hashimoto, Tatsuhiro Tsuchiya, Tohru Kikuno: Fault-Secure Scheduling of Arbitrary Task Graphs to Multiprocessor Systems. DSN 2000: 203-212 |
| c40 | | Masahide Nakamura, Tohru Kikuno, Jameleddine Hassine, Luigi Logrippo: Feature Interaction Filtering with Use Case Maps at Requirements Stage. FIW 2000: 163-178 |
| c39 | | Osamu Mizuno, Tohru Kikuno, Yasunari Takagi, Keishi Sakamoto: Characterization of risky projects based on project managers' evaluation. ICSE 2000: 387-395 |
| c38 | | Takeiki Aizono, Tohru Kikuno: Intelligent Scheduling based on Start Time Adjustment for Advanced Sequential Control Systems. ISORC 2000: 138- |
| 1999 | ||
| j15 | | Tatsuhiro Tsuchiya, Tohru Kikuno: Availability Evaluation of Quorum-Based Mutual Exclusion Schemes in General Topology Networks. Comput. J. 42(7): 613-622 (1999) |
| j14 | | Kenji 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) |
| j13 | | Tatsuhiro Tsuchiya, Nobuhiko Ido, Tohru Kikuno: Constructing Byzantine Quorum Systems from Combinatorial Designs. Inf. Process. Lett. 71(1): 35-42 (1999) |
| j12 | | Tatsuhiro 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) |
| c37 | | Satoru Uehara, Osamu Mizuno, Tohru Kikuno: A Straightforward Approach to Effort Estimation for Updating Programs in Object-Oriented Prototyping Development. APSEC 1999: 144- |
| c36 | | Tsuneo Yamaura, Tohru Kikuno: A Framework for Top-Down Cost Estimation of Software Development. COMPSAC 1999: 322-323 |
| c35 | | Satoru Uehara, Osamu Mizuno, Yumi Itou, Tohru Kikuno: An MVC-based analysis of object-oriented system prototyping for banking related GUI applications-correlationship between OO metrics and efforts for requirement change. WORDS (Jan.) 1999: 65-73 |
| c34 | | Eun Hye Choi, Tatsuhiro Tsuchiya, Tohru Kikuno: On the availability of k-coteries in networks with unreliable nodes and links. WORDS (Jan.) 1999: 148-155 |
| 1998 | ||
| j11 | | Masahide Nakamura, Tohru Kikuno: A new approach in feature interaction testing. Integration 26(1-2): 211-223 (1998) |
| j10 | | Shinji 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) |
| c33 | | Shin'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 |
| c32 | | Masahide Nakamura, Yoshiaki Kakuda, Tohru Kikuno: Feature Interaction Detection Using Permutation Symmetry. FIW 1998: 187-201 |
| c31 | | Yoshiaki Kakuda, Shin'ichi Nagano, Tohru Kikuno, Masahiro Terabe: VP Reservation for Rapid Restoration Using Multiagents. ICECCS 1998: 121-128 |
| c30 | | Osamu Mizuno, Tohru Kikuno, Katsumi Inagaki, Yasunari Takagi, Keishi Sakamoto: Analyzing Effects of Cost Estimation Accuracy on Quality and Productivity. ICSE 1998: 410-419 |
| c29 | | Shin'ichi Nagano, Yoshiaki Kakuda, Tohru Kikuno: Experience of Responsiveness Verification for Connection Establishment Protocols. ISORC 1998: 383- |
| c28 | | Shin'ichi Nagano, Tohru Kikuno: Experimental Evaluation of Simplified Verification Methods for Responsive Communication Protocols. RTCSA 1998: 195-199 |
| c27 | | Koji Hashimoto, Tatsuhiro Tsuchiya, Tohru Kikuno: A Multiprocessor Scheduling Algorithm for Low Overhead Fault-Tolerance. SRDS 1998: 186-194 |
| 1997 | ||
| j9 | | Lin 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) |
| c26 | | Osamu 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- |
| c25 | | Tatsuhiro Tsuchiya, Hirofumi Terada, Shinji Kusumoto, Tohru Kikuno, Eun Mi Kim: A Parallelizing Compiler by Object Oriented Design. COMPSAC 1997: 232-239 |
| c24 | | Tatsuhiro 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- |
| c23 | | Masahide Nakamura, Yoshiaki Kakuda, Tohru Kikuno: Petri-Net Based Detection Method for Non-Deterministic Feature Interactions and its Experimental Evaluation. FIW 1997: 138-152 |
| c22 | | Koji Hashimoto, Tatsuhiro Tsuchiya, Tohru Kikuno: A New Approach to Realizing Fault-Tolerant Multiprocessor Scheduling by Exploiting Implicit Redundancy. FTCS 1997: 174-183 |
| c21 | | Yutaka Hatanaka, Masahide Nakamura, Yoshiaki Kakuda, Tohru Kikuno: A Synthesis Method for Fault-tolerant and Flexible Multipath Routing Protocols. ICECCS 1997: 96-105 |
| c20 | | Shinji 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 |
| c19 | | Masahide Nakamura, Yoshiaki Kakuda, Tohru Kikuno: Analyzing Non-Determinism in Telecommunication Services Using P-Invariant of Petri-Net Model. INFOCOM 1997: 1253-1260 |
| c18 | | Eun Mi Kim, Shinji Kusumoto, Tatsuhiro Tsuchiya, Tohru Kikuno: An approach to safety verification of object-oriented design specification for an elevator control system. WORDS 1997: 256-263 |
| 1996 | ||
| j8 | | Masahide Nakamura, Yoshiaki Kakuda, Tohru Kikuno: On constructing communication protocols from component-based service specifications. Computer Communications 19(14): 1200-1215 (1996) |
| j7 | | Shinji 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) |
| j6 | | Tatsuhiro Tsuchiya, Yoshiaki Kakuda, Tohru Kikuno: Modeling and evaluation of responsive multiprocessor systems. Systems and Computers in Japan 27(14): 20-28 (1996) |
| c17 | | Daisuke Teratani, Yoshiaki Kakuda, Tohru Kikuno: A New Model with Time Constraints for Conformance Testing of Communication Protocols. Asian Test Symposium 1996: 269- |
| c16 | | Eun Mi Kim, Shinji Kusumoto, Tohru Kikuno, Ok-Bae Chang: Heuristics for Computing Attribute Values of C++ Program Complexity Metrics. COMPSAC 1996: 104-109 |
| c15 | | Shin'ichi Nagano, Yoshinori Hatakeyama, Yoshiaki Kakuda, Tohru Kikuno: Timed Reachability Analysis Method for EFSM-based Communication Protocols and Its Experimental Evaluation. ICNP 1996: 92- |
| c14 | | Masahide Nakamura, Yoshiaki Kakuda, Tohru Kikuno: An Integration-Oriented Approach for Designing Communication Protocols from Component-Based Service Specifications. INFOCOM 1996: 1157-1164 |
| 1995 | ||
| j5 | | Yoshiaki Kakuda, Hideki Yukitomo, Shinji Kusumoto, Tohru Kikuno: Localizing Multiple Faults in a Protocol Implementation. IEEE Design & Test of Computers 12(3): 34-42 (1995) |
| j4 | | Yoshiaki 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) |
| c13 | | Yoshiaki Kakuda, Akihiro Inoue, Hiroyuki Asada, Tohru Kikuno, Tadashi Ohta: A Dynamic Resolution Method for Feature Interactions and Its Evaluation. FIW 1995: 97-114 |
| c12 | | Kenji Ishida, Yoshiaki Kakuda, Tohru Kikuno: A routing protocol for finding two node-disjoint paths in computer networks. ICNP 1995: 340- |
| c11 | | Toshifumi Tanaka, Keishi Sakamoto, Shinji Kusumoto, Ken-ichi Matsumoto, Tohru Kikuno: Improvement of Software Process by Process Description and Benefit Estimation. ICSE 1995: 123-132 |
| c10 | | Tatsuhiro Tsuchiya, Yoshiaki Kakuda, Tohru Kikuno: A new fault-tolerant scheduling technique for real-time multiprocessor systems. RTCSA 1995: 197-202 |
| 1994 | ||
| j3 | | Yoshiaki Kakuda, Tohru Kikuno, Kenichi Kawashima: Automated Verification of Responsive Protocols Modeled by Extended Finite State Machines. Real-Time Systems 7(3): 275-289 (1994) |
| c9 | | Yoshiaki Kakuda, Hiroyuki Asada, Tohru Kikuno: Application of protocol sythesis technique to resolution of the service interaction problem. FORTE 1994: 379-381 |
| c8 | | Lin 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 |
| 1993 | ||
| c7 | | Chang Chen, Hiroyuki Asada, Yoshiaki Kakuda, Tohru Kikuno: Comparison of Hybrid Modular Redundant Multiprocessor Systems with respect to Performabilitites. FTCS 1993: 66-75 |
| 1991 | ||
| c6 | | C. Chen, An Feng, Tohru Kikuno, Koji Torii: Reconfiguration Algorithm for Fault-Tolerant Arrays with Minimum Number of Dangerous Processors. FTCS 1991: 452-461 |
| 1990 | ||
| c5 | | An Feng, Tohru Kikuno, Koji Torii: Incremental Attribute Evaluation for Multiple Subtree Replacements in Structure-Oriented Environments. WAGA 1990: 192-206 |
| 1989 | ||
| j2 | | Kazuo Sugihara, Tohru Kikuno, Noriyoshi Yoshida: A Meeting Scheduler for Office Automation. IEEE Trans. Software Eng. 15(10): 1141-1146 (1989) |
| c4 | | Katsuro Inoue, Takeshi Ogihara, Tohru Kikuno, Koji Torii: A Formal Adaptation Method for Process Descriptions. ICSE 1989: 145-153 |
| 1988 | ||
| c3 | | Ken-ichi Matsumoto, Katsuro Inoue, Tohru Kikuno, Koji Torii: Experimental evaluation of software reliability growth models. FTCS 1988: 148-153 |
| 1987 | ||
| j1 | | Takashi 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 | ||
| c2 | | Kazuo Sugihara, Jun'ichi Miyao, Tohru Kikuno, Noriyoshi Yoshida: A Semantic Approach to Usability in Relational Database Systems. ICDE 1984: 203-210 |
| c1 | | Kazuo 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 |
Colors in the list of coauthors
Last update Sat May 25 06:08:23 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page