論文
公開件数:53件

No.1
掲載種別 研究論文(学術雑誌)
単著・共著区分 共著(第一著者以外)
タイトル IoTと点流速センサを用いた流量観測システム
著者 鶴岡 重信、Anu BANEPALI、深沼 二葉、松野 裕
誌名 土木学会論文集F3(土木情報学)
出版者 公益社団法人土木学会
巻号頁 73/ 2, l_251-l_258
出版日 2018/03/26
ISSN
DOI 10.2208/jscejcei.73.I_251
URL
概要
機関リポジトリ

No.2
掲載種別 研究論文(国際会議プロシーディングス)
単著・共著区分 単著
タイトル D-Case Communicator: A Web Based GSN Editor for Multiple Stakeholders
著者 Yutaka Matsuno
誌名 Computer Safety, Reliability, and Security - SAFECOMP 2017 Workshops
出版者 Springer
巻号頁
出版日 2017/09
ISSN
DOI
URL
概要
機関リポジトリ

No.3
掲載種別 研究論文(国際会議プロシーディングス)
単著・共著区分 共著(第一著者以外)
タイトル Trend Analyses of Failures in Information Systems-A Case Study on Communications Networks and Financial Information Systems (Fast Abstract)
著者 Koichi Bando, Yutaka Matsuno, Yang Ishigaki, Kenji Tanaka
誌名 Proc. PRDC 2017
出版者 IEEE
巻号頁
出版日 2017/01/22
ISSN
DOI
URL
概要
機関リポジトリ

No.4
掲載種別 研究論文(国際会議プロシーディングス)
単著・共著区分 共著(第一著者以外)
タイトル Wisdom of Crowds for Reliable Discussion and Need Finding: A Case Study of Information Sharing
Regarding Radiation after the Fukushima Nuclear Disaster
著者 Yang Ishigaki, Yutaka Matsuno, Koichi Bando, Kenji Tanaka
誌名 Proceedings of the 50th Hawaii International Conference on System Sciences
出版者 HICCS
巻号頁 323-331
出版日 2017/01/04
ISSN
DOI
URL
概要
機関リポジトリ

No.5
掲載種別 研究論文(国際会議プロシーディングス)
単著・共著区分
タイトル Developing SNS Tool for Consensus Building on Environmental Safety using Assurance Cases
著者 Yutaka Matsuno, Yang Ishigaki, Koichi Bando, Hiroyuki Kido, Kenji Tanaka
誌名 Lecture Notes in Computer Science (LNCS)
出版者 Springer
巻号頁 9923, 55-62
出版日 2016/09
ISSN
DOI
URL
概要
機関リポジトリ

No.6
掲載種別 研究論文(国際会議プロシーディングス)
単著・共著区分 共著(第一著者以外)
タイトル A Prototype Implementation of a Failure Database for Information Sharing with the General Public - A Case Study on Radiation Risk Information after Fukushima Nuclear Disaster (Fast Abstract)
著者 Koichi Bando, Yutaka Matsuno, Yang Ishigaki, Kenji Tanaka
誌名 Proc. of the 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2016)
出版者 IEEE
巻号頁
出版日 2016/06
ISSN
DOI
URL
概要
機関リポジトリ

No.7
掲載種別 研究論文(学術雑誌)
単著・共著区分
タイトル システム安全性保証のためのアシュアランスケース
著者 松野裕
誌名 計測と制御
出版者 計測自動制御学会
巻号頁 55/ 5, 410-414
出版日 2016/05
ISSN
DOI
URL
概要
機関リポジトリ

No.8
掲載種別 (MISC)総説・解説(学術雑誌)
単著・共著区分 単著
タイトル システム保証のためのソフトウエアテスト
著者 松野裕
誌名 日本信頼性学会誌
出版者
巻号頁 38/ 2, 108-112
出版日 2016/03/01
ISSN
DOI
URL
概要
機関リポジトリ

No.9
掲載種別 研究論文(国際会議プロシーディングス)
単著・共著区分 共著(第一著者以外)
タイトル Environmental Health Communication and its visualization on Social Media-Case Study on Radiation Health Communication after the Fukushima Disaster
著者 Yang Ishigaki, Yutaka Matsuno, Koichi Bando, Kenji Tanaka
誌名 Hawaii International Conference on System Science HICSS-49, Symposium of Learning Health System: Designing and Generalizing the Challenge of the Learning Health System
出版者
巻号頁
出版日 2016/01
ISSN
DOI
URL
概要
機関リポジトリ

No.10
掲載種別 研究論文(国際会議プロシーディングス)
単著・共著区分 共著(第一著者以外)
タイトル Failure Analysis of Communications Systems and Networks by Publicly Available Failure Information from the viewpoint of Dependability
著者 Koichi Bando, Yutaka Matsuno, Kenji Tanaka
誌名 Proc. of The 21st IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2015), Zhangjiajie, China
出版者 IEEE
巻号頁 139-148
出版日 2015
ISSN
DOI
URL
概要
機関リポジトリ

No.11
掲載種別 研究論文(学術雑誌)
単著・共著区分
タイトル Enhancing Safety with a Mutual Assistance System for Automobile
著者 Sui Kurihashi, Yutaka Matsuno, Kenji Tanaka
誌名 SICE Journal of Control, Measurement, and System Integration
出版者 計測自動制御学会
巻号頁 Vol. 8 (2015)/ 2, 161-170
出版日 2015
ISSN
DOI
URL
概要
機関リポジトリ

No.12
掲載種別 研究論文(国際会議プロシーディングス)
単著・共著区分
タイトル Self-Perception of Assister Driver Responsibility and Contribution in Mutual Assistance System
著者 Sui Kurihashi, Yutaka Matsuno, Kenji Tanaka
誌名 Proc. 17th International Conference on Human-Computer Interaction
出版者
巻号頁 LNCS 7465/ 9173, 233-242
出版日 2015
ISSN
DOI
URL
概要
機関リポジトリ

No.13
掲載種別 研究論文(国際会議プロシーディングス)
単著・共著区分
タイトル Modular Construction of Assurance Cases Written in Defeasible GSN
著者 Toshinori Takai, Hiroyuki Kido, Yutaka Matsuno
誌名 Proceedings of the Second International Workshop on Argumentat for Agreement and Assurance
出版者 The Japanese Society for Artificial Intelligence
巻号頁 82-95
出版日 2015/11/17
ISSN
DOI
URL
概要
機関リポジトリ

No.14
掲載種別 研究論文(国際会議プロシーディングス)
単著・共著区分 共著(第一著者以外)
タイトル Participatory Radiation Information Monitoring with SNS after Fukushima
著者 Yang Ishigaki, Yoshinori Matsumoto, Yutaka Matsuno, Kenji Tanaka
誌名 Proc. of 12th International Conference on Information Systems for Crisis Response and Management (ISCRAM2015)
出版者
巻号頁
出版日 2015/05/22
ISSN
DOI
URL
概要
機関リポジトリ

No.15
掲載種別 研究論文(学術雑誌)
単著・共著区分
タイトル システムの保全性保証
著者 松野裕
誌名 日本信頼性学会機関誌「信頼性」
出版者
巻号頁 36/ 3, 173-178
出版日 2014
ISSN
DOI
URL
概要
機関リポジトリ

No.16
掲載種別 研究論文(国際会議プロシーディングス)
単著・共著区分
タイトル Evaluation of a Mutual Assistance System from both the Recipient and Assister sides
著者 栗橋翠、松野裕、田中健次
誌名 Proc. SICE Annual Conference 2014
出版者
巻号頁 1702-1707
出版日 2014/09
ISSN
DOI
URL
概要
機関リポジトリ

No.17
掲載種別 研究論文(国際会議プロシーディングス)
単著・共著区分
タイトル A Design and Implementation of an Assurance Case Language
著者 Yutaka Matsuno
誌名 Proc. of the 44th IEEE/IFIP Dependable Systems and Networks (DSN)
出版者
巻号頁 630-641
出版日 2014/06
ISSN
DOI
URL
概要
機関リポジトリ

