鄭顕志 Tei Kenji

研究者番号	40434295
その他のID	https://orcid.org/0000-0003-1106-1709
所属 (現在)	2025年度: 東京科学大学, 情報理工学院, 准教授 2025年度: 国立情報学研究所, アーキテクチャ科学研究系, 准教授 2025年度: 早稲田大学, 理工学術院, 客員准教授
所属 (過去の研究課題情報に基づく) *注記	2023年度 – 2024年度: 東京工業大学, 情報理工学院, 准教授 2018年度 – 2023年度: 早稲田大学, 理工学術院, 准教授(任期付) 2018年度: 早稲田大学, 理工学術院, 研究院准教授 2018年度: 国立情報学研究所, 大学共同利用機関等の部局等, 助教 2017年度: 国立情報学研究所, 大学共同利用機関等の部局等, 准教授 … もっと見る 2015年度 – 2017年度: 国立情報学研究所, アーキテクチャ科学研究系, 准教授 2013年度 – 2014年度: 国立情報学研究所, 大学共同利用機関等の部局等, 助教 2011年度 – 2014年度: 国立情報学研究所, アーキテクチャ科学研究系, 助教 2008年度 – 2009年度: 早稲田大学, メディアネットワークセンター, 助教 2007年度: 早稲田大学, 理工学術院, 助手隠す
審査区分/研究分野	研究代表者小区分60050:ソフトウェア関連 / ソフトウェア / ソフトウェア / 計算機システム・ネットワーク研究代表者以外ソフトウェア / ソフトウエア / 小区分90020:図書館情報学および人文社会情報学関連 / 小区分60060:情報ネットワーク関連 / 小区分62020:ウェブ情報学およびサービス情報学関連
キーワード	研究代表者自己適応システム / 実行時モデル / 自己修復 / Session Type / アクターモデル / ソフトウェア検証 / 自己適応 / Graceful Degradation / 環境モデル学習 / Graceful degradation … もっと見る / モデル学習 / 離散制御器合成 / Models@run.time / センサデータ / センサーネットワーク / センサエラー / センサモデル / 無線センサネットワーク / 対象追跡システム / 無線センサーネットワーク … もっと見る研究代表者以外 IoT / ソフトウェア工学 / 自己適応システム / 自己適応ソフトウェア / 環境モデル学習 / LOD / セキュリティ・プライバシ / 形式検証 / 自律協調システム / オープンデータ / 推薦システム / ソーシャルデータ / マイニング基盤 / 協調プランニング / 離散制御器合成 / Graceful Degradation / 実行時モデル / 制御器合成 / 実行時モデリング / ソフトウェア生成 / センサーアプリケーション / センサー・ソフトウェア / センサーソフトウェア / MDD / ソフトウェア再利用 / ソフトウェア部品 / アクチュエータ / 再利用 / センサー / プロダクトライン / アスペクト / パターン / セキュリティ / モデル駆動開発 / ソフトウェア検証 / ソフトウェア設計 / ソフトウェア分析 / ソフトウェア進化 / 空間制御ソフトウェア / ソフトウェア開発プロセス / モデル検査 / ソフトウェアアーキテクチャ / ゴール指向要求分析 / ミドルウェア / 無線センサーネットワーク隠す

SNS・IoT・オープンデータ融合マイニングによる施策に対する人々の行動変化予測
- 研究代表者
  
  大須賀昭彦
- 研究期間 (年度)
  2023 – 2026
- 研究種目
  
  基盤研究(B)
- 審査区分
  
  小区分90020:図書館情報学および人文社会情報学関連
- 研究機関
  電気通信大学
想定に漏れた環境変化に対して最大限の機能を維持する実行時モデルフレームワーク研究代表者
- 研究代表者
  
  鄭顕志
- 研究期間 (年度)
  2023 – 2026
- 研究種目
  
  基盤研究(B)
- 審査区分
  
  小区分60050:ソフトウェア関連
- 研究機関
  東京工業大学
行動の意図を把握するソーシャルセンサ～物理センサ融合マイニング基盤
- 研究代表者
  
  大須賀昭彦
- 研究期間 (年度)
  2018 – 2021
- 研究種目
  
  基盤研究(B)
- 審査区分
  
  小区分62020:ウェブ情報学およびサービス情報学関連
- 研究機関
  電気通信大学
想定に漏れた環境変化にしなやかに耐える実行時モデルフレームワーク研究代表者
- 研究代表者
  
  鄭顕志
- 研究期間 (年度)
  2018 – 2021
- 研究種目
  
  基盤研究(B)
- 審査区分
  
  小区分60050:ソフトウェア関連
- 研究機関
  早稲田大学
IoT向け自律協調自己適応機構とその形式検証手法の研究
- 研究代表者
  
  田原康之
- 研究期間 (年度)
  2018 – 2021
- 研究種目
  
  基盤研究(B)
- 審査区分
  
  小区分60060:情報ネットワーク関連
- 研究機関
  電気通信大学
しなやかなシステムを実現するマルチビュー実行時モデルフレームワーク
- 研究代表者
  
  本位田真一
- 研究期間 (年度)
  2017 – 2021
- 研究種目
  
  基盤研究(A)
- 研究分野
  
  ソフトウェア
- 研究機関
  早稲田大学
想定に漏れた環境変化に耐えるソフトウェアを実現する実行時モデル更新技術
- 研究代表者
  
  本位田真一
- 研究期間 (年度)
  2016 – 2017
- 研究種目
  
  挑戦的萌芽研究
- 研究分野
  
  ソフトウェア
- 研究機関
  国立情報学研究所
異種ユビキタスプラットフォームを横断する，保障を伴う自己適応に関する研究研究代表者
- 研究代表者
  
  石川冬樹, 鄭顕志
- 研究期間 (年度)
  2016 – 2018
- 研究種目
  
  特別研究員奨励費
- 研究分野
  
  ソフトウェア
- 研究機関
  国立情報学研究所
センサネットワークにおけるセンサデータの自己修復に関する研究研究代表者
- 研究代表者
  
  鄭顕志
- 研究期間 (年度)
  2014 – 2016
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  ソフトウェア
- 研究機関
  国立情報学研究所
センサーソフトウェア工学の確立に関する研究
- 研究代表者
  
  深澤良彰
- 研究期間 (年度)
  2013 – 2018
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  ソフトウェア
- 研究機関
  早稲田大学
想定外に備えた空間制御ソフトウェアの分析・設計・検証手法
- 研究代表者
  
  本位田真一
- 研究期間 (年度)
  2012 – 2014
- 研究種目
  
  基盤研究(A)
- 研究分野
  
  ソフトウエア
- 研究機関
  国立情報学研究所
対象追跡システムのための無線センサーネットワーク感度調整に関する研究研究代表者
- 研究代表者
  
  鄭顕志
- 研究期間 (年度)
  2011 – 2013
- 研究種目
  
  若手研究(B)
- 研究分野
  
  計算機システム・ネットワーク
- 研究機関
  国立情報学研究所
オープン無線センサーネットワークのためのミドルウェアに関する研究
- 研究代表者
  
  本位田真一
- 研究期間 (年度)
  2007 – 2009
- 研究種目
  
  基盤研究(A)
- 研究分野
  
  ソフトウエア
- 研究機関
  国立情報学研究所

[図書] Designing Solutions-Based Ubiquitous and Pervasive Computing: New Issues and Trends(XAC Project: Towards a Middleware for Open Wireless Sensor Networks, chapter in book)2010
- 著者名/発表者名
  Kenji Tei, Shunichiro Suenaga, Yoshiyuki Nakamura, Yuichi Sei, Hikotoshi Nakazato, Yoichi Kaneki, Nobukazu Yoshioka, Yoshiaki Fukazawa, Shinichi Honiden
- データソース
  KAKENHI-PROJECT-19200003
[雑誌論文] Efficient Difference Analysis of Guaranteeable Requirements for Fault-tolerant Self-adaptation2023
- 著者名/発表者名
  Li Jialong、Tei Kenji
- 雑誌名
  
  Journal of Information Processing
  
  巻: 31 号: 0 ページ: 186-195
- DOI
  10.2197/ipsjjip.31.186
- ISSN
  1882-6652
- 言語
  英語
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-22KJ2935, KAKENHI-PROJECT-17H00732, KAKENHI-PROJECT-18H03225
[雑誌論文] Towards Scalable Model Checking of Reflective Systems via Labeled Transition Systems2023
- 著者名/発表者名
  Tei Kenji、Tahara Yasuyuki、Ohsuga Akihiko
- 雑誌名
  
  IEEE Transactions on Software Engineering
  
  巻: 49 号: 3 ページ: 1299-1322
- DOI
  10.1109/tse.2022.3174408
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-17H00732, KAKENHI-PROJECT-18H03225
[雑誌論文] 段階的な部分合成による離散制御器合成の分析空間削減2023
- 著者名/発表者名
  山内拓人、鄭顕志
- 雑誌名
  
  電子情報通信学会論文誌D 情報・システム
  
  巻: J106-D 号: 4 ページ: 218-230
- DOI
  10.14923/transinfj.2022PDP0022
- ISSN
  1880-4535, 1881-0225
- 年月日
  2023-04-01
- 言語
  日本語
- 査読あり
- データソース
  KAKENHI-PROJECT-17H00732, KAKENHI-PROJECT-18H03225
[雑誌論文] Value Iteration Networks With Gated Summarization Module2023
- 著者名/発表者名
  Cai Jinyu、Li Jialong、Zhang Mingyue、Tei Kenji
- 雑誌名
  
  IEEE Access
  
  巻: 11 ページ: 60407-60420
- DOI
  10.1109/access.2023.3286729
- 査読あり / オープンアクセス / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-22KJ2935, KAKENHI-PROJECT-23K28064
[雑誌論文] Towards a Research Agenda for Understanding and Managing Uncertainty in Self-Adaptive Systems2023
- 著者名/発表者名
  Weyns Danny、Calinescu Radu、Mirandola Raffaela、Tei Kenji、and et.al.,
- 雑誌名
  
  ACM SIGSOFT Software Engineering Notes
  
  巻: 48 号: 4 ページ: 20-36
- DOI
  10.1145/3617946.3617951
- 査読あり / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-23K28064
[雑誌論文] An Efficient Adaptive Attention Neural Network for Social Recommendation2020
- 著者名/発表者名
  Munan Li, Kenji Tei, Yoshiaki Fukazawa
- 雑誌名
  
  IEEE Access
  
  巻: 8 ページ: 63595-63606
- DOI
  10.1109/access.2020.2984340
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-18H03225
[雑誌論文] 違反状態抽象化による保証可能な安全性特定のための分析空間削減2020
- 著者名/発表者名
  相澤和也、鄭顕志、本位田真一
- 雑誌名
  
  電子情報通信学会論文誌D 情報・システム
  
  巻: J103-D 号: 4 ページ: 238-246
- DOI
  10.14923/transinfj.2019PDP0018
- ISSN
  1880-4535, 1881-0225
- 年月日
  2020-04-01
- 言語
  日本語
- 査読あり
- データソース
  KAKENHI-PROJECT-18H03225, KAKENHI-PROJECT-17H00732
[雑誌論文] 活性と同時に保証可能な安全性特定のためのゲーム分析アルゴリズム2020
- 著者名/発表者名
  相澤和也、鄭顕志、本位田真一
- 雑誌名
  
  情報処理学会論文誌
  
  巻: 61 号: 4 ページ: 853-862
- DOI
  10.20729/00204236
- NAID
  170000181828
- 年月日
  2020-04-15
- 言語
  日本語
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-18H03225, KAKENHI-PROJECT-17H00732
[雑誌論文] 自己適応システムのための環境モデル実行時更新手法2019
- 著者名/発表者名
  田邉萌香，鄭顕志，本位田真一
- 雑誌名
  
  情報処理学会論文誌
  
  巻: 60 ページ: 1617-1630
- NAID
  170000180524
- 査読あり
- データソース
  KAKENHI-PROJECT-18H03229
[雑誌論文] 自己適応システムのための環境モデル実行時更新手法2019
- 著者名/発表者名
  田邉萌香, 鄭顕志, 本位田真一
- 雑誌名
  
  情報処理学会論文誌
  
  巻: 60(10) ページ: 1617-1630
- NAID
  170000180524
- 査読あり
- データソース
  KAKENHI-PROJECT-18H03225
[雑誌論文] 環境変化時に保証可能な安全性を特定するためのゲーム分析アルゴリズム2019
- 著者名/発表者名
  相澤和也, 鄭顕志, 本位田真一
- 雑誌名
  
  情報処理学会論文誌
  
  巻: 60(4) ページ: 1025-1039
- NAID
  170000150279
- 査読あり
- データソース
  KAKENHI-PROJECT-18H03225
[雑誌論文] 自己適応システムのための環境モデル実行時更新手法2019
- 著者名/発表者名
  田邉萌香, 鄭顕志, 本位田真一
- 雑誌名
  
  情報処理学会論文誌
  
  巻: 60 (10) ページ: 1617-1630
- NAID
  170000180524
- 査読あり
- データソース
  KAKENHI-PROJECT-17H00732
[雑誌論文] 環境変化時に保証可能な安全性を特定するためのゲーム分析アルゴリズム2019
- 著者名/発表者名
  相澤和也, 鄭顕志, 本位田真一
- 雑誌名
  
  情報処理学会論文誌
  
  巻: 60 (4) ページ: 1025-1039
- NAID
  170000150279
- 査読あり
- データソース
  KAKENHI-PROJECT-17H00732
[雑誌論文] 環境変化時に保証可能な安全性を特定するためのゲーム分析アルゴリズム2019
- 著者名/発表者名
  相澤和也，鄭顕志，本位田真一
- 雑誌名
  
  情報処理学会論文誌
  
  巻: 60 ページ: 1025-1039
- NAID
  170000150279
- 査読あり
- データソース
  KAKENHI-PROJECT-18H03229
[雑誌論文] Dynamic Update of Discrete Event Controllers2018
- 著者名/発表者名
  L. Nahabedian, V. Braberman, N. DIppolito, S. Honiden, J. Kramer, K. Tei, S. Uchitel
- 雑誌名
  
  IEEE Transactions on Software Engineering (TSE)
  
  巻: - 号: 11 ページ: 1220-1240
- DOI
  10.1109/tse.2018.2876843
- 査読あり / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18H03229, KAKENHI-PROJECT-18H03340, KAKENHI-PROJECT-18H03225, KAKENHI-PROJECT-17H00732
[雑誌論文] A Comparative Analysis of Machine Learning Algorithms for Faults Detection in Wireless Sensor Networks2017
- 著者名/発表者名
  Ehsan Ullah Warriach, and Kenji Tei
- 雑誌名
  
  International Journal of Sensor Networks (IJSNet)
  
  巻: 24 号: 1 ページ: 1-13
- DOI
  10.1504/ijsnet.2016.10001361
- 査読あり / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-16K12414, KAKENHI-PROJECT-17H00732
[雑誌論文] A Comparative Analysis of Machine Learning Algorithms for Faults Detection in Wireless Sensor Networks2017
- 著者名/発表者名
  Ehsan Ullah Warriach, and Kenji Tei
- 雑誌名
  
  International Journal of Sensor Networks (IJSNet)
  
  巻: 24(1) ページ: 1-13
- 査読あり / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-26330098
[雑誌論文] A Comparative Analysis of Machine Learning Algorithms for Faults Detection2016
- 著者名/発表者名
  Ehsan Ullah Warriach, and Kenji Tei
- 雑誌名
  
  International Journal of Sensor Networks (IJSNet)
  
  巻: Vol.20 No.4 ページ: 1-13
- 査読あり / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-26330098
[雑誌論文] EVMを利用したDBCアプリケーションのための適応フレームワーク2015
- 著者名/発表者名
  末永俊一郎, 鄭顕志
- 雑誌名
  
  情報処理学会論文誌
  
  巻: Vol.56, No.5 ページ: 1363-1376
- NAID
  170000130647
- 査読あり
- データソース
  KAKENHI-PROJECT-26330098
[雑誌論文] Model-Driven-Development-based Stepwise Software Development Process for Wireless Sensor Networks2015
- 著者名/発表者名
  Kenji Tei, Ryo Shimizu, Yoshiaki Fukazawa, Shinichi Honiden
- 雑誌名
  
  IEEE Transactions on Systems, Man, and Cybernetics: Systems
  
  巻: 45 (4) 号: 4 ページ: 675-687
- DOI
  10.1109/tsmc.2014.2360506
- 査読あり
- データソース
  KAKENHI-PROJECT-24240003, KAKENHI-PROJECT-25280026, KAKENHI-PROJECT-26330098
[雑誌論文] エンドユーザーによる保守作業を可能にするWebアプリケーションフレームワーク2014
- 著者名/発表者名
  新居雅行, 鄭顕志, 石川冬樹
- 雑誌名
  
  コンピュータソフトウェア
  
  巻: 31 号: 1 ページ: 1_60-1_74
- DOI
  10.11309/jssst.31.1_60
- NAID
  130004549335
- ISSN
  0289-6540
- 言語
  日本語
- 査読あり
- データソース
  KAKENHI-PROJECT-24240003
[雑誌論文] 無線センサネットワークにおけるデータ品質改善の為の開発プロセス2014
- 著者名/発表者名
  清水遼,鄭顕志,深澤良彰,本位田真一
- 雑誌名
  
  電子報通信学会論文誌
  
  巻: J97-D(3) ページ: 473-487
- URL
  http://search.ieice.org/bin/summary.php?id=j97-d_3_473
- 査読あり
- データソース
  KAKENHI-PROJECT-23700096
[雑誌論文] 自己適応ソフトウェアのための自己適応性設計に関する研究動向2014
- 著者名/発表者名
  鄭顕志, 清水遼, 高橋竜一, 石川冬樹
- 雑誌名
  
  コンピュータソフトウェア
  
  巻: 31 号: 1 ページ: 1_49-1_59
- DOI
  10.11309/jssst.31.1_49
- NAID
  130004549334
- ISSN
  0289-6540
- 言語
  日本語
- 査読あり
- データソース
  KAKENHI-PROJECT-24240003
[雑誌論文] 無線センサネットワークにおけるデータ品質改善の為の開発プロセス2014
- 著者名/発表者名
  清水遼, 鄭顕志, 深澤良彰, 本位田真一
- 雑誌名
  
  電子情報通信学会論文誌 D
  
  巻: J97-D(3) ページ: 473-487
- 査読あり
- データソース
  KAKENHI-PROJECT-23700096
[雑誌論文] 無線センサネットワークにおけるデータ品質改善の為の開発プロセス2014
- 著者名/発表者名
  清水遼, 鄭顕志, 深澤良彰, 本位田真一
- 雑誌名
  
  電子情報通信学会論文誌
  
  巻: J97-D(3) ページ: 473-487
- 査読あり
- データソース
  KAKENHI-PROJECT-24240003
[雑誌論文] 無線センサネットワークにおけるデータ品質改善の為の開発プロセス2013
- 著者名/発表者名
  清水遼、鄭顕志、深澤良彰、本位田真一
- 雑誌名
  
  電子情報通信学会論文誌 D
  
  巻: Vol.J97-D ページ: 473-487
- 査読あり
- データソース
  KAKENHI-PROJECT-25280026
[雑誌論文] Faults in Sensory Readings : Classification and Model Learning2013
- 著者名/発表者名
  Valentina Baljak, Kenji Tei, and Shinichi Honiden
- 雑誌名
  
  Sensors & Transducers Journal
  
  巻: vol.18 ページ: 177-187
- URL
  http://www.sensorsportal.com/HTML/DIGEST/P_SI_304.Htnl
- 査読あり
- データソース
  KAKENHI-PROJECT-23700096
[雑誌論文] Faults in Sensory Readings: Classification and Model Learning2013
- 著者名/発表者名
  Valentina Baljak, Tei Kenji, Shinichi Honiden
- 雑誌名
  
  Sensors & Transducers Journal
  
  巻: 18 ページ: 177-187
- 査読あり
- データソース
  KAKENHI-PROJECT-24240003
[雑誌論文] Faults in Sensory Readings: Classification and Model Learning2012
- 著者名/発表者名
  Valentina Baljak, Tei Kenji, and Shinichi Honiden
- 雑誌名
  
  Sensors & Transducers Journal
  
  巻: 18 ページ: 177-187
- 査読あり
- データソース
  KAKENHI-PROJECT-23700096
[雑誌論文] S-CLAIM: An Agent-based Programming Language for AmI, A Smart-Room Case Study2012
- 著者名/発表者名
  Valentina Baljak, Marius Tudor Benea, Amal El Fallah Seghrouchni, Cedric Herpson, , Shinichi Honiden, Thi Thuy Nga Nguyen, Andrei Olaru, Ryo Shimizu, Kenji Tei, Susumu Toriumi
- 雑誌名
  
  Procedia Computer Science
  
  巻: 10 ページ: 30-37
- 査読あり
- データソース
  KAKENHI-PROJECT-24240003
[雑誌論文] S-CLAIM: An Agent-based Programming Language for AmI, A Smart-Room Case Study2012
- 著者名/発表者名
  Valentina Baljak, Marius Tudor Benea, Amal El Fallah Seghrouchni, Cedric Herpson, Shinichi Honiden, Thi Thuy Nga Nguyen, Andrei Olaru, Ryo Shimizu, Kenji Tei, Susumu Toriumi
- 雑誌名
  
  Procedia Computer Science
  
  巻: 10 ページ: 30-37
- DOI
  10.1016/j.procs.2012.06.008
- 査読あり
- データソース
  KAKENHI-PROJECT-23700096
[雑誌論文] 無線センサネットワークにおける対象追跡の分解能を調整可能なセンサモデル2011
- 著者名/発表者名
  鄭顕志,中里彦俊,深澤良彰,本位田真一
- 雑誌名
  
  電子情報通信学会論文誌
  
  巻: Jg4-B(10) ページ: 1351-1362
- NAID
  110008749650
- URL
  http://search.ieice.org/bin/summary.php?id=j94-b_10_1351&category=B&year=2011&lang=J&abst=
- データソース
  KAKENHI-PROJECT-23700096
[雑誌論文] 無線センサネットワークにおける対象追跡の分解能を調整可能なセンサモデル2011
- 著者名/発表者名
  鄭顕志，中里彦俊，深澤良彰，本位田真一
- 雑誌名
  
  電子情報通信学会論文誌
  
  巻: J94-B(10)
- NAID
  110008749650
- 査読あり
- データソース
  KAKENHI-PROJECT-23700096
[雑誌論文] ユビキタスコンピューティングにおけるアプリケーション開発手法に関する研究動向2008
- 著者名/発表者名
  鄭顕志, 中川博之, 川俣洋次郎, 吉岡信和, 深澤良彰, 本位田真一
- 雑誌名
  
  日本ソフトウェア科学会 Vol. 25, No. 4
  
  ページ: 121-132
- NAID
  130004892114
- 査読あり
- データソース
  KAKENHI-PROJECT-19200003
[雑誌論文] 効率の良いネットワーク内処理のためのノード選択指標の提案2008
- 著者名/発表者名
  鄭顕志, 深澤良彰, 本位田真一
- 雑誌名
  
  情報処理学会論文誌 Vol.49,No.6
  
  ページ: 1872-1884
- NAID
  40019582573
- 査読あり
- データソース
  KAKENHI-PROJECT-19200003
[雑誌論文] 適応エージェントのためのユビキタスコンピューティングミドルウェア2008
- 著者名/発表者名
  鄭顕志, 石川冬樹, 吉岡信和, 深澤良彰, 本位田真一
- 雑誌名
  
  日本ソフトウェア科学会 Vol. 25, No. 4
  
  ページ: 11-19
- NAID
  110006990882
- 査読あり
- データソース
  KAKENHI-PROJECT-19200003
[雑誌論文] 効率の良いネットワーク内処理のためのノート選択指標の提案2008
- 著者名/発表者名
  鄭顕志
- 雑誌名
  
  情報処理学会論文誌 Vol. 49, No. 6
  
  ページ: 1872-1884
- 査読あり
- データソース
  KAKENHI-PROJECT-19200003
[学会発表] Can ChatGPT Obey the Traffic Regulations? Evaluating ChatGPT’s Performance on Driving-license Written Test2023
- 著者名/発表者名
  Shanmin Zhou, Jialong Li, Mingyue Zhang, Daisuke Saito, Hironori Washizaki, Kenji Tei
- 学会等名
  2023 IEEE the 8th International Conference on Intelligent Transportation Engineering (ICITE)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-23K28064
[学会発表] Preference Adaptation: user satisfaction is all you need!2023
- 著者名/発表者名
  Nianyu Li, Mingyue Zhang, Jialong Li, Eunsuk Kang, Kenji Tei
- 学会等名
  18th Symposium on Software Engineering for Adaptive and Self-Managing Systems(SEAMS)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-23K28064
[学会発表] Similarity-based Shield Adaptation under Dynamic Environment2023
- 著者名/発表者名
  Prasanth Senthilvelan, Jialong Li, Kenji Tei
- 学会等名
  2023 3rd IEEE International Conference on Software Engineering and Artificial Intelligence (SEAI)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-23K28064
[学会発表] Attention-guiding Takeover Requests for Situation Awareness in Semi-autonomous Driving2023
- 著者名/発表者名
  Qingxin Chen, Jialong Li, Kenji Tei
- 学会等名
  18th ACM/IEEE International Conference on Human-Robot Interaction (HRI)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18H03225
[学会発表] Pre-controller Synthesis for Runtime Controller Synthesis2023
- 著者名/発表者名
  Yuki Arioka, Takuto Yamauchi, Kenji Tei
- 学会等名
  13th IEEE International Conference on Control Systems, Computing and Engineering (ICCSCE2023)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-23K28064
[学会発表] F'Prism: A Tool for Slicing and Visualizing F’ Software Topologies2023
- 著者名/発表者名
  Jialong Li, Christos Tsigkanos, Toshihide Uubukata, Elisa Yumi Nakagawa, Zhenyu Mao, Nianyu Li, Kenji Tei
- 学会等名
  17th European Conference on Software Architecture (ECSA)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-23K28064
[学会発表] Stepwise Comparison for Minimizing Controller Makespan2023
- 著者名/発表者名
  Yuki Shimizu, Takanori Hirano, Takuto Yamauchi, Kenji Tei
- 学会等名
  13th IEEE International Conference on Control Systems, Computing and Engineering (ICCSCE2023)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-23K28064
[学会発表] Demonstration of a Real-world Self-adaptive Robot Path-finding using Discrete Controller Synthesis2023
- 著者名/発表者名
  Jialong Li, Takuto Yamauchi, Nianyu Li, Zhengyin Chen, Mingyue Zhang, Takanori Hirano, Kenji Tei
- 学会等名
  4th IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-23K28064
[学会発表] Incremental Reinforcement Learning with Prioritized Sweeping for Traffic Signal Control2023
- 著者名/発表者名
  Gurseerat Kaur Rattan, Zhenyu Mao, Jialong Li, Mingyue Zhang, Kenji Tei
- 学会等名
  2023 IEEE the 8th International Conference on Intelligent Transportation Engineering (ICITE)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-23K28064
[学会発表] Designing Visual-auditory Attention-guiding Takeover Request for Semi-autonomous Driving2023
- 著者名/発表者名
  Qinxin Chen, Jialong Li, Justin Kazuya Miyoshi, Kenji Tei
- 学会等名
  13th IEEE International Conference of Consumer Technology in Berlin (ICCE-Berlin)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-23K28064
[学会発表] Towards Better Service Personalization: Reinforcement Learning with Guarantee of User Preference2022
- 著者名/発表者名
  Zhenyu Mao, Jialong Li, Kenji Tei
- 学会等名
  IEEE 20th International Symposium on Intelligent Systems and Informatics (SISY 2022), Sept 2022
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18H03225
[学会発表] Done is better than perfect: Iterative Adaptation via Multi-grained Requirement Relaxation2022
- 著者名/発表者名
  Jialong Li, Kenji Tei
- 学会等名
  the 30th IEEE International Requirements Engineering (RE'22)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-17H00732
[学会発表] Safe Reinforcement Learning through Hierarchical Shielding with Self-Adaptive Techniques2022
- 著者名/発表者名
  Prasanth Senthilvelan, Jialong Li and Kenji Tei
- 学会等名
  2022 IEEE 9th International Conference on Industrial Engineering and Applications (ICIEA 2022)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18H03225
[学会発表] From Local to Global: A Curriculum Learning Approach for Reinforcement Learning-based Traffic Signal Control2022
- 著者名/発表者名
  Nianzhao Zheng, Jialong Li, Zhenyu Mao, Kenji Tei
- 学会等名
  2022 IEEE 2nd International Conference on Software Engineering and Artificial Intelligence (SEAI)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18H03225
[学会発表] A Reinforcement Learning Approach for Adaptive Covariance Tuning in Kalman Filter2022
- 著者名/発表者名
  Jiajun Gu, Jialong Li, Kenji Tei
- 学会等名
  IEEE 5th Advanced Information Management,Communicates,Electronic and Automation Control Conference (IMCEC 2022)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18H03225
[学会発表] Goal-oriented Knowledge Reuse via Curriculum Evolution for Reinforcement Learning-based Adaptation2022
- 著者名/発表者名
  Jialong Li, Mingyue Zhang, Zhenyu Mao, Haiyan Zhao, Zhi Jin, Shinichi Honiden and Kenji Tei
- 学会等名
  29th Asia-Pacific Software Engineering Conference (APSEC 2022)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-17H00732
[学会発表] Done is better than perfect: Iterative Adaptation via Multi-grained Requirement Relaxation2022
- 著者名/発表者名
  Jialong Li, Kenji Tei
- 学会等名
  the 30th IEEE International Requirements Engineering 2022 (RE'22)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18H03225
[学会発表] Safe Reinforcement Learning through Hierarchical Shielding with Self-Adaptive Techniques2022
- 著者名/発表者名
  Prasanth Senthilvelan, Jialong Li, Kenji Tei
- 学会等名
  IEEE 9th International Conference on Industrial Engineering and Applications (ICIEA 2022)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-17H00732
[学会発表] A formulation of MIP train rescheduling at terminals in bidirectional double-track lines with a moving block and ATO2022
- 著者名/発表者名
  Kosuke Kawazoe, Takuto Yamauchi, Kenji Tei
- 学会等名
  22nd Symposium on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems (ATMOS)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-17H00732
[学会発表] A formulation of MIP train rescheduling at terminals in bidirectional double-track lines with a moving block and ATO2022
- 著者名/発表者名
  Kosuke Kawazoe, Takuto Yamauchi and Kenji Tei
- 学会等名
  22nd Symposium on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems (ATMOS)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18H03225
[学会発表] Value Iteration Residual Network with Self-Attention2022
- 著者名/発表者名
  Jinyu Cai, Jialong Li, Zhenyu Mao, Kenji Tei
- 学会等名
  22nd International Conference on Intelligent Systems Design and Applications (ISDA)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18H03225
[学会発表] Towards Personalized Autonomous Driving: An Emotion Preference Style Adaptation Framework2021
- 著者名/発表者名
  Jiali Ling, Jialong Li, Kenji Tei, and Shinichi Honiden
- 学会等名
  5th IEEE International Conference on Agents (IEEE ICA2021)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18H03340
[学会発表] OACAL: Finding Module-consistent Specifications to Secure Systems from Weakened User Obligations2021
- 著者名/発表者名
  Pengcheng Jiang and Kenji Tei
- 学会等名
  2021 IEEE Symposium Series on Computational Intelligence (SSCI 2021)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18H03229
[学会発表] Transfer Learning Method in Reinforcement Learning-based Traffic Signal Control2021
- 著者名/発表者名
  Zhenyu Mao, Jialong Li, Nianzhao Zheng, Kenji Tei, and Shinichi Honiden
- 学会等名
  10th IEEE Global Conference on Consumer Electronics (GCCE 2021)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18H03229
[学会発表] Towards Personalized Autonomous Driving: An Emotion Preference Style Adaptation Framework2021
- 著者名/発表者名
  Jiali Ling, Jialong Li, Kenji Tei, and Shinichi Honiden
- 学会等名
  5th IEEE International Conference on Agents (IEEE ICA2021)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18H03229
[学会発表] Towards Better Adaptive Systems by Combining MAPE, Control Theory, and Machine Learning2021
- 著者名/発表者名
  Danny Weyns, Bradley Schmerl, Masako Kishida, Alberto Leva, Marin Litoiu, Necmiye Ozay, Colin Paterson, and Kenji Tei
- 学会等名
  16th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS2021)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18H03340
[学会発表] Blockchain-Based Cooperative Incentive System for Emergency Road Right Transferring2021
- 著者名/発表者名
  Yichen Ding, Jialong Li, Kenji Tei, and Shinichi Honiden
- 学会等名
  10th IEEE Global Conference on Consumer Electronics (GCCE 2021)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18H03229
[学会発表] Towards Better Adaptive Systems by Combining MAPE, Control Theory, and Machine Learning2021
- 著者名/発表者名
  Danny Weyns, Bradley Schmerl, Masako Kishida, Alberto Leva, Marin Litoiu, Necmiye Ozay, Colin Paterson, and Kenji Tei
- 学会等名
  16th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS2021)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18H03229
[学会発表] Transfer Learning Method in Reinforcement Learning-based Traffic Signal Control2021
- 著者名/発表者名
  Zhenyu Mao, Jialong Li, Nianzhao Zheng, Kenji Tei, and Shinichi Honiden
- 学会等名
  10th IEEE Global Conference on Consumer Electronics (GCCE 2021)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18H03340
[学会発表] OACAL: Finding Module-consistent Specifications to Secure Systems from Weakened User Obligations2021
- 著者名/発表者名
  Pengcheng Jiang and Kenji Tei
- 学会等名
  2021 IEEE Symposium Series on Computational Intelligence (SSCI 2021)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18H03340
[学会発表] A Meta Reinforcement Learning-based Approach for Self-Adaptive System2021
- 著者名/発表者名
  Mingyue Zhang, Jialong Li, Haiyan Zhao, Kenji Tei, and Shinichi Honiden, Zhi Jin
- 学会等名
  2nd IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS2021)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18H03229
[学会発表] Differential Controller Synthesis at Runtime Using Changed Parts of Environment Model2021
- 著者名/発表者名
  Takanori Hirano, Kenji Tei, Kazuya Aizawa, and Shinichi Honiden
- 学会等名
  8th IEEE International Conference on Industrial Engineering and Applications (ICIEA 2021)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18H03229
[学会発表] Efficient Difference Analysis Algorithm for Runtime Requirement Degradation under System Functional Fault2021
- 著者名/発表者名
  Jialong Li, Kazuya Aizawa, Kenji Tei, Shinichi Honiden
- 学会等名
  The 18th IEEE International Conference on Embedded and Ubiquitous Computing
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18H03340
[学会発表] A Development Method for Safety Node-RED Systems using Discrete Controller Synthesis2021
- 著者名/発表者名
  Takuto Yamauchi, Takanori Hirano, Jialong Li, Takafumi Kawasaki, Yin Chen, Akira Tsuge, Tadashi Okoshi, Jin Nakazawa, Nobukazu Yoshioka, Georgios Palaiokrassas, Antonios Litke, and Kenji Tei
- 学会等名
  14th IEEE International Conference on Internet of Things (IEEE iThings-2021)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18H03340
[学会発表] Blockchain-Based Cooperative Incentive System for Emergency Road Right Transferring2021
- 著者名/発表者名
  Yichen Ding, Jialong Li, Kenji Tei, and Shinichi Honiden
- 学会等名
  10th IEEE Global Conference on Consumer Electronics (GCCE 2021)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18H03340
[学会発表] Differential Controller Synthesis at Runtime Using Changed Parts of Environment Model2021
- 著者名/発表者名
  Takanori Hirano, Kenji Tei, Kazuya Aizawa, and Shinichi Honiden
- 学会等名
  8th IEEE International Conference on Industrial Engineering and Applications (ICIEA 2021)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18H03340
[学会発表] Efficient Difference Analysis Algorithm for Runtime Requirement Degradation under System Functional Fault2021
- 著者名/発表者名
  Jialong Li, Kazuya Aizawa, Kenji Tei, Shinichi Honiden
- 学会等名
  The 18th IEEE International Conference on Embedded and Ubiquitous Computing
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18H03229
[学会発表] A Meta Reinforcement Learning-based Approach for Self-Adaptive System2021
- 著者名/発表者名
  Mingyue Zhang, Jialong Li, Haiyan Zhao, Kenji Tei, Shinichi Honiden, and Zhi Jin
- 学会等名
  2nd IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS2021)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18H03340
[学会発表] A Development Method for Safety Node-RED Systems using Discrete Controller Synthesis2021
- 著者名/発表者名
  Takuto Yamauchi, Takanori Hirano, Jialong Li, Takafumi Kawasaki, Yin Chen, Akira Tsuge, Tadashi Okoshi, Jin Nakazawa, Nobukazu Yoshioka, Georgios Palaiokrassas, Antonios Litke, and Kenji Tei
- 学会等名
  14th IEEE International Conference on Internet of Things (IEEE iThings-2021)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18H03229
[学会発表] Identifying achievable goals for adaptive replanning against runtime environment change2020
- 著者名/発表者名
  Jialong Li, Kenji Tei and Shinichi Honiden
- 学会等名
  The 20th International Conference on Intelligent Systems Design and Applications (ISDA)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18H03225
[学会発表] Method of Applying Df-pn Algorithm to On-the-fly Controller Synthesis2020
- 著者名/発表者名
  Kengo Kuwana, Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden
- 学会等名
  IEEE Third International Conference on AI and Knowledge Engineering (AIKE)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18H03229
[学会発表] Efficient Difference Analysis Algorithm for Runtime Requirement Degradation under System Functional Fault2020
- 著者名/発表者名
  Jialong Li, Kazuya Aizawa, Kenji Tei and Shinichi Honiden
- 学会等名
  The 18th IEEE International Conference on Embedded and Ubiquitous Computing (IEEE EUC 2020)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18H03225
[学会発表] Identifying achievable goals for adaptive replanning against runtime environment change2020
- 著者名/発表者名
  Jialong Li, Kenji Tei, Shinichi Honiden
- 学会等名
  The 20th International Conference on Intelligent Systems Design and Applications (ISDA)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18H03229
[学会発表] Method of Applying Df-pn Algorithm to On-the-fly Controller Synthesis2020
- 著者名/発表者名
  Kengo Kuwana, Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden
- 学会等名
  IEEE Third International Conference on AI and Knowledge Engineering (AIKE)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18H03340
[学会発表] Smart SE: Smart Systems and Services Innovative Professional Education Program2020
- 著者名/発表者名
  Hironori Washizaki, Kenji Tei, Kazunori Ueda, Hayato Yamana, Yoshiaki Fukazawa, Shinichi Honiden, Shoichi Okazaki, Nobukazu Yoshioka, Naoshi Uchihira
- 学会等名
  44th IEEE Annual Computers, Software, and Applications Conference (COMPSAC)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18H03229
[学会発表] Smart SE: Smart Systems and Services Innovative Professional Education Program2020
- 著者名/発表者名
  Hironori Washizaki, Kenji Tei, Kazunori Ueda, Hayato Yamana, Yoshiaki Fukazawa, Shinichi Honiden, Shoichi Okazaki, Nobukazu Yoshioka, Naoshi Uchihira
- 学会等名
  44th IEEE Annual Computers, Software, and Applications Conference (COMPSAC)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18H03340
[学会発表] 離散制御器合成における設計誤りを特定するための反例出力手法2020
- 著者名/発表者名
  李家隆, 相澤和也, 鄭顕志, 本位田真一
- 学会等名
  IPSJ/SIGSEソフトウェアエンジニアリングシンポジウム2020(SES2020)
- データソース
  KAKENHI-PROJECT-18H03225
[学会発表] Method for Low-Cost Environment Partitioning Modeling in Dynamic Update2020
- 著者名/発表者名
  Takuto Yamauchi, Kenji Tei and Shinichi Honiden
- 学会等名
  IEEE Third International Conference on AI and Knowledge Engineering (AIKE)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18H03225
[学会発表] Efficient Difference Analysis Algorithm for Runtime Requirement Degradation under System Functional Fault2020
- 著者名/発表者名
  Jialong Li, Kazuya Aizawa, Kenji Tei, Shinichi Honiden
- 学会等名
  The 18th IEEE International Conference on Embedded and Ubiquitous Computing
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18H03229
[学会発表] Method of Applying Df-pn Algorithm to On-the-fly Controller Synthesis2020
- 著者名/発表者名
  Kengo Kuwana, Kenji Tei, Yoshiaki Fukazawa and Shinichi Honiden
- 学会等名
  IEEE Third International Conference on AI and Knowledge Engineering (AIKE)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-17H00732
[学会発表] Self-adaptive Hydroponics Care System for Human-hydroponics Coexistence2020
- 著者名/発表者名
  Jialong Li, Zhenyu Mao, Zhen Cao, Kenji Tei, Shinichi Honiden
- 学会等名
  2021 IEEE 3rd Global Conference on Life Sciences and Technologies
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-17H00732
[学会発表] Self-adaptive Hydroponics Care System for Human-hydroponics Coexistence2020
- 著者名/発表者名
  Jialong Li, Zhenyu Mao, Zhen Cao, Kenji Tei, Shinichi Honiden
- 学会等名
  2021 IEEE 3rd Global Conference on Life Sciences and Technologies
- データソース
  KAKENHI-PROJECT-18H03225
[学会発表] Big Data, Cloud and IoT Technologies for Smart Cities: The M-Sec project paradigm, objectives, current status and related future research topics2020
- 著者名/発表者名
  Kenji Tei
- 学会等名
  the 2nd International Workshop on Big data, cloud, and IoT technologies for smart cities (IWBigDataCity2020)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18H03225
[学会発表] Towards Bridging the Gap between Control and Self-Adaptive System Properties2020
- 著者名/発表者名
  Javier Camara, Alessandro Vittorio Papadopoulos, Thomas Vogel, Danny Weyns, David Garlan, Shihong Huang, Kenji Tei
- 学会等名
  15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS2020)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18H03225
[学会発表] Towards Bridging the Gap between Control and Self-Adaptive System Properties2020
- 著者名/発表者名
  Javier Camara, Alessandro Vittorio Papadopoulos, Thomas Vogel, Danny Weyns, David Garlan, Shihong Huang, Kenji Tei
- 学会等名
  International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS2020)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18H03340
[学会発表] Event-Bによるリファインメントのパターン最適化2020
- 著者名/発表者名
  荒井滉平，本位田真一，鄭顕志
- 学会等名
  日本ソフトウェア科学会第37回大会
- データソース
  KAKENHI-PROJECT-18H03225
[学会発表] Towards Bridging the Gap between Control and Self-Adaptive System Properties2020
- 著者名/発表者名
  Javier Camara, Alessandro Vittorio Papadopoulos, Thomas Vogel, Danny Weyns, David Garlan, Shihong Huang, Kenji Tei
- 学会等名
  15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS2020)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-17H00732
[学会発表] Method of Applying Df-pn Algorithm to On-the-fly Controller Synthesis2020
- 著者名/発表者名
  Kengo Kuwana, Kenji Tei, Yoshiaki Fukazawa and Shinichi Honiden
- 学会等名
  IEEE Third International Conference on AI and Knowledge Engineering (AIKE)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18H03225
[学会発表] モデル予測制御と離散制御器合成による外部環境の動的特性を考慮した適応制御手法2020
- 著者名/発表者名
  安曽徳康, 小川雅俊, 松塚貴英, 鄭顕志
- 学会等名
  マルチメディア、分散、協調とモバイルシンポジウム(DICOMO2020)
- データソース
  KAKENHI-PROJECT-18H03225
[学会発表] Heterogeneous Information Network based Adaptive Social Influence Learning for recommendation and explanation2020
- 著者名/発表者名
  Munan Li, Kenji Tei, and Yoshiaki Fukazawa
- 学会等名
  The 2020 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology (WI-IAT'20)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-17H00732
[学会発表] Efficient Difference Analysis Algorithm for Runtime Requirement Degradation under System Functional Fault2020
- 著者名/発表者名
  Jialong Li, Kazuya Aizawa, Kenji Tei and Shinichi Honiden
- 学会等名
  The 18th IEEE International Conference on Embedded and Ubiquitous Computing (IEEE EUC 2020)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-17H00732
[学会発表] Heterogeneous Information Network based Adaptive Social Influence Learning for recommendation and explanation2020
- 著者名/発表者名
  Munan Li, Kenji Tei, and Yoshiaki Fukazawa
- 学会等名
  The 2020 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology (WI-IAT'20)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18H03225
[学会発表] Method for Low-Cost Environment Partitioning Modeling in Dynamic Update2020
- 著者名/発表者名
  Takuto Yamauchi, Kenji Tei, Shinichi Honiden
- 学会等名
  IEEE Third International Conference on AI and Knowledge Engineering (AIKE)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18H03340
[学会発表] Identifying achievable goals for adaptive replanning against runtime environment change2020
- 著者名/発表者名
  Jialong Li, Kenji Tei and Shinichi Honiden
- 学会等名
  The 20th International Conference on Intelligent Systems Design and Applications (ISDA)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-17H00732
[学会発表] Identifying achievable goals for adaptive replanning against runtime environment change2020
- 著者名/発表者名
  Jialong Li, Kenji Tei, Shinichi Honiden
- 学会等名
  The 20th International Conference on Intelligent Systems Design and Applications (ISDA)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18H03340
[学会発表] Method for Low-Cost Environment Partitioning Modeling in Dynamic Update2020
- 著者名/発表者名
  Takuto Yamauchi, Kenji Tei, Shinichi Honiden
- 学会等名
  IEEE Third International Conference on AI and Knowledge Engineering (AIKE)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18H03229
[学会発表] Method for Low-Cost Environment Partitioning Modeling in Dynamic Update2020
- 著者名/発表者名
  Takuto Yamauchi, Kenji Tei and Shinichi Honiden
- 学会等名
  IEEE Third International Conference on AI and Knowledge Engineering (AIKE)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-17H00732
[学会発表] Analysis space reduction with state merging for ensuring safety properties of self-adaptive systems2019
- 著者名/発表者名
  Kazuya Aizawa, Kenji Tei, Shinichi Honiden
- 学会等名
  The 16th IEEE Int’l Conf. on Advanced and Trusted Computing (ATC 2019)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18H03340
[学会発表] Toward identifying safety properties guaranteed simultaneously with a liveness property at runtime2019
- 著者名/発表者名
  Kazuya Aizawa, Kenji Tei, Shinichi Honiden
- 学会等名
  The 8th Asian Workshop on Advanced Software Engineering (AWASE 2019)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-17H00732
[学会発表] Modelling and Analysing Resilient Cyber-Physical Systems2019
- 著者名/発表者名
  Amel Bennaceur, Carlo Ghezzi, Kenji Tei, and et.al.,
- 学会等名
  the 14th Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS2019)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18H03225
[学会発表] A Runtime Monitoring Framework to Enforce Invariants on Reinforcement Learning Agents Exploring Complex Environments2019
- 著者名/発表者名
  Piergiuseppe Mallozzi, Ezequiel Gustavo Castellano, Patrizio Pelliccione, Gerardo Schneider and Kenji Tei
- 学会等名
  2nd International Workshop on Robotics Software Engineering (RoSE 2019)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-17H00732
[学会発表] Modelling and Analysing Resilient Cyber-Physical Systems2019
- 著者名/発表者名
  Amel Bennaceur, Carlo Ghezzi, Kenji Tei, and et.al.,
- 学会等名
  the 14th Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS2019)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-17H00732
[学会発表] Modelling and Analysing Resilient Cyber-Physical Systems2019
- 著者名/発表者名
  Amel Bennaceur, Carlo Ghezzi, Kenji Tei, Timo Kehrer, Danny Weyns, Radu Calinescu, Schahram Dustdar, Zhenjiang Hu, Shinishi Honiden, Fuyuki Ishikawa, Zhi Jin, Jeffrey Kramer, Marin Litoiu, Michele Loreti, Gabriel Moreno, Hausi Muller, Laura Nenzi, Bashar Nuseibeh, Liliana Pasquale, Wolfgang Reisig, et al.
- 学会等名
  the 14th Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS2019)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18H03340
[学会発表] Dynamic Updating Controller自動生成のための環境モデル構築における関心事分離手法2019
- 著者名/発表者名
  山内拓人，鄭顕志，鷲崎弘宜，本位田真一
- 学会等名
  マルチメディア,分散協調とモバイルシンポジウム
- データソース
  KAKENHI-PROJECT-18H03229
[学会発表] Analysis space reduction with state merging for ensuring safety properties of self-adaptive systems2019
- 著者名/発表者名
  Kazuya Aizawa, Kenji Tei, Shinichi Honiden
- 学会等名
  The 16th IEEE Int’l Conf. on Advanced and Trusted Computing (ATC 2019)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18H03229
[学会発表] Analysis of changed game space for ensuring safety properties at runtime2019
- 著者名/発表者名
  Jialong Li, Kazuya Aizawa, Kenji Tei, Shinichi Honiden
- 学会等名
  The 8th Asian Workshop on Advanced Software Engineering (AWASE 2019)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18H03340
[学会発表] Minimising Makespan of Discrete Controllers: A Qualitative Approach2019
- 著者名/発表者名
  Ezequiel Castellano, Victor Braberman, Nicolas D’Ippolito, Sebastian Uchitel, Kenji Tei
- 学会等名
  58th IEEE Conference on Decision and Control (CDC 2019)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-17H00732
[学会発表] 鉄道制御システムに特化した離散制御器合成における状態削減モデリング手法2019
- 著者名/発表者名
  桑名賢吾，鄭顕志，半田隆信，柳井法貴，西面敦義，深澤良彰，本位田真一
- 学会等名
  マルチメディア,分散協調とモバイルシンポジウム
- データソース
  KAKENHI-PROJECT-18H03229
[学会発表] 環境変化の差分情報を用いた離散制御器の実行時差分合成アルゴリズム2019
- 著者名/発表者名
  平野貴規，相澤和也，鄭顕志，鷲崎弘宜，本位田真一
- 学会等名
  マルチメディア,分散協調とモバイルシンポジウム
- データソース
  KAKENHI-PROJECT-18H03229
[学会発表] An Algorithm for Discrete Controller Synthesis at Runtime based on Difference Information of Changed Environment2019
- 著者名/発表者名
  Takanori Hirano, Kazuya Aizawa, Kenji Tei, Shinichi Honiden
- 学会等名
  The 8th Asian Workshop on Advanced Software Engineering (AWASE 2019)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-17H00732
[学会発表] Modelling and Analysing Resilient Cyber-Physical Systems2019
- 著者名/発表者名
  Amel Bennaceur, Carlo Ghezzi, Kenji Tei, et al.
- 学会等名
  the 14th Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS2019)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18H03229
[学会発表] Minimising Makespan of Discrete Controllers: A Qualitative Approach2019
- 著者名/発表者名
  Ezequiel Castellano, Victor Braberman, Nicolas D’Ippolito, Sebastian Uchitel, Kenji Tei
- 学会等名
  58th IEEE Conference on Decision and Control (CDC 2019)2019
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18H03340
[学会発表] The 16th IEEE International Conference on Advanced and Trusted Computing (ATC 2019)2019
- 著者名/発表者名
  Kazuya Aizawa, Kenji Tei, Shinichi Honiden
- 学会等名
  Analysis space reduction with state merging for ensuring safety properties of self-adaptive systems
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18H03225
[学会発表] 鉄道制御システムに特化した離散制御器合成における状態削減モデリング手法2019
- 著者名/発表者名
  桑名賢吾，鄭顕志，半田隆信，柳井法貴，西面敦義，深澤良彰，本位田真一
- 学会等名
  マルチメディア,分散協調とモバイルシンポジウム
- データソース
  KAKENHI-PROJECT-18H03340
[学会発表] An efficient co-Attention Neural Network for Social Recommendation2019
- 著者名/発表者名
  Munan Li, Kenji Tei, and Yoshiaki Fukazawa
- 学会等名
  IEEE/WIC/ACM International Conference on Web Intelligence (WI’19)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18H03340
[学会発表] An efficient co-Attention Neural Network for Social Recommendation2019
- 著者名/発表者名
  Munan Li, Kenji Tei, and Yoshiaki Fukazawa
- 学会等名
  IEEE/WIC/ACM International Conference on Web Intelligence (WI’19)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18H03229
[学会発表] 実行時requirement enhancementのためのゲーム空間の差分分析アルゴリズム2019
- 著者名/発表者名
  李家隆，相澤和也，鄭顕志，鷲崎弘宜，本位田真一
- 学会等名
  マルチメディア,分散協調とモバイルシンポジウム
- データソース
  KAKENHI-PROJECT-18H03340
[学会発表] A Runtime Monitoring Framework to Enforce Invariants on Reinforcement Learning Agents Exploring Complex Environments2019
- 著者名/発表者名
  Piergiuseppe Mallozzi, Ezequiel Gustavo Castellano, Patrizio Pelliccione, Gerardo Schneider and Kenji Tei
- 学会等名
  2nd International Workshop on Robotics Software Engineering (RoSE 2019)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18H03340
[学会発表] Minimising Makespan of Discrete Controllers: A Qualitative Approach2019
- 著者名/発表者名
  Ezequiel Castellano, Victor Braberman, Nicolas D’Ippolito, Sebastian Uchitel, Kenji Tei
- 学会等名
  58th IEEE Conference on Decision and Control (CDC 2019)2019
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18H03229
[学会発表] 環境変化の差分情報を用いた離散制御器の実行時差分合成アルゴリズム2019
- 著者名/発表者名
  平野貴規，相澤和也，鄭顕志，鷲崎弘宜，本位田真一
- 学会等名
  マルチメディア,分散協調とモバイルシンポジウム
- データソース
  KAKENHI-PROJECT-18H03340
[学会発表] Toward identifying safety properties guaranteed simultaneously with a liveness property at runtime2019
- 著者名/発表者名
  Kazuya Aizawa, Kenji Tei, Shinichi Honiden
- 学会等名
  The 8th Asian Workshop on Advanced Software Engineering (AWASE 2019)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18H03340
[学会発表] A Runtime Monitoring Framework to Enforce Invariants on Reinforcement Learning Agents Exploring Complex Environments2019
- 著者名/発表者名
  Piergiuseppe Mallozzi, Ezequiel Gustavo Castellano, Patrizio Pelliccione, Gerardo Schneider, Kenji Tei
- 学会等名
  2nd International Workshop on Robotics Software Engineering (RoSE 2019)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18H03225
[学会発表] 実行時requirement enhancementのためのゲーム空間の差分分析アルゴリズム2019
- 著者名/発表者名
  李家隆，相澤和也，鄭顕志，鷲崎弘宜，本位田真一
- 学会等名
  マルチメディア,分散協調とモバイルシンポジウム
- データソース
  KAKENHI-PROJECT-18H03229
[学会発表] An Algorithm for Discrete Controller Synthesis at Runtime based on Difference Information of Changed Environment2019
- 著者名/発表者名
  Takanori Hirano, Kazuya Aizawa, Kenji Tei, Shinichi Honiden
- 学会等名
  The 8th Asian Workshop on Advanced Software Engineering (AWASE 2019)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18H03229
[学会発表] Minimising Makespan of Discrete Controllers: A Qualitative Approach2019
- 著者名/発表者名
  Ezequiel Castellano, Victor Braberman, Nicolas D'Ippolito, Sebastian Uchitel, Kenji Tei
- 学会等名
  IEEE 58th Conference on Decision and Control (CDC2019)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18H03225
[学会発表] Analysis of changed game space for ensuring safety properties at runtime2019
- 著者名/発表者名
  Jialong Li, Kazuya Aizawa, Kenji Tei, Shinichi Honiden
- 学会等名
  The 8th Asian Workshop on Advanced Software Engineering (AWASE 2019)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-17H00732
[学会発表] Modelling and Analysing Resilient Cyber-Physical Systems2019
- 著者名/発表者名
  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)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18H03229
[学会発表] Modelling and Analysing Resilient Cyber-Physical Systems2019
- 著者名/発表者名
  Amel Bennaceur, Carlo Ghezzi, Kenji Tei, Timo Kehrer, Danny Weyns, Radu Calinescu, Schahram Dustdar, Zhenjiang Hu, Shinishi Honiden, Fuyuki Ishikawa, Zhi Jin, Jeffrey Kramer, Marin Litoiu, Michele Loreti, Gabriel Moreno, Hausi Muller, Laura Nenzi, Bashar Nuseibeh, Liliana Pasquale, Wolfgang Reisig, et al.
- 学会等名
  the 14th Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS2019)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18H03229
[学会発表] Dynamic Updating Controller自動生成のための環境モデル構築における関心事分離手法2019
- 著者名/発表者名
  山内拓人，鄭顕志，鷲崎弘宜，本位田真一
- 学会等名
  マルチメディア,分散協調とモバイルシンポジウム
- データソース
  KAKENHI-PROJECT-18H03340
[学会発表] An efficient co-Attention Neural Network for Social Recommendation2019
- 著者名/発表者名
  Munan Li, Kenji Tei, Yoshiaki Fukazawa
- 学会等名
  IEEE/WIC/ACM International Conference on Web Intelligence (WI'19)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18H03225
[学会発表] An Algorithm for Discrete Controller Synthesis at Runtime based on Difference Information of Changed Environment2019
- 著者名/発表者名
  Takanori Hirano, Kazuya Aizawa, Kenji Tei, Shinichi Honiden
- 学会等名
  The 8th Asian Workshop on Advanced Software Engineering (AWASE 2019)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18H03340
[学会発表] Analysis of changed game space for ensuring safety properties at runtime2019
- 著者名/発表者名
  Jialong Li, Kazuya Aizawa, Kenji Tei, Shinichi Honiden
- 学会等名
  The 8th Asian Workshop on Advanced Software Engineering (AWASE 2019)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18H03229
[学会発表] Analysis Space Reduction Method with Decomposing Control Problem2019
- 著者名/発表者名
  Takuto Yamauchi, Kenji Tei, Shinichi Honiden
- 学会等名
  The 8th Asian Workshop on Advanced Software Engineering (AWASE 2019)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18H03340
[学会発表] Analysis Space Reduction Method with Decomposing Control Problem2019
- 著者名/発表者名
  Takuto Yamauchi, Kenji Tei, Shinichi Honiden
- 学会等名
  The 8th Asian Workshop on Advanced Software Engineering (AWASE 2019)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18H03229
[学会発表] A Runtime Monitoring Framework to Enforce Invariants on Reinforcement Learning Agents Exploring Complex Environments2019
- 著者名/発表者名
  Piergiuseppe Mallozzi, Ezequiel Gustavo Castellano, Patrizio Pelliccione, Gerardo Schneider and Kenji Tei
- 学会等名
  2nd International Workshop on Robotics Software Engineering (RoSE 2019)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18H03229
[学会発表] Analysis Space Reduction Method with Decomposing Control Problem2019
- 著者名/発表者名
  Takuto Yamauchi, Kenji Tei, Shinichi Honiden
- 学会等名
  The 8th Asian Workshop on Advanced Software Engineering (AWASE 2019)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-17H00732
[学会発表] Toward identifying safety properties guaranteed simultaneously with a liveness property at runtime2019
- 著者名/発表者名
  Kazuya Aizawa, Kenji Tei, Shinichi Honiden
- 学会等名
  The 8th Asian Workshop on Advanced Software Engineering (AWASE 2019)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18H03229
[学会発表] Analysis space reduction with state merging for ensuring safety properties of self-adaptive systems2019
- 著者名/発表者名
  Kazuya Aizawa, Kenji Tei, Shinichi Honiden
- 学会等名
  The 16th IEEE Int’l Conf. on Advanced and Trusted Computing (ATC 2019)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-17H00732
[学会発表] Assured Graceful Degradation by Models@run.time2018
- 著者名/発表者名
  Kenji Tei
- 学会等名
  THE 7TH ASIAN-PACIFIC WORKSHOP OF ADVANCED SOFTWARE ENGINEERING (AWASE2018)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18H03225
[学会発表] Updating Environment Model at Runtime for Self-Adaptive Systems2018
- 著者名/発表者名
  Moeka Tanabe, Kenji Tei
- 学会等名
  THE 7TH ASIAN-PACIFIC WORKSHOP OF ADVANCED SOFTWARE ENGINEERING (AWASE2018)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18H03225
[学会発表] Reducing the size of two-player game for identifying guaranteeable safety property at runtime2018
- 著者名/発表者名
  Kazuya Aizawa, Kenji Tei
- 学会等名
  THE 7TH ASIAN-PACIFIC WORKSHOP OF ADVANCED SOFTWARE ENGINEERING (AWASE2018)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18H03225
[学会発表] Identifying safety properties guaranteed in changed environment at runtime2018
- 著者名/発表者名
  Kazuya Aizawa, Kenji Tei, Shinichi Honiden
- 学会等名
  3rd IEEE International Conference on Agents (ICA 2018)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18H03229
[学会発表] Identifying safety properties guaranteed in changed environment at runtime2018
- 著者名/発表者名
  Kazuya Aizawa, Kenji Tei and Shinichi Honiden
- 学会等名
  the 3rd IEEE International Conference on Agents (IEEE ICA 2018)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18H03225
[学会発表] Identifying safety properties guaranteed in changed environment at runtime2018
- 著者名/発表者名
  Kazuya Aizawa, Kenji Tei and Shinichi Honiden
- 学会等名
  the 3rd IEEE International Conference on Agents (IEEE ICA 2018)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-17H00732
[学会発表] Assured Graceful Degradation by Models@run.tim2018
- 著者名/発表者名
  Kenji Tei
- 学会等名
  THE 7TH ASIAN-PACIFIC WORKSHOP OF ADVANCED SOFTWARE ENGINEERING (AWASE)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-17H00732
[学会発表] Identifying safety properties guaranteed in changed environment at runtime2018
- 著者名/発表者名
  Kazuya Aizawa, Kenji Tei, Shinichi Honiden
- 学会等名
  3rd IEEE International Conference on Agents (ICA 2018)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18H03340
[学会発表] Learning Environment Model at Runtime for Self-Adaptive Systems2017
- 著者名/発表者名
  Moeka Tanabe, Kenji Tei, Yoshiaki Fukazawa, and Shinichi Honiden
- 学会等名
  the 32nd ACM SIGAPP Symposium On Applied Computing (SAC2017)
- 発表場所
  Marrakesh, Morocco
- 年月日
  2017-04-04
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-26330098
[学会発表] Soft-Goal Approximation Context Awareness of Goal-driven Self-Adaptive Systems2017
- 著者名/発表者名
  Aurelien Vialon, Kenji Tei and Samir Aknine
- 学会等名
  The 2nd Models@run.time in International Conference on Autonomic Computing 2017(MRT 2017)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-16K12414
[学会発表] Learning environment model at runtime for self-adaptive systems2017
- 著者名/発表者名
  Moeka Tanabe, Kenji Tei, Yoshiaki Fukazawa and Shinichi Honiden
- 学会等名
  The 32nd ACM Symposium on Applied Computing (SAC2017)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-17H00732
[学会発表] Applicability of Earned Value Management for Deadline Energy Constrained Applications2017
- 著者名/発表者名
  Shunichiro Suenaga, Kenji Tei and Shinichi Honiden
- 学会等名
  2017 IEEE International Conference on Industrial Engineering and Engineering Management (IEEM2017)
- データソース
  KAKENHI-PROJECT-16K12414
[学会発表] Soft-Goal Approximation Context Awareness of Goal-driven Self-Adaptive Systems2017
- 著者名/発表者名
  Aurelien Vialon, Kenji Tei and Samir Aknine
- 学会等名
  The 2nd Models@run.time in International Conference on Autonomic Computing 2017(MRT 2017)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-17H00732
[学会発表] Learning environment model at runtime for self-adaptive systems2017
- 著者名/発表者名
  Moeka Tanabe, Kenji Tei, Yoshiaki Fukazawa and Shinichi Honiden
- 学会等名
  The 32nd ACM Symposium on Applied Computing
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-16K12414
[学会発表] Learning Environment Model at Runtime for Self-Adaptive Systems2017
- 著者名/発表者名
  Moeka Tanabe, Kenji Tei, Yoshiaki Fukazawa and Shinichi Honiden
- 学会等名
  the Symposium on Applied Computing (SAC '17)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-25280026
[学会発表] Assured and Correct Dynamic Update of Controllers2016
- 著者名/発表者名
  Kenji Tei, Shunichiro Suenaga, Shun Lee, Kazuya Aizawa, Ryuichi Takahashi, and Yoshiaki Fukazawa
- 学会等名
  Workshop on Formal and Model-Driven Techniques for Developing Trustworthy Systems (FM&MDD)
- 発表場所
  東京，日本
- 招待講演 / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-16K12414
[学会発表] 階層離散制御器合成によるマルチロボットシステムの仕様生成手法2016
- 著者名/発表者名
  Masaki Katae, Kenji Tei, Yoshiaki Fukazawa and Shinichi Honiden
- 学会等名
  合同エージェントワークショップ＆シンポジウム2016 (JAWS2016)
- 発表場所
  岐阜，日本
- 年月日
  2016-09-15
- データソース
  KAKENHI-PROJECT-16K12414
[学会発表] 自己適応システムのための実行時環境モデル学習手法2016
- 著者名/発表者名
  Moeka Tanabe, Kenji Tei, Yoshiaki Fukazawa and Shinichi Honiden
- 学会等名
  合同エージェントワークショップ＆シンポジウム2016 (JAWS2016)
- 発表場所
  岐阜，日本
- 年月日
  2016-09-15
- データソース
  KAKENHI-PROJECT-16K12414
[学会発表] 自己適応システムのための実行時環境モデル学習手法2016
- 著者名/発表者名
  Moeka Tanabe, Kenji Tei, Yoshiaki Fukazawa and Shinichi Honiden
- 学会等名
  合同エージェントワークショップ＆シンポジウム2016 (JAWS2016)
- 発表場所
  岐阜
- 年月日
  2016-09-15
- データソース
  KAKENHI-PROJECT-26330098
[学会発表] Assured and Correct Dynamic Update of Controllers2016
- 著者名/発表者名
  Kenji Tei with Leandro Nahabedian, Victor Braberman, Nicolas D’Ippolito, Shinichi Honiden, Jeff Kramer, and Sebastian Uchitel
- 学会等名
  Workshop on Formal and Model-Driven Techniques for Developing Trustworthy Systems (FM&MDD)
- 発表場所
  東京
- 招待講演
- データソース
  KAKENHI-PROJECT-26330098
[学会発表] Assured and Correct Dynamic Update of Controllers2016
- 著者名/発表者名
  Leandro Nahabedian, Victor Braberman, Nicolas D’Ippolito, Shinichi Honiden, Jeff Kramer, Kenji Tei and Sebastian Uchitel
- 学会等名
  11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS2016)
- 発表場所
  Austin, USA
- 年月日
  2016-05-16
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-16K12414
[学会発表] 合同エージェントワークショップ＆シンポジウム2016 (JAWS2016)2016
- 著者名/発表者名
  Masaki Katae, Kenji Tei, Yoshiaki Fukazawa and Shinichi Honiden
- 学会等名
  合同エージェントワークショップ＆シンポジウム2016 (JAWS2016)
- 発表場所
  羽島，岐阜
- 年月日
  2016-09-15
- データソース
  KAKENHI-PROJECT-26330098
[学会発表] Benchmark Datasets for Fault Detection and Classification in Sensor Data2016
- 著者名/発表者名
  Bas de Bruijn, Tuan Anh Nguyen, Doina Bucur, and Kenji Tei
- 学会等名
  5th International Conference on Sensor Networks (SENSORNETS 2016)
- 発表場所
  Rome, Italy
- 年月日
  2016-02-17
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-26330098
[学会発表] Assured and Correct Dynamic Update of Controllers2016
- 著者名/発表者名
  Leandro Nahabedian, Victor Braberman, Nicolas D’Ippolito, Shinichi Honiden, Jeff Kramer, Kenji Tei and Sebastian Uchitel
- 学会等名
  11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS2016)
- 発表場所
  Austin, USA
- 年月日
  2016-05-16
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-26330098
[学会発表] A Self-healing Framework for Online Sensor Data2015
- 著者名/発表者名
  Tuan Anh Nguyen, Marco Aiello, Takuro Yonezawa and Kenji Tei
- 学会等名
  3rd International Workshop on Self-Aware Internet of Things (Self-IoT 2015)
- 発表場所
  Grenoble, France
- 年月日
  2015-07-07
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-26330098
[学会発表] 時空間データのためのメッシュベース結合・拡張型キャッシュ管理方式2015
- 著者名/発表者名
  平山秀昭, 鄭顕志, 清雄一, 大須賀昭彦
- 学会等名
  マルチメディア，分散，協調とモバイルシンポジウム (DICOMO2015)
- 発表場所
  岩手県，安比高原，ホテル安比グランド
- 年月日
  2015-07-08
- データソース
  KAKENHI-PROJECT-26330098
[学会発表] Intention-based Automated Composition Approach for Coordination Protocol2013
- 著者名/発表者名
  Ryuichi Takahashi, Fuyuki Ishikawa, Kenji Tei, Yoshiaki Fukazawa
- 学会等名
  IEEE 11th International Conference on Web Services (ICWS2013)
- 発表場所
  CA, USA
- データソース
  KAKENHI-PROJECT-24240003
[学会発表] Fault Detection in Wireless Sensor Networks : AMachine Learning Approach2013
- 著者名/発表者名
  Ehsan Ullah Warriach, and Kenji Tei
- 学会等名
  the 10th IEEE International Conference on Embedded Software and Systems (ICESS13)
- 発表場所
  Sydney, Austraria(pp,758-765)
- データソース
  KAKENHI-PROJECT-23700096
[学会発表] Fault Classification and Model Learning from Sensory Readings Framework for Fault Tolerance in Wireless Sensor Networks2013
- 著者名/発表者名
  Valentina Baljak, Kenji Tei, and Shinichi Honiden
- 学会等名
  IEEE Eighth International Conference on Intelligent Sensors, Sensor Networks and Information Processing (IEEE ISSNIP 2013)
- 発表場所
  Melbourne, Australia(pp.408-413)
- データソース
  KAKENHI-PROJECT-23700096
[学会発表] Applying Time Series Analysis and Neighbourhood Voting in a Decentralised Approach for Fault Detection and Classification in WSNs2013
- 著者名/発表者名
  Tuan Anh Nguyen, Doina Bucur, Marco Aiello, and Kenji Tei
- 学会等名
  the 4th International Symposium on Information and Communication Technology (SoICT2013)
- 発表場所
  Danang, Vietnam
- データソース
  KAKENHI-PROJECT-23700096
[学会発表] Fault Classification and Model Learning from Sensory Readings Framework for Fault Tolerance in Wireless Sensor Networks2013
- 著者名/発表者名
  Valentina Baljak, Kenji Tei, and Shinichi Honiden
- 学会等名
  IEEE Eighth International Conference on Intelligent Sensors, Sensor Networks and Information (IEEE ISSNIP)
- 発表場所
  Melbourne, Australia
- データソース
  KAKENHI-PROJECT-23700096
[学会発表] A Decentralized Scheme for Fault Detection and Classification in WSNs2013
- 著者名/発表者名
  Tuan Anh Nguyen, Marco Aiello, and Kenji Tei
- 学会等名
  the 1st International Conference on Cyber-Physical Systems, Networks, and Applications, WIP session
- 発表場所
  Taipei, Taiwan
- データソース
  KAKENHI-PROJECT-23700096
[学会発表] ApPlying Time Series Analysis and Neighbourhood Voting in a Decentralised Approach for Fault Detection and Classification in WSNs2013
- 著者名/発表者名
  Tuan Anh Nguyen, Doina Bucur, Marco Aiello, and Kenji Tei
- 学会等名
  the 4th International Symposium on Information and Communication Technology(SolCT2013)
- 発表場所
  Danang, Vietnam
- データソース
  KAKENHI-PROJECT-23700096
[学会発表] Fault Classification and Model Learning from Sensory Readings Framework for Fault Tolerance in Wireless Sensor Networks2013
- 著者名/発表者名
  Valentina Baljak, Kenji Tei, and Shinichi Honiden
- 学会等名
  IEEE Eighth International Conference on Intelligent Sensors, Sensor Networks and Information Processing (IEEE ISSNIP 2013)
- 発表場所
  Melbourne, Australia
- データソース
  KAKENHI-PROJECT-23700096
[学会発表] Fault Classification and Model Learning from Sensory Readings - Framework for Fault Tolerance in Wireless Sensor Networks2013
- 著者名/発表者名
  Valentina Baljak, Tei Kenji and Shinichi Honiden
- 学会等名
  IEEE 8th International Conference on Intelligent Sensors, Sensor Networks and Information Processing (ISSNIP'13)
- 発表場所
  Melnourne, Australia
- データソース
  KAKENHI-PROJECT-24240003
[学会発表] Fault Detection in Wireless Sensor Networks: A Machine Learning Approach2013
- 著者名/発表者名
  Ehsan Ullah Warriach, and Kenji Tei
- 学会等名
  the 10th IEEE International Conference on Embedded Software and Systems (ICESS13)
- 発表場所
  Sydney, Australia
- データソース
  KAKENHI-PROJECT-23700096
[学会発表] S-CLAIM: An Agent-based Programming language for AmI, A Smart-Room Case Study2012
- 著者名/発表者名
  Valantina Baljak, Marius Tudor Benea, Amal El Fallah Seghrouchni, Cedric Herpson, Shinichi Honiden, Thi Thuy Nga Nguyen, Andrei Olaru, Ryo Shimizu, Kenji Tei and Susumu Toriumi
- 学会等名
  The 3rd International Conference on Ambient Systems, Networks and Technologies (ANT-2012)
- 発表場所
  Ontario, Canada
- データソース
  KAKENHI-PROJECT-23700096
[学会発表] A Hybrid Fault Detection Approach for Context-aware Wireless Sensor Networks2012
- 著者名/発表者名
  Ehsan Warriach, Kenji Tei, Tuan Anh Nguyen, Marco Aiello
- 学会等名
  the 9th IEEE International Conference on Mobile Ad hoc and Sensor Systems (IEEE MASS2012)
- 発表場所
  Las Vegas, Nevada, USA
- データソース
  KAKENHI-PROJECT-23700096
[学会発表] A Hybrid Fault Detection Approach for Context-aware Wireless Sensor Networks2012
- 著者名/発表者名
  Ehsan Warriach, Kenji Tei, Tuan Anh Nguyen, Marco Aiello
- 学会等名
  the gth IEEE International Conference on Mobile Ad hoc and Sensor Systems (IEEE MASS2012)
- 発表場所
  Las Vegas, USA(pp.281-289)
- データソース
  KAKENHI-PROJECT-23700096
[学会発表] S-CLAIM: An Agent-based Programming language for AmI, A Smart-Room Case Study2012
- 著者名/発表者名
  Valantina Baljak, Marius Tudor Benea, Amal El Fallah Seghrouchni, Cedric Herpson, Shinichi Honiden, Thi Thuy Nga Nguyen, Andrei Olaru, RyoShimizu, Kenji Tei and Susumu Toriumi
- 学会等名
  The 3rd International Conference on Ambient Systems, Networks and Technologies (ANT-2012)
- 発表場所
  Ontario, Canada
- データソース
  KAKENHI-PROJECT-24240003
[学会発表] A Machine Learning Approach for Identifying and Classifying Faults in Wireless Sensor Networks2012
- 著者名/発表者名
  Ehsan Ullah Warriach, Kenji Tei, and Marco Aiello
- 学会等名
  the 10th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing(EUC12)
- 発表場所
  Paphos, Cyprus(pp.618-625)
- データソース
  KAKENHI-PROJECT-23700096
[学会発表] Fault Detection in Wireless Sensor Networks: a Hybrid Approach2012
- 著者名/発表者名
  Ehsan Warriach, Kenji Tei, Tuan Anh Nguyen, Marco Aiello
- 学会等名
  poster session of the 11th ACM/IEEE Conference on Information Processing in Sensor Networks (IPSN)
- 発表場所
  Beijing, China
- データソース
  KAKENHI-PROJECT-23700096
[学会発表] Case Studies on the Development of Wireless Sensor Network Applications using Multiple Abstraction Levels2012
- 著者名/発表者名
  Ryo Shimizu, Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden
- 学会等名
  3rd International Workshop on Software Engineering for Sensor Network Applications (SESENA '12) in conjunction with ICSE
- 発表場所
  Zurich, Switzerland
- データソース
  KAKENHI-PROJECT-24240003
[学会発表] Classification of Faults in Sensor Readings with Statistical Pattern Recognition2012
- 著者名/発表者名
  Valentina Baljak, Kenji Tei, and Shinichi Honiden
- 学会等名
  The Sixth International Conference on Sensor Technologies and Applications (SENSORCOMM 2012)
- 発表場所
  Rome, Italy
- データソース
  KAKENHI-PROJECT-24240003
[学会発表] Classification of Faults in Sensor Readings with Statistical Pattern Recognition2012
- 著者名/発表者名
  Valentina Baljak, Kenji Tei, and Shinichi Honiden
- 学会等名
  The Sixth International Conference on Sensor Technologies and Applications (SENSORCOMM 2012)
- 発表場所
  Rome, Italy
- データソース
  KAKENHI-PROJECT-23700096
[学会発表] A Machine Learning Approach for Identifying and Classifying Faults in Wireless Sensor Networks2012
- 著者名/発表者名
  Ehsan Ullah Warriach, Kenji Tei, and Marco Aiello
- 学会等名
  the 10th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing (EUC12)
- 発表場所
  Paphos, Cyprus
- データソース
  KAKENHI-PROJECT-23700096
[学会発表] Case Studies on the Development of Wireless Sensor Network Applications using Multiple Abstraction Levels2012
- 著者名/発表者名
  Ryo Shimizu, Kenji Tei, Yoshiaki Fukazawa and Shinichi Honiden
- 学会等名
  Third International Workshop on Software Engineering for Sensor Network Applications(SESENA)
- 発表場所
  Zurich, Switzerland(PP.22-28)
- 年月日
  2012-06-02
- データソース
  KAKENHI-PROJECT-23700096
[学会発表] Classification of Faults in Sensor Readings with Statistical Pattern Recognition2012
- 著者名/発表者名
  Valentina Baljak, Kenji Tei, and Shinichi Honiden
- 学会等名
  The Sixth International Conference on Sensor Technologies and Applications (SENSORCOMM 2012)
- 発表場所
  Rome, Italy(pp.270-276)
- データソース
  KAKENHI-PROJECT-23700096
[学会発表] Case Studies on the Development of Wireless Sensor Network Applications using Multiple Abstraction Levels2012
- 著者名/発表者名
  Ryo Shimizu, Kenji Tei, Yoshiaki Fukazawa and Shinichi Honiden
- 学会等名
  Third International Workshop on Software Engineering for Sensor Network Applications (SESENA), in conjunction with International Conference on Software Engineering (ICSE)
- 発表場所
  Zurich, Switzerland
- データソース
  KAKENHI-PROJECT-23700096
[学会発表] A Hybrid Fault Detection Approach for Context-aware Wireless Sensor Networks2012
- 著者名/発表者名
  Ehsan Warriach, Kenji Tei, Tuan Anh Nguyen, Marco Aiello
- 学会等名
  The 9th IEEE International Conference on Mobile Ad hoc and Sensor Systems (IEEE MASS2012)
- 発表場所
  Las Vegas, USA
- データソース
  KAKENHI-PROJECT-24240003
[学会発表] Autonomic Role and Mission Allocation Franlework for Wireless Sensor Networks2011
- 著者名/発表者名
  Thenlistoklis Bourdenas, Kenji Tei, Shinichi Honiden and Morris Sloman
- 学会等名
  Fifth IEEE International Conference on Self-Adaptive and Self-Organizing Systems(SASO'11)
- 発表場所
  Ann Arbor, USA(pp.61-70)
- データソース
  KAKENHI-PROJECT-23700096
[学会発表] Autonomic Role and Mission Allocation Framework for Wireless Sensor Networks2011
- 著者名/発表者名
  Themistoklis Bourdenas, Kenji Tei, Shinichi Honiden and Morris Sloman
- 学会等名
  Fifth IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO'11)
- 発表場所
  Michigan, USA
- データソース
  KAKENHI-PROJECT-23700096
[学会発表] Model Driven Development for Rapid Prototyping and Optimization of Wireless Sensor Network Applications2011
- 著者名/発表者名
  Ryo Shimizu, Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden
- 学会等名
  2nd International Workshop on Software Engineering for Sensor Network Applications(SESENA11)
- 発表場所
  Honolulu, USA(pp.31-36)
- 年月日
  2011-05-22
- データソース
  KAKENHI-PROJECT-23700096
[学会発表] N-ary Sensor Model for Target Tracking in Wireless Sensor Networks2010
- 著者名/発表者名
  Kenji Tei, Hikotoshi Nakazato, Yoshiaki Fukazawa, Shinichi Honiden
- 学会等名
  the First International Workshop on Energy Aware Design and Analysis of Cyber Physical Systems (WEA-CPS' 10), in conjunction with CPSWEEK in Stockholm
- 発表場所
  Sweden
- 年月日
  2010-04-12
- データソース
  KAKENHI-PROJECT-19200003
[学会発表] 通信コストと計測精度を考慮したトラッキングのためのセンサモデルの提案2008
- 著者名/発表者名
  中里彦俊, 中村善行, 鄭顕志, 深潭良彰, 本位田真一
- 学会等名
  マルチメディア, 分散, 協調とモバイルシンポジウム(DICOMO2008)
- 発表場所
  北海道札幌市
- データソース
  KAKENHI-PROJECT-19200003
[学会発表] マルチエージェントシステムにおけるメタデータを用いた協調プロトコル合成手法2008
- 著者名/発表者名
  高橋竜一, 鄭顕志, 石川冬樹, 本位田真一, 深澤良彰
- 学会等名
  合同エージェントワークショップ&シンポジウム(JAWS2008)
- 発表場所
  東京都文京区
- データソース
  KAKENHI-PROJECT-19200003
[学会発表] 無線センサネットワークにおける計測記述言語のための規範モデル導出手法の構築2008
- 著者名/発表者名
  鄭顕志, 深深良彰, 本位田真一
- 学会等名
  第15回ソフトウェア工学の基礎ワークショップ予稿集(FOSE2008)
- 発表場所
  神奈川県足柄下郡
- データソース
  KAKENHI-PROJECT-19200003
[学会発表] Coordination Protocol Composition Approach Using Metadata in Multi-agent Systems2008
- 著者名/発表者名
  Ryuichi Takahashi, Kenji Tei, Fuyuki Ishikawa, Yoshiaki Fukazawa, Shinichi Honiden
- 学会等名
  The 12th IEEE International EDOC Conference (EDOC 2008)
- 発表場所
  Munchen, Germany
- データソース
  KAKENHI-PROJECT-19200003
[学会発表] Region-based Sensor Selection for Wireless Sensor Networks2008
- 著者名/発表者名
  Yoshiyuki Nakamura, Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden
- 学会等名
  The IEEE International Workshop on Ad Hoc and Ubiquitous Computing (AHUC 2008)
- 発表場所
  Taichung, Taiwan
- データソース
  KAKENHI-PROJECT-19200003
[学会発表] An Efficient Node Selection Metric for In-network Process Deployment2008
- 著者名/発表者名
  Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden
- 学会等名
  The Fourth International Wireless Internet Conference (WICON 2008)
- 発表場所
  Maui, Hawaii, USA
- データソース
  KAKENHI-PROJECT-19200003
[学会発表] Region-based Sensor Selection for Wireless Sensor Networks2008
- 著者名/発表者名
  Yoshiyuki Nakamura, Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden
- 学会等名
  the 2008 IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing (sutc 2008)
- データソース
  KAKENHI-PROJECT-19200003
[学会発表] 無線センサネットワークにおける省資源性を考慮したセンサセレクション手法2008
- 著者名/発表者名
  中村善行, 鄭顕志, 深澤良彰, 本位田真一
- 学会等名
  マルチメディア, 分散, 協調とモバイルシンポジウム(DICOMO2008)
- 発表場所
  北海道札幌市
- データソース
  KAKENHI-PROJECT-19200003
[学会発表] 無線センサーネットワークにおける計測処理記述のためのデザインパターンの抽出と適用2007
- 著者名/発表者名
  鄭顕志
- 学会等名
  マルチメディア, 分散, 協調とモバイルシンポジウム(DICOMO2007)
- 発表場所
  三重県鳥羽
- データソース
  KAKENHI-PROJECT-19200003
[学会発表] ユビキタスコンピューティングにおけるアプリケーション開発手法に関する研究動向2007
- 著者名/発表者名
  鄭顕志
- 学会等名
  合同エージェントワークショップ&シンポジウム2007(JAWS2007)
- 発表場所
  沖縄県宜野湾
- データソース
  KAKENHI-PROJECT-19200003
[学会発表] Applying Design Patterns to Wireless Sensor Network Programming2007
- 著者名/発表者名
  Kenji Tei
- 学会等名
  International Workshop on Wireless Mesh and Ad Hoc Networks (WiMAN 2007)
- 発表場所
  Honolulu, Hawaii
- データソース
  KAKENHI-PROJECT-19200003
[学会発表] KAOSによる無線センサーネットワークのための計測処理中間モデルの導出2007
- 著者名/発表者名
  鄭顕志
- 学会等名
  マルチメディア, 分散, 協調とモバイルシンポジウム(DICOMO2007)
- 発表場所
  三重県鳥羽
- データソース
  KAKENHI-PROJECT-19200003
[学会発表] Toward A Portability Framework with Multi-Level Models for Wireless Sensor Network Software
- 著者名/発表者名
  Ryo Shimizu, Kenji Tei, Yoshiaki Fukazawa and Shinichi Honiden
- 学会等名
  Proceedings of the 2014 International Conference on Smart Computing (SMARTCOMP 2014)
- 発表場所
  Hong Kong, China
- 年月日
  2014-11-03 – 2014-11-05
- データソース
  KAKENHI-PROJECT-25280026
[学会発表] Supporting Model Transformation Developments with Multi-Level Models: A Wireless Sensor Network Case
- 著者名/発表者名
  Ryo Shimizu, Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden
- 学会等名
  the 11th International Conference Applied Computing 2014 (AC 2014)
- 発表場所
  Porto, Portugal
- 年月日
  2014-10-25 – 2014-10-27
- データソース
  KAKENHI-PROJECT-26330098
[学会発表] HoppingDuster : Self-adaptive Cleaning Robot based on Aerial Vehicle
- 著者名/発表者名
  Kenji Tei, Shunichiro Suenaga, Shun Lee, Kazuya Aizawa, Ryuichi Takahashi, and Yoshiaki Fukazawa
- 学会等名
  The 2014 ACM International Joint Conference on Pervasive and Ubiquitous Computing (UbiComp 2014)
- 発表場所
  Seattle, USA
- 年月日
  2014-09-13 – 2014-09-17
- データソース
  KAKENHI-PROJECT-26330098
[学会発表] Intention-based Automated Composition Approach for Coordination Protocol
- 著者名/発表者名
  Ryuichi Takahashi, Fuyuki Ishikawa, Kenji Tei, Yoshiaki Fukazawa
- 学会等名
  The IEEE 11th International Conference on Web Services (ICWS 2013)
- 発表場所
  Santa Clara, USA
- 年月日
  2013-06-27 – 2013-07-02
- データソース
  KAKENHI-PROJECT-24240003
[学会発表] Project Management Inspired Framework for Action Selection in Wireless Sensor Networks
- 著者名/発表者名
  Shunichiro Suenaga, and Kenji Tei
- 学会等名
  Asia Pacific Conference on Wireless and Mobile (APWiMob 2014)
- 発表場所
  Bali, Indonesia
- 年月日
  2014-08-28 – 2014-08-30
- データソース
  KAKENHI-PROJECT-24240003
[学会発表] Project Management Inspired Framework for Action Selection in Wireless Sensor Networks
- 著者名/発表者名
  Shunichiro Suenaga, and Kenji Tei
- 学会等名
  Asia Pacific Conference on Wireless and Mobile (APWiMob 2014)
- 発表場所
  Bali, Indonesia
- 年月日
  2014-08-28 – 2014-08-30
- データソース
  KAKENHI-PROJECT-26330098
[学会発表] Supporting Model Transformation Developments with Multi-Level Models: A Wireless Sensor Network Case
- 著者名/発表者名
  Ryo Shimizu, Kenji Tei, Yoshiaki Fukazawa and Shinichi Honiden
- 学会等名
  Proceedings of the the 11th International Conference Applied Computing 2014 (AC 2014)
- 発表場所
  Porto, Portugal
- 年月日
  2014-10-25 – 2014-10-27
- データソース
  KAKENHI-PROJECT-25280026
[学会発表] Fault Classification and Model Learning from Sensory Readings Framework for Fault Tolerance in Wireless Sensor Networks
- 著者名/発表者名
  Valentina Baljak, Kenji Tei, and Shinichi Honiden
- 学会等名
  IEEE Eighth International Conference on Intelligent Sensors, Sensor Networks and Information Processing (IEEE ISSNIP 2013)
- 発表場所
  Melbourne, Australia
- 年月日
  2013-04-02 – 2013-04-05
- データソース
  KAKENHI-PROJECT-24240003
[学会発表] Fault Detection in Wireless Sensor Networks: A Machine Learning Approach
- 著者名/発表者名
  Ehsan Ullah Warriach, and Kenji Tei
- 学会等名
  the 10th IEEE International Conference on Embedded Software and Systems (ICESS13)
- 発表場所
  Sydney, Australia
- 年月日
  2013-12-03 – 2013-12-05
- データソース
  KAKENHI-PROJECT-24240003
[学会発表] HoppingDuster : Self-adaptive Cleaning Robot based on Aerial Vehicle
- 著者名/発表者名
  Kenji Tei, Shunichiro Suenaga, Shun Lee, Kazuya Aizawa, Ryuichi Takahashi, and Yoshiaki Fukazawa
- 学会等名
  The 2014 ACM International Joint Conference on Pervasive and Ubiquitous Computing (UbiComp 2014)
- 発表場所
  Seattle, USA
- 年月日
  2014-09-13 – 2014-09-17
- データソース
  KAKENHI-PROJECT-24240003
[学会発表] Toward A Portability Framework with Multi-Level Models for Wireless Sensor Network Software
- 著者名/発表者名
  Ryo Shimizu, Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden
- 学会等名
  The 2014 International Conference on Smart Computing (SMARTCOMP 2014)
- 発表場所
  Hong Kong, China
- 年月日
  2014-11-03 – 2014-11-05
- データソース
  KAKENHI-PROJECT-24240003
[学会発表] Supporting Model Transformation Developments with Multi-Level Models: A Wireless Sensor Network Case
- 著者名/発表者名
  Ryo Shimizu, Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden
- 学会等名
  the 11th International Conference Applied Computing 2014 (AC 2014)
- 発表場所
  Porto, Portugal
- 年月日
  2014-10-25 – 2014-10-27
- データソース
  KAKENHI-PROJECT-24240003
[学会発表] Toward A Portability Framework with Multi-Level Models for Wireless Sensor Network Software
- 著者名/発表者名
  Ryo Shimizu, Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden
- 学会等名
  The 2014 International Conference on Smart Computing (SMARTCOMP 2014)
- 発表場所
  Hong Kong, China
- 年月日
  2014-11-03 – 2014-11-05
- データソース
  KAKENHI-PROJECT-26330098
[学会発表] A Decentralized Scheme for Fault Detection and Classification in WSNs
- 著者名/発表者名
  Tuan Anh Nguyen, Marco Aiello, and Kenji Tei
- 学会等名
  the 1st International Conference on Cyber-Physical Systems, Networks, and Applications (CPSNA)
- 発表場所
  Taipei, Taiwan
- 年月日
  2013-08-19 – 2013-08-20
- データソース
  KAKENHI-PROJECT-24240003
[学会発表] Applying Time Series Analysis and Neighbourhood Voting in a Decentralised Approach for Fault Detection and Classification in WSNs
- 著者名/発表者名
  Classification in WSNs Tuan Anh Nguyen, Doina Bucur, Marco Aiello, and Kenji Tei
- 学会等名
  the 4th International Symposium on Information and Communication Technology (SoICT2013)
- 発表場所
  Hanoi, VietNam
- 年月日
  2013-12-05 – 2013-12-06
- データソース
  KAKENHI-PROJECT-24240003

1. 本位田真一 (70332153)

共同の研究課題数: 6件

共同の研究成果数: 62件
2. 石川冬樹 (50455193)

共同の研究課題数: 5件

共同の研究成果数: 6件
3. 吉岡信和 (20390601)

共同の研究課題数: 4件

共同の研究成果数: 5件
4. 清雄一 (20700157)

共同の研究課題数: 3件

共同の研究成果数: 2件
5. 大須賀昭彦 (90393842)

共同の研究課題数: 2件

共同の研究成果数: 0件
6. 田原康之 (30390602)

共同の研究課題数: 2件

共同の研究成果数: 0件
7. 鷲崎弘宜 (70350494)

共同の研究課題数: 2件

共同の研究成果数: 1件
8. 深澤良彰 (20165252)

共同の研究課題数: 1件

共同の研究成果数: 4件
9. 深澤良彰 (30120934)

共同の研究課題数: 1件

共同の研究成果数: 0件
10. 白銀純子 (00329161)

共同の研究課題数: 1件

共同の研究成果数: 0件
11. 高橋竜一 (10547061)

共同の研究課題数: 1件

共同の研究成果数: 0件
12. 清水遼 (90707382)

共同の研究課題数: 1件

共同の研究成果数: 1件
13. 胡振江 (50292769)

共同の研究課題数: 1件

共同の研究成果数: 1件
14. 中川博之 (40508834)

共同の研究課題数: 1件

共同の研究成果数: 0件
15. 一色正男 (90567364)

共同の研究課題数: 1件

共同の研究成果数: 0件
16. 江上周作 (20846000)

共同の研究課題数: 1件

共同の研究成果数: 0件
17. HARVEY PAUL

共同の研究課題数: 1件

共同の研究成果数: 0件
18. 深沢良彰

共同の研究課題数: 0件

共同の研究成果数: 11件

鄭 顕志 Tei Kenji

研究課題

研究成果

共同研究者

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

想定に漏れた環境変化に対して最大限の機能を維持する実行時モデルフレームワーク研究代表者

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

想定に漏れた環境変化にしなやかに耐える実行時モデルフレームワーク研究代表者

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

異種ユビキタスプラットフォームを横断する，保障を伴う自己適応に関する研究研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

センサネットワークにおけるセンサデータの自己修復に関する研究研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

対象追跡システムのための無線センサーネットワーク感度調整に関する研究研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

[図書] Designing Solutions-Based Ubiquitous and Pervasive Computing: New Issues and Trends(XAC Project: Towards a Middleware for Open Wireless Sensor Networks, chapter in book)2010

著者名/発表者名

データソース

[雑誌論文] Efficient Difference Analysis of Guaranteeable Requirements for Fault-tolerant Self-adaptation2023

著者名/発表者名

雑誌名

鄭顕志 Tei Kenji