Tei Kenji 鄭顕志

… Alternative Names

TEI Kenji 鄭顕志

Less

Researcher Number	40434295
Other IDs	https://orcid.org/0000-0003-1106-1709
Affiliation (Current)	2024: 東京科学大学, 情報理工学院, 准教授 2024: 国立情報学研究所, アーキテクチャ科学研究系, 准教授 2024: 早稲田大学, 理工学術院, 客員准教授
Affiliation (based on the past Project Information) *help	2023 – 2024: 東京工業大学, 情報理工学院, 准教授 2018 – 2023: 早稲田大学, 理工学術院, 准教授(任期付) 2018: 早稲田大学, 理工学術院, 研究院准教授 2018: 国立情報学研究所, 大学共同利用機関等の部局等, 助教 2017: 国立情報学研究所, 大学共同利用機関等の部局等, 准教授 … More 2015 – 2017: 国立情報学研究所, アーキテクチャ科学研究系, 准教授 2013 – 2014: 国立情報学研究所, 大学共同利用機関等の部局等, 助教 2011 – 2014: 国立情報学研究所, アーキテクチャ科学研究系, 助教 2008 – 2009: 早稲田大学, メディアネットワークセンター, 助教 2007: 早稲田大学, 理工学術院, 助手 Less
Review Section/Research Field	Principal Investigator Basic Section 60050:Software-related / Software / Software / Computer system/Network Except Principal Investigator Software / Software / Basic Section 90020:Library and information science, humanistic and social informatics-related / Basic Section 60060:Information network-related / Basic Section 62020:Web informatics and service informatics-related
Keywords	Principal Investigator 自己適応システム / 実行時モデル / 自己修復 / Session Type / アクターモデル / ソフトウェア検証 / 自己適応 / Graceful Degradation / 環境モデル学習 / Graceful degradation … More / モデル学習 / 離散制御器合成 / Models@run.time / センサデータ / センサーネットワーク / センサエラー / センサモデル / 無線センサネットワーク / 対象追跡システム / 無線センサーネットワーク … More Except Principal Investigator IoT / ソフトウェア工学 / 自己適応システム / 自己適応ソフトウェア / 環境モデル学習 / LOD / セキュリティ・プライバシ / 形式検証 / 自律協調システム / オープンデータ / 推薦システム / ソーシャルデータ / マイニング基盤 / 協調プランニング / 離散制御器合成 / Graceful Degradation / 実行時モデル / 制御器合成 / 実行時モデリング / ソフトウェア生成 / センサーアプリケーション / センサー・ソフトウェア / センサーソフトウェア / MDD / ソフトウェア再利用 / ソフトウェア部品 / アクチュエータ / 再利用 / センサー / プロダクトライン / アスペクト / パターン / セキュリティ / モデル駆動開発 / ソフトウェア検証 / ソフトウェア設計 / ソフトウェア分析 / ソフトウェア進化 / 空間制御ソフトウェア / ソフトウェア開発プロセス / モデル検査 / ソフトウェアアーキテクチャ / ゴール指向要求分析 / ミドルウェア / 無線センサーネットワーク Less

SNS・IoT・オープンデータ融合マイニングによる施策に対する人々の行動変化予測
- Principal Investigator
  
  大須賀昭彦
- Project Period (FY)
  2023 – 2026
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Review Section
  
  Basic Section 90020:Library and information science, humanistic and social informatics-related
- Research Institution
  The University of Electro-Communications
想定に漏れた環境変化に対して最大限の機能を維持する実行時モデルフレームワークPrincipal Investigator
- Principal Investigator
  
  鄭顕志
- Project Period (FY)
  2023 – 2026
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  Institute of Science Tokyo
Social and physical sensor fusion mining infrastructure to understand behavioral intentions
- Principal Investigator
  
  Ohsuga Akihiko
- Project Period (FY)
  2018 – 2021
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Review Section
  
  Basic Section 62020:Web informatics and service informatics-related
- Research Institution
  The University of Electro-Communications
Models@run.time Framework for Graceful DegradationPrincipal Investigator
- Principal Investigator
  
  TEI Kenji
- Project Period (FY)
  2018 – 2021
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  Waseda University
Research on autonomous cooperative self-adaptation mechanisms and formal verification of them
- Principal Investigator
  
  Tahara Yasuyuki
- Project Period (FY)
  2018 – 2021
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Review Section
  
  Basic Section 60060:Information network-related