No.18
掲載種別 研究論文(学術雑誌)
単著・共著区分
タイトル Design and Implementation of GSN Patterns: A Step toward Assurance Case Lanuguage
著者 Yutaka Matsuno
誌名 情報処理学会論文誌: プログラミング
出版者 情報処理学会
巻号頁 -7/ 2, 1-10
出版日 2014/06/10
ISSN 1882-7802
DOI
URL
概要
機関リポジトリ

No.19
掲載種別 研究論文(学術雑誌)
単著・共著区分
タイトル A New Method for Writing Assurance Cases.
著者 Yutaka Matsuno, Shuichiro Yamamoto
誌名 International Journal of Secure Software Engineering (IJSSE), Special Issue on Cybersecurity Scientific Validation
出版者
巻号頁 4/ 1, 31-49
出版日 2013
ISSN
DOI
URL
概要
機関リポジトリ

No.20
掲載種別 研究論文(国際会議プロシーディングス)
単著・共著区分
タイトル Standardisation of Dependability for Consumer Devices at the OMG
著者 Matsuno, Y, Biggs, G., Ohata, A., Ishizaki, N., Taguchi, K.
誌名 Proc.of 7th IFAC Symposium on Advances in Automotive Control (IFAC AAC)
出版者
巻号頁 -
出版日 2013
ISSN
DOI
URL
概要
機関リポジトリ

No.21
掲載種別 研究論文(国際会議プロシーディングス)
単著・共著区分
タイトル A Method to Share Word Knowledge of Dependability Case
著者 Matsumura, M., Matsuno, Y, Takama, S., Tokuno, T., Vaise, P., Yamamoto, S.
誌名 Proc. of 17th Inter. Conference on Knowledge-Based and Intelligent Information & Engineering Systems (KES2013)
出版者
巻号頁 10-19
出版日 2013/09
ISSN
DOI
URL
概要
機関リポジトリ

No.22
掲載種別 研究論文(国際会議プロシーディングス)
単著・共著区分
タイトル An Implementation of GSN Community Standard
著者 Matsuno, Y., Yamamoto, S
誌名 Proc. of 1st Inter. Workshop on Assurance Cases for Software-Intensive Systems (ASSURE2013)
出版者
巻号頁 24-28
出版日 2013/05
ISSN
DOI
URL
概要
機関リポジトリ

No.23
掲載種別 研究論文(国際会議プロシーディングス)
単著・共著区分
タイトル An Evaluation of Argument Patterns to Reduce Pitfalls of Applying Assurance Case
著者 Yamamoto, S., Matsuno, Y.
誌名 Proc.of 1st Inter. Workshop on Assurance Cases for Software-Intensive Systems (ASSURE2013)
出版者
巻号頁 12-17
出版日 2013/05
ISSN
DOI
URL
概要
機関リポジトリ

No.24
掲載種別 研究論文(学術雑誌)
単著・共著区分
タイトル Consensus Building and In-operation Assurance for Service Dependability, Journal of Wireless Mobile Networks
著者 Yutaka Matsuno, Shuichiro Yamamoto
誌名 Journal of Wireless Mobile Networks, Ubiquitous Computing, and Dependable Applications
出版者
巻号頁 4/ 1, 118-134
出版日 2013/03
ISSN
DOI
URL
概要
機関リポジトリ

No.25
掲載種別 研究論文(学術雑誌)
単著・共著区分
タイトル D-Caseを用いたユビキタス・センサネットワーク管理ツール
著者 中澤仁, 松野裕, 徳田英幸
誌名 電子情報通信学会論文誌(和文B) ユビキタス・センサネットワークを支えるシステム開発論文特集
出版者
巻号頁 J95-B/ 11, 1446-1460
出版日 2012
ISSN
DOI
URL
概要
機関リポジトリ

No.26
掲載種別 (MISC)総説・解説(その他)
単著・共著区分
タイトル 消費者機械安全性・信頼性保証の国際標準化
著者 大畠明、松野裕、田口研治、中坊 嘉宏
誌名 SEC Journal
出版者
巻号頁 27, 170-176
出版日 2012
ISSN
DOI
URL
概要
機関リポジトリ

