BibTeX records: Toshinori Takai

download as .bib file

@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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics