IoT向け自律協調自己適応機構とその形式検証手法の研究

2019 年度 実績報告書

• 研究課題/領域番号: 18H03229
• 研究機関: 電気通信大学
• 研究代表者: 田原 康之 電気通信大学, 大学院情報理工学研究科, 准教授 (30390602)
• 研究分担者: 清 雄一 電気通信大学, 大学院情報理工学研究科, 准教授 (20700157) ; 鄭 顕志 早稲田大学, 理工学術院, 准教授(任期付) (40434295) ; 中川 博之 大阪大学, 情報科学研究科, 准教授 (40508834) ; 石川 冬樹 国立情報学研究所, アーキテクチャ科学研究系, 准教授 (50455193) ; 一色 正男 神奈川工科大学, 創造工学部, 教授 (90567364)
• 研究期間 (年度): 2018-04-01 – 2022-03-31
• キーワード: 自己適応システム / IoT / 自律協調システム / 形式検証 / セキュリティ・プライバシ

研究実績の概要

令和元，2年度は,(1) 個々の機器が検知できない環境変化に対し,他の機器が問題の機器の振舞いを監視し,環境変化の有無をそれらの機器が慎重に相談し合った上で気づくための協調手法の改良を行い,(2) 機器単体では対応できない環境変化に対し,自己適応機構同士で協調して適応する手法の改良を行い,(3) 複雑なシステムの振舞いが正しく機能することを保証する技術として有望視されている形式検証を適用することにより,協調動作が正しく機能するかどうかを検証する手法の改良を行い,(4) 協調動作を行う自己適応機構によるものも含め,IoT システムにおけるプライバシ侵害を防止する仕組みの改良を行い,(5) (1)~(4) の各機構・手法を統合した,IoT向け自律協調自己適応ミドルウェアの開発と予備実験を進めた.

現在までの達成度 (区分)

2: おおむね順調に進展している

理由

令和2年度の研究実績の各項目について,年度当初の研究実施計画のサブテーマ1~5に記載した内容を,おおむね達成できているため.

今後の研究の推進方策

今後は,研究計画調書に記載した計画の通りに推進する予定である.

研究成果

• [雑誌論文] Semantic Diversity: Privacy Considering Distance Between Values of Sensitive Attribute (2020)
  • 著者名/発表者名: Keiichiro Oishi, Yuichi Sei, Yasuyuki Tahara and Akihiko Ohsuga
  • 雑誌名: Computers & Security 巻: Vol.94, 101823 ページ: 1-18
  • DOI: 10.1016/j.cose.2020.101823
  • 査読あり
• [雑誌論文] Knowledge Graph Completion to Solve University Campus Issues (2020)
  • 著者名/発表者名: Yuto Tsukagoshi, Takahiro Kawamura, Yuichi Sei, Yasuyuki Tahara, Akihiko Ohsuga
  • 雑誌名: Journal of Data Intelligence 巻: Vol.1, No.3 ページ: 333-350
  • DOI: 10.26421/JDI1.3
  • 査読あり / オープンアクセス
• [雑誌論文] 社会課題解決に向けたナレッジグラフと欠損推定手法の提案～学内駐輪環境改善の試み～ (2020)
  • 著者名/発表者名: 塚越 雄登，川村 隆浩，清 雄一，田原 康之，大須賀 昭彦
  • 雑誌名: 電気学会論文誌C 巻: Vol.140, No.8 ページ: 905-915
  • DOI: 10.1541/ieejeiss.140.905
  • 査読あり / オープンアクセス
• [雑誌論文] 位置情報とタイムスタンフ?の有用性を調整可能な移動軌跡匿名化手法 (2020)
  • 著者名/発表者名: 千葉 智樹，清 雄一，田原 康之，大須賀 昭彦
  • 雑誌名: 電気学会論文誌C 巻: Vol.140, No.8 ページ: 956-963
  • DOI: 10.1541/ieejeiss.140.956
  • 査読あり / オープンアクセス
• [雑誌論文] Differentially Private Mobile Crowd Sensing Considering Sensing Errors (2020)
  • 著者名/発表者名: Yuichi Sei, Akihiko Ohsuga
  • 雑誌名: Sensors 巻: Vol.20, No.10, 2785 ページ: 1-25
  • DOI: 10.3390/s20102785
  • 査読あり / オープンアクセス
• [雑誌論文] Using simulated annealing for locating array construction (2020)
  • 著者名/発表者名: Tatsuya Konishi, Hideharu Kojima, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
  • 雑誌名: Information and Software Technology 巻: Vol. 126, 106346 ページ: -
  • DOI: 10.1016/j.infsof.2020.106346
  • 査読あり
• [雑誌論文] Interactive Goal Model Construction Based on a Flow of Questions (2020)
  • 著者名/発表者名: Hiroyuki Nakagawa, Hironori Shimada, Tatsuhiro Tsuchiya
  • 雑誌名: IEICE Transactions on Information and Systems 巻: Vol.E103-D, No.06 ページ: 1309-1318
  • DOI: 10.1587/transinf.2019KBP0015
  • 査読あり / オープンアクセス
• [雑誌論文] Finding minimum locating arrays using a CSP solver (2020)
  • 著者名/発表者名: Tatsuya Konishi, Hideharu Kojima, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
  • 雑誌名: Fundamenta Informaticae 巻: Vol. 174 No. 1 ページ: 27-42
  • DOI: 10.3233/FI-2020-1929
  • 査読あり
• [雑誌論文] Linked Dataを用いた俯瞰的な多肢選択式問題自動生成手法の提案 (2019)
  • 著者名/発表者名: 奥原 史佳，清 雄一，田原 康之，大須賀 昭彦
  • 雑誌名: 情報処理学会論文誌 巻: 60 ページ: 1738-1756
  • 査読あり
• [雑誌論文] Do You Like Sclera? Sclera-region Detection and Colorization for Anime Character Line Drawings (2019)
  • 著者名/発表者名: Masashi Aizawa, Yuichi Sei, Yasuyuki Tahara, Ryohei Orihara, Akihiko Ohsuga
  • 雑誌名: International Journal of Networked and Distributed Computing 巻: 7 ページ: 113-120
  • DOI: 10.2991/ijndc.k.190711.001
  • 査読あり / オープンアクセス
• [雑誌論文] “Never fry carrots without chopping” Generating Cooking Recipes from Cooking Videos Using Deep Learning Considering Previous Process (2019)
  • 著者名/発表者名: Tatsuki Fujii, Yuichi Sei, Yasuyuki Tahara, Ryohei Orihara, Akihiko Ohsuga
  • 雑誌名: International Journal of Networked and Distributed Computing 巻: 7 ページ: 107-112
  • DOI: 10.2991/ijndc.k.190710.002
  • 査読あり / オープンアクセス
• [雑誌論文] Anonymization of Sensitive Quasi-Identifiers for l-diversity and t-closeness (2019)
  • 著者名/発表者名: Yuichi Sei, Hiroshi Okumura, Takao Takenouchi, Akihiko Ohsuga
  • 雑誌名: IEEE Transactions on Dependable and Secure Computing 巻: 16 ページ: 580-593
  • DOI: 10.1109/TDSC.2017.2698472
  • 査読あり
• [雑誌論文] 自己適応システムのための環境モデル実行時更新手法 (2019)
  • 著者名/発表者名: 田邉 萌香，鄭 顕志，本位田 真一
  • 雑誌名: 情報処理学会論文誌 巻: 60 ページ: 1617-1630
  • 査読あり
• [雑誌論文] Change Impact Analysis for Refinement-Based Formal Specification (2019)
  • 著者名/発表者名: Shinnosuke Saruwatari, Fuyuki Ishikawa, Tsutomu Kobayashi, Shinichi Honiden
  • 雑誌名: IEICE Transactions on Information and Systems 巻: 8 ページ: 1462-1477
  • DOI: 10.1587/transinf.2018FOP0006
  • 査読あり / オープンアクセス
• [雑誌論文] 環境変化時に保証可能な安全性を特定するためのゲーム分析アルゴリズム (2019)
  • 著者名/発表者名: 相澤 和也，鄭 顕志，本位田 真一
  • 雑誌名: 情報処理学会論文誌 巻: 60 ページ: 1025-1039
  • 査読あり
• [雑誌論文] 単語の出現頻度と類似性に基づいたトピックモデル洗練化手法 (2019)
  • 著者名/発表者名: 東 和幸，高橋 仁，中川 博之，土屋 達弘
  • 雑誌名: コンピュータソフトウェア 巻: 4 ページ: 4_25-4_31
  • DOI: 10.11309/jssst.36.4_25
  • 査読あり / オープンアクセス
• [雑誌論文] Expression Caching for Runtime Verification Based on Parameterized Probabilistic Models (2019)
  • 著者名/発表者名: Hiroyuki Nakagawa, Hiromu Toyama, Tatsuhiro Tsuchiya
  • 雑誌名: The Journal of Systems & Software 巻: 156 ページ: 300-311
  • DOI: 10.1016/j.jss.2019.07.007
  • 査読あり
• [雑誌論文] Energy and Migration Cost-Aware Dynamic Virtual Machine Consolidation in Heterogeneous Cloud Datacenters (2019)
  • 著者名/発表者名: Quanwang Wu, Fuyuki Ishikawa, Qingsheng Zhu, Yunni Xia
  • 雑誌名: IEEE Transactions on Services Computing 巻: 12 ページ: 550-563
  • DOI: 10.1109/TSC.2016.2616868
  • 査読あり / 国際共著
• [学会発表] Why Do Users Choose a Hotel over Others? Review Analysis Using Interpretation Method of Machine Learning Models (2020)
  • 著者名/発表者名: Takayuki Onogawa, Ryohei Orihara, Yuichi Sei, Yasuyuki Tahara and Akihiko Ohsuga
  • 学会等名: IEEE International Conference on Big Data Analytics (ICBDA)
  • 国際学会
• [学会発表] Ontology-Based Correlation Detection Among Heterogeneous Data Sets: A Case Study of University Campus Issues (2020)
  • 著者名/発表者名: Yuto Tsukagoshi, Shusaku Egami, Yuichi Sei, Yasuyuki Tahara, Akihiko Ohsuga
  • 学会等名: IEEE International Conference on Artificial Intelligence and Knowledge Engineering (AIKE)
  • 国際学会
• [学会発表] A Defense Method against Poisoning Attacks on IoT Machine Learning Using Poisonous Data (2020)
  • 著者名/発表者名: Tomoki Chiba, Yuichi Sei, Yasuyuki Tahara, Akihiko Ohsuga
  • 学会等名: IEEE International Conference on Artificial Intelligence and Knowledge Engineering (AIKE)
  • 国際学会
• [学会発表] Stack performance improvement of stacked U-Net (2020)
  • 著者名/発表者名: Satoru Mizusawa, Yuichi Sei, Akihiko Ohsuga
  • 学会等名: IEEE Joint International Information Technology and Artificial Intelligence Conference (ITAIC)
  • 国際学会
• [学会発表] Codewords Detection in Microblogs Focusing on Differences in Word Use Between Two Corpora (2020)
  • 著者名/発表者名: Takuro Hada, Yuichi Sei, Yasuyuki Tahara, Akihiko Ohsuga
  • 学会等名: IEEE International Conference on Computing, Electronics & Communications Engineering (iCCECE)
  • 国際学会
• [学会発表] Detection of the hardcoded login information from socket symbols (2020)
  • 著者名/発表者名: Minami Yoda, Shuji Sakuraba, Yuichi Sei, Yasuyuki Tahara, Akihiko Ohsuga
  • 学会等名: IEEE International Conference on Computing, Electronics & Communications Engineering (iCCECE)
  • 国際学会
• [学会発表] Fake News Detection with Generated Comments for News Articles (2020)
  • 著者名/発表者名: Yuta Yanagi, Ryohei Orihara, Yuichi Sei, Yasuyuki Tahara, Akihiko Ohsuga
  • 学会等名: IEEE International Conference on Intelligent Engineering Systems (INES)
  • 国際学会
• [学会発表] Web/IoT横断的プライバシ保護データ解析基盤発 (2020)
  • 著者名/発表者名: 清雄一
  • 学会等名: SMASH20 Winter Symposium
  • 招待講演
• [学会発表] コーパス間での類似語の差異に着目したマイクロブログにおける隠語検出 (2020)
  • 著者名/発表者名: 羽田 拓朗, 清 雄一, 田原 康之, 大須賀 昭彦
  • 学会等名: SMASH20 Summer Symposium
• [学会発表] 次元間の関係に着目したドメインオントロジーに基づく異種データ間の関連性発見 (2020)
  • 著者名/発表者名: 塚越 雄登, 江上 周作, 清 雄一, 田原 康之, 大須賀 昭彦
  • 学会等名: SMASH20 Summer Symposium
• [学会発表] IoT環境における機械学習のポイズニング攻撃に対して攻撃を逆利用した防御手法 (2020)
  • 著者名/発表者名: 千葉 智樹, 清 雄一, 田原 康之, 大須賀 昭彦
  • 学会等名: SMASH20 Summer Symposium
• [学会発表] 深層強化学習を用いたサッカータスクにおける行動獲得に関する考察 (2020)
  • 著者名/発表者名: 阿部 宇志, 折原 良平, 清 雄一, 田原 康之, 大須賀 昭彦
  • 学会等名: SMASH20 Summer Symposium
• [学会発表] 冷蔵庫内配置を意識した食材管理システムの開発 (2020)
  • 著者名/発表者名: 中野 芙美, 清 雄一, 田原 康之, 大須賀 昭彦
  • 学会等名: SMASH20 Summer Symposium
• [学会発表] Method for Low-Cost Environment Partitioning Modeling in Dynamic Update (2020)
  • 著者名/発表者名: Takuto Yamauchi, Kenji Tei, Shinichi Honiden
  • 学会等名: IEEE Third International Conference on AI and Knowledge Engineering (AIKE)
  • 国際学会
• [学会発表] Method of Applying Df-pn Algorithm to On-the-fly Controller Synthesis (2020)
  • 著者名/発表者名: Kengo Kuwana, Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden
  • 学会等名: IEEE Third International Conference on AI and Knowledge Engineering (AIKE)
  • 国際学会
• [学会発表] Identifying achievable goals for adaptive replanning against runtime environment change (2020)
  • 著者名/発表者名: Jialong Li, Kenji Tei, Shinichi Honiden
  • 学会等名: The 20th International Conference on Intelligent Systems Design and Applications (ISDA)
  • 国際学会
• [学会発表] モデル検査における複雑な検査式に対する反例解析手法の提案 (2020)
  • 著者名/発表者名: 大池勇太郎，小形真平，青木善貴，中川博之，小林一樹，岡野浩三
  • 学会等名: ソフトウェアエンジニアリングシンポジウム(SES2020)
• [学会発表] グラフ化による制御ループに関する反例の可視化手法の提案 (2020)
  • 著者名/発表者名: 青木善貴，小形真平，小林一樹，中川博之
  • 学会等名: ソフトウェアエンジニアリングシンポジウム(SES2020)
• [学会発表] 要求-テストケース間のカバレッジ分析におけるグラフクエリの応用可能性の検討 (2020)
  • 著者名/発表者名: 有若新悟，中川博之，土屋達弘
  • 学会等名: 電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE)