No.27
掲載種別 研究論文(国際会議プロシーディングス)
単著・共著区分
タイトル A Proposal on a Method for Reviewing Operation Manuals of Supercomputer(Short Paper)
著者 Shota Takama, Vaise Patu, Yutaka Matsuno, Shuichiro Yamamoto
誌名 Proceedings of 2nd International Workshop on Open Systems Dependability, co-located with IEEE ISSRE 2012
出版者
巻号頁 305-306
出版日 2012/11
ISSN
DOI
URL
概要
機関リポジトリ

No.28
掲載種別 研究論文(国際会議プロシーディングス)
単著・共著区分
タイトル Application of D-Case to the data-upload flow diagram scenario of the Distributed E-Learning System called KISSEL
著者 Vaise Patu, Yutaka Matsuno, Shuichiro Yamamoto
誌名 Proceedings of 2nd International Workshop on Open Systems Dependability, co-located with IEEE ISSRE 2012
出版者
巻号頁 307-312
出版日 2012/11
ISSN
DOI
URL
概要
機関リポジトリ

No.29
掲載種別 研究論文(国際会議プロシーディングス)
単著・共著区分
タイトル Toward strategic development of hodoyoshi microsatellite using assurance cases
著者 Kohei Tanaka, Yutaka Matsuno, Yoshihiro Nakabo, Seiko Shirasaka
誌名 Proceedings of International Astronautical Federation (IAC 2012)
出版者
巻号頁 -
出版日 2012/09
ISSN
DOI
URL
概要
機関リポジトリ

No.30
掲載種別 研究論文(国際会議プロシーディングス)
単著・共著区分
タイトル Toward Dynamic Assurance Cases
著者 Yutaka Matsuno, Shuichiro Yamamoto
誌名 Proceedings of Tenth Conference on Knowledge-Based Software Engineering (JCKBSE 2012)
出版者
巻号頁 154-160
出版日 2012/08
ISSN
DOI
URL
概要
機関リポジトリ

No.31
掲載種別 研究論文(国際会議プロシーディングス)
単著・共著区分
タイトル A review method based on a matrix interpretation of GSN
著者 Shuichiro Yamamoto, Yutaka Matsuno
誌名 Proceedings of Tenth Conference on Knowledge-Based Software Engineering (JCKBSE 2012)
出版者
巻号頁 36-42
出版日 2012/08
ISSN
DOI
URL
概要
機関リポジトリ

No.32
掲載種別 研究論文(国際会議プロシーディングス)
単著・共著区分
タイトル Consensus Building and In-operation Assurance for Service Dependability
著者 Yutaka Matsuno, Shuichiro Yamamoto
誌名 Proceedings of IFIP WG 8.4, 8.9/TC 5 International Cross-Domain Conference and Workshop on Availability, Reliability, and Security (CD-ARES)
出版者
巻号頁 LNCS 7465, 639-653
出版日 2012/08
ISSN
DOI
URL
概要
機関リポジトリ

No.33
掲載種別 研究論文(国際会議プロシーディングス)
単著・共著区分
タイトル Iterative and Simultaneous Development of Embedded Control Software and Dependability Cases for Consumer Devices
著者 Yutaka Matsuno, Kenji Taguchi, Yoshihiro Nakabo, Akira Ohata
誌名 Proceedings of SICE Annual Conference 2012
出版者
巻号頁 675-680
出版日 2012/08
ISSN
DOI
URL
概要
機関リポジトリ

No.34
掲載種別 研究論文(国際会議プロシーディングス)
単著・共著区分
タイトル DS-Bench toolset: Tools for dependability benchmarking with simulation and assurance
著者 Hajime Fujita, Yutaka Matsuno, Toshihiro Hanawa, Mitsuhisa Sato, Shinpei Kato, and Yutaka Ishikawa
誌名 Proceedings of IEEE Dependable Systems Network (DSN)
出版者
巻号頁 8pages
出版日 2012/06
ISSN
DOI
URL
概要
機関リポジトリ

