Tatsuhiro Tsuchiya

Yuta Nagashima

Proceedings of the 2016 IEEE International Parallel and Distributed Processing Symposium Workshops, 2016

2015

Towards Automatic Requirements Elicitation from Feedback Comments: Extracting Requirements Topics Using LDA.

[BibT_eX]

[DOI]

Hitoshi Takahashi

Proceedings of the 27th International Conference on Software Engineering and Knowledge Engineering, 2015

An Experimental Evaluation on Runtime Verification of Self-adaptive Systems in the Presence of Uncertain Transition Probabilities.

[BibT_eX]

[DOI]

Kento Ogawa

Proceedings of the Software Engineering and Formal Methods, 2015

Towards Self-Adaptation on Real-World Hardware: A Preliminary Lightweight Programming Framework.

[BibT_eX]

[DOI]

Hiroki Tsuda

Proceedings of the 2015 IEEE 9th International Conference on Self-Adaptive and Self-Organizing Systems, 2015

Towards Automatic Constraint Elicitation in Test Design: Preliminary Evaluation Based on Collective Intelligence.

[BibT_eX]

[DOI]

Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering Workshops, 2015

Towards Automatic Constraints Elicitation in Pair-Wise Testing Based on a Linguistic Approach: Elicitation Support Using Coupling Strength.

[BibT_eX]

[DOI]

Proceedings of the 2nd IEEE/ACM International Workshop on Requirements Engineering and Testing, 2015

2014

Voting Sharing: An Approach to Reducing Computation Time for Fault Diagnosis in Time-Triggered Systems.

[BibT_eX]

[DOI]

Kohei Sakurai

Masahiro Matsubara

IEICE Trans. Inf. Syst., 2014

Applying Random Testing to Constrained Interaction Testing.

[BibT_eX]

Yasuhiro Hirasaki

Proceedings of the 26th International Conference on Software Engineering and Knowledge Engineering, 2014

Locating a Faulty Interaction in Pair-wise Testing.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE Pacific Rim International Symposium on Dependable Computing, 2014

Applying Parameter Value Weighting to a Practical Application.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops, 2014

Coverage Criteria for State Transition Testing and Model Checker-Based Test Case Generation.

[BibT_eX]

[DOI]

Cassia de Souza Carvalho

Proceedings of the Second International Symposium on Computing and Networking, 2014

Modeling the Interaction of Power Line and SCADA Networks.

[BibT_eX]

[DOI]

Yuki Matsui

Proceedings of the 15th International IEEE Symposium on High-Assurance Systems Engineering, 2014

2013

A monitoring point selection approach for power distribution systems.

[BibT_eX]

[DOI]

Hirofumi Terada

Tsukasa Onishi

Proceedings of the 8th International Conference on System of Systems Engineering, 2013

Software reconstruction and module management for distributed processing of train control.

[BibT_eX]

[DOI]

Proceedings of the 11th International Symposium on Autonomous Decentralized Systems, 2013

A Value Weighting Method for Pair-wise Testing.

[BibT_eX]

[DOI]

Satoshi Fujimoto

Proceedings of the 20th Asia-Pacific Software Engineering Conference, 2013

2012

Using Satisfiability Solving for Pairwise Testing in the Presence of Constraints.

[BibT_eX]

[DOI]

Toru Nanba

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2012

Achieving High Availability of Consistent Data in the Presence of Network Partitions.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Ubiquitous Intelligence and Computing and 9th International Conference on Autonomic and Trusted Computing, 2012

A BDD-Based Approach to Reliability Optimal Module Allocation in Networks.

[BibT_eX]

[DOI]

Proceedings of the IEEE 18th Pacific Rim International Symposium on Dependable Computing, 2012

Safety Verification of Asynchronous Consensus Algorithms with Model Checking.

[BibT_eX]

[DOI]

Tatsuya Noguchi

Proceedings of the IEEE 18th Pacific Rim International Symposium on Dependable Computing, 2012

Maximizing Availability of Consistent Data in Unreliable Networks.

[BibT_eX]

[DOI]

Yuki Matsui

Proceedings of the 18th IEEE International Conference on Parallel and Distributed Systems, 2012

2011

Verification of consensus algorithms using satisfiability solving.

[BibT_eX]

[DOI]

Distributed Comput., 2011

Gossiping with Network Coding.

[BibT_eX]

[DOI]

Shun Tokuyama

Proceedings of the 17th IEEE Pacific Rim International Symposium on Dependable Computing, 2011

Constructing Test Sets for Pairwise Testing: A SAT-Based Approach.

[BibT_eX]

[DOI]

Toru Nanba

Proceedings of the Second International Conference on Networking and Computing, 2011

Bounded Model Checking of Concurrent Systems with Unbounded Integer Variables.

[BibT_eX]

[DOI]

Hiroyuki Inoue

Proceedings of the Second International Conference on Networking and Computing, 2011

