Right-Linear Finite Path Overlapping Term Rewriting Systems Effectively Preserve Recognizability. - Toshinori Takai; Yuichi Kaji; Hiroyuki Seki (RTA, 2000)

Decidability and Closure Properties of Equational Tree Languages. - Hitoshi Ohsaki; Toshinori Takai (RTA, 2002)

Layered Transducing Term Rewriting System and Its Recognizability Preserving Property. - Hiroyuki Seki; Toshinori Takai; Youhei Fujinaka; Yuichi Kaji (RTA, 2002)

Recognizing Boolean Closed A-Tree Languages with Membership Conditional Rewriting Mechanism. - Hitoshi Ohsaki; Hiroyuki Seki; Toshinori Takai (RTA, 2003)

A Verification Technique Using Term Rewriting Systems and Abstract Interpretation. - Toshinori Takai (RTA, 2004)

ACTAS : A System Design for Associative and Commutative Tree Automata Theory. - Hitoshi Ohsaki; Toshinori Takai (RULE@RDP, 2004)

Monodic Tree Kleene Algebra. - Toshinori Takai; Hitoshi Furusawa (RelMiCS, 2006)

Towards Argumentation Schemes for Open Systems Dependability. - Hiroyuki Kido 001; Yukio Ohsawa; Makoto Hirai; Yoshifumi Yuasa; Toshinori Takai (DASC, 2014)

Linking Traceability with GSN. - Kenji Taguchi 001; Daisuke Souma; Hideaki Nishihara; Toshinori Takai (ISSRE Workshops, 2014)

Retrieving Information from a Document Repository for Constructing Assurance Cases. - Khana Chindamaikul; Toshinori Takai; Hajimu Iida (ISSRE Workshops, 2014)

A Supplemental Notation of GSN Aiming for Dealing with Changes of Assurance Cases. - Toshinori Takai; Hiroyuki Kido 001 (ISSRE Workshops, 2014)

D-Case Steps: New Steps for Writing Assurance Cases. - Yuto Onuma; Toshinori Takai; Tsutomu Koshiyama; Yutaka Matsuno (SAFECOMP Workshops, 2018)

Case Study Applying GQM+Strategies with SysML for IoT Application System Development. - Toshinori Takai; Katsutoshi Shintani; Hideki Andoh; Hironori Washizaki (IIAI-AAI, 2019)

Prioritizing Scenarios based on STAMP/STPA Using Statistical Model Checking. - Mitsuaki Tsuji; Toshinori Takai; Kazuki Kakimoto; Naoki Ishihama; Masafumi Katahira; Hajimu Iida (ICST Workshops, 2020)

Continuous modeling supports from business analysis to systems engineering in IoT development. - Toshinori Takai; Katsutoshi Shintani; Hideki Andoh; Hironori Washizaki (IIAI-AAI, 2020)

Facilitating Use of Assurance Cases in Industries by Workshops with an Agent-Based Method. - Yutaka Matsuno; Toshinori Takai; Shuichiro Yamamoto (IEICE Trans. Inf. Syst., 2020)

A method for requirements elicitation and consensus-building for ideas in the vehicle system concept design using GSN. - Masahiro Watanabe; Yutaka Matsuno; Toshinori Takai (APSEC, 2023)

Toward Dependability Assurance Framework for Automated Driving Systems. - Yutaka Matsuno; Toshinori Takai; Manabu Okada; Tomoyuki Tsuchiya (SAFECOMP Workshops, 2023)

A Case Study of Continuous Assurance Argument for Level 4 Automated Driving. - Hideaki Kodama; Yutaka Matsuno; Toshinori Takai; Hiroshi Ota; Manabu Okada; Tomoyuki Tsuchiya (SAFECOMP, 2024)