Yoshimichi Watanabe

Publication Activity (10 Years)

Years Active: 1994-2023
Publications (10 Years): 8

Top Topics

Fault Tree Analysis

Requirements Analysis

Control Software

Top Venues

Complex Syst. Informatics Model. Q.

Publications

Takehiro Tokuda, Yoshimichi Watanabe
A bounded partition approach to identifying one fake coin and its type. CoRR (2023)
Masakazu Takahashi, Daiki Morimoto, Yunarso Anang, Yoshimichi Watanabe
A Proposal of Hazard Analysis Method Using Structured System Theoretical Process Analysis. SICE (2022)
Masakazu Takahashi, Kouji Ueno, Yunarso Anang, Yoshimichi Watanabe
A Comprehensive Creation Method of Hardware and Software Combined Test Specifications for Industrial Product Controlled by Software using HAZOP. SICE (2021)
Masakazu Takahashi, Yunarso Anang, Yoshimichi Watanabe
A Safety Analysis Method for Control Software in Coordination with FMEA and FTA. Inf. 12 (2) (2021)
Masakazu Takahashi, Yunarso Anang, Yoshimichi Watanabe
A Proposal of Fault Tree Analysis for Embedded Control Software. Inf. 11 (9) (2020)
Masakazu Takahashi, Riki Kosaka, Reiji Nanba, Yunarso Anang, Yoshimichi Watanabe
A study of methodology for securing control software based FMEA-FTA coordination. SII (2016)
Yunarso Anang, Yoshimichi Watanabe
Applying Layering Concept to the Software Requirements Analysis and Architectural Design. REFSQ Workshops (2016)
Yunarso Anang, Masakazu Takahashi, Yoshimichi Watanabe
A Method for Software Requirement Volatility Analysis Using QFD. Complex Syst. Informatics Model. Q. 8 (2016)
Khandoker Asadul Islam, Yoshimichi Watanabe
Maintaining Data Consistency of XML Databases Using Verification Techniques. ASIAN (2006)
Takehiro Tokuda, Kouji Yamamoto, Yoshimichi Watanabe
Deterministic Reconstruction of Context-Free Derivations for a Sentence with Shuffled Terminal Symbols. Developments in Language Theory (1997)
Yoshimichi Watanabe, Takehiro Tokuda
An Attribute Evaluation of One-Pass Attribute Grammars Using Value Estimate. Developments in Language Theory (1997)
Yoshimichi Watanabe, Takehiro Tokuda
A parsing method for context-free languages using bottom-up lookahead computation. Systems and Computers in Japan 27 (10) (1996)
Takehiro Tokuda, Yoshimichi Watanabe
An Efficient Semantic Evaluator for Warped LC(1) Attributed Grammars. Inf. Process. Lett. 53 (5) (1995)
Takehiro Tokuda, Yoshimichi Watanabe
An Attribute Evaluation of Context-Free Languages. Inf. Process. Lett. 52 (2) (1994)