Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Toshinori Takai
@inproceedings{DBLP:conf/safecomp/MatsunoTOT23, author = {Yutaka Matsuno and Toshinori Takai and Manabu Okada and Tomoyuki Tsuchiya}, editor = {J{\'{e}}r{\'{e}}mie Guiochet and Stefano Tonetta and Erwin Schoitsch and Matthieu Roy and Friedemann Bitsch}, title = {Toward Dependability Assurance Framework for Automated Driving Systems}, booktitle = {Computer Safety, Reliability, and Security. {SAFECOMP} 2023 Workshops - ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14182}, pages = {32--37}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-40953-0\_4}, doi = {10.1007/978-3-031-40953-0\_4}, timestamp = {Sun, 24 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/safecomp/MatsunoTOT23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ieicetd/MatsunoTY20, author = {Yutaka Matsuno and Toshinori Takai and Shuichiro Yamamoto}, title = {Facilitating Use of Assurance Cases in Industries by Workshops with an Agent-Based Method}, journal = {{IEICE} Trans. Inf. Syst.}, volume = {103-D}, number = {6}, pages = {1297--1308}, year = {2020}, url = {https://doi.org/10.1587/transinf.2019KBP0014}, doi = {10.1587/TRANSINF.2019KBP0014}, timestamp = {Mon, 18 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ieicetd/MatsunoTY20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icst/TsujiTKIKI20, author = {Mitsuaki Tsuji and Toshinori Takai and Kazuki Kakimoto and Naoki Ishihama and Masafumi Katahira and Hajimu Iida}, title = {Prioritizing Scenarios based on {STAMP/STPA} Using Statistical Model Checking}, booktitle = {13th {IEEE} International Conference on Software Testing, Verification and Validation Workshops, {ICSTW} 2020, Porto, Portugal, October 24-28, 2020}, pages = {124--132}, publisher = {{IEEE}}, year = {2020}, url = {https://doi.org/10.1109/ICSTW50294.2020.00032}, doi = {10.1109/ICSTW50294.2020.00032}, timestamp = {Tue, 18 Aug 2020 09:44:46 +0200}, biburl = {https://dblp.org/rec/conf/icst/TsujiTKIKI20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iiaiaai/TakaiSAW20, author = {Toshinori Takai and Katsutoshi Shintani and Hideki Andoh and Hironori Washizaki}, editor = {Tokuro Matsuo and Kunihiko Takamatsu and Yuichi Ono and Sachio Hirokawa}, title = {Continuous modeling supports from business analysis to systems engineering in IoT development}, booktitle = {9th International Congress on Advanced Applied Informatics, {IIAI-AAI} 2020, Kitakyushu, Japan, September 1-15, 2020}, pages = {689--694}, publisher = {{IEEE}}, year = {2020}, url = {https://doi.org/10.1109/IIAI-AAI50415.2020.00139}, doi = {10.1109/IIAI-AAI50415.2020.00139}, timestamp = {Thu, 20 May 2021 15:42:15 +0200}, biburl = {https://dblp.org/rec/conf/iiaiaai/TakaiSAW20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iiaiaai/TakaiSAW19, author = {Toshinori Takai and Katsutoshi Shintani and Hideki Andoh and Hironori Washizaki}, title = {Case Study Applying GQM+Strategies with SysML for IoT Application System Development}, booktitle = {8th International Congress on Advanced Applied Informatics, {IIAI-AAI} 2019, Toyama, Japan, July 7-11, 2019}, pages = {914--919}, publisher = {{IEEE}}, year = {2019}, url = {https://doi.org/10.1109/IIAI-AAI.2019.00184}, doi = {10.1109/IIAI-AAI.2019.00184}, timestamp = {Tue, 25 Feb 2020 17:16:42 +0100}, biburl = {https://dblp.org/rec/conf/iiaiaai/TakaiSAW19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/safecomp/OnumaTKM18, author = {Yuto Onuma and Toshinori Takai and Tsutomu Koshiyama and Yutaka Matsuno}, editor = {Barbara Gallina and Amund Skavhaug and Erwin Schoitsch and Friedemann Bitsch}, title = {D-Case Steps: New Steps for Writing Assurance Cases}, booktitle = {Computer Safety, Reliability, and Security - {SAFECOMP} 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, V{\"{a}}ster{\aa}s, Sweden, September 18, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11094}, pages = {71--78}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-99229-7\_8}, doi = {10.1007/978-3-319-99229-7\_8}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/safecomp/OnumaTKM18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dasc/KidoOHYT14, author = {Hiroyuki Kido and Yukio Ohsawa and Makoto Hirai and Yoshifumi Yuasa and Toshinori Takai}, title = {Towards Argumentation Schemes for Open Systems Dependability}, booktitle = {{IEEE} 12th International Conference on Dependable, Autonomic and Secure Computing, {DASC} 2014, Dalian, China, August 24-27, 2014}, pages = {32--38}, publisher = {{IEEE} Computer Society}, year = {2014}, url = {https://doi.org/10.1109/DASC.2014.15}, doi = {10.1109/DASC.2014.15}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dasc/KidoOHYT14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issre/0001DNT14, author = {Kenji Taguchi and Daisuke Souma and Hideaki Nishihara and Toshinori Takai}, title = {Linking Traceability with {GSN}}, booktitle = {25th {IEEE} International Symposium on Software Reliability Engineering Workshops, {ISSRE} Workshops, Naples, Italy, November 3-6, 2014}, pages = {192--197}, publisher = {{IEEE} Computer Society}, year = {2014}, url = {https://doi.org/10.1109/ISSREW.2014.79}, doi = {10.1109/ISSREW.2014.79}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/issre/0001DNT14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issre/ChindamaikulTI14, author = {Khana Chindamaikul and Toshinori Takai and Hajimu Iida}, title = {Retrieving Information from a Document Repository for Constructing Assurance Cases}, booktitle = {25th {IEEE} International Symposium on Software Reliability Engineering Workshops, {ISSRE} Workshops, Naples, Italy, November 3-6, 2014}, pages = {198--203}, publisher = {{IEEE} Computer Society}, year = {2014}, url = {https://doi.org/10.1109/ISSREW.2014.65}, doi = {10.1109/ISSREW.2014.65}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/issre/ChindamaikulTI14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issre/TakaiK14, author = {Toshinori Takai and Hiroyuki Kido}, title = {A Supplemental Notation of {GSN} Aiming for Dealing with Changes of Assurance Cases}, booktitle = {25th {IEEE} International Symposium on Software Reliability Engineering Workshops, {ISSRE} Workshops, Naples, Italy, November 3-6, 2014}, pages = {461--466}, publisher = {{IEEE} Computer Society}, year = {2014}, url = {https://doi.org/10.1109/ISSREW.2014.94}, doi = {10.1109/ISSREW.2014.94}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/issre/TakaiK14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/RelMiCS/TakaiF06, author = {Toshinori Takai and Hitoshi Furusawa}, editor = {Renate A. Schmidt}, title = {Monodic Tree Kleene Algebra}, booktitle = {Relations and Kleene Algebra in Computer Science, 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29-September 2, 2006, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4136}, pages = {402--416}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11828563\_27}, doi = {10.1007/11828563\_27}, timestamp = {Tue, 14 May 2019 10:00:51 +0200}, biburl = {https://dblp.org/rec/conf/RelMiCS/TakaiF06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rta/Takai04, author = {Toshinori Takai}, editor = {Vincent van Oostrom}, title = {A Verification Technique Using Term Rewriting Systems and Abstract Interpretation}, booktitle = {Rewriting Techniques and Applications, 15th International Conference, {RTA} 2004, Aachen, Germany, June 3-5, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3091}, pages = {119--133}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-25979-4\_9}, doi = {10.1007/978-3-540-25979-4\_9}, timestamp = {Mon, 16 Sep 2019 15:32:17 +0200}, biburl = {https://dblp.org/rec/conf/rta/Takai04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/OhsakiT05, author = {Hitoshi Ohsaki and Toshinori Takai}, editor = {Slim Abdennadher and Christophe Ringeissen}, title = {{ACTAS} : {A} System Design for Associative and Commutative Tree Automata Theory}, booktitle = {Proceedings of the 5th International Workshop on Rule-Based Programming, {RULE} 2004, Aachen, Germany, June 1, 2004}, series = {Electronic Notes in Theoretical Computer Science}, volume = {124}, number = {1}, pages = {97--111}, publisher = {Elsevier}, year = {2004}, url = {https://doi.org/10.1016/j.entcs.2004.07.017}, doi = {10.1016/J.ENTCS.2004.07.017}, timestamp = {Thu, 15 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/OhsakiT05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rta/OhsakiST03, author = {Hitoshi Ohsaki and Hiroyuki Seki and Toshinori Takai}, editor = {Robert Nieuwenhuis}, title = {Recognizing Boolean Closed A-Tree Languages with Membership Conditional Rewriting Mechanism}, booktitle = {Rewriting Techniques and Applications, 14th International Conference, {RTA} 2003, Valencia, Spain, June 9-11, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2706}, pages = {483--498}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/3-540-44881-0\_34}, doi = {10.1007/3-540-44881-0\_34}, timestamp = {Sun, 02 Oct 2022 16:14:20 +0200}, biburl = {https://dblp.org/rec/conf/rta/OhsakiST03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rta/SekiTFK02, author = {Hiroyuki Seki and Toshinori Takai and Youhei Fujinaka and Yuichi Kaji}, editor = {Sophie Tison}, title = {Layered Transducing Term Rewriting System and Its Recognizability Preserving Property}, booktitle = {Rewriting Techniques and Applications, 13th International Conference, {RTA} 2002, Copenhagen, Denmark, July 22-24, 2002, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2378}, pages = {98--113}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-45610-4\_8}, doi = {10.1007/3-540-45610-4\_8}, timestamp = {Tue, 14 May 2019 10:00:46 +0200}, biburl = {https://dblp.org/rec/conf/rta/SekiTFK02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rta/OhsakiT02, author = {Hitoshi Ohsaki and Toshinori Takai}, editor = {Sophie Tison}, title = {Decidability and Closure Properties of Equational Tree Languages}, booktitle = {Rewriting Techniques and Applications, 13th International Conference, {RTA} 2002, Copenhagen, Denmark, July 22-24, 2002, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2378}, pages = {114--128}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-45610-4\_9}, doi = {10.1007/3-540-45610-4\_9}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rta/OhsakiT02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rta/TakaiKS00, author = {Toshinori Takai and Yuichi Kaji and Hiroyuki Seki}, editor = {Leo Bachmair}, title = {Right-Linear Finite Path Overlapping Term Rewriting Systems Effectively Preserve Recognizability}, booktitle = {Rewriting Techniques and Applications, 11th International Conference, {RTA} 2000, Norwich, UK, July 10-12, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1833}, pages = {246--260}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/10721975\_17}, doi = {10.1007/10721975\_17}, timestamp = {Tue, 14 May 2019 10:00:46 +0200}, biburl = {https://dblp.org/rec/conf/rta/TakaiKS00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.