2010

Constructing Overlay Networks with Short Paths and Low Communication Cost.

[BibT_eX]

[DOI]

Fuminori Makikawa

IEICE Trans. Inf. Syst., 2010

The Time Complexity of Hsu and Huang's Self-Stabilizing Maximal Matching Algorithm.

[BibT_eX]

[DOI]

Masahiro Kimoto

IEICE Trans. Inf. Syst., 2010

On the Reliability of Cascaded TMR Systems.

[BibT_eX]

[DOI]

Masashi Hamamatsu

Proceedings of the 16th IEEE Pacific Rim International Symposium on Dependable Computing, 2010

Balance and Proximity-Aware Skip Graph Construction.

[BibT_eX]

[DOI]

Fuminori Makikawa

Proceedings of the First International Conference on Networking and Computing, 2010

2009

Probabilistic Model Checking of the One-Dimensional Ising Model.

[BibT_eX]

[DOI]

IEICE Trans. Inf. Syst., 2009

Feature Interaction Verification Using Unbounded Model Checking with Interpolation.

[BibT_eX]

[DOI]

Takafumi Matsuo

IEICE Trans. Inf. Syst., 2009

On the Time Complexity of Dijkstra's Three-State Mutual Exclusion Algorithm.

[BibT_eX]

[DOI]

Masahiro Kimoto

IEICE Trans. Inf. Syst., 2009

Using the NuSMV Model Checker for Test Generation from Statecharts.

[BibT_eX]

[DOI]

Masaya Kadono

Proceedings of the 2009 15th IEEE Pacific Rim International Symposium on Dependable Computing, 2009

Towards Automated Verification of Distributed Consensus Protocols.

[BibT_eX]

[DOI]

Takahiro Minamikawa

Proceedings of the 16th Asia-Pacific Software Engineering Conference, 2009

2008

A self-organising algorithm for sensor placement in wireless mobile microsensor networks.

[BibT_eX]

[DOI]

Int. J. Wirel. Mob. Comput., 2008

Using Bounded Model Checking to Verify Consensus Algorithms.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing, 22nd International Symposium, 2008

Pairwise Testing in the Presence of Configuration Change Cost.

[BibT_eX]

[DOI]

Shin Kimoto

Proceedings of the Second International Conference on Secure System Integration and Reliability Improvement, 2008

Detecting Feature Interactions in Home Appliance Networks.

[BibT_eX]

[DOI]

Proceedings of the Ninth ACIS International Conference on Software Engineering, 2008

Language and Tool Support for Model Checking of Fault-Tolerant Distributed Algorithms.

[BibT_eX]

[DOI]

Takahiro Minamikawa

Proceedings of the 14th IEEE Pacific Rim International Symposium on Dependable Computing, 2008

Finding the Optimal Configuration of a Cascading TMR System.

[BibT_eX]

[DOI]

Masashi Hamamatsu

Proceedings of the 14th IEEE Pacific Rim International Symposium on Dependable Computing, 2008

2007

An Energy-Efficient Broadcast Scheme for Multihop Wireless Ad Hoc Networks Using Variable-Range Transmission Power.

[BibT_eX]

[DOI]

IEICE Trans. Inf. Syst., 2007

Model Checking of Consensus Algorit.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE Symposium on Reliable Distributed Systems (SRDS 2007), 2007

An Automatic Real-Time Analysis of the Time to Reach Consensus.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2007), 2007

A localized broadcast scheme for minimizing power consumption in wireless mobile ad hoc networks.

[BibT_eX]

Proceedings of the IASTED International Conference on Parallel and Distributed Computing and Networks, 2007

Constructing Overlay Networks with Low Link Costs and Short Paths.

[BibT_eX]

[DOI]

Proceedings of the Sixth IEEE International Symposium on Network Computing and Applications (NCA 2007), 12, 2007

2006

Counter-based reliability optimization for gossip-based broadcasting.

[BibT_eX]

[DOI]

Shinichi Ikeda

Comput. Commun., 2006

A Decentralized Scheme for Network-Aware Reliable Overlay Construction.

[BibT_eX]

[DOI]

Shinichi Ikeda

Proceedings of the Information Networking, 2006

Improving the Robustness of Epidemic Communication in Scale-Free Networks.

[BibT_eX]

[DOI]

Takuya Okuyama

Proceedings of the Biologically Inspired Approaches to Advanced Information Technology, 2006

2005

Overlay Network Topologies for Gossip-Based Multicast.

[BibT_eX]

[DOI]

Daisuke Igarashi

Proceedings of the 11th International Conference on Parallel and Distributed Systems, 2005

Describing and Verifying Integrated Services of Home Network Systems.

[BibT_eX]

[DOI]

Proceedings of the 12th Asia-Pacific Software Engineering Conference (APSEC 2005), 2005

2004

On the Effects of Partial Membership Knowledge on Reliability of Gossip-Based Multicast.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Toshiaki Shiba

Proceedings of the 28th International Computer Software and Applications Conference (COMPSAC 2004), 2004

An Adaptive Mechanism for Epidemic Communication.

[BibT_eX]

[DOI]

Proceedings of the Biologically Inspired Approaches to Advanced Information Technology, 2004

SAT-Based Verification of Safe Petri Nets.

[BibT_eX]

[DOI]

Shougo Ogata

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.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Advanced Information Networking and Applications (AINA 2004), 2004

2002

On fault classes and error detection capability of specification-based testing.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2002

Byzantine quorum systems with maximum availability.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2002

A new method for constructing pair-wise covering designs for software testing.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2002

Non-specification-based approaches to logic testing for software.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2002

Verifying Fault Tolerance of Concurrent Systems by Model Checking.

[BibT_eX]

[DOI]

Tomoyuki Yokogawa

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2002

New 2-Factor Covering Designs for Software Testing.

[BibT_eX]

[DOI]

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2002

Detecting Feature Interactions in Telecommunication Services with a SAT Solver.

[BibT_eX]

[DOI]

Masahide Nakamura

Proceedings of the 9th Pacific Rim International Symposium on Dependable Computing (PRDC 2002), 2002

Using Symbolic Model Checking to Detect Service Interactions in Telecommunication Services.

[BibT_eX]

[DOI]

Proceedings of the Information Networking, 2002

Optimal k-Coteries That Maximize Availability in General Networks.

[BibT_eX]

[DOI]

Eun Hye Choi

Proceedings of the Information Networking, 2002

2001

Symbolic Model Checking for Self-Stabilizing Algorithms.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 2001

Minimizing the mean delay of quorum-based mutual exclusion schemes.

[BibT_eX]

[DOI]

J. Syst. Softw., 2001

Automatic Verification of Fault Tolerance Using Model Checking.

[BibT_eX]

[DOI]

Tomoyuki Yokogawa

Tsuchiya Kikuno

Proceedings of the 8th Pacific Rim International Symposium on Dependable Computing (PRDC 2001), 2001

Applicability of Non-Specification-Based Approaches to Logic Testing for Software.

[BibT_eX]

[DOI]

Proceedings of the 2001 International Conference on Dependable Systems and Networks (DSN 2001) (formerly: FTCS), 2001

2000

A new approach to fault-tolerant scheduling using task duplication in multiprocessor systems.

[BibT_eX]

[DOI]

J. Syst. Softw., 2000

Fault-Secure Scheduling of Arbitrary Task Graphs to Multiprocessor Systems.

[BibT_eX]

[DOI]

Proceedings of the 2000 International Conference on Dependable Systems and Networks (DSN 2000) (formerly FTCS-30 and DCCA-8), 2000

1999

Minimizing the Maximum Delay for Reaching Consensus in Quorum-Based Mutual Exclusion Schemes.

[BibT_eX]

[DOI]

Masatoshi Yamaguchi

IEEE Trans. Parallel Distributed Syst., 1999

Constructing Byzantine Quorum Systems from Combinatorial Designs.

[BibT_eX]

[DOI]

Nobuhiko Ido

Inf. Process. Lett., 1999

Availability Evaluation of Quorum-Based Mutual Exclusion Schemes in General Topology Networks.

[BibT_eX]

[DOI]

Comput. J., 1999

On the availability of k-coteries in networks with unreliable nodes and links.

[BibT_eX]

[DOI]

Eun Hye Choi

Proceedings of the Fourth International Workshop on Object-Oriented Real-Time Dependable Systems, 1999

1998

Genetics-based multiprocessor scheduling using task duplication.

[BibT_eX]

[DOI]

Tetsuya Osada

Microprocess. Microsystems, 1998

A Multiprocessor Scheduling Algorithm for Low Overhead Fault-Tolerance.

[BibT_eX]

[DOI]

Proceedings of the Seventeenth Symposium on Reliable Distributed Systems, 1998

1997

An approach to safety verification of object-oriented design specification for an elevator control system.

[BibT_eX]

[DOI]

Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems (WORDS '97), 1997

A New Approach to Realizing Fault-Tolerant Multiprocessor Scheduling by Exploiting Implicit Redundancy.

[BibT_eX]

[DOI]

Proceedings of the Digest of Papers: FTCS-27, 1997

Derivation of Safety Requirements for Safety Analysis of Object-Oriented Design Documents.

[BibT_eX]

[DOI]

Proceedings of the 21st International Computer Software and Applications Conference (COMPSAC '97), 1997

1996

Modeling and evaluation of responsive multiprocessor systems.

[BibT_eX]

[DOI]

Yoshiaki Kakuda

Syst. Comput. Jpn., 1996

1995

A new fault-tolerant scheduling technique for real-time multiprocessor systems.

[BibT_eX]

[DOI]

Yoshiaki Kakuda