Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Yutaka Matsuno
@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}
}
@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}
}
@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}
}
a service of 
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.
last updated on 2024-05-08 23:50 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
