2026年度
- Knowledge Graph-enhanced Large Language Model for Incremental Game PlayTesting
- Enhong Mu, Jinyu Cai, Yijun Lu, Mingyue Zhang, Kenji Tei, Jialong Li
- IEICE Transactions on Information and Systems, 11 pages, 2026.9
- Graph-Contextual Reinforcement Learning for Efficient Directed Controller Synthesis
- Toshihide Ubukata, Enhong Mu, Takuto Yamauchi, Mingyue Zhang, Jialong Li, Kenji Tei
- IEICE Transactions on Information and Systems, 12 pages, 2026.9
- Automatic Syntax Error Repair for Discrete Controller Synthesis using Large Language Model
- Yusei Ishimizu, Takuto Yamauchi, Sinan Chen, Jinyu Cai, Jialong Li, Kenji Tei
- Journal of Information Processing (JIP), Vol.34, 12 pages, 2026.8
- SAGE: Semantic-Aware Gray-Box Game Regression Testing with Large Language Models
- Jinyu Cai, Jialong Li, Nianyu Li, Zhenyu Mao, Mingyue Zhang, Kenji Tei
- Automated Software Engineering Journal, 39 pages, 2026
- Simulation of language evolution under regulated social media platforms: a synergistic approach of large language models and genetic algorithms
- Jinyu Cai, Mingyue Zhang, Yusei Ishimizu, Munan Li, Jialong Li, Kenji Tei
- Journal of Computational Social Science, 31 pages, 2026
- Automated Smoking Testing For Multiple-endings Game Quest via Large Language Models
- Jinyu Cai, Mingyue Zhang, Nianyu Li, Jinglue Xu, Tianshui Li, Jialong Li, Hitoshi Iba, Kenji Tei
- IEEE Transactions on Games, 16 pages, 2026
- Robust Exploration in Directed Controller Synthesis via Reinforcement Learning with Soft Mixture-of-Experts
- Toshihide Ubukata, Zhiyao Wang, Yusei Ishimizu, Enhong Mu, Jialong Li, Kenji Tei
- IEICE Transactions on Information and Systems, 12 pages, 2026
- Uncertainty Interaction in Software-Intensive Systems: A Community Roadmap
- J. Camara, R. Mirandola, K. Tei, N. Bencomo, M. Camilli, N. Cardozo, I. Dusparic, F. Ishikawa, A. Koziolek, L. Lestingi, J. Li, M. Litoiu, G. Moreno, A. V. Papadopoulos, D. Perez-Palacin, D. Pianini, R. Reussner, G. Rodrigues, P. Scandurra, V. Scotti, G. Tamura, C. Tsigkanos, K. Vaidhyanathan, G. Vázquez, N. Villegas
- ACM Transactions on Autonomous and Adaptive Systems (TAAS), Editor's Special Collection, the 20th Anniversary Special Issue, 34 pages, 2026.12
2025年度
- Exploring the Impact of eHMI Display Location and Vehicle Type on Pedestrian Perceptions: A VR User Study
- Nianzhao Zheng, Jialong Li, Yan Zhang, Kenji Tei
- IEEE ACCESS, vol. 13, pp. 4947-4956, 2025
- Adaptive Preferences: Pivoting Through User Complaints
- Mingyue Zhang, Jialong Li, Nianyu Li, Eunsuk Kang, Kenji Tei
- ACM Transactions on Autonomous and Adaptive Systems, pp. 1-32, 2025.4
- Global Progress or Local Intent? Exploring Human Perceptions of Communication Strategies in Human-Robot Collaboration
- Jialong Li, Shogo Morita, Wei Wang, Yan Zhang, Takuto Yamauchi, Kenji Tei
- IEICE Transactions on Information and Systems, vol. E108-D, no. 10, pp. 1260-1264, 2025
- 大規模言語モデルを用いた適応ルールの自動生成と最適化
- 石水 優成, 許 経略, 山内 拓人, 蔡 金雨, 伊庭 斉志, 李 家隆, 鄭 顕志
- 情報処理学会論文誌, pp. 1-12, 2026.3
2024年度
- ゲーム空間の一括構築による離散制御器合成の計算空間削減
- 山内 拓人，李 家隆，鄭 顕志，本位田 真一
- 情報処理学会論文誌, Vol.65, No.8, pp. 1221-1232, 2024年8月
- Generative AI for Self-Adaptive Systems: State of the Art and Research Roadmap
- Jialong Li, Mingyue Zhang, Nianyu Li, Danny Weyns, Zhi Jin, Kenji Tei
- ACM Transactions on Autonomous and Adaptive Systems, vol. 19, no. 3, pp. 1-60, 2024
- Large Language Models Synergize with Automated Machine Learning
- Jinglue Xu, Jialong Li, Zhen Liu, NAV Suryanarayanan, Guoyuan Zhou, Jia Guo, Hitoshi Iba, Kenji Tei
- Transactions on Machine Learning Research, 2024, 46 pages (to appear)
- Multi-grained Guaranteeable Requirement Analysis for Iterative Adaptation
- Jialong Li, Takuto Yamauchi, Takanori Hirano, Jinyu Cai, Kenji Tei
- IEICE Transactions on Information and Systems, vol. E108-D, no. 4, pp. 360-370, April 2025
2023年度
- Value Iteration Networks with Gated Summarization Module
- Jinyu Cai, Jialong Li, Mingyue Zhang, Kenji Tei
- IEEE ACCESS, vol. 11, pp. 60407-60420, May, 2023
2022年度
- Towards scalable model checking of reflective systems via labeled transition systems
- Kenji Tei, Yasuyuki Tahara, Akihiko Ohsuga
- IEEE Transactions on Software Engineering (TSE), vol. 49, no. 3, pp. 1299-1322, May 2022
- Efficient Difference Analysis of Guaranteeable Requirements for Fault-tolerant Self-adaptation
- Jialong Li, Kenji Tei
- Journal of Information Processing (JIP), vol. 31, pp. 186-195, March, 2023
- 段階的な部分合成による離散制御器合成の分析空間削減
- 山内 拓人，鄭顕志
- 電子情報通信学会論文誌D，Vol.J106-D，No.04，pp. 218-230，2023年4月
2021年度
- 列車自動運転を伴う運転整理MIPモデルの移動閉塞下への適用
- 川添宏介，山内拓人，鄭顕志，富井規雄，本位田真一
- 情報処理学会論文誌，Vol.63，No.3，pp.786-807，2022年3月
2020年度
- 活性と同時に保証可能な安全性特定のためのゲーム分析アルゴリズム
- 相澤和也, 鄭 顕志, 本位田 真一
- 情報処理学会論文誌, Vol. 61, No.4, pp.853–862, 2020年4月
- 違反状態抽象化による保証可能な安全性特定のための分析空間削減
- 相澤和也, 鄭 顕志, 本位田 真一
- 電子情報通信学会論文誌D, Vol.J103-D,No.04,pp.238-246, Apr. 2020
- Dynamic Update of Discrete Event Controllers
- L. Nahabedian and V. Braberman and N. DIppolito and S. Honiden and J. Kramer and K. Tei and S. Uchitel
- IEEE Transactions on Software Engineering (TSE), vol. 46, no. 11, pp. 1220-1240, 2020.
2019年度
- 環境変化時に保証可能な安全性を特定するためのゲーム分析アルゴリズム
- 相澤和也，鄭顕志，本位田真一
- 情報処理学会論文誌 Vol.60(No.4),pp.1025-1039, 2019年04月
- 自己適応システムのための環境モデル実行時更新手法
- 田邉 萌香, 鄭 顕志, 本位田 真一
- 情報処理学会論文誌, Vol. 60, No.10, pp. 1617-1630, 2019年10月
- An Efficient Adaptive Attention Neural Network for Social Recommendation
- Munan Li, Kenji Tei, Yoshiaki Fukazawa
- IEEE Access, vol.8, pp.63595-63606, March 2020
2017年度
- A Comparative Analysis of Machine Learning Algorithms for Faults Detection in Wireless Sensor Networks
- Ehsan Ullah Warriach, and Kenji Tei
- International Journal of Sensor Networks (IJSNet) Vol.24(1), pp.1-13, 2017
2015年度
- EVMを利用したDBCアプリケーションのための適応フレームワーク
- 末永 俊一郎，鄭 顕志
- 情報処理学会論文誌, Vol.56(No.5), 1363-1376, 2015年05月
- Involving End-Users in Web-Based System Development with INTER-Mediator
- Masayuki Nii, Kenji Tei, and Fuyuki Ishikawa
- Transactions on Engineering Technologies, pp.79-93, 2016年3月
- Model-Driven-Development-based Stepwise Software Development Process for Wireless Sensor Networks
- Kenji Tei, Ryo Shimizu, Yoshiaki Fukazawa, Shinichi Honiden
- IEEE Transactions on Systems, Man, and Cybernetics: Systems, vol.45, no.4, pp.675-687, April, 2015
2013年度
- 無線センサネットワークにおけるデータ品質改善の為の開発プロセス
- 清水 遼, 鄭 顕志, 深澤 良彰, 本位田 真一
- 電子情報通信学会論文誌 学生論文特集 D, Vol.J97-D(No.3), 473-487, 2013年
- エンドユーザーによる保守作業を可能にする Web アプリケーションフレームワーク
- 新居 雅行, 鄭 顕志, 石川 冬樹
- コンピュータソフトウェア, Vol.31(No.1), 60-74, 2013年
- 自己適応ソフトウェアのための自己適応性設計に関する研究動向
- 鄭 顕志, 清水 遼, 高橋 竜一, 石川 冬樹
- コンピュータソフトウェア, Vol.31(No.1), 49-59, 2013年
- Faults in Sensory Readings: Classification and Model Learning
- Valentina Baljak, Tei Kenji, Shinichi Honiden
- Sensors & Transducers, Vol.18, 177-187, 2013年
2012年度
- :S-CLAIM: An Agent-based Programming Language for AmI, A Smart-Room Case Study
- Valentina Baljak, Marius Tudor Benea, Amal El Fallah Seghrouchni, Cedric Herpson, Shinichi Honiden, Thi Thuy Nga Nguyen, Andrei Olaru, Ryo Shimizu, Kenji Tei, Susumu Toriumi
- Procedia Computer Science, Vol.10, pp.30-37, 2012年s
2011年度
- 無線センサネットワークにおける対象追跡の分解能を調整可能なセンサモデル
- 鄭 顕志，中里 彦俊，深澤 良彰，本位田 真一
- 電子情報通信学会論文誌, Vol.J94-B(No.10), 1351-1362, 2011年10月
2009年度
- マルチエージェントシステムにおけるメタデータを用いた協調プロトコル合成手法
- 高橋 竜一，鄭 顕志，石川 冬樹，本位田 真一，深澤 良彰，
- 電子情報通信学会論文誌, Vol.J92-D(No.11), 1827-1839, 2009年11月
2008年度
- ユビキタスコンピューティングにおけるアプリケーション開発手法に関する研究動向
- 鄭顕志, 中川博之, 川俣洋次郎, 吉岡信和，深澤良彰, 本位田真一
- コンピュータソフトウェア, Vol.25(No.4), 121-132, 2008年10月
- 適応エージェントのためのユビキタスコンピューティングミドルウェア
- 鄭 顕志，石川 冬樹，吉岡 信和，深澤 良彰，本位田 真一
- コンピュータソフトウェア, Vol.25(No.4), 11-19, 2008年10月
- 効率の良いネットワーク内処理のためのノード選択指標の提案
- 鄭 顕志，深澤 良彰，本位田 真一
- 情報処理学会論文誌, Vol.49(No.6), 1872-1884, 2008年06月
2006年度
- MANET における省資源性を考慮した位置依存情報収集手法
- 鄭顕志，深澤良彰，本位田真一
- 電子情報通信学会論文誌, Vol.J89-D(No.12), 2625-2636, 2006年12月