Toshinori Takai

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