Tohru Kikuno

According to our database1, Tohru Kikuno authored at least 159 papers between 1979 and 2013.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2013
Software reconstruction and module management for distributed processing of train control.
Proceedings of the 11th International Symposium on Autonomous Decentralized Systems, 2013

2012
Using Satisfiability Solving for Pairwise Testing in the Presence of Constraints.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2012

Safety Verification of Asynchronous Consensus Algorithms with Model Checking.
Proceedings of the IEEE 18th Pacific Rim International Symposium on Dependable Computing, 2012

Bug prediction based on fine-grained module histories.
Proceedings of the 34th International Conference on Software Engineering, 2012

2011
Gossiping with Network Coding.
Proceedings of the 17th IEEE Pacific Rim International Symposium on Dependable Computing, 2011

Historage: fine-grained version control system for Java.
Proceedings of the 12th International Workshop on Principles of Software Evolution and the 7th annual ERCIM Workshop on Software Evolution, 2011

Constructing Test Sets for Pairwise Testing: A SAT-Based Approach.
Proceedings of the Second International Conference on Networking and Computing, 2011

Bounded Model Checking of Concurrent Systems with Unbounded Integer Variables.
Proceedings of the Second International Conference on Networking and Computing, 2011

2010
Constructing Overlay Networks with Short Paths and Low Communication Cost.
IEICE Trans. Inf. Syst., 2010

The Time Complexity of Hsu and Huang's Self-Stabilizing Maximal Matching Algorithm.
IEICE Trans. Inf. Syst., 2010

Fault-prone module detection using large-scale text features based on spam filtering.
Empir. Softw. Eng., 2010

On the Reliability of Cascaded TMR Systems.
Proceedings of the 16th IEEE Pacific Rim International Symposium on Dependable Computing, 2010

Balance and Proximity-Aware Skip Graph Construction.
Proceedings of the First International Conference on Networking and Computing, 2010

2009
Explanation vs Performance in Data Mining: A Case Study with Predicting Runaway Projects.
J. Softw. Eng. Appl., 2009

Probabilistic Model Checking of the One-Dimensional Ising Model.
IEICE Trans. Inf. Syst., 2009

Feature Interaction Verification Using Unbounded Model Checking with Interpolation.
IEICE Trans. Inf. Syst., 2009

On the Time Complexity of Dijkstra's Three-State Mutual Exclusion Algorithm.
IEICE Trans. Inf. Syst., 2009

Using the NuSMV Model Checker for Test Generation from Statecharts.
Proceedings of the 2009 15th IEEE Pacific Rim International Symposium on Dependable Computing, 2009

Towards Automated Verification of Distributed Consensus Protocols.
Proceedings of the 16th Asia-Pacific Software Engineering Conference, 2009

2008
A self-organising algorithm for sensor placement in wireless mobile microsensor networks.
Int. J. Wirel. Mob. Comput., 2008

Prediction of Fault-Prone Software Modules Using a Generic Text Discriminator.
IEICE Trans. Inf. Syst., 2008

Pairwise Testing in the Presence of Configuration Change Cost.
Proceedings of the Second International Conference on Secure System Integration and Reliability Improvement, 2008

A Method to Analyze Variability Based on Product Release History: Case Study of Automotive System.
Proceedings of the Software Product Lines, 12th International Conference, 2008

Detecting Feature Interactions in Home Appliance Networks.
Proceedings of the Ninth ACIS International Conference on Software Engineering, 2008

Language and Tool Support for Model Checking of Fault-Tolerant Distributed Algorithms.
Proceedings of the 14th IEEE Pacific Rim International Symposium on Dependable Computing, 2008

Finding the Optimal Configuration of a Cascading TMR System.
Proceedings of the 14th IEEE Pacific Rim International Symposium on Dependable Computing, 2008

FAVE: factor analysis based approach for detecting product line variability from change history.
Proceedings of the 2008 International Working Conference on Mining Software Repositories, 2008

An extension of fault-prone filtering using precise training and a dynamic threshold.
Proceedings of the 2008 International Working Conference on Mining Software Repositories, 2008

Comparative Study of Fault-Proneness Filtering with PMD.
Proceedings of the 19th International Symposium on Software Reliability Engineering (ISSRE 2008), 2008

On Deriving Actions for Improving Cost Overrun by Applying Association Rule Mining to Industrial Project Repository.
Proceedings of the Making Globally Distributed Software Development a Success Story, 2008

2007
An Energy-Efficient Broadcast Scheme for Multihop Wireless Ad Hoc Networks Using Variable-Range Transmission Power.
IEICE Trans. Inf. Syst., 2007

Training on errors experiment to detect fault-prone software modules by spam filter.
Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007

A localized broadcast scheme for minimizing power consumption in wireless mobile ad hoc networks.
Proceedings of the IASTED International Conference on Parallel and Distributed Computing and Networks, 2007

Constructing Overlay Networks with Low Link Costs and Short Paths.
Proceedings of the Sixth IEEE International Symposium on Network Computing and Applications (NCA 2007), 12, 2007

Spam Filter Based Approach for Finding Fault-Prone Software Modules.
Proceedings of the Fourth International Workshop on Mining Software Repositories, 2007

Fault-Prone Filtering: Detection of Fault-Prone Modules Using Spam Filtering Technique.
Proceedings of the First International Symposium on Empirical Software Engineering and Measurement, 2007

2006
Counter-based reliability optimization for gossip-based broadcasting.
Comput. Commun., 2006

Characterization of Runaway Software Projects Using Association Rule Mining.
Proceedings of the Product-Focused Software Process Improvement, 2006

Estimation of project success using Bayesian classifier.
Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

A Decentralized Scheme for Network-Aware Reliable Overlay Construction.
Proceedings of the Information Networking, 2006

Improving the Robustness of Epidemic Communication in Scale-Free Networks.
Proceedings of the Biologically Inspired Approaches to Advanced Information Technology, 2006

2005
A New Challenge for Applying Time Series Metrics Data to Software Quality Estimation.
Softw. Qual. J., 2005

Analysis of Software Test Item Generation - Comparison Between High Skilled and Low Skilled Engineers.
J. Comput. Sci. Technol., 2005

An Effective Testing Method for Hardware Related Fault in Embedded Software.
IEICE Trans. Inf. Syst., 2005

Constructing a Bayesian Belief Network to Predict Final Quality in Embedded System Development.
IEICE Trans. Inf. Syst., 2005

An Empirical Approach to Characterizing Risky Software Projects Based on Logistic Regression Analysis.
Empir. Softw. Eng., 2005

Why Do Software Projects Fail? Reasons and a Solution Using a Bayesian Classifier to Predict Potential Risk.
Proceedings of the 11th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2005), 2005

Overlay Network Topologies for Gossip-Based Multicast.
Proceedings of the 11th International Conference on Parallel and Distributed Systems, 2005

Definition and Detection of Semantic Warnings for VoiceXML.
Proceedings of the IASTED International Conference on Software Engineering, 2005

Describing and Verifying Integrated Services of Home Network Systems.
Proceedings of the 12th Asia-Pacific Software Engineering Conference (APSEC 2005), 2005

2004
Test Item Prioritizing Metrics for Selective Software Testing.
IEICE Trans. Inf. Syst., 2004

On detecting feature interactions in the programmable service environment of Internet telephony.
Comput. Networks, 2004

An Empirical Evaluation of Predicting Runaway Software Projects Using Bayesian Classification.
Proceedings of the Product Focused Software Process Improvement, 2004

On the Effects of Partial Membership Knowledge on Reliability of Gossip-Based Multicast.
Proceedings of the 10th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2004), 2004

Using Artificial Life Techniques to Generate Test Cases for Combinatorial Testing.
Proceedings of the 28th International Computer Software and Applications Conference (COMPSAC 2004), 2004

An Adaptive Mechanism for Epidemic Communication.
Proceedings of the Biologically Inspired Approaches to Advanced Information Technology, 2004

SAT-Based Verification of Safe Petri Nets.
Proceedings of the Automated Technology for Verification and Analysis: Second International Conference, 2004

A Self-organizing Technique for Sensor Placement in Wireless Micro-Sensor Networks.
Proceedings of the 18th International Conference on Advanced Information Networking and Applications (AINA 2004), 2004

2003
Design of a new mechanism for context data storage on Web systems and its implementation using component-object technology.
Syst. Comput. Jpn., 2003

Semantic Warnings and Feature Interaction in Call Processing Language on Internet Telephony.
Proceedings of the 2003 Symposium on Applications and the Internet (SAINT 2003), 27-31 January 2003, 2003

A Bayesian Belief Network for Assessing the Likelihood of Fault Content.
Proceedings of the 14th International Symposium on Software Reliability Engineering (ISSRE 2003), 2003

Detecting Script-to-Script Interactions in Call Processing Language.
Proceedings of the Feature Interactions in Telecommunications and Software Systems VII, 2003