- Research Institution
  The University of Electro-Communications
Multi-view Models@run.time Framework
- Principal Investigator
  
  Honiden Shinichi
- Project Period (FY)
  2017 – 2021
- Research Category
  
  Grant-in-Aid for Scientific Research (A)
- Research Field
  
  Software
- Research Institution
  Waseda University
Models@run.time for software tolerant to unforseen changes in the environment
- Principal Investigator
  
  HONIDEN Shinichi
- Project Period (FY)
  2016 – 2017
- Research Category
  
  Grant-in-Aid for Challenging Exploratory Research
- Research Field
  
  Software
- Research Institution
  National Institute of Informatics
Controlled Adaptation across Ubiquitous Heterogeneous PlatformsPrincipal Investigator
- Principal Investigator
  
  石川冬樹, 鄭顕志
- Project Period (FY)
  2016 – 2018
- Research Category
  
  Grant-in-Aid for JSPS Fellows
- Research Field
  
  Software
- Research Institution
  National Institute of Informatics
Self-healing sensor data for wireless sensor networksPrincipal Investigator
- Principal Investigator
  
  Tei Kenji
- Project Period (FY)
  2014 – 2016
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Software
- Research Institution
  National Institute of Informatics
Research on Establishment of Sensor-based Software Engineering
- Principal Investigator
  
  Fukazawa Yoshiaki
- Project Period (FY)
  2013 – 2018
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Software
- Research Institution
  Waseda University
Preparing Unanticipated Situation : Software Analysis, Design, and Verification for Cyber-Physical Systems
- Principal Investigator
  
  HONIDEN Shinichi
- Project Period (FY)
  2012 – 2014
- Research Category
  
  Grant-in-Aid for Scientific Research (A)
- Research Field
  
  Software
- Research Institution
  National Institute of Informatics
Configuring Resolution of Wireless Sensor Network for Target Tracking SystemPrincipal Investigator
- Principal Investigator
  
  TEI Kenji
- Project Period (FY)
  2011 – 2013
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Computer system/Network
- Research Institution
  National Institute of Informatics
A middleware for open wireless sensor networks
- Principal Investigator
  
  HONIDEN Shinichi
- Project Period (FY)
  2007 – 2009
- Research Category
  
  Grant-in-Aid for Scientific Research (A)
- Research Field
  
  Software
- Research Institution
  National Institute of Informatics

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

1. HONIDEN Shinichi (70332153)

# of Collaborated Projects: 6 results

# of Collaborated Products: 62 results
2. ISHIKAWA Fuyuki (50455193)

# of Collaborated Projects: 5 results

# of Collaborated Products: 6 results
3. YOSHIOKA Nobukazu (20390601)

# of Collaborated Projects: 4 results

# of Collaborated Products: 5 results
4. 清雄一 (20700157)

# of Collaborated Projects: 3 results

# of Collaborated Products: 2 results
5. Ohsuga Akihiko (90393842)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
6. Tahara Yasuyuki (30390602)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
7. 鷲崎弘宜 (70350494)

# of Collaborated Projects: 2 results

# of Collaborated Products: 1 results
8. FUKAZAWA Yoshiaki (20165252)

# of Collaborated Projects: 1 results

# of Collaborated Products: 4 results
9. Fukazawa Yoshiaki (30120934)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
10. 白銀純子 (00329161)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
11. 高橋竜一 (10547061)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
12. 清水遼 (90707382)

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results
13. 胡振江 (50292769)

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results
14. 中川博之 (40508834)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
15. 一色正男 (90567364)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
16. 江上周作 (20846000)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
17. HARVEY PAUL

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
18. 深沢良彰

# of Collaborated Projects: 0 results

# of Collaborated Products: 11 results

Tei Kenji 鄭 顕志

TEI Kenji 鄭 顕志

Research Projects

Research Products

Co-Researchers

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

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

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Models@run.time Framework for Graceful DegradationPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Controlled Adaptation across Ubiquitous Heterogeneous PlatformsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Self-healing sensor data for wireless sensor networksPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Configuring Resolution of Wireless Sensor Network for Target Tracking SystemPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Book] 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

Author(s)

Data Source

[Journal Article] Efficient Difference Analysis of Guaranteeable Requirements for Fault-tolerant Self-adaptation2023

Author(s)

Tei Kenji 鄭顕志

TEI Kenji 鄭顕志