No.35
掲載種別 研究論文(国際会議プロシーディングス)
単著・共著区分
タイトル d* framework: Inter-Dependency Model for Dependability
著者 Shuichiro Yamamoto, Yutaka Matsuno
誌名 Proceedings of IEEE Dependable Systems Network (DSN)
出版者
巻号頁 2pages
出版日 2012/06
ISSN
DOI
URL
概要
機関リポジトリ

No.36
掲載種別 (MISC)総説・解説(その他)
単著・共著区分
タイトル ロボットの安全とSystem Assurance
著者 中坊嘉宏,松野裕
誌名 日本ロボット学会誌
出版者
巻号頁 29/ 5, 345-347
出版日 2011
ISSN
DOI
URL
概要
機関リポジトリ

No.37
掲載種別 (MISC)総説・解説(その他)
単著・共著区分
タイトル D-Case: ステークホルダとシステムをつなぐドキュメント
著者 松野裕
誌名 Bulletin JASA
出版者
巻号頁 34
出版日 2011
ISSN
DOI
URL
概要
機関リポジトリ

No.38
掲載種別 研究論文(国際会議プロシーディングス)
単著・共著区分
タイトル D-Case Editor: A Typed Assurance Case Editor
著者 Yutaka Matsuno
誌名 Proceedings of OSADL 13th Real-Time Linux Workshop
出版者
巻号頁 -
出版日 2011/10
ISSN
DOI
URL
概要
機関リポジトリ

No.39
掲載種別 研究論文(国際会議プロシーディングス)
単著・共著区分
タイトル Iterative and Simultaneous Development of Embedded Control Software and Dependability Case
著者 Yutaka Matsuno, Kenji Taguchi, Yoshihiro Nakabo, Akira Ohata
誌名 Proceedings of Workshop on Dependable Systems of Systems
出版者
巻号頁 -
出版日 2011/09
ISSN
DOI
URL
概要
機関リポジトリ

No.40
掲載種別 研究論文(国際会議プロシーディングス)
単著・共著区分
タイトル Dependability Case for Open Systems Lifecycle
著者 Yutaka Matsuno, Makoto Takeyama, Jin Nakazawa
誌名 Proceedings of Inconsistency Robustness
出版者
巻号頁 -
出版日 2011/08
ISSN
DOI
URL
概要
機関リポジトリ

No.41
掲載種別 研究論文(国際会議プロシーディングス)
単著・共著区分
タイトル Parameterised Argument Structure for GSN Patterns(Short Paper)
著者 Yutaka Matsuno, Kenji Taguchi
誌名 Proceedings of IEEE 11th International Conference on Quality Software (QSIC 2011)
出版者
巻号頁 96-101
出版日 2011/07
ISSN
DOI
URL
概要
機関リポジトリ

No.42
掲載種別 研究論文(国際会議プロシーディングス)
単著・共著区分
タイトル Evaluating Degree of Systems' Dependability with Semi-Structured Assurance Case(Short Paper)
著者 Jin Nakazawa, Yutaka Matsuno, Hideyuki Tokuda
誌名 Proceedings of European Workshop on Dependable Computing (EWDC 2011)
出版者
巻号頁 111-112
出版日 2011/05
ISSN
DOI
URL
概要
機関リポジトリ

No.43
掲載種別 研究論文(国際会議プロシーディングス)
単著・共著区分
タイトル Toward a Language for Communication among Stakeholders
著者 Yutaka Matsuno, Jin Nakazawa, Makoto Takeyama, Midori Sugaya, Yutaka Ishikawa
誌名 Proceedings of the 16th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC'10)
出版者
巻号頁 93-100
出版日 2010/12
ISSN
DOI
URL
概要
機関リポジトリ

No.44
掲載種別 研究論文(国際会議プロシーディングス)
単著・共著区分
タイトル A Dependability Case Editor with Pattern Library(Fast Abstract)
著者 Yutaka Matsuno, Hiroki Takamura, Yutaka Ishikawa
誌名 Proceedings of IEEE 12th International Symposium on High-Assurance Systems Engineering (HASE)
出版者
巻号頁 170-171
出版日 2010/11
ISSN
DOI
URL
概要
機関リポジトリ

