 | 2009 |
|---|
| 118 |       | 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) |
| 117 | | Takafumi Matsuo,
Tatsuhiro Tsuchiya,
Tohru Kikuno:
Feature Interaction Verification Using Unbounded Model Checking with Interpolation.
IEICE Transactions 92-D(6): 1250-1259 (2009) |
| 2008 |
|---|
| 116 | | 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 |
| 115 | | Hideaki Hata,
Osamu Mizuno,
Tohru Kikuno:
Comparative Study of Fault-Proneness Filtering with PMD.
ISSRE 2008: 317-318 |
| 114 | | 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 |
| 113 | | Hideaki Hata,
Osamu Mizuno,
Tohru Kikuno:
An extension of fault-prone filtering using precise training and a dynamic threshold.
MSR 2008: 89-98 |
| 112 | | Masashi Hamamatsu,
Tatsuhiro Tsuchiya,
Tohru Kikuno:
Finding the Optimal Configuration of a Cascading TMR System.
PRDC 2008: 349-350 |
| 111 | | Takahiro Minamikawa,
Tatsuhiro Tsuchiya,
Tohru Kikuno:
Language and Tool Support for Model Checking of Fault-Tolerant Distributed Algorithms.
PRDC 2008: 40-47 |
| 110 | | Pattara Leelaprute,
Takafumi Matsuo,
Tatsuhiro Tsuchiya,
Tohru Kikuno:
Detecting Feature Interactions in Home Appliance Networks.
SNPD 2008: 895-903 |
| 109 |  | 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 |
| 108 | | Osamu Mizuno,
Tohru Kikuno:
Prediction of Fault-Prone Software Modules Using a Generic Text Discriminator.
IEICE Transactions 91-D(4): 888-896 (2008) |
| 107 | | 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) |
| 2007 |
|---|
| 106 | | Osamu Mizuno,
Tohru Kikuno:
Training on errors experiment to detect fault-prone software modules by spam filter.
ESEC/SIGSOFT FSE 2007: 405-414 |
| 105 | | Osamu Mizuno,
Shiro Ikami,
Shuya Nakaichi,
Tohru Kikuno:
Fault-Prone Filtering: Detection of Fault-Prone Modules Using Spam Filtering Technique.
ESEM 2007: 374-383 |
| 104 | | Osamu Mizuno,
Shiro Ikami,
Shuya Nakaichi,
Tohru Kikuno:
Spam Filter Based Approach for Finding Fault-Prone Software Modules.
MSR 2007: 4 |
| 103 | | Fuminori Makikawa,
Takafumi Matsuo,
Tatsuhiro Tsuchiya,
Tohru Kikuno:
Constructing Overlay Networks with Low Link Costs and Short Paths.
NCA 2007: 299-304 |
| 102 | | 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 |
| 101 | | 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) |
| 2006 |
|---|
| 100 | | Takuya Okuyama,
Tatsuhiro Tsuchiya,
Tohru Kikuno:
Improving the Robustness of Epidemic Communication in Scale-Free Networks.
BioADIT 2006: 294-305 |
| 99 | | Shinichi Ikeda,
Tatsuhiro Tsuchiya,
Tohru Kikuno:
A Decentralized Scheme for Network-Aware Reliable Overlay Construction.
ICOIN 2006: 955-964 |
| 98 | | Seiya Abe,
Osamu Mizuno,
Tohru Kikuno,
Nahomi Kikuchi,
Masayuki Hirayama:
Estimation of project success using Bayesian classifier.
ICSE 2006: 600-603 |
| 97 | | Sousuke Amasaki,
Yasuhiro Hamano,
Osamu Mizuno,
Tohru Kikuno:
Characterization of Runaway Software Projects Using Association Rule Mining.
PROFES 2006: 402-407 |
| 96 | | Tatsuhiro Tsuchiya,
Shinichi Ikeda,
Tohru Kikuno:
Counter-based reliability optimization for gossip-based broadcasting.
Computer Communications 29(9): 1516-1521 (2006) |
| 2005 |
|---|
| 95 | | Pattara Leelaprute,
Tatsuhiro Tsuchiya,
Tohru Kikuno,
Masahide Nakamura,
Ken-ichi Matsumoto:
Describing and Verifying Integrated Services of Home Network Systems.
APSEC 2005: 549-560 |
| 94 | | 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 |
| 93 | | Daisuke Igarashi,
Tatsuhiro Tsuchiya,
Tohru Kikuno:
Overlay Network Topologies for Gossip-Based Multicast.
ICPADS (1) 2005: 2-7 |
| 92 | | Tohru Kikuno:
Why Do Software Projects Fail? Reasons and a Solution Using a Bayesian Classifier to Predict Potential Risk.
PRDC 2005: 4 |
| 91 | | 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) |
| 90 | | 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) |
| 89 | | 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) |
| 88 | | 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) |
| 87 | | 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) |
| 2004 |
|---|
| 86 | | TheinLai Wong,
Tatsuhiro Tsuchiya,
Tohru Kikuno:
A Self-organizing Technique for Sensor Placement in Wireless Micro-Sensor Networks.
AINA (1) 2004: 78-83 |
| 85 | | Shougo Ogata,
Tatsuhiro Tsuchiya,
Tohru Kikuno:
SAT-Based Verification of Safe Petri Nets.
ATVA 2004: 79-92 |
| 84 | | Tatsuhiro Tsuchiya,
Tohru Kikuno:
An Adaptive Mechanism for Epidemic Communication.
BioADIT 2004: 306-316 |
| 83 | | Toshiaki Shiba,
Tatsuhiro Tsuchiya,
Tohru Kikuno:
Using Artificial Life Techniques to Generate Test Cases for Combinatorial Testing.
COMPSAC 2004: 72-77 |
| 82 | | Tatsuhiro Tsuchiya,
Tohru Kikuno:
On the Effects of Partial Membership Knowledge on Reliability of Gossip-Based Multicast.
PRDC 2004: 76-83 |
| 81 | | Osamu Mizuno,
Takanari Hamasaki,
Yasunari Takagi,
Tohru Kikuno:
An Empirical Evaluation of Predicting Runaway Software Projects Using Bayesian Classification.
PROFES 2004: 263-273 |
| 80 | | 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) |
| 2003 |
|---|
| 79 | | Pattara Leelaprute,
Masahide Nakamura,
Ken-ichi Matsumoto,
Tohru Kikuno:
Evaluating Semantic Warnings in VoIP Programmable Services with Open Source Environment.
APSEC 2003: 552- |
| 78 | | 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 |
| 77 | | Masahide Nakamura,
Pattara Leelaprute,
Ken-ichi Matsumoto,
Tohru Kikuno:
Detecting Script-to-Script Interactions in Call Processing Language.
FIW 2003: 215-230 |
| 76 | | Sousuke Amasaki,
Yasunari Takagi,
Osamu Mizuno,
Tohru Kikuno:
A Bayesian Belief Network for Assessing the Likelihood of Fault Content.
ISSRE 2003: 215-226 |
| 75 | | 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 |
| 74 | | 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) |
| 2002 |
|---|
| 73 | | 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 |
| 72 | | Takayuki Hamada,
Tatsuhiro Tsuchiya,
Masahide Nakamura,
Tohru Kikuno:
Using Symbolic Model Checking to Detect Service Interactions in Telecommunication Services.
ICOIN (1) 2002: 641-651 |
| 71 | | Eun Hye Choi,
Tatsuhiro Tsuchiya,
Tohru Kikuno:
Optimal k-Coteries That Maximize Availability in General Networks.
ICOIN (2) 2002: 596-608 |
| 70 | | Masayuki Hirayama,
Tetsuya Yamamoto,
Jiro Okayasu,
Osamu Mizuno,
Tohru Kikuno:
Elimination of Crucial Faults by a New Selective Testing Method.
ISESE 2002: 183-194 |
| 69 | | Osamu Mizuno,
Eijiro Shigematsu,
Yasunari Takagi,
Tohru Kikuno:
On Estimating Testing Effort Needed to Assure Field Quality in Software Development.
ISSRE 2002: 139-148 |
| 68 | | Tatsuhiro Tsuchiya,
Masahide Nakamura,
Tohru Kikuno:
Detecting Feature Interactions in Telecommunication Services with a SAT Solver.
PRDC 2002: 131-136 |
| 67 | | Masahide Nakamura,
Pattara Leelaprute,
Tohru Kikuno:
Deriving Interaction-Prone Scenarios in Feature Interaction Filtering with Use Case Maps.
WORDS 2002: 237-244 |
| 66 | | 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) |
| 65 | | 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) |
| 64 | | Tatsuhiro Tsuchiya,
Tohru Kikuno:
Byzantine quorum systems with maximum availability.
Inf. Process. Lett. 83(2): 71-77 (2002) |
| 63 | | Noritaka Kobayashi,
Tatsuhiro Tsuchiya,
Tohru Kikuno:
Non-specification-based approaches to logic testing for software.
Information & Software Technology 44(2): 113-121 (2002) |
| 2001 |
|---|
| 62 | | 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 |
| 61 | | 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 |
| 60 | | Nahomi Kikuchi,
Tohru Kikuno:
Improving the Testing Process by Program Static Analysis.
APSEC 2001: 195-201 |
| 59 | | Satoru Uehara,
Osamu Mizuno,
Tohru Kikuno:
Development of Session Management Mechanism for Cellular Phone with WWW Connection.
APSEC 2001: 345- |
| 58 | | Noritaka Kobayashi,
Tatsuhiro Tsuchiya,
Tohru Kikuno:
Applicability of Non-Specification-Based Approaches to Logic Testing for Software.
DSN 2001: 337-346 |
| 57 | | Satoru Uehara,
Osamu Mizuno,
Tohru Kikuno:
An Implementation of Electronic Shopping Cart on the Web System using Component-Object Technology.
WORDS 2001: 77-84 |
| 56 | | 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) |
| 55 | | 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) |
| 2000 |
|---|
| 54 | | 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 |
| 53 | | Nahomi Kikuchi,
Osamu Mizuno,
Tohru Kikuno:
Identifying Key Attributes of Projects that Affect the Field Quality of Communication Software.
COMPSAC 2000: 176- |
| 52 | | Koji Hashimoto,
Tatsuhiro Tsuchiya,
Tohru Kikuno:
Fault-Secure Scheduling of Arbitrary Task Graphs to Multiprocessor Systems.
DSN 2000: 203-212 |
| 51 | | Masahide Nakamura,
Tohru Kikuno,
Jameleddine Hassine,
Luigi Logrippo:
Feature Interaction Filtering with Use Case Maps at Requirements Stage.
FIW 2000: 163-178 |
| 50 | | Osamu Mizuno,
Tohru Kikuno,
Yasunari Takagi,
Keishi Sakamoto:
Characterization of risky projects based on project managers' evaluation.
ICSE 2000: 387-395 |
| 49 | | Takeiki Aizono,
Tohru Kikuno:
Intelligent Scheduling based on Start Time Adjustment for Advanced Sequential Control Systems.
ISORC 2000: 138- |
| 48 | | 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) |
| 47 | | 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) |
| 1999 |
|---|
| 46 | | Satoru Uehara,
Osamu Mizuno,
Tohru Kikuno:
A Straightforward Approach to Effort Estimation for Updating Programs in Object-Oriented Prototyping Development.
APSEC 1999: 144- |
| 45 | | Tsuneo Yamaura,
Tohru Kikuno:
A Framework for Top-Down Cost Estimation of Software Development.
COMPSAC 1999: 322- |
| 44 | | Tatsuhiro Tsuchiya,
Tohru Kikuno:
Availability Evaluation of Quorum-Based Mutual Exclusion Schemes in General Topology Networks.
Comput. J. 42(7): 613-622 (1999) |
| 43 | | 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) |
| 42 | | Tatsuhiro Tsuchiya,
Nobuhiko Ido,
Tohru Kikuno:
Constructing Byzantine Quorum Systems from Combinatorial Designs.
Inf. Process. Lett. 71(1): 35-42 (1999) |
| 41 | | 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) |
| 1998 |
|---|
| 40 | | 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 |
| 39 | | Masahide Nakamura,
Yoshiaki Kakuda,
Tohru Kikuno:
Feature Interaction Detection Using Permutation Symmetry.
FIW 1998: 187-201 |
| 38 | | Yoshiaki Kakuda,
Shin'ichi Nagano,
Tohru Kikuno,
Masahiro Terabe:
VP Reservation for Rapid Restoration Using Multiagents.
ICECCS 1998: 121-128 |
| 37 | | Osamu Mizuno,
Tohru Kikuno,
Katsumi Inagaki,
Yasunari Takagi,
Keishi Sakamoto:
Analyzing Effects of Cost Estimation Accuracy on Quality and Productivity.
ICSE 1998: 410-419 |
| 36 | | Shin'ichi Nagano,
Yoshiaki Kakuda,
Tohru Kikuno:
Experience of Responsiveness Verification for Connection Establishment Protocols.
ISORC 1998: 383- |
| 35 | | Shin'ichi Nagano,
Tohru Kikuno:
Experimental Evaluation of Simplified Verification Methods for Responsive Communication Protocols.
RTCSA 1998: 195-199 |
| 34 | | Koji Hashimoto,
Tatsuhiro Tsuchiya,
Tohru Kikuno:
A Multiprocessor Scheduling Algorithm for Low Overhead Fault-Tolerance.
SRDS 1998: 186-194 |
| 33 | | Masahide Nakamura,
Tohru Kikuno:
A new approach in feature interaction testing.
Integration 26(1-2): 211-223 (1998) |
| 32 | | 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) |
| 1997 |
|---|
| 31 | | 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- |
| 30 | | 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: 232-239 |
| 29 | | 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- |
| 28 | | Masahide Nakamura,
Yoshiaki Kakuda,
Tohru Kikuno:
Petri-Net Based Detection Method for Non-Deterministic Feature Interactions and its Experimental Evaluation.
FIW 1997: 138-152 |
| 27 | | Koji Hashimoto,
Tatsuhiro Tsuchiya,
Tohru Kikuno:
A New Approach to Realizing Fault-Tolerant Multiprocessor Scheduling by Exploiting Implicit Redundancy.
FTCS 1997: 174-183 |
| 26 | | Yutaka Hatanaka,
Masahide Nakamura,
Yoshiaki Kakuda,
Tohru Kikuno:
A Synthesis Method for Fault-tolerant and Flexible Multipath Routing Protocols.
ICECCS 1997: 96-105 |
| 25 | | 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 |
| 24 | | Masahide Nakamura,
Yoshiaki Kakuda,
Tohru Kikuno:
Analyzing Non-Determinism in Telecommunication Services Using P-Invariant of Petri-Net Model.
INFOCOM 1997: 1253-1260 |
| 23 | | 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) |
| 1996 |
|---|
| 22 | | Daisuke Teratani,
Yoshiaki Kakuda,
Tohru Kikuno:
A New Model with Time Constraints for Conformance Testing of Communication Protocols.
Asian Test Symposium 1996: 269- |
| 21 | | Eun Mi Kim,
Shinji Kusumoto,
Tohru Kikuno,
Ok-Bae Chang:
Heuristics for Computing Attribute Values of C++ Program Complexity Metrics.
COMPSAC 1996: 104- |
| 20 | | 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- |
| 19 | | Masahide Nakamura,
Yoshiaki Kakuda,
Tohru Kikuno:
An Integration-Oriented Approach for Designing Communication Protocols from Component-Based Service Specifications.
INFOCOM 1996: 1157-1164 |
| 18 | | Masahide Nakamura,
Yoshiaki Kakuda,
Tohru Kikuno:
On constructing communication protocols from component-based service specifications.
Computer Communications 19(14): 1200-1215 (1996) |
| 17 | | 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) |
| 1995 |
|---|
| 16 | | Yoshiaki Kakuda,
Akihiro Inoue,
Hiroyuki Asada,
Tohru Kikuno,
Tadashi Ohta:
A Dynamic Resolution Method for Feature Interactions and Its Evaluation.
FIW 1995: 97-114 |
| 15 | | Kenji Ishida,
Yoshiaki Kakuda,
Tohru Kikuno:
A routing protocol for finding two node-disjoint paths in computer networks.
ICNP 1995: 340- |
| 14 | | 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 |
| 13 | | Tatsuhiro Tsuchiya,
Yoshiaki Kakuda,
Tohru Kikuno:
A new fault-tolerant scheduling technique for real-time multiprocessor systems.
RTCSA 1995: 197-202 |
| 12 | | 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) |
| 1994 |
|---|
| 11 | | Yoshiaki Kakuda,
Hiroyuki Asada,
Tohru Kikuno:
Application of protocol sythesis technique to resolution of the service interaction problem.
FORTE 1994: 379-381 |
| 10 | | 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 |
| 9 | | 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) |
| 1993 |
|---|
| 8 | | Chang Chen,
Hiroyuki Asada,
Yoshiaki Kakuda,
Tohru Kikuno:
Comparison of Hybrid Modular Redundant Multiprocessor Systems with respect to Performabilitites.
FTCS 1993: 66-75 |
| 1991 |
|---|
| 7 | | 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 |
|---|
| 6 | | An Feng,
Tohru Kikuno,
Koji Torii:
Incremental Attribute Evaluation for Multiple Subtree Replacements in Structure-Oriented Environments.
WAGA 1990: 192-206 |
| 1989 |
|---|
| 5 | | Katsuro Inoue,
Takeshi Ogihara,
Tohru Kikuno,
Koji Torii:
A Formal Adaptation Method for Process Descriptions.
ICSE 1989: 145-153 |
| 4 | | Kazuo Sugihara,
Tohru Kikuno,
Noriyoshi Yoshida:
A Meeting Scheduler for Office Automation.
IEEE Trans. Software Eng. 15(10): 1141-1146 (1989) |
| 1987 |
|---|
| 3 | | 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 |
|---|
| 2 | | Kazuo Sugihara,
Jun'ichi Miyao,
Tohru Kikuno,
Noriyoshi Yoshida:
A Semantic Approach to Usability in Relational Database Systems.
ICDE 1984: 203-210 |
| 1 | | 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 |
