Yoshimichi Watanabe

According to our database, Yoshimichi Watanabe authored at least 14 papers between 1994 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

A bounded partition approach to identifying one fake coin and its type.

Takehiro Tokuda, Yoshimichi Watanabe

CoRR, 2023

2022

A Proposal of Hazard Analysis Method Using Structured System Theoretical Process Analysis.

Masakazu Takahashi, Daiki Morimoto, Yunarso Anang, Yoshimichi Watanabe

Proceedings of the 61st IEEE Annual Conference of the Society of Instrument and Control Engineers, 2022

2021

A Safety Analysis Method for Control Software in Coordination with FMEA and FTA.

Masakazu Takahashi, Yunarso Anang, Yoshimichi Watanabe

Inf., 2021

A Comprehensive Creation Method of Hardware and Software Combined Test Specifications for Industrial Product Controlled by Software using HAZOP.

Masakazu Takahashi, Kouji Ueno, Yunarso Anang, Yoshimichi Watanabe

Proceedings of the 60th Annual Conference of the Society of Instrument and Control Engineers of Japan, 2021

2020

A Proposal of Fault Tree Analysis for Embedded Control Software.

Masakazu Takahashi, Yunarso Anang, Yoshimichi Watanabe

Inf., 2020

2016

A Method for Software Requirement Volatility Analysis Using QFD.

Yunarso Anang, Masakazu Takahashi, Yoshimichi Watanabe

Complex Syst. Informatics Model. Q., 2016

A study of methodology for securing control software based FMEA-FTA coordination.

Masakazu Takahashi, Riki Kosaka, Reiji Nanba, Yunarso Anang, Yoshimichi Watanabe

Proceedings of the 2016 IEEE/SICE International Symposium on System Integration, 2016

Applying Layering Concept to the Software Requirements Analysis and Architectural Design.

Yunarso Anang, Yoshimichi Watanabe

Proceedings of the Joint Proceedings of REFSQ-2016 Workshops, 2016

2006

Maintaining Data Consistency of XML Databases Using Verification Techniques.

Khandoker Asadul Islam, Yoshimichi Watanabe

Proceedings of the Advances in Computer Science, 2006

1997

An Attribute Evaluation of One-Pass Attribute Grammars Using Value Estimate.

Yoshimichi Watanabe, Takehiro Tokuda

Proceedings of the 3rd International Conference Developments in Language Theory, 1997

Deterministic Reconstruction of Context-Free Derivations for a Sentence with Shuffled Terminal Symbols.

Takehiro Tokuda, Kouji Yamamoto, Yoshimichi Watanabe

Proceedings of the 3rd International Conference Developments in Language Theory, 1997

1996

A parsing method for context-free languages using bottom-up lookahead computation.

Yoshimichi Watanabe, Takehiro Tokuda

Syst. Comput. Jpn., 1996

1995

An Efficient Semantic Evaluator for Warped LC(1) Attributed Grammars.

Takehiro Tokuda, Yoshimichi Watanabe

Inf. Process. Lett., 1995

1994

An Attribute Evaluation of Context-Free Languages.

Takehiro Tokuda, Yoshimichi Watanabe

Inf. Process. Lett., 1994