• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

Tei Kenji  鄭 顕志

… Alternative Names

TEI Kenji  鄭 顕志

Less
Researcher Number 40434295
Other IDs
  • ORCIDhttps://orcid.org/0000-0003-1106-1709
Affiliation (Current) 2025: 東京科学大学, 情報理工学院, 准教授
2025: 国立情報学研究所, アーキテクチャ科学研究系, 准教授
2025: 早稲田大学, 理工学術院, 客員准教授
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
  • Research Projects

    (13 results)
  • Research Products

    (227 results)
  • Co-Researchers

    (18 People)
  •  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

All 2023 2022 2021 2020 2019 2018 2017 2016 2015 2014 2013 2012 2011 2010 2008 2007 Other

All Journal Article Presentation Book

  • [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

URL: 

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi