BibTeX records: Yutaka Matsuno

download as .bib file

@inproceedings{DBLP:conf/hicss/IshigakiMBT17,
  author    = {Yang Ishigaki and
               Yutaka Matsuno and
               Koichi Bando and
               Kenji Tanaka},
  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},
  year      = {2017},
  crossref  = {DBLP:conf/hicss/2017},
  url       = {http://aisel.aisnet.org/hicss-50/cl/crisis_and_disaster_management/11},
  timestamp = {Fri, 10 Mar 2017 15:07:22 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/hicss/IshigakiMBT17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/prdc/BandoMIT17,
  author    = {Koichi Bando and
               Yutaka Matsuno and
               Yang Ishigaki and
               Kenji Tanaka},
  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},
  year      = {2017},
  crossref  = {DBLP:conf/prdc/2017},
  url       = {https://doi.org/10.1109/PRDC.2017.46},
  doi       = {10.1109/PRDC.2017.46},
  timestamp = {Fri, 12 May 2017 13:36:11 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/prdc/BandoMIT17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/Matsuno17,
  author    = {Yutaka Matsuno},
  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},
  pages     = {64--69},
  year      = {2017},
  crossref  = {DBLP:conf/safecomp/2017w},
  url       = {https://doi.org/10.1007/978-3-319-66284-8_6},
  doi       = {10.1007/978-3-319-66284-8_6},
  timestamp = {Wed, 06 Sep 2017 14:23:52 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/safecomp/Matsuno17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/iscram/IshigakiMBT16,
  author    = {Yang Ishigaki and
               Yutaka Matsuno and
               Koichi Bando and
               Kenji Tanaka},
  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.},
  year      = {2016},
  crossref  = {DBLP:conf/iscram/2016},
  url       = {http://idl.iscram.org/files/ishigakiyang/2016/1431_IshigakiYang_etal2016.pdf},
  timestamp = {Fri, 04 Nov 2016 11:01:09 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/iscram/IshigakiMBT16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/MatsunoIBKT16,
  author    = {Yutaka Matsuno and
               Yang Ishigaki and
               Koichi Bando and
               Hiroyuki Kido and
               Kenji Tanaka},
  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},
  pages     = {55--62},
  year      = {2016},
  crossref  = {DBLP:conf/safecomp/2016w},
  url       = {https://doi.org/10.1007/978-3-319-45480-1_5},
  doi       = {10.1007/978-3-319-45480-1_5},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/safecomp/MatsunoIBKT16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/hci/KurihashiMT15,
  author    = {Sui Kurihashi and
               Yutaka Matsuno and
               Kenji Tanaka},
  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}},
  pages     = {233--242},
  year      = {2015},
  crossref  = {DBLP:conf/hci/2015-5},
  url       = {https://doi.org/10.1007/978-3-319-20618-9_23},
  doi       = {10.1007/978-3-319-20618-9_23},
  timestamp = {Wed, 24 May 2017 08:28:59 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/hci/KurihashiMT15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/iscram/IshigakiMMT15,
  author    = {Yang Ishigaki and
               Yoshinori Matsumoto and
               Yutaka Matsuno and
               Kenji Tanaka},
  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.},
  year      = {2015},
  crossref  = {DBLP:conf/iscram/2015},
  url       = {http://idl.iscram.org/files/yangishigaki/2015/1243_YangIshigaki_etal2015.pdf},
  timestamp = {Fri, 04 Nov 2016 08:18:32 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/iscram/IshigakiMMT15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/OotsuMOYB15,
  author    = {Kanemitsu Ootsu and
               Yutaka Matsuno and
               Takeshi Ohkawa and
               Takashi Yokota and
               Takanobu Baba},
  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},
  year      = {2015},
  crossref  = {DBLP:conf/oopsla/2015seps},
  url       = {http://doi.acm.org/10.1145/2837476.2837484},
  doi       = {10.1145/2837476.2837484},
  timestamp = {Fri, 15 Apr 2016 13:41:06 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/oopsla/OotsuMOYB15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/prdc/BandoMT15,
  author    = {Koichi Bando and
               Yutaka Matsuno and
               Kenji Tanaka},
  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},
  year      = {2015},
  crossref  = {DBLP:conf/prdc/2015},
  url       = {https://doi.org/10.1109/PRDC.2015.24},
  doi       = {10.1109/PRDC.2015.24},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/prdc/BandoMT15},
  bibsource = {dblp computer science bibliography, http://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},
  year      = {2014},
  crossref  = {DBLP:conf/dsn/2014},
  url       = {https://doi.org/10.1109/DSN.2014.97},
  doi       = {10.1109/DSN.2014.97},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/dsn/Matsuno14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/ijsse/MatsunoY13,
  author    = {Yutaka Matsuno and
               Shuichiro Yamamoto},
  title     = {A New Method for Writing Assurance Cases},
  journal   = {{IJSSE}},
  volume    = {4},
  number    = {1},
  pages     = {31--49},
  year      = {2013},
  url       = {https://doi.org/10.4018/jsse.2013010103},
  doi       = {10.4018/jsse.2013010103},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/ijsse/MatsunoY13},
  bibsource = {dblp computer science bibliography, http://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   = {JoWUA},
  volume    = {4},
  number    = {1},
  pages     = {118--134},
  year      = {2013},
  url       = {http://isyou.info/jowua/papers/jowua-v4n1-6.pdf},
  timestamp = {Wed, 05 Nov 2014 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/journals/jowua/MatsunoY13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ems/OlayanPMY13,
  author    = {Nada Olayan and
               Vaise Patu and
               Yutaka Matsuno and
               Shuichiro Yamamoto},
  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},
  year      = {2013},
  crossref  = {DBLP:conf/ems/2013},
  url       = {https://doi.org/10.1109/EMS.2013.20},
  doi       = {10.1109/EMS.2013.20},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ems/OlayanPMY13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icse/YamamotoM13,
  author    = {Shuichiro Yamamoto and
               Yutaka Matsuno},
  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},
  year      = {2013},
  crossref  = {DBLP:conf/icse/2013assure},
  url       = {https://doi.org/10.1109/ASSURE.2013.6614265},
  doi       = {10.1109/ASSURE.2013.6614265},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icse/YamamotoM13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icse/MatsunoY13,
  author    = {Yutaka Matsuno and
               Shuichiro Yamamoto},
  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},
  year      = {2013},
  crossref  = {DBLP:conf/icse/2013assure},
  url       = {https://doi.org/10.1109/ASSURE.2013.6614267},
  doi       = {10.1109/ASSURE.2013.6614267},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icse/MatsunoY13},
  bibsource = {dblp computer science bibliography, http://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},
  year      = {2013},
  crossref  = {DBLP:conf/issre/2013w},
  url       = {https://doi.org/10.1109/ISSREW.2013.6688913},
  doi       = {10.1109/ISSREW.2013.6688913},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/issre/SaruwatariYM13},
  bibsource = {dblp computer science bibliography, http://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},
  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},
  pages     = {10--19},
  year      = {2013},
  crossref  = {DBLP:conf/kes/2013},
  url       = {https://doi.org/10.1016/j.procs.2013.09.076},
  doi       = {10.1016/j.procs.2013.09.076},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/kes/MatsumuraPMTTY13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/IEEEares/MatsunoY12,
  author    = {Yutaka Matsuno and
               Shuichiro Yamamoto},
  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},
  pages     = {639--653},
  year      = {2012},
  crossref  = {DBLP:conf/IEEEares/2012cd},
  url       = {https://doi.org/10.1007/978-3-642-32498-7_48},
  doi       = {10.1007/978-3-642-32498-7_48},
  timestamp = {Wed, 24 May 2017 08:28:43 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/IEEEares/MatsunoY12},
  bibsource = {dblp computer science bibliography, http://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},
  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},
  year      = {2012},
  crossref  = {DBLP:conf/dsn/2012},
  url       = {https://doi.org/10.1109/DSN.2012.6263915},
  doi       = {10.1109/DSN.2012.6263915},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/dsn/FujitaMHSKI12},
  bibsource = {dblp computer science bibliography, http://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},
  year      = {2012},
  crossref  = {DBLP:conf/issre/2012w},
  url       = {https://doi.org/10.1109/ISSREW.2012.77},
  doi       = {10.1109/ISSREW.2012.77},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/issre/TakamaPMY12},
  bibsource = {dblp computer science bibliography, http://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},
  year      = {2012},
  crossref  = {DBLP:conf/issre/2012w},
  url       = {https://doi.org/10.1109/ISSREW.2012.99},
  doi       = {10.1109/ISSREW.2012.99},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/issre/PatuMY12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/jckbse/YamamotoM12,
  author    = {Shuichiro Yamamoto and
               Yutaka Matsuno},
  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},
  pages     = {36--42},
  year      = {2012},
  crossref  = {DBLP:conf/jckbse/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    = {http://dblp.org/rec/bib/conf/jckbse/YamamotoM12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/jckbse/MatsunoY12,
  author    = {Yutaka Matsuno and
               Shuichiro Yamamoto},
  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},
  pages     = {154--160},
  year      = {2012},
  crossref  = {DBLP:conf/jckbse/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    = {http://dblp.org/rec/bib/conf/jckbse/MatsunoY12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/qsic/MatsunoT11,
  author    = {Yutaka Matsuno and
               Kenji Taguchi},
  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},
  year      = {2011},
  crossref  = {DBLP:conf/qsic/2011},
  url       = {https://doi.org/10.1109/QSIC.2011.35},
  doi       = {10.1109/QSIC.2011.35},
  timestamp = {Fri, 25 Aug 2017 06:45:03 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/qsic/MatsunoT11},
  bibsource = {dblp computer science bibliography, http://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},
  year      = {2010},
  crossref  = {DBLP:conf/hase/2010},
  url       = {https://doi.org/10.1109/HASE.2010.26},
  doi       = {10.1109/HASE.2010.26},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/hase/MatsunoTI10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/prdc/MatsunoNTSI10,
  author    = {Yutaka Matsuno and
               Jin Nakazawa and
               Makoto Takeyama and
               Midori Sugaya and
               Yutaka Ishikawa},
  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},
  year      = {2010},
  crossref  = {DBLP:conf/prdc/2010},
  url       = {https://doi.org/10.1109/PRDC.2010.47},
  doi       = {10.1109/PRDC.2010.47},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/prdc/MatsunoNTSI10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/MatsunoO06,
  author    = {Yutaka Matsuno and
               Atsushi Ohori},
  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},
  year      = {2006},
  crossref  = {DBLP:conf/ppdp/2006},
  url       = {http://doi.acm.org/10.1145/1140335.1140365},
  doi       = {10.1145/1140335.1140365},
  timestamp = {Thu, 07 Dec 2006 13:17:18 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/ppdp/MatsunoO06},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/entcs/MatsunoS03,
  author    = {Yutaka Matsuno and
               Hiroyuki Sato},
  title     = {Flow Analytic Type System for Array Bound Checks},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {78},
  pages     = {178--195},
  year      = {2003},
  url       = {https://doi.org/10.1016/S1571-0661(04)81012-0},
  doi       = {10.1016/S1571-0661(04)81012-0},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/entcs/MatsunoS03},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/hicss/2017,
  title     = {50th Hawaii International Conference on System Sciences, {HICSS} 2017,
               Hilton Waikoloa Village, Hawaii, USA, January 4-7, 2017},
  publisher = {{AIS} Electronic Library (AISeL)},
  year      = {2017},
  url       = {http://aisel.aisnet.org/hicss-50/},
  timestamp = {Fri, 10 Mar 2017 15:07:22 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/hicss/2017},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/prdc/2017,
  editor    = {Dong Seong Kim and
               Masato Kitakami and
               Vijay Varadharajan},
  title     = {22nd {IEEE} Pacific Rim International Symposium on Dependable Computing,
               {PRDC} 2017, Christchurch, New Zealand, January 22-25, 2017},
  publisher = {{IEEE} Computer Society},
  year      = {2017},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7919908},
  isbn      = {978-1-5090-5652-1},
  timestamp = {Fri, 12 May 2017 13:36:11 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/prdc/2017},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/safecomp/2017w,
  editor    = {Stefano Tonetta and
               Erwin Schoitsch and
               Friedemann Bitsch},
  title     = {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},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-66284-8},
  doi       = {10.1007/978-3-319-66284-8},
  isbn      = {978-3-319-66283-1},
  timestamp = {Wed, 06 Sep 2017 14:23:52 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/safecomp/2017w},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/iscram/2016,
  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     = {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},
  isbn      = {978-84-608-7984-8},
  timestamp = {Fri, 04 Nov 2016 11:01:09 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/iscram/2016},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/safecomp/2016w,
  editor    = {Amund Skavhaug and
               J{\'{e}}r{\'{e}}mie Guiochet and
               Erwin Schoitsch and
               Friedemann Bitsch},
  title     = {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},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-45480-1},
  doi       = {10.1007/978-3-319-45480-1},
  isbn      = {978-3-319-45479-5},
  timestamp = {Fri, 26 May 2017 00:49:42 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/safecomp/2016w},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/hci/2015-5,
  editor    = {Sakae Yamamoto},
  title     = {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},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-20618-9},
  doi       = {10.1007/978-3-319-20618-9},
  isbn      = {978-3-319-20617-2},
  timestamp = {Wed, 24 May 2017 08:28:59 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/hci/2015-5},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/iscram/2015,
  editor    = {Leysia Palen and
               Monika B{\"{u}}scher and
               Tina Comes and
               Amanda Lee Hughes},
  title     = {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},
  isbn      = {978-8-271-17788-1},
  timestamp = {Fri, 04 Nov 2016 08:18:32 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/iscram/2015},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/oopsla/2015seps,
  editor    = {Ali Jannesari and
               Siegfried Benkner and
               Xinghui Zhao and
               Ehsan Atoofian and
               Yukionri Sato},
  title     = {Proceedings of the 2nd International Workshop on Software Engineering
               for Parallel Systems, SEPS@SPLASH 2015, Pittsburgh, PA, USA, October
               27, 2015},
  publisher = {{ACM}},
  year      = {2015},
  url       = {http://doi.acm.org/10.1145/2837476},
  doi       = {10.1145/2837476},
  isbn      = {978-1-4503-3910-0},
  timestamp = {Fri, 15 Apr 2016 13:41:06 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/oopsla/2015seps},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/prdc/2015,
  editor    = {Guojun Wang and
               Tatsuhiro Tsuchiya and
               Dong Xiang},
  title     = {21st {IEEE} Pacific Rim International Symposium on Dependable Computing,
               {PRDC} 2015, Zhangjiajie, China, November 18-20, 2015},
  publisher = {{IEEE} Computer Society},
  year      = {2015},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7371417},
  isbn      = {978-1-4673-9376-8},
  timestamp = {Thu, 19 May 2016 11:32:26 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/prdc/2015},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/dsn/2014,
  title     = {44th Annual {IEEE/IFIP} International Conference on Dependable Systems
               and Networks, {DSN} 2014, Atlanta, GA, USA, June 23-26, 2014},
  publisher = {{IEEE} Computer Society},
  year      = {2014},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6900116},
  isbn      = {978-1-4799-2233-8},
  timestamp = {Thu, 31 Mar 2016 11:13:06 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/dsn/2014},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ems/2013,
  editor    = {David Al{-}Dabass and
               Alessandra Orsoni and
               Zheng Xie},
  title     = {Seventh UKSim/AMSS European Modelling Symposium, {EMS} 2013, 20-22
               November, 2013, Manchester {UK}},
  publisher = {{IEEE}},
  year      = {2013},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6777804},
  isbn      = {978-1-4799-2578-0},
  timestamp = {Wed, 02 Apr 2014 14:09:02 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ems/2013},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icse/2013assure,
  editor    = {Ewen Denney and
               Ibrahim Habli and
               Tim Kelly and
               John C. Knight and
               Ganesh Pai},
  title     = {Proceedings of the 1st International Workshop on Assurance Cases for
               Software-Intensive Systems, {ASSURE} '13, San Francisco, California,
               USA, May 19, 2013},
  publisher = {{IEEE} Computer Society},
  year      = {2013},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6596099},
  isbn      = {978-1-4673-6324-2},
  timestamp = {Tue, 03 May 2016 16:25:23 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icse/2013assure},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/issre/2013w,
  title     = {{IEEE} 24th International Symposium on Software Reliability Engineering,
               {ISSRE} 2013, Pasadena, CA, USA, November 4-7, 2013 - Supplemental
               Proceedings},
  publisher = {{IEEE} Computer Society},
  year      = {2013},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6679593},
  isbn      = {978-1-4799-2552-0},
  timestamp = {Tue, 28 Apr 2015 17:32:19 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/issre/2013w},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/kes/2013,
  editor    = {Junzo Watada and
               Lakhmi C. Jain and
               Robert J. Howlett and
               Naoto Mukai and
               Koichi Asakura},
  title     = {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},
  publisher = {Elsevier},
  year      = {2013},
  url       = {http://www.sciencedirect.com/science/journal/18770509/22},
  timestamp = {Mon, 11 May 2015 16:37:29 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/kes/2013},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/IEEEares/2012cd,
  editor    = {Gerald Quirchmayr and
               Josef Basl and
               Ilsun You and
               Lida Xu and
               Edgar R. Weippl},
  title     = {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},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-32498-7},
  doi       = {10.1007/978-3-642-32498-7},
  isbn      = {978-3-642-32497-0},
  timestamp = {Wed, 24 May 2017 08:28:43 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/IEEEares/2012cd},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/dsn/2012,
  editor    = {Robert S. Swarz and
               Philip Koopman and
               Michel Cukier},
  title     = {{IEEE/IFIP} International Conference on Dependable Systems and Networks,
               {DSN} 2012, Boston, MA, USA, June 25-28, 2012},
  publisher = {{IEEE} Computer Society},
  year      = {2012},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6253623},
  isbn      = {978-1-4673-1624-8},
  timestamp = {Thu, 31 Mar 2016 11:12:26 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/dsn/2012},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/issre/2012w,
  title     = {23rd {IEEE} International Symposium on Software Reliability Engineering
               Workshops, {ISSRE} Workshops, Dallas, TX, USA, November 27-30, 2012},
  publisher = {{IEEE}},
  year      = {2012},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6403648},
  isbn      = {978-1-4673-5048-8},
  timestamp = {Wed, 29 Mar 2017 16:45:26 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/issre/2012w},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/jckbse/2012,
  editor    = {Maria Virvou and
               Saeko Matsuura},
  title     = {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},
  publisher = {{IOS} Press},
  year      = {2012},
  url       = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=31866},
  isbn      = {978-1-61499-093-2},
  timestamp = {Tue, 23 Oct 2012 20:43:19 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/jckbse/2012},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/qsic/2011,
  editor    = {Manuel N{\'{u}}{\~{n}}ez and
               Robert M. Hierons and
               Mercedes G. Merayo},
  title     = {Proceedings of the 11th International Conference on Quality Software,
               {QSIC} 2011, Madrid, Spain, July 13-14, 2011},
  publisher = {{IEEE} Computer Society},
  year      = {2011},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6003376},
  timestamp = {Fri, 25 Aug 2017 06:45:03 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/qsic/2011},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/hase/2010,
  title     = {12th {IEEE} High Assurance Systems Engineering Symposium, {HASE} 2010,
               San Jose, CA, USA, November 3-4, 2010},
  publisher = {{IEEE} Computer Society},
  year      = {2010},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5628339},
  isbn      = {978-1-4244-9091-2},
  timestamp = {Tue, 02 Dec 2014 17:13:29 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/hase/2010},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/prdc/2010,
  editor    = {Yutaka Ishikawa and
               Dong Tang and
               Hiroshi Nakamura},
  title     = {16th {IEEE} Pacific Rim International Symposium on Dependable Computing,
               {PRDC} 2010, Tokyo, Japan, December 13-15, 2010},
  publisher = {{IEEE} Computer Society},
  year      = {2010},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5702592},
  isbn      = {978-1-4244-8975-6},
  timestamp = {Thu, 19 May 2016 11:33:40 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/prdc/2010},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ppdp/2006,
  editor    = {Annalisa Bossi and
               Michael J. Maher},
  title     = {Proceedings of the 8th International {ACM} {SIGPLAN} Conference on
               Principles and Practice of Declarative Programming, July 10-12, 2006,
               Venice, Italy},
  publisher = {{ACM}},
  year      = {2006},
  isbn      = {1-59593-388-3},
  timestamp = {Thu, 07 Dec 2006 13:17:18 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/ppdp/2006},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier