Journals

2026

  1. 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
  2. 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
  3. 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
  4. 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
  5. 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
  6. 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
  7. 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
  8. 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

  1. 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
  2. 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
  3. 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
  4. 大規模言語モデルを用いた適応ルールの自動生成と最適化
    • Yusei Ishimizu, Jinglue Xu, Takuto Yamauchi, Jinyu Cai, Hitoshi Iba, Jialong Li, Kenji Tei
    • IPSJ Journal, pp. 1-12, 2026.3

2024

  1. 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
  2. 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)
  3. 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

  1. Value Iteration Networks with Gated Summarization Module
    • Jinyu Cai, Jialong Li, Mingyue Zhang, Kenji Tei
    • IEEE ACCESS, vol. 11, pp. 60407-60420, May, 2023
  2. 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

2022

  1. 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

2020

  1. An Efficient Adaptive Attention Neural Network for Social Recommendation
    • Munan Li, Kenji Tei, Yoshiaki Fukazawa
    • IEEE Access, vol.8, pp.63595-63606, March 2020
  2. 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.

2017

  1. 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) 24(1) 1-13 May 2017

2016

  1. 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, March, 2016

2015

  1. 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

  1. Faults in Sensory Readings: Classification and Model Learning
    • Valentina Baljak, Tei Kenji, Shinichi Honiden
    • Sensors & Transducers, Vol.18, 177-187, January 2013

2012

  1. :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