• [学会発表] リアルおうちエミュレータ ― 卒 FIT に適したシミュレーションシステム ― (2020)
  • 著者名/発表者名: 楊 青, 志田匠, 関家一雄, 一色正男
  • 学会等名: 情報処理学会コンシューマ・デバイス＆システム研究会
• [学会発表] 記事コメント生成によるフェイクニュースの早期検出 (2020)
  • 著者名/発表者名: 栁 裕太, 折原 良平, 清 雄一, 田原 康之, 大須賀 昭彦
  • 学会等名: SMASH20 Summer Symposium
• [学会発表] Expression Caching for Runtime Verification Based on Parameterized Probabilistic Models (2020)
  • 著者名/発表者名: Hiroyuki Nakagawa, Hiromu Toyama, Tatsuhiro Tsuchiya
  • 学会等名: The 41st IEEE Real-Time Systems Symposium (RTSS 2020)
  • 国際学会
• [学会発表] An Explainable Deep Learning Approach for Adaptation Space Reduction (2020)
  • 著者名/発表者名: Alhassan Boner Diallo, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
  • 学会等名: IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS 2020)
  • 国際学会
• [学会発表] An Automated Goal Labeling Method Based on User Reviews (2020)
  • 著者名/発表者名: Shuaicai Ren, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
  • 学会等名: the 32nd International Conference on Software Engineering & Knowledge Engineering (SEKE 2020)
  • 国際学会
• [学会発表] 効率的な動的検証のためのパラメータ化確率モデルに基づいた検証式キャッシュ (2020)
  • 著者名/発表者名: 中川博之, 外山大夢，土屋達弘
  • 学会等名: 情報処理学会 ソフトウェアエンジニアリングシンポジウム（SES2020）
  • 招待講演
• [学会発表] Formal Distributed Protocol Development for Reservation of Railway Sections (2020)
  • 著者名/発表者名: Paulius Stankaitis, Alexei Iliasov, Tsutomu Kobayashi, Yamine Ait-Ameur, Alexander Romanovsky, Fuyuki Ishikawa
  • 学会等名: The 7th International Conference on Rigorous State Based Methods
  • 国際学会
• [学会発表] Efficient Difference Analysis Algorithm for Runtime Requirement Degradation under System Functional Fault (2020)
  • 著者名/発表者名: Jialong Li, Kazuya Aizawa, Kenji Tei, Shinichi Honiden
  • 学会等名: The 18th IEEE International Conference on Embedded and Ubiquitous Computing
  • 国際学会
• [学会発表] Privacy-preserving IoT Data Mining (2019)
  • 著者名/発表者名: Yuichi Sei
  • 学会等名: Conference on Intelligent Computing, Communication & Applied Technologies (CICCAT)
  • 国際学会 / 招待講演
• [学会発表] Knowledge Graph of University Campus Issues and Application of Completion Methods (2019)
  • 著者名/発表者名: Yuto Tsukagoshi, Takahiro Kawamura, Yuichi Sei, Yasuyuki Tahara and Akihiko Ohsuga
  • 学会等名: International Conference on Information Integration and Web-based Applications & Services (iiWAS)
  • 国際学会
• [学会発表] Mis.Config: Finding Misreferred Configuration Bugs In Web Application Using Thin Slicing (2019)
  • 著者名/発表者名: Minami Yoda, Yuichi Sei, Yasuyuki Tahara and Akihiko Ohsuga
  • 学会等名: IEEE/ACIS International Conference on Intelligence Science (ICIS)
  • 国際学会
• [学会発表] Self-Adaptation for Heterogeneous Client-Server Online Games (2019)
  • 著者名/発表者名: Satoru Yamagata, Hiroyuki Nakagawa, Yuichi Sei, Yasuyuki Tahara and Akihiko Ohsuga
  • 学会等名: IEEE/ACIS International Conference on Intelligence Science (ICIS)
  • 国際学会
• [学会発表] Trajectory Anonymization: Balancing Usefulness about Position Information and Timestamp (2019)
  • 著者名/発表者名: Tomoki Chiba, Yuichi Sei, Yasuyuki Tahara and Akihiko Ohsuga
  • 学会等名: IFIP International Conference on New Technologies, Mobility & Security (NTMS)
  • 国際学会
• [学会発表] Multi-task Deep Reinforcement Learning with Evolutionary Algorithm and Policy Gradients Method in 3D Control Tasks (2019)
  • 著者名/発表者名: Shota Imai, Yuichi Sei, Yasuyuki Tahara, Ryohei Orihara and Akihiko Ohsuga
  • 学会等名: IEEE/ACIS International Conference on Big Data, Cloud Computing, and Data Science Engineering (BCD)
  • 国際学会
• [学会発表] Model smoothing using virtual adversarial training for speech emotion estimation (2019)
  • 著者名/発表者名: Toyoaki Kuwahara, Yuichi Sei, Yasuyuki Tahara, Ryohei Orihara and Akihiko Ohsuga
  • 学会等名: IEEE/ACIS International Conference on Big Data, Cloud Computing, and Data Science Engineering (BCD)
  • 国際学会
• [学会発表] Do You Like the Sclera?: Sclera-Region Detection in Line Drawings for Automated Colorization (2019)
  • 著者名/発表者名: Masashi Aizawa, Yuichi Sei, Yasuyuki Tahara, Ryohei Orihara and Akihiko Ohsuga
  • 学会等名: IEEE/ACIS International Conference on Big Data, Cloud Computing, and Data Science Engineering (BCD)
  • 国際学会
