Toshinori Takai

Publication Activity (10 Years)

Years Active: 2000-2023
Publications (10 Years): 7

Top Topics

Argumentation Schemes

Requirements Elicitation

Top Venues

ISSRE Workshops

SAFECOMP Workshops

IEICE Trans. Inf. Syst.

Publications

Yutaka Matsuno, Toshinori Takai, Manabu Okada, Tomoyuki Tsuchiya
Toward Dependability Assurance Framework for Automated Driving Systems. SAFECOMP Workshops (2023)
Masahiro Watanabe, Yutaka Matsuno, Toshinori Takai
A method for requirements elicitation and consensus-building for ideas in the vehicle system concept design using GSN. APSEC (2023)
Toshinori Takai, Katsutoshi Shintani, Hideki Andoh, Hironori Washizaki
Continuous modeling supports from business analysis to systems engineering in IoT development. IIAI-AAI (2020)
Yutaka Matsuno, Toshinori Takai, Shuichiro Yamamoto
Facilitating Use of Assurance Cases in Industries by Workshops with an Agent-Based Method. IEICE Trans. Inf. Syst. (6) (2020)
Mitsuaki Tsuji, Toshinori Takai, Kazuki Kakimoto, Naoki Ishihama, Masafumi Katahira, Hajimu Iida
Prioritizing Scenarios based on STAMP/STPA Using Statistical Model Checking. ICST Workshops (2020)
Toshinori Takai, Katsutoshi Shintani, Hideki Andoh, Hironori Washizaki
Case Study Applying GQM+Strategies with SysML for IoT Application System Development. IIAI-AAI (2019)
Yuto Onuma, Toshinori Takai, Tsutomu Koshiyama, Yutaka Matsuno
D-Case Steps: New Steps for Writing Assurance Cases. SAFECOMP Workshops (2018)
Hiroyuki Kido, Yukio Ohsawa, Makoto Hirai, Yoshifumi Yuasa, Toshinori Takai
Towards Argumentation Schemes for Open Systems Dependability. DASC (2014)
Kenji Taguchi, Daisuke Souma, Hideaki Nishihara, Toshinori Takai
Linking Traceability with GSN. ISSRE Workshops (2014)
Khana Chindamaikul, Toshinori Takai, Hajimu Iida
Retrieving Information from a Document Repository for Constructing Assurance Cases. ISSRE Workshops (2014)
Toshinori Takai, Hiroyuki Kido
A Supplemental Notation of GSN Aiming for Dealing with Changes of Assurance Cases. ISSRE Workshops (2014)
Toshinori Takai, Hitoshi Furusawa
Monodic Tree Kleene Algebra. RelMiCS (2006)
Hitoshi Ohsaki, Toshinori Takai
ACTAS : A System Design for Associative and Commutative Tree Automata Theory. Electron. Notes Theor. Comput. Sci. 124 (1) (2005)
Toshinori Takai
A Verification Technique Using Term Rewriting Systems and Abstract Interpretation. RTA (2004)
Hitoshi Ohsaki, Hiroyuki Seki, Toshinori Takai
Recognizing Boolean Closed A-Tree Languages with Membership Conditional Rewriting Mechanism. RTA (2003)
Hitoshi Ohsaki, Toshinori Takai
Decidability and Closure Properties of Equational Tree Languages. RTA (2002)
Hiroyuki Seki, Toshinori Takai, Youhei Fujinaka, Yuichi Kaji
Layered Transducing Term Rewriting System and Its Recognizability Preserving Property. RTA (2002)
Toshinori Takai, Yuichi Kaji, Hiroyuki Seki
Right-Linear Finite Path Overlapping Term Rewriting Systems Effectively Preserve Recognizability. RTA (2000)