No.45
掲載種別 (MISC)総説・解説(その他)
単著・共著区分
タイトル 対訳 ディペンダブル・セキュアコンピューティングの基本概念と用語
著者 木下佳樹、松野裕、高村博紀、武山誠
誌名 産総研テクニカルレポート
出版者
巻号頁 AIST-PS-2009/ 008
出版日 2009
ISSN
DOI
URL
概要
機関リポジトリ

No.46
掲載種別 (MISC)総説・解説(その他)
単著・共著区分
タイトル ディペンダビリティ調査報告2月22日~3月9日 Newcastle, Edinburgh, York, Bath, London, UK
著者 木下佳樹、武山誠、松野裕
誌名 産総研テクニカルレポート
出版者
巻号頁 AIST-PS-2009/ 002
出版日 2009
ISSN
DOI
URL
概要
機関リポジトリ

No.47
掲載種別 研究論文(国際会議プロシーディングス)
単著・共著区分
タイトル Toward User Oriented Dependability for Future Embedded Systems
著者 Yoshiki Kinoshita, Yutaka Matsuno(Corresponding Author), Hiroki Takamura, Makoto Takeyama
誌名 Proceedings of First International Workshop on Software Technologies for Future Dependable Distributed Systems (STFSSD 2009)
出版者
巻号頁 132-137
出版日 2009/03
ISSN
DOI
URL
概要
機関リポジトリ

No.48
掲載種別 研究論文(国際会議プロシーディングス)
単著・共著区分
タイトル A Type System Equivalent to Static Single Assignment
著者 Yutaka Matsuno, Atsushi Ohori
誌名 Proceedings of ACM-SIGPLAN International Symposium on Principles and Practice of Declarative Programming (PPDP’06)
出版者
巻号頁 249-259
出版日 2006/07
ISSN
DOI
URL
概要
機関リポジトリ

No.49
掲載種別 研究論文(学術雑誌)
単著・共著区分
タイトル A Type System for Optimization Verifying Compilers
著者 Yutaka Matsuno, Hiroyuki Sato
誌名 コンピュータソフトウエア
出版者
巻号頁 22/ 3, 19-35
出版日 2005
ISSN
DOI
URL
概要
機関リポジトリ

No.50
掲載種別 研究論文(学術雑誌)
単著・共著区分
タイトル A Type System for Verification of Compiler Optimization.
著者 Yutaka Matsuno, Hiroyuki Sato
誌名 情報処理学会論文誌
出版者
巻号頁 45/ SIG9(PRO22), 14-24
出版日 2004
ISSN
DOI
URL
概要
機関リポジトリ

No.51
掲載種別 研究論文(国際会議プロシーディングス)
単著・共著区分
タイトル A Type System for Proving Correctness of Compiler Optimizations
著者 Yutaka Matsuno, Hiroyuki Sato
誌名 Proceedings of International Workshop on Software Verification and Validation (SVV’04)
出版者
巻号頁 1-15
出版日 2004/11
ISSN
DOI
URL
概要
機関リポジトリ

No.52
掲載種別 研究論文(学術雑誌)
単著・共著区分
タイトル Flow Analytic Type System for Array Bound Checks
著者 Yutaka Matsuno, Hiroyuki Sato
誌名 Electronic Notes in Theoretical Computer Science
出版者
巻号頁 78, 178-195
出版日 2003
ISSN
DOI
URL
概要
機関リポジトリ

No.53
掲載種別 研究論文(国際会議プロシーディングス)
単著・共著区分
タイトル Flow Analytic Type System for Array Bound Checks
著者 Yutaka Matsuno, Hiroyuki Sato
誌名 Proceedings of Computing: The Australasian Theory Symposium (CATS’03)
出版者
巻号頁 178-195
出版日 2003/02
ISSN
DOI
URL
概要
機関リポジトリ