Analysis of Software Test Item Generation - Comparison between High Skilled and Low Skilled Engineers.
Proceedings of the 12th Asian Test Symposium (ATS 2003), 17-19 November 2003, Xian, China, 2003

Evaluating Semantic Warnings in VoIP Programmable Services with Open Source Environment.
Proceedings of the 10th Asia-Pacific Software Engineering Conference (APSEC 2003), 2003

2002
On fault classes and error detection capability of specification-based testing.
ACM Trans. Softw. Eng. Methodol., 2002

Byzantine quorum systems with maximum availability.
Inf. Process. Lett., 2002

A new method for constructing pair-wise covering designs for software testing.
Inf. Process. Lett., 2002

Non-specification-based approaches to logic testing for software.
Inf. Softw. Technol., 2002

Verifying Fault Tolerance of Concurrent Systems by Model Checking.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2002

New 2-Factor Covering Designs for Software Testing.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2002

Deriving Interaction-Prone Scenarios in Feature Interaction Filtering with Use Case Maps.
Proceedings of the 7th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2002), 2002

Detecting Feature Interactions in Telecommunication Services with a SAT Solver.
Proceedings of the 9th Pacific Rim International Symposium on Dependable Computing (PRDC 2002), 2002

On Estimating Testing Effort Needed to Assure Field Quality in Software Development.
Proceedings of the 13th International Symposium on Software Reliability Engineering (ISSRE 2002), 2002

Elimination of Crucial Faults by a New Selective Testing Method.
Proceedings of the 2002 International Symposium on Empirical Software Engineering (ISESE 2002), 2002

Using Symbolic Model Checking to Detect Service Interactions in Telecommunication Services.
Proceedings of the Information Networking, 2002

Optimal k-Coteries That Maximize Availability in General Networks.
Proceedings of the Information Networking, 2002

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.
Proceedings of the 11th Asian Test Symposium (ATS 2002), 18-20 November 2002, Guam, USA, 2002

2001
Symbolic Model Checking for Self-Stabilizing Algorithms.
IEEE Trans. Parallel Distributed Syst., 2001

Minimizing the mean delay of quorum-based mutual exclusion schemes.
J. Syst. Softw., 2001

An Implementation of Electronic Shopping Cart on the Web System using Component-Object Technology.
Proceedings of the 6th Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2001), 2001

Applicability of Non-Specification-Based Approaches to Logic Testing for Software.
Proceedings of the 2001 International Conference on Dependable Systems and Networks (DSN 2001) (formerly: FTCS), 2001

Development of Session Management Mechanism for Cellular Phone with WWW Connection.
Proceedings of the 8th Asia-Pacific Software Engineering Conference (APSEC 2001), 2001

Improving the Testing Process by Program Static Analysis.
Proceedings of the 8th Asia-Pacific Software Engineering Conference (APSEC 2001), 2001

On Prediction of Cost and Duration for Risky Software Projects Based on Risk Questionnaire.
Proceedings of the 2nd Asia-Pacific Conference on Quality Software (APAQS 2001), 2001

A Selective Software Testing Method Based on Priorities Assigned to Functional Modules.
Proceedings of the 2nd Asia-Pacific Conference on Quality Software (APAQS 2001), 2001

2000
A new approach to fault-tolerant scheduling using task duplication in multiprocessor systems.
J. Syst. Softw., 2000

Statistical analysis of deviation of actual cost from estimated cost using actual project data.
Inf. Softw. Technol., 2000

Intelligent Scheduling based on Start Time Adjustment for Advanced Sequential Control Systems.
Proceedings of the 3rd International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2000), 2000

Characterization of risky projects based on project managers' evaluation.
Proceedings of the 22nd International Conference on on Software Engineering, 2000

Feature Interaction Filtering with Use Case Maps at Requirements Stage.
Proceedings of the Feature Interactions in Telecommunications and Software Systems VI, 2000

Fault-Secure Scheduling of Arbitrary Task Graphs to Multiprocessor Systems.
Proceedings of the 2000 International Conference on Dependable Systems and Networks (DSN 2000) (formerly FTCS-30 and DCCA-8), 2000

Identifying Key Attributes of Projects that Affect the Field Quality of Communication Software.
Proceedings of the 24th International Computer Software and Applications Conference (COMPSAC 2000), 2000

Generating test items for checking illegal behaviors in software testing.
Proceedings of the 9th Asian Test Symposium (ATS 2000), 4-6 December 2000, Taipei, Taiwan, 2000

1999
Minimizing the Maximum Delay for Reaching Consensus in Quorum-Based Mutual Exclusion Schemes.
IEEE Trans. Parallel Distributed Syst., 1999

Constructing Byzantine Quorum Systems from Combinatorial Designs.
Inf. Process. Lett., 1999

A protocol synthesis method for fault-tolerant multipath routing.
Inf. Softw. Technol., 1999

Availability Evaluation of Quorum-Based Mutual Exclusion Schemes in General Topology Networks.
Comput. J., 1999

An MVC-based analysis of object-oriented system prototyping for banking related GUI applications-correlationship between OO metrics and efforts for requirement change.
Proceedings of the Fourth International Workshop on Object-Oriented Real-Time Dependable Systems, 1999

On the availability of k-coteries in networks with unreliable nodes and links.
Proceedings of the Fourth International Workshop on Object-Oriented Real-Time Dependable Systems, 1999

A Framework for Top-Down Cost Estimation of Software Development.
Proceedings of the 23rd International Computer Software and Applications Conference (COMPSAC '99), 1999

A Straightforward Approach to Effort Estimation for Updating Programs in Object-Oriented Prototyping Development.
Proceedings of the 6th Asia-Pacific Software Engineering Conference (APSEC '99), 1999

1998
Genetics-based multiprocessor scheduling using task duplication.
Microprocess. Microsystems, 1998

A promising approach to two-person software review in educational environment.
J. Syst. Softw., 1998

A new approach in feature interaction testing.
Integr., 1998

A Multiprocessor Scheduling Algorithm for Low Overhead Fault-Tolerance.
Proceedings of the Seventeenth Symposium on Reliable Distributed Systems, 1998

Experimental Evaluation of Simplified Verification Methods for Responsive Communication Protocols.
Proceedings of the 5th International Workshop on Real-Time Computing Systems and Applications (RTCSA '98), 1998

Experience of Responsiveness Verification for Connection Establishment Protocols.
Proceedings of the 1st International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98), 1998

Analyzing Effects of Cost Estimation Accuracy on Quality and Productivity.
Proceedings of the Forging New Links, 1998

VP Reservation for Rapid Restoration Using Multiagents.
Proceedings of the 4th International Conference on Engineering of Complex Computer Systems (ICECCS '98), 1998

Feature Interaction Detection Using Permutation Symmetry.
Proceedings of the Feature Interactions in Telecommunications and Software Systems V, September 29, 1998

Application of Real-Time Temporal Logic to Design Fault Detection in Responsive Communication Protocols.
Proceedings of the 7th Asian Test Symposium (ATS '98), 2-4 December 1998, Singapore, 1998

1997
A new fault localizing method for the program debugging process.
Inf. Softw. Technol., 1997

An approach to safety verification of object-oriented design specification for an elevator control system.
Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems (WORDS '97), 1997

Analyzing Non-Determinism in Telecommunication Services Using P-Invariant of Petri-Net Model.
Proceedings of the Proceedings IEEE INFOCOM '97, 1997

A New Software Project Simulator Based on Generalized Stochastic Petri-net.
Proceedings of the Pulling Together, 1997

A Synthesis Method for Fault-tolerant and Flexible Multipath Routing Protocols.
Proceedings of the 3rd IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '97), 1997

A New Approach to Realizing Fault-Tolerant Multiprocessor Scheduling by Exploiting Implicit Redundancy.
Proceedings of the Digest of Papers: FTCS-27, 1997

Petri-Net Based Detection Method for Non-Deterministic Feature Interactions and its Experimental Evaluation.
Proceedings of the Feature Interactions in Telecommunications Networks IV, 1997

Derivation of Safety Requirements for Safety Analysis of Object-Oriented Design Documents.
Proceedings of the 21st International Computer Software and Applications Conference (COMPSAC '97), 1997

Estimating the Number of Faults using Simulator based on Generalized Stochastic Petri-Net Model.
Proceedings of the 6th Asian Test Symposium (ATS '97), 17-18 November 1997, 1997

1996
Modeling and evaluation of responsive multiprocessor systems.
Syst. Comput. Jpn., 1996

Experimental Evaluation of Time Allocation Procedure for Technical Reviews.
J. Syst. Softw., 1996

On constructing communication protocols from component-based service specifications.
Comput. Commun., 1996

An Integration-Oriented Approach for Designing Communication Protocols from Component-Based Service Specifications.
Proceedings of the Proceedings IEEE INFOCOM '96, 1996

Timed Reachability Analysis Method for EFSM-based Communication Protocols and Its Experimental Evaluation.
Proceedings of the 1996 International Conference on Network Protocols, 1996

Heuristics for Computing Attribute Values of C++ Program Complexity Metrics.
Proceedings of the COMPSAC '96, 1996

A New Model with Time Constraints for Conformance Testing of Communication Protocols.
Proceedings of the 5th Asian Test Symposium (ATS '96), 1996

1995
A New Conformance Testing Technique for Localization of Multiple Faults in Communication Protocols.
IEICE Trans. Inf. Syst., 1995

Localizing Multiple Faults in a Protocol Implementation.
IEEE Des. Test Comput., 1995

A new fault-tolerant scheduling technique for real-time multiprocessor systems.
Proceedings of the 2nd International Workshop on Real-Time Computing Systems and Applications, October 25, 1995

Analysis of review's effectiveness based on software metrics.
Proceedings of the Sixth International Symposium on Software Reliability Engineering, 1995

An approach to safety and correctness verification of software design specification.
Proceedings of the Sixth International Symposium on Software Reliability Engineering, 1995

Improvement of Software Process by Process Description and Benefit Estimation.
Proceedings of the 17th International Conference on Software Engineering, 1995

A routing protocol for finding two node-disjoint paths in computer networks.
Proceedings of the 1995 International Conference on Network Protocols, 1995

A Dynamic Resolution Method for Feature Interactions and Its Evaluation.
Proceedings of the Feature Interactions in Telecommunications III, 1995

1994
Automated Verification of Responsive Protocols Modeled by Extended Finite State Machines.
Real Time Syst., 1994

A Model-based Approach for Software Test Process Improvement.
Proceedings of the Software Quality and Productivity: Theory, 1994

Automated synthesis of protocol specifications with message collisions and verification of timeliness.
Proceedings of the 1994 International Conference on Network Protocols, 1994

Application of protocol sythesis technique to resolution of the service interaction problem.
Proceedings of the Formal Description Techniques VII, 1994

Analysis of metrics for object-oriented program complexity.
Proceedings of the Eighteenth Annual International Computer Software and Applications Conference, 1994

1993
A new framework of measuring software development processes.
Proceedings of the First International Software Metrics Symposium, 1993

Comparison of Hybrid Modular Redundant Multiprocessor Systems with respect to Performabilitites.
Proceedings of the Digest of Papers: FTCS-23, 1993

1991
Reconfiguration Algorithm for Fault-Tolerant Arrays with Minimum Number of Dangerous Processors.
Proceedings of the 1991 International Symposium on Fault-Tolerant Computing, 1991

Fault analysis based on fault reporting in JSP software development.
Proceedings of the Fifteenth Annual International Computer Software and Applications Conference, 1991

Experimental evaluation of the cost effectiveness of software reviews.
Proceedings of the Fifteenth Annual International Computer Software and Applications Conference, 1991

1990
Incremental Attribute Evaluation for Multiple Subtree Replacements in Structure-Oriented Environments.
Proceedings of the Attribute Grammars and their Applications, 1990

1989
A Meeting Scheduler for Office Automation.
IEEE Trans. Software Eng., 1989

A Formal Adaptation Method for Process Descriptions.
Proceedings of the 11th International Conference on Software Engineering, 1989

1988
Optimization of Multiple Queries in Relational Database Systems.
Syst. Comput. Jpn., 1988

Experimental evaluation of software reliability growth models.
Proceedings of the Eighteenth International Symposium on Fault-Tolerant Computing, 1988

1987
A Heuristic Algorithm for Gate Assignment in One-Dimensional Array Approach.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1987

Response time minimization for processing simple queries in star networks.
Syst. Comput. Jpn., 1987

1985
Design of hardware algorithms by recurrence relations.
Syst. Comput. Jpn., 1985

Feasibility problem for meeting timetable rearrangement.
Syst. Comput. Jpn., 1985

1984
A Distributed Algorithm for Deadlock Detection and Resolution.
Proceedings of the Fourth Symposium on Reliability in Distributed Software and Database Systems, 1984

A Semantic Approach to Usability in Relational Database Systems.
Proceedings of the First International Conference on Data Engineering, 1984

1983
A linear algorithm for the domination number of a series-parallel graph.
Discret. Appl. Math., 1983

1980
NP-completeness of some type of p-center problem.
Discret. Appl. Math., 1980

1979
A fast selective traversal algorithm for binary search trees.
Proceedings of the IEEE Computer Society's Third International Computer Software and Applications Conference, 1979


  Loading...