• [学会発表] "Never fry carrots without cutting." Cooking Recipe Generation from Videos Using Deep Learning Considering Previous Process (2019)
  • 著者名/発表者名: Tatsuki Fujii, Yuichi Sei, Yasuyuki Tahara, Ryohei Orihara and Akihiko Ohsuga
  • 学会等名: IEEE/ACIS International Conference on Big Data, Cloud Computing, and Data Science Engineering (BCD)
  • 国際学会
• [学会発表] A Method for Goal Model Repair Based on Process Mining (2019)
  • 著者名/発表者名: Hiroki Horita, Hideaki Hirayama, Takeo Hayase, Yasuyuki Tahara and Akihiko Ohsuga
  • 学会等名: IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD)
  • 国際学会
• [学会発表] Analysis space reduction with state merging for ensuring safety properties of self-adaptive systems (2019)
  • 著者名/発表者名: Kazuya Aizawa, Kenji Tei, Shinichi Honiden
  • 学会等名: The 16th IEEE Int’l Conf. on Advanced and Trusted Computing (ATC 2019)
  • 国際学会
• [学会発表] Towards Real-time Self-adaptation Using a Verification Mechanism (2019)
  • 著者名/発表者名: Hiroyuki Nakagawa, Hiroki Tsuda, Tatsuhiro Tsuchiya
  • 学会等名: in Proc. of the 31st Euromicro Conference on Real-Time Systems (ECRTS 2019) (WiP Session)
  • 国際学会
• [学会発表] Modelling and Analysing Resilient Cyber-Physical Systems (2019)
  • 著者名/発表者名: Amel Bennaceur, Carlo Ghezzi, Kenji Tei, et al.
  • 学会等名: the 14th Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS2019)
  • 国際学会
• [学会発表] A Runtime Monitoring Framework to Enforce Invariants on Reinforcement Learning Agents Exploring Complex Environments (2019)
  • 著者名/発表者名: Piergiuseppe Mallozzi, Ezequiel Gustavo Castellano, Patrizio Pelliccione, Gerardo Schneider and Kenji Tei
  • 学会等名: 2nd International Workshop on Robotics Software Engineering (RoSE 2019)
  • 国際学会
• [学会発表] Minimising Makespan of Discrete Controllers: A Qualitative Approach (2019)
  • 著者名/発表者名: Ezequiel Castellano, Victor Braberman, Nicolas D’Ippolito, Sebastian Uchitel, Kenji Tei
  • 学会等名: 58th IEEE Conference on Decision and Control (CDC 2019)2019
  • 国際学会
• [学会発表] An efficient co-Attention Neural Network for Social Recommendation (2019)
  • 著者名/発表者名: Munan Li, Kenji Tei, and Yoshiaki Fukazawa
  • 学会等名: IEEE/WIC/ACM International Conference on Web Intelligence (WI’19)
  • 国際学会
• [学会発表] Toward identifying safety properties guaranteed simultaneously with a liveness property at runtime (2019)
  • 著者名/発表者名: Kazuya Aizawa, Kenji Tei, Shinichi Honiden
  • 学会等名: The 8th Asian Workshop on Advanced Software Engineering (AWASE 2019)
  • 国際学会
• [学会発表] Analysis Space Reduction Method with Decomposing Control Problem (2019)
  • 著者名/発表者名: Takuto Yamauchi, Kenji Tei, Shinichi Honiden
  • 学会等名: The 8th Asian Workshop on Advanced Software Engineering (AWASE 2019)
  • 国際学会
• [学会発表] An Algorithm for Discrete Controller Synthesis at Runtime based on Difference Information of Changed Environment (2019)
  • 著者名/発表者名: Takanori Hirano, Kazuya Aizawa, Kenji Tei, Shinichi Honiden
  • 学会等名: The 8th Asian Workshop on Advanced Software Engineering (AWASE 2019)
  • 国際学会
• [学会発表] Analysis of changed game space for ensuring safety properties at runtime (2019)
  • 著者名/発表者名: Jialong Li, Kazuya Aizawa, Kenji Tei, Shinichi Honiden
  • 学会等名: The 8th Asian Workshop on Advanced Software Engineering (AWASE 2019)
  • 国際学会
• [学会発表] A Mutation-based Approach for Assessing Weight Coverage of a Path Planner (2019)
  • 著者名/発表者名: Thomas Laurent, Paolo Arcaini, Fuyuki Ishikawa and Anthony Ventresque
  • 学会等名: The 26th Asia-Pacific Software Engineering Conference (APSEC 2019)
  • 国際学会
• [学会発表] Learning-Based Falsification for Model Families of Cyber-Physical Systems (2019)
  • 著者名/発表者名: Koki Kato, Fuyuki Ishikawa
  • 学会等名: The 24th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2019)
  • 国際学会
• [学会発表] Assessing the Relation Between Hazards and Variability in Automotive Systems (2019)
  • 著者名/発表者名: [Best Paper Award] Xiaoyi Zhang, Paolo Arcaini, Fuyuki Ishikawa
  • 学会等名: The 24th International Conference on Engineering of Complex Computer Systems (ICECCS 2019)
  • 国際学会
• [学会発表] Adapting SQuaRE for Quality Assessment of Artificial Intelligence Systems (2019)
  • 著者名/発表者名: [Industry Best Paper] Hiroshi Kuwajima, Fuyuki Ishikawa
  • 学会等名: The 30th International Symposium on Software Reliability Engineering (ISSRE 2019 Industry Track)
  • 国際学会
• [学会発表] Stability Analysis for Safety of Automotive Multi-Product Lines: A Search-Based Approach (2019)
  • 著者名/発表者名: Nian-ze Lee, Paolo Arcaini, Shaukat Ali, Fuyuki Ishikawa
  • 学会等名: The Genetic and Evolutionary Computation Conference (GECCO 2019)
  • 国際学会
• [学会発表] How do Engineers Perceive Difficulties in Engineering of Machine-Learning Systems? - Questionnaire Survey (2019)
  • 著者名/発表者名: Fuyuki Ishikawa, Nobukazu Yoshioka
  • 学会等名: CESSER-IP 2019
  • 国際学会
• [学会発表] Contemporary Requirements Challenges and Issues: An Empirical Study in 11 Organizations (2019)
  • 著者名/発表者名: Feng Chen, Norah Power, J. J. Collins, Fuyuki Ishikawa
  • 学会等名: Requirements Engineering Track at The 34th Symposium on Applied Computing (SAC 2019)
  • 国際学会
• [学会発表] Tackling Uncertainty in Safety Assurance for Machine Learning: Continuous Argument Engineering with Attributed Tests (2019)
  • 著者名/発表者名: Yutaka Matsuno, Fuyuki Ishikawa, Susumu Tokumoto
  • 学会等名: The 2nd International Workshop on Artificial Intelligence Safety Engineering (WAISE 2019 poster) at The 38th International Conference on Computer Safety, Reliability and Security (SAFECOMP 2019)
  • 国際学会
• [学会発表] Modelling and Analysing Resilient Cyber-Physical Systems (2019)
  • 著者名/発表者名: Amel Bennaceur, Carlo Ghezzi, Kenji Tei, et al.
  • 学会等名: The 14th Symposium on Software Engineering for Adaptive and Self-Managing Systems 2019 (SEAMS 2019, NIER:New Ideas and Emergent Results)
  • 国際学会
• [学会発表] Scenario Sampling for Cyber Physical Systems using Combinatorial Testing (2019)
  • 著者名/発表者名: Akihisa Yamada, Clovis Eberhart, Fuyuki Ishikawa, Nian-Ze Lee
  • 学会等名: The 8th International Workshop on Combinatorial Testing (IWCT 2019)
  • 国際学会
• [学会発表] Proposal to Make IoT (ECHONE Lite) Devices,Human Behavior Sensors for Life Action Recognition (2019)
  • 著者名/発表者名: Yoshiki Sano, Riku Masuda, Naoki Matsukata, Sakai Takahiro, Moe Hamamoto, Hiroshi Sugimura, Masao Isshiki
  • 学会等名: 2019 IEEE 8th Global Conference on Consumer Electronics (GCCE)
  • 国際学会
• [学会発表] Improvement of the Device Descriptions of ECHONET Lite by Adding Version Specific Information (2019)
  • 著者名/発表者名: Hiroyuki Fujita, Hiroshi Sugimura, Moe Hamamoto, Masao Isshiki
  • 学会等名: 2019 IEEE 8th Global Conference on Consumer Electronics (GCCE)
  • 国際学会
• [学会発表] Investigation of Home Routers with Connectivity Issues and Proposal for Improving Interconnectivity (2019)
  • 著者名/発表者名: Moe Hamamoto, Takashi Murakami, Hiroshi Sugimura, Masao Isshiki
  • 学会等名: 2019 IEEE 8th Global Conference on Consumer Electronics (GCCE)
  • 国際学会
• [学会発表] Development of High Speed Flashing Line Display Using Eyeball Movement (2019)
  • 著者名/発表者名: Naoki Kawasaki, Kyohei Wakabayashi, Makiko Okumura, Takayuki Misu, Keiichi Abe,Hiroshi Sugimura
  • 学会等名: 2019 IEEE 8th Global Conference on Consumer Electronics (GCCE)
  • 国際学会
• [学会発表] Resolving IGMP Difference among Routers and Devices for Improving Interconnectivity in Home Networks (2019)
  • 著者名/発表者名: Moe Hamamoto, Takashi Murakami, Hiroshi Sugimura and Masao Isshiki
  • 学会等名: The 12th International Conference on Ubi-Media Computing (Ubi-Media 2019)
  • 国際学会
• [学会発表] COMPARISON OF IOT DEVICES ARCHITECTURE IN HOME NETWORK (2019)
  • 著者名/発表者名: Takashi Murakami, Hiroshi Sugimura, Masao Isshiki
  • 学会等名: The 5th International Conference on Connected Smart Cities 2019 (CSC 2019)
  • 国際学会
• [学会発表] IoT-Smart house to create happiness of people based with ISO/IEC 14543-4-3(ECHONET Lite) (2019)
  • 著者名/発表者名: Masao Isshiki, Yuuji Sasagawa, Hiroyuki Fujita, Hiroshi Sugimura, and Takashi Murakami
  • 学会等名: International Symposium on Novel and Sustainable Technology
  • 国際学会
• [学会発表] Adaptation Plan Policy in Traffic Routing for Priority Vehicle (2019)
  • 著者名/発表者名: Krishna Priawan Hardinda，Yuichi Sei，Yasuyuki Tahara，Akihiko Ohsuga
  • 学会等名: ソフトウェア工学の基礎ワークショップ(FOSE)
• [学会発表] 進化的計算での動的なアーキテクチャ変更と方策勾配法を用いた3次元制御タスクにおけるマルチタスク深層強化学習 (2019)
  • 著者名/発表者名: 今井翔太，折原良平，清雄一，折原良平，大須賀昭彦
  • 学会等名: 合同エージェントワークショップ＆シンポジウム (JAWS)
• [学会発表] 以前の調理工程を考慮し深層学習を用いた料理動画からのレシピ生成 (2019)
  • 著者名/発表者名: 藤井竜希，折原良平，清雄一，折原良平，大須賀昭彦
  • 学会等名: 合同エージェントワークショップ＆シンポジウム (JAWS)
• [学会発表] 自発性を考慮した音声による感情推定のための仮想敵対的学習によるモデル平滑化 (2019)
  • 著者名/発表者名: 桑原豊明，折原良平，清雄一，折原良平，大須賀昭彦
  • 学会等名: 合同エージェントワークショップ＆シンポジウム (JAWS)
• [学会発表] cGANを用いた線画の髪領域シェーディングスタイル転写手法の検討 (2019)
  • 著者名/発表者名: 逢澤昌志，折原良平，清雄一，折原良平，大須賀昭彦
  • 学会等名: 合同エージェントワークショップ＆シンポジウム (JAWS)
• [学会発表] Stacked U-NetによるCT画像再構成 (2019)
  • 著者名/発表者名: 水澤悟，清雄一，折原良平，大須賀昭彦
  • 学会等名: 合同エージェントワークショップ＆シンポジウム (JAWS)
• [学会発表] 機械学習モデルの解釈手法による競合を考慮したレビュー分析 (2019)
  • 著者名/発表者名: 小野川稜之，折原良平，清雄一，田原康之，大須賀昭彦
  • 学会等名: 合同エージェントワークショップ＆シンポジウム (JAWS)
• [学会発表] 機械学習モデルの解釈手法による競合サービスと比較したレビュー分析 (2019)
  • 著者名/発表者名: 小野川稜之，折原良平，清雄一，田原康之，大須賀昭彦
  • 学会等名: 日本ソフトウェア科学会大会
• [学会発表] Negotiation Protocol in Traffic Routing for Priority Vehicle (2019)
  • 著者名/発表者名: Hardinda Krishna Priawan，清雄一，田原康之，大須賀昭彦
  • 学会等名: 日本ソフトウェア科学会大会
• [学会発表] 機械学習の解釈手法を利用したレビュー分析 (2019)
  • 著者名/発表者名: 小野川稜之，清雄一，田原康之，折原良平，大須賀昭彦
  • 学会等名: 電子情報通信学会人工知能と知識処理研究会
• [学会発表] グレースケール人物線画の自動彩色におけるGrabcutによるデータセット作成及び白目領域検出手法の検討 (2019)
  • 著者名/発表者名: 逢澤昌志，清雄一，田原康之，大須賀昭彦
  • 学会等名: 人工知能学会全国大会
• [学会発表] 進化的計算と方策勾配法による学習を用いた3次元制御タスクにおけるマルチタスク深層強化学習 (2019)
  • 著者名/発表者名: 今井翔太，清雄一，田原康之，大須賀昭彦
  • 学会等名: 人工知能学会全国大会
• [学会発表] 環境変化の差分情報を用いた離散制御器の実行時差分合成アルゴリズム (2019)
  • 著者名/発表者名: 平野 貴規，相澤 和也，鄭 顕志，鷲崎 弘宜，本位田 真一
  • 学会等名: マルチメディア,分散協調とモバイルシンポジウム
• [学会発表] Dynamic Updating Controller自動生成のための環境モデル構築における関心事分離手法 (2019)
  • 著者名/発表者名: 山内 拓人，鄭 顕志，鷲崎 弘宜，本位田 真一
  • 学会等名: マルチメディア,分散協調とモバイルシンポジウム
• [学会発表] 鉄道制御システムに特化した離散制御器合成における状態削減モデリング手法 (2019)
  • 著者名/発表者名: 桑名 賢吾，鄭 顕志，半田 隆信，柳井 法貴，西面 敦義，深澤 良彰，本位田 真一
  • 学会等名: マルチメディア,分散協調とモバイルシンポジウム
• [学会発表] 実行時requirement enhancementのためのゲーム空間の差分分析アルゴリズム (2019)
  • 著者名/発表者名: 李 家隆，相澤 和也，鄭 顕志，鷲崎 弘宜，本位田 真一
  • 学会等名: マルチメディア,分散協調とモバイルシンポジウム
• [学会発表] 自己適応システムはなぜ動くのか：自己適応化技術とその応用 (2019)
  • 著者名/発表者名: 中川博之
  • 学会等名: 大阪大学情報科学研究科 2019 年度第 5 回ランチセミナー
  • 招待講演
