Toshinori Takai

According to our database, Toshinori Takai authored at least 19 papers between 2000 and 2024.

Collaborative distances:

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

2024

A Case Study of Continuous Assurance Argument for Level 4 Automated Driving.

Hideaki Kodama, Yutaka Matsuno, Toshinori Takai, Hiroshi Ota, Manabu Okada, Tomoyuki Tsuchiya

Proceedings of the Computer Safety, Reliability, and Security, 2024

2023

Toward Dependability Assurance Framework for Automated Driving Systems.

Yutaka Matsuno, Toshinori Takai, Manabu Okada, Tomoyuki Tsuchiya

Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops, 2023

A method for requirements elicitation and consensus-building for ideas in the vehicle system concept design using GSN.

Masahiro Watanabe, Yutaka Matsuno, Toshinori Takai

Proceedings of the 30th Asia-Pacific Software Engineering Conference, 2023

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

Continuous modeling supports from business analysis to systems engineering in IoT development.

Toshinori Takai, Katsutoshi Shintani, Hideki Andoh, Hironori Washizaki

Proceedings of the 9th International Congress on Advanced Applied Informatics, 2020

Prioritizing Scenarios based on STAMP/STPA Using Statistical Model Checking.

Mitsuaki Tsuji, Toshinori Takai, Kazuki Kakimoto, Naoki Ishihama, Masafumi Katahira, Hajimu Iida

Proceedings of the 13th IEEE International Conference on Software Testing, 2020

2019

Case Study Applying GQM+Strategies with SysML for IoT Application System Development.

Toshinori Takai, Katsutoshi Shintani, Hideki Andoh, Hironori Washizaki

Proceedings of the 8th International Congress on Advanced Applied Informatics, 2019

2018

D-Case Steps: New Steps for Writing Assurance Cases.

Yuto Onuma, Toshinori Takai, Tsutomu Koshiyama, Yutaka Matsuno

Proceedings of the Computer Safety, Reliability, and Security, 2018

2014

A Supplemental Notation of GSN Aiming for Dealing with Changes of Assurance Cases.

Toshinori Takai, Hiroyuki Kido

Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops, 2014

Retrieving Information from a Document Repository for Constructing Assurance Cases.

Khana Chindamaikul, Toshinori Takai, Hajimu Iida

Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops, 2014

Linking Traceability with GSN.

Kenji Taguchi, Daisuke Souma, Hideaki Nishihara, Toshinori Takai

Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops, 2014

Towards Argumentation Schemes for Open Systems Dependability.

Hiroyuki Kido, Yukio Ohsawa, Makoto Hirai, Yoshifumi Yuasa, Toshinori Takai

Proceedings of the IEEE 12th International Conference on Dependable, 2014

2006

Monodic Tree Kleene Algebra.

Toshinori Takai, Hitoshi Furusawa

Proceedings of the Relations and Kleene Algebra in Computer Science, 2006

2004

ACTAS : A System Design for Associative and Commutative Tree Automata Theory.

Hitoshi Ohsaki, Toshinori Takai

Proceedings of the 5th International Workshop on Rule-Based Programming, 2004

A Verification Technique Using Term Rewriting Systems and Abstract Interpretation.

Toshinori Takai

Proceedings of the Rewriting Techniques and Applications, 15th International Conference, 2004

2003

Recognizing Boolean Closed A-Tree Languages with Membership Conditional Rewriting Mechanism.

Hitoshi Ohsaki, Hiroyuki Seki, Toshinori Takai

Proceedings of the Rewriting Techniques and Applications, 14th International Conference, 2003

2002

Layered Transducing Term Rewriting System and Its Recognizability Preserving Property.

Hiroyuki Seki, Toshinori Takai, Youhei Fujinaka, Yuichi Kaji

Proceedings of the Rewriting Techniques and Applications, 13th International Conference, 2002

Decidability and Closure Properties of Equational Tree Languages.

Hitoshi Ohsaki, Toshinori Takai

Proceedings of the Rewriting Techniques and Applications, 13th International Conference, 2002

2000

Right-Linear Finite Path Overlapping Term Rewriting Systems Effectively Preserve Recognizability.

Toshinori Takai, Yuichi Kaji, Hiroyuki Seki

Proceedings of the Rewriting Techniques and Applications, 11th International Conference, 2000