default search action
BibTeX records: Yutaka Matsuno
@inproceedings{DBLP:conf/safecomp/KodamaMTOOT24, author = {Hideaki Kodama and Yutaka Matsuno and Toshinori Takai and Hiroshi Ota and Manabu Okada and Tomoyuki Tsuchiya}, editor = {Andrea Ceccarelli and Mario Trapp and Andrea Bondavalli and Friedemann Bitsch}, title = {A Case Study of Continuous Assurance Argument for Level 4 Automated Driving}, booktitle = {Computer Safety, Reliability, and Security - 43rd International Conference, {SAFECOMP} 2024, Florence, Italy, September 18-20, 2024, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14988}, pages = {150--165}, publisher = {Springer}, year = {2024}, url = {https://doi.org/10.1007/978-3-031-68606-1\_10}, doi = {10.1007/978-3-031-68606-1\_10}, timestamp = {Fri, 20 Sep 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/safecomp/KodamaMTOOT24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apsec/WatanabeMT23, author = {Masahiro Watanabe and Yutaka Matsuno and Toshinori Takai}, title = {A method for requirements elicitation and consensus-building for ideas in the vehicle system concept design using {GSN}}, booktitle = {30th Asia-Pacific Software Engineering Conference, {APSEC} 2023, Seoul, Republic of Korea, December 4-7, 2023}, pages = {465--472}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/APSEC60848.2023.00058}, doi = {10.1109/APSEC60848.2023.00058}, timestamp = {Wed, 10 Apr 2024 20:58:45 +0200}, biburl = {https://dblp.org/rec/conf/apsec/WatanabeMT23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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} }
@inproceedings{DBLP:conf/itdrr/MatsunoM22, author = {Yutaka Matsuno and Mei Matsuura}, editor = {Terje Gj{\o}s{\ae}ter and Jaziar Radianti and Yuko Murayama}, title = {Development and Evaluation of a Shelter Simulator Using Gamification}, booktitle = {Information Technology in Disaster Risk Reduction - 7th {IFIP} {WG} 5.15 International Conference, {ITDRR} 2022, Kristiansand, Norway, October 12-14, 2022, Revised Selected Papers}, series = {{IFIP} Advances in Information and Communication Technology}, volume = {672}, pages = {327--340}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-031-34207-3\_21}, doi = {10.1007/978-3-031-34207-3\_21}, timestamp = {Thu, 15 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/itdrr/MatsunoM22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issre/MatsunoYNH21, author = {Yutaka Matsuno and Yoriyuki Yamagata and Hideaki Nishihara and Yuichiro Hosokawa}, title = {Assurance Carrying Code for Software Supply Chain}, booktitle = {{IEEE} International Symposium on Software Reliability Engineering, {ISSRE} 2021 - Workshops, Wuhan, China, October 25-28, 2021}, pages = {276--277}, publisher = {{IEEE}}, year = {2021}, url = {https://doi.org/10.1109/ISSREW53611.2021.00077}, doi = {10.1109/ISSREW53611.2021.00077}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/issre/MatsunoYNH21.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/icfem/YamagataM20, author = {Yoriyuki Yamagata and Yutaka Matsuno}, editor = {Shang{-}Wei Lin and Zhe Hou and Brendan P. Mahony}, title = {Algebraic Approach for Confidence Evaluation of Assurance Cases}, booktitle = {Formal Methods and Software Engineering - 22nd International Conference on Formal Engineering Methods, {ICFEM} 2020, Singapore, Singapore, March 1-3, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12531}, pages = {318--327}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-63406-3\_20}, doi = {10.1007/978-3-030-63406-3\_20}, timestamp = {Sun, 25 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icfem/YamagataM20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/re/IshikawaM20, author = {Fuyuki Ishikawa and Yutaka Matsuno}, editor = {Travis D. Breaux and Andrea Zisman and Samuel Fricker and Martin Glinz}, title = {Evidence-driven Requirements Engineering for Uncertainty of Machine Learning-based Systems}, booktitle = {28th {IEEE} International Requirements Engineering Conference, {RE} 2020, Zurich, Switzerland, August 31 - September 4, 2020}, pages = {346--351}, publisher = {{IEEE}}, year = {2020}, url = {https://doi.org/10.1109/RE48521.2020.00046}, doi = {10.1109/RE48521.2020.00046}, timestamp = {Wed, 14 Oct 2020 13:39:28 +0200}, biburl = {https://dblp.org/rec/conf/re/IshikawaM20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/safecomp/MatsunoIT19, author = {Yutaka Matsuno and Fuyuki Ishikawa and Susumu Tokumoto}, editor = {Alexander B. Romanovsky and Elena Troubitsyna and Ilir Gashi and Erwin Schoitsch and Friedemann Bitsch}, title = {Tackling Uncertainty in Safety Assurance for Machine Learning: Continuous Argument Engineering with Attributed Tests}, booktitle = {Computer Safety, Reliability, and Security - {SAFECOMP} 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11699}, pages = {398--404}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-26250-1\_33}, doi = {10.1007/978-3-030-26250-1\_33}, timestamp = {Thu, 05 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/safecomp/MatsunoIT19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/safecomp/IshikawaM18, author = {Fuyuki Ishikawa and Yutaka Matsuno}, editor = {Barbara Gallina and Amund Skavhaug and Erwin Schoitsch and Friedemann Bitsch}, title = {Continuous Argument Engineering: Tackling Uncertainty in Machine Learning Based Systems}, 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 = {14--21}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-99229-7\_2}, doi = {10.1007/978-3-319-99229-7\_2}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/safecomp/IshikawaM18.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 = {Mon, 03 Sep 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/safecomp/OnumaTKM18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hicss/IshigakiMBT17, author = {Yang Ishigaki and Yutaka Matsuno and Koichi Bando and Kenji Tanaka}, editor = {Tung Bui}, title = {Wisdom of Crowds for Reliable Discussion and Need Finding: {A} Case Study of Information Sharing Regarding Radiation after the Fukushima Nuclear Disaster}, booktitle = {50th Hawaii International Conference on System Sciences, {HICSS} 2017, Hilton Waikoloa Village, Hawaii, USA, January 4-7, 2017}, pages = {1--9}, publisher = {ScholarSpace / {AIS} Electronic Library (AISeL)}, year = {2017}, url = {https://hdl.handle.net/10125/41187}, timestamp = {Wed, 04 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hicss/IshigakiMBT17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/prdc/BandoMIT17, author = {Koichi Bando and Yutaka Matsuno and Yang Ishigaki and Kenji Tanaka}, editor = {Dong Seong Kim and Masato Kitakami and Vijay Varadharajan}, title = {Trend Analyses of Failures in Information Systems: {A} Case Study on Communications Networks and Financial Information Systems}, booktitle = {22nd {IEEE} Pacific Rim International Symposium on Dependable Computing, {PRDC} 2017, Christchurch, New Zealand, January 22-25, 2017}, pages = {233--234}, publisher = {{IEEE} Computer Society}, year = {2017}, url = {https://doi.org/10.1109/PRDC.2017.46}, doi = {10.1109/PRDC.2017.46}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/prdc/BandoMIT17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/safecomp/Matsuno17, author = {Yutaka Matsuno}, editor = {Stefano Tonetta and Erwin Schoitsch and Friedemann Bitsch}, title = {D-Case Communicator: {A} Web Based {GSN} Editor for Multiple Stakeholders}, booktitle = {Computer Safety, Reliability, and Security - {SAFECOMP} 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10489}, pages = {64--69}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-66284-8\_6}, doi = {10.1007/978-3-319-66284-8\_6}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/safecomp/Matsuno17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iscram/IshigakiMBT16, author = {Yang Ishigaki and Yutaka Matsuno and Koichi Bando and Kenji Tanaka}, editor = {Andrea H. Tapia and Pedro Antunes and Victor A. Ba{\~{n}}uls and Kathleen A. Moore and Jo{\~{a}}o Porto de Albuquerque}, title = {A Prototype Development of Assurance Cases Tool and Experiments on {SNS} Discussion of Radiation Disaster}, booktitle = {13th Proceedings of the International Conference on Information Systems for Crisis Response and Management, Rio de Janeiro, Brasil, May 22-25, 2016}, publisher = {{ISCRAM} Association}, year = {2016}, url = {http://idl.iscram.org/files/ishigakiyang/2016/1431\_IshigakiYang\_etal2016.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iscram/IshigakiMBT16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/safecomp/MatsunoIBKT16, author = {Yutaka Matsuno and Yang Ishigaki and Koichi Bando and Hiroyuki Kido and Kenji Tanaka}, editor = {Amund Skavhaug and J{\'{e}}r{\'{e}}mie Guiochet and Erwin Schoitsch and Friedemann Bitsch}, title = {Developing {SNS} Tool for Consensus Building on Environmental Safety Using Assurance Cases}, booktitle = {Computer Safety, Reliability, and Security - {SAFECOMP} 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9923}, pages = {55--62}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-45480-1\_5}, doi = {10.1007/978-3-319-45480-1\_5}, timestamp = {Mon, 31 Oct 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/safecomp/MatsunoIBKT16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hci/KurihashiMT15, author = {Sui Kurihashi and Yutaka Matsuno and Kenji Tanaka}, editor = {Sakae Yamamoto}, title = {Self-perception of Assister Driver Responsibility and Contribution in Mutual Assistance System}, booktitle = {Human Interface and the Management of Information. Information and Knowledge in Context - 17th International Conference, {HCI} International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {9173}, pages = {233--242}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-20618-9\_23}, doi = {10.1007/978-3-319-20618-9\_23}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/hci/KurihashiMT15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iscram/IshigakiMMT15, author = {Yang Ishigaki and Yoshinori Matsumoto and Yutaka Matsuno and Kenji Tanaka}, editor = {Leysia Palen and Monika B{\"{u}}scher and Tina Comes and Amanda Lee Hughes}, title = {Participatory Radiation Information Monitoring with {SNS} after Fukushima}, booktitle = {12th Proceedings of the International Conference on Information Systems for Crisis Response and Management, Krystiansand, Norway, May 24-27, 2015}, publisher = {{ISCRAM} Association}, year = {2015}, url = {http://idl.iscram.org/files/yangishigaki/2015/1243\_YangIshigaki\_etal2015.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iscram/IshigakiMMT15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/oopsla/OotsuMOYB15, author = {Kanemitsu Ootsu and Yutaka Matsuno and Takeshi Ohkawa and Takashi Yokota and Takanobu Baba}, editor = {Ali Jannesari and Siegfried Benkner and Xinghui Zhao and Ehsan Atoofian and Yukinori Sato}, title = {Empirical performance study of speculative parallel processing on commercial multi-core {CPU} with hardware transactional memory}, booktitle = {Proceedings of the 2nd International Workshop on Software Engineering for Parallel Systems, SEPS@SPLASH 2015, Pittsburgh, PA, USA, October 27, 2015}, pages = {57--65}, publisher = {{ACM}}, year = {2015}, url = {https://doi.org/10.1145/2837476.2837484}, doi = {10.1145/2837476.2837484}, timestamp = {Tue, 18 Jul 2023 16:34:05 +0200}, biburl = {https://dblp.org/rec/conf/oopsla/OotsuMOYB15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/prdc/BandoMT15, author = {Koichi Bando and Yutaka Matsuno and Kenji Tanaka}, editor = {Guojun Wang and Tatsuhiro Tsuchiya and Dong Xiang}, title = {Failure Analyses of Communications Systems and Networks by Publicly Available Failure Information from the viewpoint of Dependability}, booktitle = {21st {IEEE} Pacific Rim International Symposium on Dependable Computing, {PRDC} 2015, Zhangjiajie, China, November 18-20, 2015}, pages = {139--148}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/PRDC.2015.24}, doi = {10.1109/PRDC.2015.24}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/prdc/BandoMT15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/imt/Matsuno14, author = {Yutaka Matsuno}, title = {Design and Implementation of {GSN} Patterns: {A} Step toward Assurance Case Language}, journal = {Inf. Media Technol.}, volume = {9}, number = {3}, pages = {262--271}, year = {2014}, url = {https://doi.org/10.11185/imt.9.262}, doi = {10.11185/IMT.9.262}, timestamp = {Tue, 27 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/imt/Matsuno14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/Matsuno14, author = {Yutaka Matsuno}, title = {A Design and Implementation of an Assurance Case Language}, booktitle = {44th Annual {IEEE/IFIP} International Conference on Dependable Systems and Networks, {DSN} 2014, Atlanta, GA, USA, June 23-26, 2014}, pages = {630--641}, publisher = {{IEEE} Computer Society}, year = {2014}, url = {https://doi.org/10.1109/DSN.2014.97}, doi = {10.1109/DSN.2014.97}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dsn/Matsuno14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijsse/MatsunoY13, author = {Yutaka Matsuno and Shuichiro Yamamoto}, title = {A New Method for Writing Assurance Cases}, journal = {Int. J. Secur. Softw. Eng.}, volume = {4}, number = {1}, pages = {31--49}, year = {2013}, url = {https://doi.org/10.4018/jsse.2013010103}, doi = {10.4018/JSSE.2013010103}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijsse/MatsunoY13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jowua/MatsunoY13, author = {Yutaka Matsuno and Shuichiro Yamamoto}, title = {A Framework for Dependability Consensus Building and In-Operation Assurance}, journal = {J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl.}, volume = {4}, number = {1}, pages = {118--134}, year = {2013}, url = {https://doi.org/10.22667/JOWUA.2013.03.31.118}, doi = {10.22667/JOWUA.2013.03.31.118}, timestamp = {Sun, 17 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jowua/MatsunoY13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ems/OlayanPMY13, author = {Nada Olayan and Vaise Patu and Yutaka Matsuno and Shuichiro Yamamoto}, editor = {David Al{-}Dabass and Alessandra Orsoni and Zheng Xie}, title = {A Dependability Assurance Method Based on Data Flow Diagram {(DFD)}}, booktitle = {Seventh UKSim/AMSS European Modelling Symposium, {EMS} 2013, 20-22 November, 2013, Manchester {UK}}, pages = {113--118}, publisher = {{IEEE}}, year = {2013}, url = {https://doi.org/10.1109/EMS.2013.20}, doi = {10.1109/EMS.2013.20}, timestamp = {Wed, 16 Oct 2019 14:14:53 +0200}, biburl = {https://dblp.org/rec/conf/ems/OlayanPMY13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/YamamotoM13, author = {Shuichiro Yamamoto and Yutaka Matsuno}, editor = {Ewen Denney and Ibrahim Habli and Tim Kelly and John C. Knight and Ganesh Pai}, title = {An evaluation of argument patterns to reduce pitfalls of applying assurance case}, booktitle = {Proceedings of the 1st International Workshop on Assurance Cases for Software-Intensive Systems, {ASSURE} '13, San Francisco, California, USA, May 19, 2013}, pages = {12--17}, publisher = {{IEEE} Computer Society}, year = {2013}, url = {https://doi.org/10.1109/ASSURE.2013.6614265}, doi = {10.1109/ASSURE.2013.6614265}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icse/YamamotoM13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/MatsunoY13, author = {Yutaka Matsuno and Shuichiro Yamamoto}, editor = {Ewen Denney and Ibrahim Habli and Tim Kelly and John C. Knight and Ganesh Pai}, title = {An implementation of {GSN} community standard}, booktitle = {Proceedings of the 1st International Workshop on Assurance Cases for Software-Intensive Systems, {ASSURE} '13, San Francisco, California, USA, May 19, 2013}, pages = {24--28}, publisher = {{IEEE} Computer Society}, year = {2013}, url = {https://doi.org/10.1109/ASSURE.2013.6614267}, doi = {10.1109/ASSURE.2013.6614267}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icse/MatsunoY13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issre/SaruwatariYM13, author = {Takuya Saruwatari and Shuichiro Yamamoto and Yutaka Matsuno}, title = {A comparative study of d{\({_\ast}\)}framework and {GSN}}, booktitle = {{IEEE} 24th International Symposium on Software Reliability Engineering, {ISSRE} 2013, Pasadena, CA, USA, November 4-7, 2013 - Supplemental Proceedings}, pages = {315--320}, publisher = {{IEEE} Computer Society}, year = {2013}, url = {https://doi.org/10.1109/ISSREW.2013.6688913}, doi = {10.1109/ISSREW.2013.6688913}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/issre/SaruwatariYM13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kes/MatsumuraPMTTY13, author = {Masanori Matsumura and Vaise Patu and Yutaka Matsuno and Shota Takama and Tatsuya Tokuno and Shuichiro Yamamoto}, editor = {Junzo Watada and Lakhmi C. Jain and Robert J. Howlett and Naoto Mukai and Koichi Asakura}, title = {A Method to Share Word Knowledge of Dependability Case}, booktitle = {17th International Conference in Knowledge Based and Intelligent Information and Engineering Systems, {KES} 2013, Kitakyushu, Japan, 9-11 September 2013}, series = {Procedia Computer Science}, volume = {22}, pages = {10--19}, publisher = {Elsevier}, year = {2013}, url = {https://doi.org/10.1016/j.procs.2013.09.076}, doi = {10.1016/J.PROCS.2013.09.076}, timestamp = {Thu, 08 Jul 2021 16:04:01 +0200}, biburl = {https://dblp.org/rec/conf/kes/MatsumuraPMTTY13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/IEEEares/MatsunoY12, author = {Yutaka Matsuno and Shuichiro Yamamoto}, editor = {Gerald Quirchmayr and Josef Basl and Ilsun You and Lida Xu and Edgar R. Weippl}, title = {Consensus Building and In-operation Assurance for Service Dependability}, booktitle = {Multidisciplinary Research and Practice for Information Systems - {IFIP} {WG} 8.4, 8.9/TC 5 International Cross-Domain Conference and Workshop on Availability, Reliability, and Security, {CD-ARES} 2012, Prague, Czech Republic, August 20-24, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7465}, pages = {639--653}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-32498-7\_48}, doi = {10.1007/978-3-642-32498-7\_48}, timestamp = {Tue, 14 May 2019 10:00:49 +0200}, biburl = {https://dblp.org/rec/conf/IEEEares/MatsunoY12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/FujitaMHSKI12, author = {Hajime Fujita and Yutaka Matsuno and Toshihiro Hanawa and Mitsuhisa Sato and Shinpei Kato and Yutaka Ishikawa}, editor = {Robert S. Swarz and Philip Koopman and Michel Cukier}, title = {DS-Bench Toolset: Tools for dependability benchmarking with simulation and assurance}, booktitle = {{IEEE/IFIP} International Conference on Dependable Systems and Networks, {DSN} 2012, Boston, MA, USA, June 25-28, 2012}, pages = {1--8}, publisher = {{IEEE} Computer Society}, year = {2012}, url = {https://doi.org/10.1109/DSN.2012.6263915}, doi = {10.1109/DSN.2012.6263915}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dsn/FujitaMHSKI12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issre/TakamaPMY12, author = {Shota Takama and Vaise Patu and Yutaka Matsuno and Shuichiro Yamamoto}, title = {A Proposal on a Method for Reviewing Operation Manuals of Supercomputer}, booktitle = {23rd {IEEE} International Symposium on Software Reliability Engineering Workshops, {ISSRE} Workshops, Dallas, TX, USA, November 27-30, 2012}, pages = {305--306}, publisher = {{IEEE} Computer Society}, year = {2012}, url = {https://doi.org/10.1109/ISSREW.2012.77}, doi = {10.1109/ISSREW.2012.77}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/issre/TakamaPMY12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issre/PatuMY12, author = {Vaise Patu and Yutaka Matsuno and Shuichiro Yamamoto}, title = {Application of D-Case to the Data-Upload Flow Diagram Scenario of the Distributed E-Learning System Called {KISSEL}}, booktitle = {23rd {IEEE} International Symposium on Software Reliability Engineering Workshops, {ISSRE} Workshops, Dallas, TX, USA, November 27-30, 2012}, pages = {307--312}, publisher = {{IEEE} Computer Society}, year = {2012}, url = {https://doi.org/10.1109/ISSREW.2012.99}, doi = {10.1109/ISSREW.2012.99}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/issre/PatuMY12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jckbse/YamamotoM12, author = {Shuichiro Yamamoto and Yutaka Matsuno}, editor = {Maria Virvou and Saeko Matsuura}, title = {A review method based on a matrix interpretation of {GSN}}, booktitle = {Knowledge-Based Software Engineering - Proceedings of the Tenth Conference on Knowledge-Based Software Engineering, {JCKBSE} 2012, Rodos, Greece, August 23-26, 2012}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {240}, pages = {36--42}, publisher = {{IOS} Press}, year = {2012}, url = {https://doi.org/10.3233/978-1-61499-094-9-36}, doi = {10.3233/978-1-61499-094-9-36}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/jckbse/YamamotoM12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jckbse/MatsunoY12, author = {Yutaka Matsuno and Shuichiro Yamamoto}, editor = {Maria Virvou and Saeko Matsuura}, title = {Toward Dynamic Assurance Cases}, booktitle = {Knowledge-Based Software Engineering - Proceedings of the Tenth Conference on Knowledge-Based Software Engineering, {JCKBSE} 2012, Rodos, Greece, August 23-26, 2012}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {240}, pages = {154--160}, publisher = {{IOS} Press}, year = {2012}, url = {https://doi.org/10.3233/978-1-61499-094-9-154}, doi = {10.3233/978-1-61499-094-9-154}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/jckbse/MatsunoY12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ewdc/NakazawaMT11, author = {Jin Nakazawa and Yutaka Matsuno and Hideyuki Tokuda}, editor = {Felicita Di Giandomenico}, title = {Evaluating degree of systems' dependability with semi-structured assurance case}, booktitle = {Proceedings of the 13th European Workshop on Dependable Computing, {EWDC} '11, Pisa, Italy, May 11-12, 2011}, pages = {111--112}, publisher = {{ACM}}, year = {2011}, url = {https://doi.org/10.1145/1978582.1978607}, doi = {10.1145/1978582.1978607}, timestamp = {Tue, 06 Nov 2018 16:59:10 +0100}, biburl = {https://dblp.org/rec/conf/ewdc/NakazawaMT11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/qsic/MatsunoT11, author = {Yutaka Matsuno and Kenji Taguchi}, editor = {Manuel N{\'{u}}{\~{n}}ez and Robert M. Hierons and Mercedes G. Merayo}, title = {Parameterised Argument Structure for {GSN} Patterns}, booktitle = {Proceedings of the 11th International Conference on Quality Software, {QSIC} 2011, Madrid, Spain, July 13-14, 2011}, pages = {96--101}, publisher = {{IEEE} Computer Society}, year = {2011}, url = {https://doi.org/10.1109/QSIC.2011.35}, doi = {10.1109/QSIC.2011.35}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/qsic/MatsunoT11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hase/MatsunoTI10, author = {Yutaka Matsuno and Hiroki Takamura and Yutaka Ishikawa}, title = {A Dependability Case Editor with Pattern Library}, booktitle = {12th {IEEE} High Assurance Systems Engineering Symposium, {HASE} 2010, San Jose, CA, USA, November 3-4, 2010}, pages = {170--171}, publisher = {{IEEE} Computer Society}, year = {2010}, url = {https://doi.org/10.1109/HASE.2010.26}, doi = {10.1109/HASE.2010.26}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/hase/MatsunoTI10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/prdc/MatsunoNTSI10, author = {Yutaka Matsuno and Jin Nakazawa and Makoto Takeyama and Midori Sugaya and Yutaka Ishikawa}, editor = {Yutaka Ishikawa and Dong Tang and Hiroshi Nakamura}, title = {Towards a Language for Communication among Stakeholders}, booktitle = {16th {IEEE} Pacific Rim International Symposium on Dependable Computing, {PRDC} 2010, Tokyo, Japan, December 13-15, 2010}, pages = {93--100}, publisher = {{IEEE} Computer Society}, year = {2010}, url = {https://doi.org/10.1109/PRDC.2010.47}, doi = {10.1109/PRDC.2010.47}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/prdc/MatsunoNTSI10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/imt/MatsunoS06, author = {Yutaka Matsuno and Hiroyuki Sato}, title = {A Type System for Optimization Verifying Compilers}, journal = {Inf. Media Technol.}, volume = {1}, number = {2}, pages = {695--711}, year = {2006}, url = {https://doi.org/10.11185/imt.1.695}, doi = {10.11185/IMT.1.695}, timestamp = {Mon, 26 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/imt/MatsunoS06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ppdp/MatsunoO06, author = {Yutaka Matsuno and Atsushi Ohori}, editor = {Annalisa Bossi and Michael J. Maher}, title = {A type system equivalent to static single assignment}, booktitle = {Proceedings of the 8th International {ACM} {SIGPLAN} Conference on Principles and Practice of Declarative Programming, July 10-12, 2006, Venice, Italy}, pages = {249--260}, publisher = {{ACM}}, year = {2006}, url = {https://doi.org/10.1145/1140335.1140365}, doi = {10.1145/1140335.1140365}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ppdp/MatsunoO06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/MatsunoS03, author = {Yutaka Matsuno and Hiroyuki Sato}, editor = {James Harland}, title = {Flow Analytic Type System for Array Bound Checks}, booktitle = {Computing: the Australasian Theory Symposiumm, {CATS} 2003, Adelaide, SA, Australia, February 4-7, 2003}, series = {Electronic Notes in Theoretical Computer Science}, volume = {78}, pages = {178--195}, publisher = {Elsevier}, year = {2003}, url = {https://doi.org/10.1016/S1571-0661(04)81012-0}, doi = {10.1016/S1571-0661(04)81012-0}, timestamp = {Fri, 11 Nov 2022 16:09:31 +0100}, biburl = {https://dblp.org/rec/journals/entcs/MatsunoS03.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.