• [学会発表] 確率的モデル検査器を用いた制御ループの定量的検証の試案 (2019)
  • 著者名/発表者名: 青木善貴，小形真平，小林一樹，中川博之
  • 学会等名: ソフトウェア工学の基礎ワークショップ FOSE 2019
• [学会発表] エージェント指向設計に基づいた CPS/IoTシステム設計の有効性に関する考察 (2019)
  • 著者名/発表者名: 中川博之，小形真平，青木善貴，小林一樹
  • 学会等名: 合同エージェントワークショップ＆シンポジウム 2019（JAWS2019）
• [学会発表] 文書間の類似度に基づいたトレーサビリティリンクの精度向上手法の検討 (2019)
  • 著者名/発表者名: 東和幸，中川博之，土屋達弘
  • 学会等名: 電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE)
• [学会発表] word2vec とゴールモデルの階層性を利用した類似ゴール検出方法の提案 (2019)
  • 著者名/発表者名: 石川公一，小形真平，中川博之，岡野浩三
  • 学会等名: 電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE)
• [学会発表] 不具合原因分析支援のための NuSMV 反例解析手法の試案 (2019)
  • 著者名/発表者名: 大池勇太郎，小形真平，青木善貴，中川博之，小林一樹，岡野浩三
  • 学会等名: 電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE)
• [学会発表] NuSMV の反例に対する自動検証による解析支援ツールの試作 (2019)
  • 著者名/発表者名: 大池勇太郎，小形真平，青木善貴，中川博之，岡野浩三
  • 学会等名: 情報処理学会第 51 回組込みシステム研究発表会（SIGEMB）
• [学会発表] 要件定義計画を強化するアセスメント項目の提案 (2019)
  • 著者名/発表者名: 渋谷 公寛，越前谷 達朗，久保 光寛，新田 史弥，吉竹 宏幸，石川 冬樹，栗田 太郎
  • 学会等名: ソフトウェア・シンポジウム2019（SS 2019）
• [学会発表] 融合分野としての機械学習工学における技術チャレンジ (2019)
  • 著者名/発表者名: 石川 冬樹，今井 健男，勝股 審也，末永 幸平，杉山 麿人，関山 太朗，蓮尾 一郎，原 聡，丸山 宏，吉岡 信和，鷲崎 弘宜
  • 学会等名: 第2回機械学習工学ワークショップ（MLSE夏合宿2019・ポスター）
• [学会発表] 機械学習応用システムのテストにおける入力空間分割の評価 (2019)
  • 著者名/発表者名: 石川 冬樹，徳本 晋
  • 学会等名: 第2回機械学習工学ワークショップ（MLSE夏合宿2019・ポスター）
• [学会発表] 機械学習エンジニアのデータ分析と知識習得を支援するツールMALSS (2019)
  • 著者名/発表者名: 鴨志田 亮太，石川 冬樹
  • 学会等名: 第2回機械学習工学ワークショップ（MLSE夏合宿2019・ポスター）
• [学会発表] 為替レート予測における機械学習システムのモニタリング手法の検討 (2019)
  • 著者名/発表者名: 北野 健太，石川 冬樹
  • 学会等名: 第2回機械学習工学ワークショップ（MLSE夏合宿2019）
• [学会発表] 機械学習システムの動的な保証のための支援ツール開発 (2019)
  • 著者名/発表者名: 小池 湧大，松野 裕，石川 冬樹
  • 学会等名: 第2回機械学習工学ワークショップ（MLSE夏合宿2019）
• [学会発表] 機械学習活用に向けた解釈手段の比較考察 (2019)
  • 著者名/発表者名: 太田 裕一，北野 健太，早川 芳昭，石川 冬樹
  • 学会等名: 第2回機械学習工学ワークショップ（MLSE夏合宿2019）
• [学会発表] スマートメーターとHEMSを利用した実住宅での生活行動推定 (2019)
  • 著者名/発表者名: 佐野 芳樹，松方 直樹，酒井 貴洋，増田 陸，濱本 望絵，杉村 博，一色 正男
  • 学会等名: マルチメディア,分散協調とモバイルシンポジウム
• [学会発表] コミュニケーションロボット内のログデータを用いた生活見守りサービスの検討 (2019)
  • 著者名/発表者名: 布施 宏樹，村田 龍一，植竹 活夫，中村 怜央，奥村 万規子，一色 正男，安部 惠一
  • 学会等名: マルチメディア,分散協調とモバイルシンポジウム
• [学会発表] IoT(HEMS)利用の高齢者高度見守りシステム (2019)
  • 著者名/発表者名: 佐野 芳樹，濱本 望絵，杉村 博，一色 正男
  • 学会等名: 研究報告コンシューマ・デバイス＆システム（CDS）
• [学会発表] AI技術の概観と熱交換器への応用 (2019)
  • 著者名/発表者名: 清雄一
  • 学会等名: 日本冷凍空調学会「環境変化に対応するための先進熱交換技術に関する調査研究」委員会
  • 招待講演
• [備考] 大須賀・田原・清研究室
  • URL: http://www.ohsuga.lab.uec.ac.jp/
• [備考] ENEX2021開催レポート
  • URL: http://sh-center.org/shrepo/3306