default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTohru Kikuno
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2010 – 2019
- 2013
[c107]Hirofumi Terada, Yutaka Sato, Tatsuhiro Tsuchiya
, Tohru Kikuno:
Software reconstruction and module management for distributed processing of train control. ISADS 2013: 1-6- 2012
- [j52]Toru Nanba, Tatsuhiro Tsuchiya, Tohru Kikuno:
Using Satisfiability Solving for Pairwise Testing in the Presence of Constraints. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 95-A(9): 1501-1505 (2012) - [c106]Hideaki Hata, Osamu Mizuno, Tohru Kikuno:
Bug prediction based on fine-grained module histories. ICSE 2012: 200-210 - [c105]Tatsuya Noguchi, Tatsuhiro Tsuchiya, Tohru Kikuno:
Safety Verification of Asynchronous Consensus Algorithms with Model Checking. PRDC 2012: 80-88 - 2011
- [c104]Hiroyuki Inoue, Tatsuhiro Tsuchiya, Tohru Kikuno:
Bounded Model Checking of Concurrent Systems with Unbounded Integer Variables. ICNC 2011: 261-265 - [c103]Toru Nanba, Tatsuhiro Tsuchiya, Tohru Kikuno:
Constructing Test Sets for Pairwise Testing: A SAT-Based Approach. ICNC 2011: 271-274 - [c102]Hideaki Hata, Osamu Mizuno, Tohru Kikuno:
Historage: fine-grained version control system for Java. EVOL/IWPSE 2011: 96-100 - [c101]Shun Tokuyama, Tatsuhiro Tsuchiya, Tohru Kikuno:
Gossiping with Network Coding. PRDC 2011: 63-70 - 2010
- [j51]Hideaki Hata, Osamu Mizuno, Tohru Kikuno:
Fault-prone module detection using large-scale text features based on spam filtering. Empir. Softw. Eng. 15(2): 147-165 (2010) - [j50]Fuminori Makikawa, Tatsuhiro Tsuchiya, Tohru Kikuno:
Constructing Overlay Networks with Short Paths and Low Communication Cost. IEICE Trans. Inf. Syst. 93-D(6): 1540-1548 (2010) - [j49]Masahiro Kimoto, Tatsuhiro Tsuchiya, Tohru Kikuno:
The Time Complexity of Hsu and Huang's Self-Stabilizing Maximal Matching Algorithm. IEICE Trans. Inf. Syst. 93-D(10): 2850-2853 (2010) - [c100]Fuminori Makikawa, Tatsuhiro Tsuchiya, Tohru Kikuno:
Balance and Proximity-Aware Skip Graph Construction. ICNC 2010: 268-271 - [c99]Masashi Hamamatsu, Tatsuhiro Tsuchiya, Tohru Kikuno:
On the Reliability of Cascaded TMR Systems. PRDC 2010: 184-190
2000 – 2009
- 2009
- [j48]Toshifusa Sekizawa, Tatsuhiro Tsuchiya, Koichi Takahashi, Tohru Kikuno:
Probabilistic Model Checking of the One-Dimensional Ising Model. IEICE Trans. Inf. Syst. 92-D(5): 1003-1011 (2009) - [j47]Takafumi Matsuo, Tatsuhiro Tsuchiya, Tohru Kikuno:
Feature Interaction Verification Using Unbounded Model Checking with Interpolation. IEICE Trans. Inf. Syst. 92-D(6): 1250-1259 (2009) - [j46]Masahiro Kimoto, Tatsuhiro Tsuchiya, Tohru Kikuno:
On the Time Complexity of Dijkstra's Three-State Mutual Exclusion Algorithm. IEICE Trans. Inf. Syst. 92-D(8): 1570-1573 (2009) - [j45]Tim Menzies, Osamu Mizuno, Yasunari Takagi, Tohru Kikuno:
Explanation vs Performance in Data Mining: A Case Study with Predicting Runaway Projects. J. Softw. Eng. Appl. 2(4): 221-236 (2009) - [c98]Takahiro Minamikawa, Tatsuhiro Tsuchiya, Tohru Kikuno:
Towards Automated Verification of Distributed Consensus Protocols. APSEC 2009: 499-506 - [c97]Masaya Kadono, Tatsuhiro Tsuchiya, Tohru Kikuno:
Using the NuSMV Model Checker for Test Generation from Statecharts. PRDC 2009: 37-42 - 2008
- [j44]Osamu Mizuno, Tohru Kikuno:
Prediction of Fault-Prone Software Modules Using a Generic Text Discriminator. IEICE Trans. Inf. Syst. 91-D(4): 888-896 (2008) - [j43]TheinLai Wong, Tatsuhiro Tsuchiya, Tohru Kikuno:
A self-organising algorithm for sensor placement in wireless mobile microsensor networks. Int. J. Wirel. Mob. Comput. 3(1/2): 69-78 (2008) - [c96]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 - [c95]Hideaki Hata, Osamu Mizuno, Tohru Kikuno:
Comparative Study of Fault-Proneness Filtering with PMD. ISSRE 2008: 317-318 - [c94]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 - [c93]Hideaki Hata, Osamu Mizuno, Tohru Kikuno:
An extension of fault-prone filtering using precise training and a dynamic threshold. MSR 2008: 89-98 - [c92]Takahiro Minamikawa, Tatsuhiro Tsuchiya, Tohru Kikuno:
Language and Tool Support for Model Checking of Fault-Tolerant Distributed Algorithms. PRDC 2008: 40-47 - [c91]Masashi Hamamatsu, Tatsuhiro Tsuchiya, Tohru Kikuno:
Finding the Optimal Configuration of a Cascading TMR System. PRDC 2008: 349-350 - [c90]Pattara Leelaprute, Takafumi Matsuo, Tatsuhiro Tsuchiya, Tohru Kikuno:
Detecting Feature Interactions in Home Appliance Networks. SNPD 2008: 895-903 - [c89]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 - [c88]Shin Kimoto, Tatsuhiro Tsuchiya, Tohru Kikuno:
Pairwise Testing in the Presence of Configuration Change Cost. SSIRI 2008: 32-38 - 2007
- [j42]TheinLai Wong, Tatsuhiro Tsuchiya, Tohru Kikuno:
An Energy-Efficient Broadcast Scheme for Multihop Wireless Ad Hoc Networks Using Variable-Range Transmission Power. IEICE Trans. Inf. Syst. 90-D(3): 680-684 (2007) - [c87]Osamu Mizuno, Shiro Ikami, Shuya Nakaichi, Tohru Kikuno:
Fault-Prone Filtering: Detection of Fault-Prone Modules Using Spam Filtering Technique. ESEM 2007: 374-383 - [c86]Osamu Mizuno, Shiro Ikami, Shuya Nakaichi, Tohru Kikuno:
Spam Filter Based Approach for Finding Fault-Prone Software Modules. MSR 2007: 4 - [c85]Fuminori Makikawa, Takafumi Matsuo, Tatsuhiro Tsuchiya, Tohru Kikuno:
Constructing Overlay Networks with Low Link Costs and Short Paths. NCA 2007: 299-304 - [c84]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 - [c83]Osamu Mizuno, Tohru Kikuno:
Training on errors experiment to detect fault-prone software modules by spam filter. ESEC/SIGSOFT FSE 2007: 405-414 - 2006
- [j41]Tatsuhiro Tsuchiya, Shinichi Ikeda, Tohru Kikuno:
Counter-based reliability optimization for gossip-based broadcasting. Comput. Commun. 29(9): 1516-1521 (2006) - [c82]Takuya Okuyama, Tatsuhiro Tsuchiya, Tohru Kikuno:
Improving the Robustness of Epidemic Communication in Scale-Free Networks. BioADIT 2006: 294-305 - [c81]Shinichi Ikeda, Tatsuhiro Tsuchiya, Tohru Kikuno:
A Decentralized Scheme for Network-Aware Reliable Overlay Construction. ICOIN 2006: 955-964 - [c80]Seiya Abe, Osamu Mizuno, Tohru Kikuno, Nahomi Kikuchi, Masayuki Hirayama:
Estimation of project success using Bayesian classifier. ICSE 2006: 600-603 - [c79]Sousuke Amasaki, Yasuhiro Hamano, Osamu Mizuno, Tohru Kikuno:
Characterization of Runaway Software Projects Using Association Rule Mining. PROFES 2006: 402-407 - 2005
- [j40]Yasunari Takagi, Osamu Mizuno, Tohru Kikuno:
An Empirical Approach to Characterizing Risky Software Projects Based on Logistic Regression Analysis. Empir. Softw. Eng. 10(4): 495-515 (2005) - [j39]Sousuke Amasaki, Yasunari Takagi, Osamu Mizuno, Tohru Kikuno:
Constructing a Bayesian Belief Network to Predict Final Quality in Embedded System Development. IEICE Trans. Inf. Syst. 88-D(6): 1134-1141 (2005) - [j38]Takeshi Sumi, Osamu Mizuno, Tohru Kikuno, Masayuki Hirayama:
An Effective Testing Method for Hardware Related Fault in Embedded Software. IEICE Trans. Inf. Syst. 88-D(6): 1142-1149 (2005) - [j37]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) - [j36]Sousuke Amasaki, Takashi Yoshitomi, Osamu Mizuno, Yasunari Takagi, Tohru Kikuno:
A New Challenge for Applying Time Series Metrics Data to Software Quality Estimation. Softw. Qual. J. 13(2): 177-193 (2005) - [c78]Pattara Leelaprute, Tatsuhiro Tsuchiya, Tohru Kikuno, Masahide Nakamura, Ken-ichi Matsumoto:
Describing and Verifying Integrated Services of Home Network Systems. APSEC 2005: 549-560 - [c77]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 - [c76]Daisuke Igarashi, Tatsuhiro Tsuchiya, Tohru Kikuno:
Overlay Network Topologies for Gossip-Based Multicast. ICPADS (1) 2005: 2-7 - [c75]Tohru Kikuno:
Why Do Software Projects Fail? Reasons and a Solution Using a Bayesian Classifier to Predict Potential Risk. PRDC 2005: 4 - 2004
- [j35]Masahide Nakamura, Pattara Leelaprute, Ken-ichi Matsumoto, Tohru Kikuno:
On detecting feature interactions in the programmable service environment of Internet telephony. Comput. Networks 45(5): 605-624 (2004) - [j34]Masayuki Hirayama, Osamu Mizuno, Tohru Kikuno:
Test Item Prioritizing Metrics for Selective Software Testing. IEICE Trans. Inf. Syst. 87-D(12): 2733-2743 (2004) - [c74]TheinLai Wong, Tatsuhiro Tsuchiya, Tohru Kikuno:
A Self-organizing Technique for Sensor Placement in Wireless Micro-Sensor Networks. AINA (1) 2004: 78-83 - [c73]Shougo Ogata, Tatsuhiro Tsuchiya, Tohru Kikuno:
SAT-Based Verification of Safe Petri Nets. ATVA 2004: 79-92 - [c72]Tatsuhiro Tsuchiya, Tohru Kikuno:
An Adaptive Mechanism for Epidemic Communication. BioADIT 2004: 306-316 - [c71]Toshiaki Shiba, Tatsuhiro Tsuchiya, Tohru Kikuno:
Using Artificial Life Techniques to Generate Test Cases for Combinatorial Testing. COMPSAC 2004: 72-77 - [c70]Tatsuhiro Tsuchiya, Tohru Kikuno:
On the Effects of Partial Membership Knowledge on Reliability of Gossip-Based Multicast. PRDC 2004: 76-83 - [c69]Osamu Mizuno, Takanari Hamasaki, Yasunari Takagi, Tohru Kikuno:
An Empirical Evaluation of Predicting Runaway Software Projects Using Bayesian Classification. PROFES 2004: 263-273 - 2003
- [j33]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. Syst. Comput. Jpn. 34(3): 53-63 (2003) - [c68]Pattara Leelaprute, Masahide Nakamura, Ken-ichi Matsumoto, Tohru Kikuno:
Evaluating Semantic Warnings in VoIP Programmable Services with Open Source Environment. APSEC 2003: 552- - [c67]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 - [c66]Masahide Nakamura, Pattara Leelaprute, Ken-ichi Matsumoto, Tohru Kikuno:
Detecting Script-to-Script Interactions in Call Processing Language. FIW 2003: 215-230 - [c65]Sousuke Amasaki, Yasunari Takagi, Osamu Mizuno, Tohru Kikuno:
A Bayesian Belief Network for Assessing the Likelihood of Fault Content. ISSRE 2003: 215-226 - [c64]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
- [j32]Tomoyuki Yokogawa, Tatsuhiro Tsuchiya, Tohru Kikuno:
Verifying Fault Tolerance of Concurrent Systems by Model Checking. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 85-A(11): 2414-2425 (2002) - [j31]Noritaka Kobayashi, Tatsuhiro Tsuchiya, Tohru Kikuno:
New 2-Factor Covering Designs for Software Testing. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 85-A(12): 2946-2949 (2002) - [j30]Noritaka Kobayashi, Tatsuhiro Tsuchiya, Tohru Kikuno:
Non-specification-based approaches to logic testing for software. Inf. Softw. Technol. 44(2): 113-121 (2002) - [j29]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) - [j28]Tatsuhiro Tsuchiya, Tohru Kikuno:
Byzantine quorum systems with maximum availability. Inf. Process. Lett. 83(2): 71-77 (2002) - [j27]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) - [c63]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 - [c62]Eun Hye Choi, Tatsuhiro Tsuchiya, Tohru Kikuno:
Optimal k-Coteries That Maximize Availability in General Networks. ICOIN (2) 2002: 596-608 - [c61]Takayuki Hamada, Tatsuhiro Tsuchiya, Masahide Nakamura, Tohru Kikuno:
Using Symbolic Model Checking to Detect Service Interactions in Telecommunication Services. ICOIN (1) 2002: 641-651 - [c60]Masayuki Hirayama, Tetsuya Yamamoto, Jiro Okayasu, Osamu Mizuno, Tohru Kikuno:
Elimination of Crucial Faults by a New Selective Testing Method. ISESE 2002: 183-194 - [c59]Osamu Mizuno, Eijiro Shigematsu, Yasunari Takagi, Tohru Kikuno:
On Estimating Testing Effort Needed to Assure Field Quality in Software Development. ISSRE 2002: 139-148 - [c58]Tatsuhiro Tsuchiya, Masahide Nakamura, Tohru Kikuno:
Detecting Feature Interactions in Telecommunication Services with a SAT Solver. PRDC 2002: 131-136 - [c57]Masahide Nakamura, Pattara Leelaprute, Tohru Kikuno:
Deriving Interaction-Prone Scenarios in Feature Interaction Filtering with Use Case Maps. WORDS 2002: 237-244 - 2001
- [j26]Noritaka Kobayashi, Tatsuhiro Tsuchiya, Tohru Kikuno:
Minimizing the mean delay of quorum-based mutual exclusion schemes. J. Syst. Softw. 58(1): 1-9 (2001) - [j25]Tatsuhiro Tsuchiya, Shin'ichi Nagano, Rohayu Bt Paidi, Tohru Kikuno:
Symbolic Model Checking for Self-Stabilizing Algorithms. IEEE Trans. Parallel Distributed Syst. 12(1): 81-95 (2001) - [c56]Osamu Mizuno, Takuya Adachi, Tohru Kikuno, Yasunari Takagi:
On Prediction of Cost and Duration for Risky Software Projects Based on Risk Questionnaire. APAQS 2001: 120-130 - [c55]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 - [c54]Nahomi Kikuchi, Tohru Kikuno:
Improving the Testing Process by Program Static Analysis. APSEC 2001: 195-201 - [c53]Satoru Uehara, Osamu Mizuno, Tohru Kikuno:
Development of Session Management Mechanism for Cellular Phone with WWW Connection. APSEC 2001: 345- - [c52]Noritaka Kobayashi, Tatsuhiro Tsuchiya, Tohru Kikuno:
Applicability of Non-Specification-Based Approaches to Logic Testing for Software. DSN 2001: 337-346 - [c51]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
- [j24]Osamu Mizuno, Tohru Kikuno, Katsumi Inagaki, Yasunari Takagi, Keishi Sakamoto:
Statistical analysis of deviation of actual cost from estimated cost using actual project data. Inf. Softw. Technol. 42(7): 465-473 (2000) - [j23]Koji Hashimoto, Tatsuhiro Tsuchiya, Tohru Kikuno:
A new approach to fault-tolerant scheduling using task duplication in multiprocessor systems. J. Syst. Softw. 53(2): 159-171 (2000) - [c50]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 - [c49]Nahomi Kikuchi, Osamu Mizuno, Tohru Kikuno:
Identifying Key Attributes of Projects that Affect the Field Quality of Communication Software. COMPSAC 2000: 176-178 - [c48]Koji Hashimoto, Tatsuhiro Tsuchiya, Tohru Kikuno:
Fault-Secure Scheduling of Arbitrary Task Graphs to Multiprocessor Systems. DSN 2000: 203-212 - [c47]Masahide Nakamura, Tohru Kikuno, Jameleddine Hassine, Luigi Logrippo:
Feature Interaction Filtering with Use Case Maps at Requirements Stage. FIW 2000: 163-178 - [c46]Osamu Mizuno, Tohru Kikuno, Yasunari Takagi, Keishi Sakamoto:
Characterization of risky projects based on project managers' evaluation. ICSE 2000: 387-395 - [c45]Takeiki Aizono, Tohru Kikuno:
Intelligent Scheduling based on Start Time Adjustment for Advanced Sequential Control Systems. ISORC 2000: 138-
1990 – 1999
- 1999
- [j22]Tatsuhiro Tsuchiya, Tohru Kikuno:
Availability Evaluation of Quorum-Based Mutual Exclusion Schemes in General Topology Networks. Comput. J. 42(7): 613-622 (1999) - [j21]Kenji Ishida, Yoshiaki Kakuda, Masahide Nakamura, Tohru Kikuno, Kitsutaro Amano:
A protocol synthesis method for fault-tolerant multipath routing. Inf. Softw. Technol. 41(11-12): 745-754 (1999) - [j20]Tatsuhiro Tsuchiya, Nobuhiko Ido, Tohru Kikuno:
Constructing Byzantine Quorum Systems from Combinatorial Designs. Inf. Process. Lett. 71(1): 35-42 (1999) - [j19]Tatsuhiro Tsuchiya, Masatoshi Yamaguchi, Tohru Kikuno:
Minimizing the Maximum Delay for Reaching Consensus in Quorum-Based Mutual Exclusion Schemes. IEEE Trans. Parallel Distributed Syst. 10(4): 337-345 (1999) - [c44]Satoru Uehara, Osamu Mizuno, Tohru Kikuno:
A Straightforward Approach to Effort Estimation for Updating Programs in Object-Oriented Prototyping Development. APSEC 1999: 144- - [c43]Tsuneo Yamaura, Tohru Kikuno:
A Framework for Top-Down Cost Estimation of Software Development. COMPSAC 1999: 322-323 - [c42]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 - [c41]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
- [j18]Masahide Nakamura, Tohru Kikuno:
A new approach in feature interaction testing. Integr. 26(1-2): 211-223 (1998) - [j17]Shinji Kusumoto, Atsushi Chimura, Tohru Kikuno, Ken-ichi Matsumoto, Yukio Mohri:
A promising approach to two-person software review in educational environment. J. Syst. Softw. 40(2): 115-123 (1998) - [j16]Tatsuhiro Tsuchiya, Tetsuya Osada, Tohru Kikuno:
Genetics-based multiprocessor scheduling using task duplication. Microprocess. Microsystems 22(3-4): 197-207 (1998) - [c40]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 - [c39]Masahide Nakamura, Yoshiaki Kakuda, Tohru Kikuno:
Feature Interaction Detection Using Permutation Symmetry. FIW 1998: 187-201 - [c38]Yoshiaki Kakuda, Shin'ichi Nagano, Tohru Kikuno, Masahiro Terabe:
VP Reservation for Rapid Restoration Using Multiagents. ICECCS 1998: 121-128 - [c37]Osamu Mizuno, Tohru Kikuno, Katsumi Inagaki, Yasunari Takagi, Keishi Sakamoto:
Analyzing Effects of Cost Estimation Accuracy on Quality and Productivity. ICSE 1998: 410-419 - [c36]Shin'ichi Nagano, Yoshiaki Kakuda, Tohru Kikuno:
Experience of Responsiveness Verification for Connection Establishment Protocols. ISORC 1998: 383- - [c35]Shin'ichi Nagano, Tohru Kikuno:
Experimental Evaluation of Simplified Verification Methods for Responsive Communication Protocols. RTCSA 1998: 195-199 - [c34]Koji Hashimoto, Tatsuhiro Tsuchiya, Tohru Kikuno:
A Multiprocessor Scheduling Algorithm for Low Overhead Fault-Tolerance. SRDS 1998: 186-194 - 1997
- [j15]Lin Lian, Shinji Kusumoto, Tohru Kikuno, Ken-ichi Matsumoto, Koji Torii:
A new fault localizing method for the program debugging process. Inf. Softw. Technol. 39(4): 271-284 (1997) - [c33]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- - [c32]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-255 - [c31]Masahide Nakamura, Yoshiaki Kakuda, Tohru Kikuno:
Petri-Net Based Detection Method for Non-Deterministic Feature Interactions and its Experimental Evaluation. FIW 1997: 138-152 - [c30]Koji Hashimoto, Tatsuhiro Tsuchiya, Tohru Kikuno:
A New Approach to Realizing Fault-Tolerant Multiprocessor Scheduling by Exploiting Implicit Redundancy. FTCS 1997: 174-183 - [c29]Yutaka Hatanaka, Masahide Nakamura, Yoshiaki Kakuda, Tohru Kikuno:
A Synthesis Method for Fault-tolerant and Flexible Multipath Routing Protocols. ICECCS 1997: 96-105 - [c28]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 - [c27]Masahide Nakamura, Yoshiaki Kakuda, Tohru Kikuno:
Analyzing Non-Determinism in Telecommunication Services Using P-Invariant of Petri-Net Model. INFOCOM 1997: 1253-1260 - [c26]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
- [j14]Masahide Nakamura, Yoshiaki Kakuda, Tohru Kikuno:
On constructing communication protocols from component-based service specifications. Comput. Commun. 19(14): 1200-1215 (1996) - [j13]Shinji Kusumoto, Tohru Kikuno, Ken-ichi Matsumoto, Koji Torii:
Experimental Evaluation of Time Allocation Procedure for Technical Reviews. J. Syst. Softw. 35(2): 119-126 (1996) - [j12]Tatsuhiro Tsuchiya, Yoshiaki Kakuda, Tohru Kikuno:
Modeling and evaluation of responsive multiprocessor systems. Syst. Comput. Jpn. 27(14): 20-28 (1996) - [c25]Daisuke Teratani, Yoshiaki Kakuda, Tohru Kikuno:
A New Model with Time Constraints for Conformance Testing of Communication Protocols. Asian Test Symposium 1996: 269- - [c24]Eun Mi Kim, Shinji Kusumoto, Tohru Kikuno, Ok-Bae Chang:
Heuristics for Computing Attribute Values of C++ Program Complexity Metrics. COMPSAC 1996: 104-109 - [c23]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- - [c22]Masahide Nakamura, Yoshiaki Kakuda, Tohru Kikuno:
An Integration-Oriented Approach for Designing Communication Protocols from Component-Based Service Specifications. INFOCOM 1996: 1157-1164 - 1995
- [j11]Yoshiaki Kakuda, Hideki Yukitomo, Shinji Kusumoto, Tohru Kikuno:
Localizing Multiple Faults in a Protocol Implementation. IEEE Des. Test Comput. 12(3): 34-42 (1995) - [j10]Yoshiaki Kakuda, Hideki Yukitomo, Shinji Kusumoto, Tohru Kikuno:
A New Conformance Testing Technique for Localization of Multiple Faults in Communication Protocols. IEICE Trans. Inf. Syst. 78-D(7): 802-810 (1995) - [c21]Yoshiaki Kakuda, Akihiro Inoue, Hiroyuki Asada, Tohru Kikuno, Tadashi Ohta:
A Dynamic Resolution Method for Feature Interactions and Its Evaluation. FIW 1995: 97-114 - [c20]Kenji Ishida, Yoshiaki Kakuda, Tohru Kikuno:
A routing protocol for finding two node-disjoint paths in computer networks. ICNP 1995: 340- - [c19]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 - [c18]Yasunari Takagi, Toshifumi Tanaka, Naoki Niihara, Keishi Sakamoto, Shinji Kusumoto, Tohru Kikuno:
Analysis of review's effectiveness based on software metrics. ISSRE 1995: 34-39 - [c17]Eun Mi Kim, Shinji Kusumoto, Tohru Kikuno:
An approach to safety and correctness verification of software design specification. ISSRE 1995: 78-83 - [c16]Tatsuhiro Tsuchiya, Yoshiaki Kakuda, Tohru Kikuno:
A new fault-tolerant scheduling technique for real-time multiprocessor systems. RTCSA 1995: 197-202 - 1994
- [j9]Yoshiaki Kakuda, Tohru Kikuno, Kenichi Kawashima:
Automated Verification of Responsive Protocols Modeled by Extended Finite State Machines. Real Time Syst. 7(3): 275-289 (1994) - [c15]Eun Mi Kim, Ok-Bae Chang, Shinji Kusumoto, Tohru Kikuno:
Analysis of metrics for object-oriented program complexity. COMPSAC 1994: 201-207 - [c14]Yoshiaki Kakuda, Hiroyuki Asada, Tohru Kikuno:
Application of protocol sythesis technique to resolution of the service interaction problem. FORTE 1994: 379-381 - [c13]Yoshiaki Kakuda, Hirotaka Igarashi, Tohru Kikuno:
Automated synthesis of protocol specifications with message collisions and verification of timeliness. ICNP 1994: 143-150 - [c12]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
- [c11]Chang Chen, Hiroyuki Asada, Yoshiaki Kakuda, Tohru Kikuno:
Comparison of Hybrid Modular Redundant Multiprocessor Systems with respect to Performabilitites. FTCS 1993: 66-75 - [c10]Ken-ichi Matsumoto, Shinji Kusumoto, Tohru Kikuno, Koji Torii:
A new framework of measuring software development processes. IEEE METRICS 1993: 108-118 - 1991
- [c9]Shinji Kusumoto, Ken-ichi Matsumoto, Tohru Kikuno, Koji Torii:
Experimental evaluation of the cost effectiveness of software reviews. COMPSAC 1991: 424-429 - [c8]Yukio Mohri, Tohru Kikuno:
Fault analysis based on fault reporting in JSP software development. COMPSAC 1991: 591-596 - [c7]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
- [c6]An Feng, Tohru Kikuno, Koji Torii:
Incremental Attribute Evaluation for Multiple Subtree Replacements in Structure-Oriented Environments. WAGA 1990: 192-206
1980 – 1989
- 1989
- [j8]Kazuo Sugihara, Tohru Kikuno, Noriyoshi Yoshida:
A Meeting Scheduler for Office Automation. IEEE Trans. Software Eng. 15(10): 1141-1146 (1989) - [c5]Katsuro Inoue, Takeshi Ogihara, Tohru Kikuno, Koji Torii:
A Formal Adaptation Method for Process Descriptions. ICSE 1989: 145-153 - 1988
- [j7]Jun'ichi Miyao, Kazuyuki Tominaga, Tohru Kikuno, Noriyoshi Yoshida:
Optimization of Multiple Queries in Relational Database Systems. Syst. Comput. Jpn. 19(4): 56-65 (1988) - [c4]Ken-ichi Matsumoto, Katsuro Inoue, Tohru Kikuno, Koji Torii:
Experimental evaluation of software reliability growth models. FTCS 1988: 148-153 - 1987
- [j6]Jun'ichi Miyao, Tohru Kikuno, Noriyoshi Yoshida:
Response time minimization for processing simple queries in star networks. Syst. Comput. Jpn. 18(4): 11-23 (1987) - [j5]Takashi Fujii, Hideya Horikawa, Tohru Kikuno, Noriyoshi Yoshida:
A Heuristic Algorithm for Gate Assignment in One-Dimensional Array Approach. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 6(2): 159-164 (1987) - 1985
- [j4]Shin'ichi Wakabayashi, Tohru Kikuno, Noriyoshi Yoshida:
Design of hardware algorithms by recurrence relations. Syst. Comput. Jpn. 16(3): 10-18 (1985) - [j3]Kazuo Sugihara, Tohru Kikuno, Noriyoshi Yoshida, Kazunori Arame:
Feasibility problem for meeting timetable rearrangement. Syst. Comput. Jpn. 16(3): 77-84 (1985) - 1984
- [c3]Kazuo Sugihara, Jun'ichi Miyao, Tohru Kikuno, Noriyoshi Yoshida:
A Semantic Approach to Usability in Relational Database Systems. ICDE 1984: 203-210 - [c2]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 - 1983
- [j2]Tohru Kikuno, Noriyoshi Yoshida, Yoshiaki Kakuda:
A linear algorithm for the domination number of a series-parallel graph. Discret. Appl. Math. 5(3): 299-311 (1983) - 1980
- [j1]Tohru Kikuno, Noriyoshi Yoshida, Yoshiaki Kakuda:
NP-completeness of some type of p-center problem. Discret. Appl. Math. 2(4): 361-363 (1980)
1970 – 1979
- 1979
- [c1]Tohru Kikuno, Noriyoshi Yoshida, Hiromi Kusumoto:
A fast selective traversal algorithm for binary search trees. COMPSAC 1979: 601-605
Coauthor Index
[c107] [j52] [c105] [c104] [c103] [c101] [j50] [j49] [c100] [c99] [j48] [j47] [j46] [c98] [c97] [j43] [c92] [c91] [c90] [c88] [j42] [c85] [c84] [j41] [c82] [c81] [c78] [c76] [c74] [c73] [c72] [c71] [c70] [j32] [j31] [j30] [j29] [j28] [j27] [c62] [c61] [c58] [j26] [j25] [c52] [j23] [c48] [j22] [j20] [j19] [c41] [j16] [c34] [c32] [c30] [c26] [j12] [c16]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-20 23:03 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
