National Institute of Informatics   Information Systems Architecture Science Research Division   Assistant Professor

2010.4 - 2015.3

Waseda University   Assistant Professor

2008.4 - 2010.3

Waseda University   Media Network Center   Assistant Professor

2008.4 - 2010.3

Waseda University   Research associate

2006.4 - 2008.3

Waseda University   School of Fundamental Science and Engineering   Guest Associate Professor

2023.9

National Institute of Informatics   GRACE Center   Project Researcher

2023.4

National Institute of Informatics   GRACE Center   Associate Professor by Special Appointment

2018.4 - 2022.9

The Graduate University for Advanced Studies   Associate Professor

2015.4 - 2018.3

The Graduate University for Advanced Studies   associate professor

2010.4 - 2015.3

Information Systems Architecture Science Research Division, National Institute of Informatics   Project Assistant Professor

2008.4 - 2010.3

National Institute of Informatics   National Institute of Informatics

2008.4 - 2010.3

Waseda University   School of Fundamental Science and Engineering

2007.4 - 2008.3

Waseda University   School of Science and Engineering

2006.4 - 2007.3

National Institute of Informatics

2005.4 - 2008.3

ACM Transactions on Autonomous and Adaptive Systems (TAAS)   Associate Editor  

2021   

ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS2021)   Tool and Demonstration Track Chair  

2021   

No.153 NII Shonan Meeting on The 3rd Controlled Adaptation of Self-adaptive Systems (CASaS2020)   Organizer  

2019   

International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)   Steering Committee  

2018 - 2021   

No.118 NII Shonan Meeting on Modelling and Analysing Resilient Cyber-Physical Systems   Organizer  

2018   

International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS2019)   Program co-Chair  

2018   

No.110 NII Shonan Meeting on The 2nd Controlled Adaptation of Self-adaptive Systems (CASaS2017)   Organizer  

2017   

International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)   Program Committee  

2016   

No.077 NII Shonan Meeting on Controlled Adaptation of Self-adaptive Systems (CASaS)   Organizer  

2015   

IEEE International Requirements Engineering Conference (RE)   Program Committee  

2020   

IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO)   Program Committee  

2018   

International Conference on Engineering of Complex Computer Systems (ICECCS)   Program Committee  

2017 - 2018   

Towards MPC-driven Software Adaptation: A Dual-Layer Approach Combining ICNN-based Modeling and Delta-based Tuning Reviewed International coauthorship International journal

Yitong Shi, Chenyu Hu, Mingyue Zhang, Nianyu Li, Jialong Li, Kenji Tei

International Workshop on Intelligent Software Engineering (ISE2025)   1 - 8   2025.11

Knowledge Graph-enhanced Large Language Model for Incremental Game PlayTesting.

Enhong Mu, Jinyu Cai, Yijun Lu, Mingyue Zhang 0002, Kenji Tei, Jialong Li 0001

CoRR   abs/2511.02534   2025.11

Graph-Contextual Reinforcement Learning for Efficient Exploration in Directed Controller Synthesis Reviewed International coauthorship International journal

Toshihide Ubukata, Mingyue Zhang, Takuto Yamauchi, Jialong Li, Kenji Tei

IEEE 25th International Conference on Software Quality, Reliability, and Security (QRS)   1 - 2   2025.7

Global Progress or Local Intent? Exploring Human Perceptions of Communication Strategies in Human-Robot Collaboration Reviewed International coauthorship International journal

Jialong Li, Shogo Morita, Wei Wang, Yan Zhang, Takuto Yamauchi, Kenji Tei

IEICE Transactions on Information and Systems (Letter paper)   1 - 4   2025.6

Adapting Aggregation Rule for Robust Federated Learning under Dynamic Attacks Reviewed International coauthorship International journal

Chenyu Hu, Mingyue Zhang, Nianyu Li, Jialong Li, Zheng Yang, Muneeb Ul Hassan, Kenji Tei

IEEE/ACM 20th International Conference on Software Engineering for Adaptive and Self-Managing Systems (SEAMS2025)   171 - 177   2025.4

Multi-grained Guaranteeable Requirement Analysis for Iterative Adaptation Reviewed

Jialong Li, Takuto Yamauchi, Takanori Hirano, Jinyu Cai, Kenji Tei

IEICE Transactions on Information and Systems   108-D ( 4 )   1 - 12   2025.3

Simulation of Language Evolution under Regulated Social Media Platforms: A Synergistic Approach of Large Language Models and Genetic Algorithms.

Jinyu Cai, Yusei Ishimizu, Mingyue Zhang 0002, Munan Li, Jialong Li 0001, Kenji Tei

CoRR   abs/2502.19193   2025.2

Exploring the Impact of eHMI Display Location and Vehicle Type on Pedestrian Perceptions: A VR User Study Reviewed International coauthorship International journal

Nianzhao Zheng, Jialong Li, Yan Zhang, Kenji Tei

IEEE Access   13   4947 - 4956   2025.1

Adaptive Preferences: Pivoting Through User Complaints Reviewed

Mingyue Zhang, Jialong Li, Nianyu Li, Eunsuk Kang, Kenji Tei

ACM Transactions on Autonomous and Adaptive Systems (TAAS)   1 - 32   2025

Towards Efficient Discrete Controller Synthesis: Semantics-Aware Stepwise Policy Design via LLM Reviewed International journal

Yusei Ishimizu, Jialong Li, Takuto Yamauchi, Sinan Chen, Jinyu Cai, Takanori Hirano, Kenji Tei

IEEE/IEIE The 9th International Conference On Consumer Electronics Asia (ICCE-Asia)   1 - 4   2024.10

Towards Context-aware Support for Color Vision Deficiency: An Approach Integrating LLM and AR Reviewed International journal

Shogo Morita, Yan Zhang, Takuto Yamauchi, Sinan Chen, Jialong Li, Kenji Tei

2024 IEEE 13th Global Conference on Consumer Electronics (GCCE 2024)   188 - 189   2024.10

Efficient Directed Controller Synthesis Using Action Priority Reviewed International journal

Hiroki Takeuchi, Takenori Hirano, Takuto Yamauchi, Jialong Li, Kenji Tei

IEEE/IEIE The 9th International Conference On Consumer Electronics Asia (ICCE-Asia)   1 - 4   2024.10

MLPP-DCS: Machine Learning-based Performance Prediction for Discrete Controller Synthesis Reviewed International journal

Takumi Ikeda, Takenori Hirano, Takuto Yamauchi, Jialong Li, Kenji Tei

IEEE/IEIE The 9th International Conference On Consumer Electronics Asia (ICCE-Asia)   1 - 4   2024.10

Large Language Models Synergize with Automated Machine Learning Reviewed International journal

Jinglue Xu, Jialong Li, Zhen Liu, NAV Suryanarayanan, Guoyuan Zhou, Jia Guo, Hitoshi Iba, Kenji Tei

Transactions on Machine Learning Research   1 - 49   2024.9

Automatic Adaptation Rule Optimization via Large Language Models Reviewed International journal

Yusei Ishimizu, Jialong Li, Jinglue Xu, Jinyu Cai, Hitoshi Iba, Kenji Tei

5th IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS2024)   180 - 181   2024.9

Overcooked Plus: A Comprehensive Cooking Scenario TestBed for Enhancing the Evaluation of Autonomous Planning Algorithms Reviewed International coauthorship International journal

Jinyu Cai, Jialong Li, Nianyu Li, Mingyue Zhang, Ruijia Yang, Kenji Tei

5th IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS2024)   146 - 151   2024.9

Generative AI for Self-Adaptive Systems: State of the Art and Research Roadmap Invited Reviewed International coauthorship International journal

Jialong Li, Mingyue Zhang, Nianyu Li, Danny Weyns, Zhi Jin, Kenji Tei

ACM Transactions on Autonomous and Adaptive Systems (TAAS)   19 ( 3 )   1 - 60   2024.8

Computational;Space Reduction for;Discrete Controller Synthesis Through Batch Construction of;Game Space Reviewed

Takuto Yamauchi, Jialong Li, Kenji Tei, Shinichi Honiden

IPSJ Journal   65 ( 8 )   1 - 12   2024.8

Exploring the Improvement of Evolutionary Computation via Large Language Models Reviewed International journal

Jinyu Cai, Jinglue Xu, Jialong Li, Takuto Yamauchi, Hitoshi Iba, Kenji Tei

The Genetic and Evolutionary Computation Conference (GECCO2024)   83 - 84   2024.7

Multi-role Consensus through LLMs Discussions for Vulnerability Detection Reviewed International coauthorship International journal

Zhenyu Mao, Jialong Li, Dongming Jin, Munan Li, Kenji Tei

24th International Conference on Software Quality, Reliability, and Security (QRS2024)   1318 - 1319   2024.7

Evaluating Vision-Language Models in Visual Comprehension for Autonomous Driving Reviewed International journal

Zhanmin Zhou, Jialong Li, Takuto Yamauchi, Jinyu Cai, Kenji Tei

4th IEEE International Conference on Software Engineering and Artificial Intelligence (SEAI2024)   205 - 209   2024.6

Language Evolution for Evading Social Media Regulation via LLM-based Multi-agent Simulation Reviewed International coauthorship International journal

Jinyu Cai, Jialong Li, Mingyue Zhang, Munan Li, Chen-Shu Wang, Kenji Tei

IEEE World Congress on Computational Intelligence (WCCI) - IEEE Congress on Evolutionary Computation (IEEE CEC),   1 - 10   2024.6

Exploring Optimal eHMI Display Location for Various Vehicle Types: A VR User Study Reviewed International coauthorship International journal

Nianzhao Zheng, Jialong Li, Nianyu Li, Mingyue Zhang, Jinyu Cai, Kenji Tei

ACM International conference on Human Factors in Computing Systems (CHI2024)   1 - 7   2024.5

User-Driven Adaptation: Tailoring Autonomous Driving Systems with Dynamic Preferences Reviewed International coauthorship International journal

Mingyue Zhang, Jialong Li, Nianyu Li, Eunsuk Kang, Kenji Tei

ACM International conference on Human Factors in Computing Systems (CHI2024)   ( 361 )   1 - 8   2024.5

Exploring the Potential of Large Language Models in Self-adaptive Systems Reviewed International coauthorship International journal

Jialong Li, Mingyue Zhang, Nianyu Li, Danny Weyns, Zhi Jin, Kenji Tei

19th Conference on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)   77 - 83   2024.4

Employing Discrete Controller Synthesis for Developing Systems-of-Systems Controllers Reviewed International coauthorship International journal

Jialong Li, Wallace Manzano, Takuto Yamauchi, Nobuhiro Matsuyama, Elisa Yumi Nakagawa, Kenji Tei

12th ACM/IEEE International Workshop on Software Engineering for Systems-of-Systems and Software Ecosystems (SESoS@ICSE)   1 - 8   2024.4

Slicing and Visualizing F’ Topologies with F’Prism

Jialong Li, Christos Tsigkanos, Toshihide Ubukata, Elisa Yumi Nakagawa, Zhenyu Mao, Nianyu Li, Kenji Tei

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)   14590 LNCS   375 - 389   2024

Instrumenting Runtime Goal Monitoring for F' Flight Software.

Jialong Li, Christos Tsigkanos, Nianyu Li, Kenji Tei

COMPSAC   1300 - 1309   2024

Towards Enhancing Driver’s Perceived Safety in Autonomous Driving: A Shield-Based Approach

Ryotaro Abe, Jinyu Cai, Tianchen Wang, Jialong Li, Shinichi Honiden, Kenji Tei

Lecture Notes in Networks and Systems   1051 LNNS   164 - 176   2024

Diffusion Model for Planning: A Systematic Literature Review.

Toshihide Ubukata, Jialong Li 0001, Kenji Tei

CoRR   abs/2408.10266   2024

Attention to Hazardous Regions: Pseudo Point Cloud Generation for Real-time 3D Object Detection Reviewed International journal

Tianchen Wang, Jialong Li, Kenji Tei

IEEE International Conference on Visual Communications and Image Processing (VCIP)   1 - 5   2023.12

Towards a Research Agenda for Understanding and ManagingUncertainty in Self-Adaptive Systems Reviewed International coauthorship

Danny Weyns, Radu Calinescu, Raffaela Mirandola, Kenji Tei, Maribel Acosta, Amel Bennaceur, Nicolas Boltz, Tomas Bures, Javier Camara, Ada Diaconescu, Gregor Engels, Simos Gerasimou, Ilias Gerostathopoulos, Sinem Getir Yaman, Vincenzo Grassi, Sebastian Hahner, Emmanuel Letier, Marin Litoiu, Lina Marsso, Angelika Musil, Juergen Musil, Genaina Nunes Rodrigues, Diego Perez-Palacin, Federico Quin, Patrizia Scandurra, Antonio Vallecillo, Andrea Zisman

ACM SIGSOFT Software Engineering Notes   48 ( 4 )   20 - 36   2023.10

A Comparative Evaluation on Melody Generation of Large Language Models Reviewed International journal

Kenta Suzuki, Jinyu Cai, Jialong Li, Takuto Yamauchi, Kenji Tei

IEEE/IEIE 8th International Conference On Consumer Electronics Asia (ICCE-Asia)   1 - 4   2023.10

Incremental Reinforcement Learning with Prioritized Sweeping for Traffic Signal Control Reviewed International journal

Gurseerat Kaur Rattan, Zhenyu Mao, Jialong Li, Mingyue Zhang, Kenji Tei

IEEE the 8th International Conference on Intelligent Transportation Engineering (ICITE2023)   2023.10

Can ChatGPT Obey the Traffic Regulations? Evaluating ChatGPT’s Performance on Driving-license Written Test Reviewed International coauthorship International journal

Shanmin Zhou, Jialong Li, Mingyue Zhang, Daisuke Saito, Hironori Washizaki, Kenji Tei

IEEE the 8th International Conference on Intelligent Transportation Engineering (ICITE2023)   2023.10

Exploring the effects of vibratile takeover request in autonomous driving across various locations Reviewed

Toshihide Ubukata, Qinxin Chen, Jialong Li, Kenji Tei

IEEE/IEIE 8th International Conference On Consumer Electronics Asia (ICCE-Asia)   2023.10

Designing Visual-auditory Attention-guiding Takeover Request for Semi-autonomous Driving Reviewed International journal

Qinxin Chen, Jialong Li, Justin Kazuya Miyoshi, Kenji Tei

13th IEEE International Conference of Consumer Technology in Berlin (ICCE-Berlin)   1 - 6   2023.9

F'Prism: A Tool for Slicing and Visualizing F’ Software Topologies Reviewed International coauthorship International journal

Jialong Li, Christos Tsigkanos, Toshihide Uubukata, Elisa Yumi Nakagawa, Zhenyu Mao, Nianyu Li, Kenji Tei

17th European Conference on Software Architecture (ECSA2023)   2023.9

Demonstration of a Real-world Self-adaptive Robot Path-finding using Discrete Controller Synthesis Reviewed International coauthorship International journal

Jialong Li, Takuto Yamauchi, Nianyu Li, Zhengyin Chen, Mingyue Zhang, Takanori Hirano, Kenji Tei

4th IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS2023)   2023.9

Pre-controller Synthesis for Runtime Controller Synthesis Reviewed International journal

Yuki Arioka, Takuto Yamauchi, Kenji Tei

13th IEEE International Conference on Control Systems, Computing and Engineering (ICCSCE2023)   2023.8

FSCS with Error Sharing based on Alpha Weights for Improving Accuracy of Reconstructed Images Reviewed International journal

Eri Suzuki, Takuto Yamauchi, Kenji Tei

13th IEEE International Conference on Control Systems, Computing and Engineering (ICCSCE2023)   95 - 100   2023.8

Stepwise Comparison for Minimizing Controller Makespan Reviewed International journal

Yuki Shimizu, Takanori Hirano, Takuto Yamauchi, Kenji Tei

13th IEEE International Conference on Control Systems, Computing and Engineering (ICCSCE2023)   2023.8

POEM: Proactive Over-Exercise Monitoring Reviewed International journal

Zhenyu Mao, Jialong Li, Kenji Tei

2023 International Conference on Consumer Electronics - Taiwan (ICCE-Taiwan)   151 - 152   2023.7

Effects of Instructional Vibrotactile Patterns on Takeover Performance in Autonomous Driving Reviewed International journal

Justin Kazuya Miyoshi, Qingxin Chen, Jialong Li, Kenji Tei

IEEE International Conference on Consumer Electronics – Taiwan (ICCE-TW)   377 - 378   2023.7

Value Iteration Networks with Gated Summarization Module Reviewed International coauthorship International journal

Jinyu Cai, Jialong Li, Mingyue Zhang, Kenji Tei

IEEE Access   11   60407 - 60420   2023.6

Similarity-based Shield Adaptation under Dynamic Environment Reviewed International journal

Prasanth Senthilvelan, Jialong Li, Kenji Tei

3rd IEEE International Conference on Software Engineering and Artificial Intelligence (SEAI2023)   2023.6

Preference Adaptation: user satisfaction is all you need! Reviewed International coauthorship International journal

Nianyu Li, Mingyue Zhang, Jialong Li, Eunsuk Kang, Kenji Tei

18th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)   133 - 144   2023.5

段階的な部分合成による離散制御器合成の分析空間削減 Reviewed

山内 拓人, 鄭 顕志

電子情報通信学会論文誌   J106-D ( 04 )   1 - 12   2023.4

Attention-guiding Takeover Requests for Situation Awareness in Semi-autonomous Driving Reviewed International journal

Qingxin Chen, Jialong Li, Kenji Tei

18th ACM/IEEE International Conference on Human-Robot Interaction (HRI)   416 - 421   2023.3

Efficient Difference Analysis of Guaranteeable Requirements for Fault-tolerant Self-adaptation Reviewed

Jialong Li, Kenji Tei

Journal of Information Processing   31   1 - 11   2023.3

Value Iteration Residual Network with Self-Attention Reviewed International journal

Jinyu Cai, Jialong Li, Zhenyu Mao, Kenji Tei

22nd International Conference on Intelligent Systems Design and Applications (ISDA)   16 - 24   2022.12

A Reinforcement Learning Approach for Adaptive Covariance Tuning in Kalman Filter Reviewed International journal

Jiajun Gu, Jialong Li, Kenji Tei

IEEE 5th Advanced Information Management,Communicates,Electronic and Automation Control Conference (IMCEC 2022)   1569 - 1574   2022.12

Goal-oriented Knowledge Reuse via Curriculum Evolution for Reinforcement Learning-based Adaptation Reviewed International coauthorship International journal

Jialong Li, Mingyue Zhang, Zhenyu Mao, Haiyan Zhao, Zhi Jin, Shinichi Honiden, Kenji Tei

29th Asia-Pacific Software Engineering Conference (APSEC 2022)   189 - 198   2022.12

Towards Better Service Personalization: Reinforcement Learning with Guarantee of User Preference Reviewed International journal

Zhenyu Mao, Jialong Li, Kenji Tei

IEEE 20th International Symposium on Intelligent Systems and Informatics (SISY 2022)   391 - 396   2022.9

A formulation of MIP train rescheduling at terminals in bidirectional double-track lines with a moving block and ATO Reviewed International journal

Kosuke Kawazoe, Takuto Yamauchi, Kenji Tei

22nd Symposium on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems (ATMOS)   10:1 - 10:18   2022.9

Multi-Agent Path Finding with Priority Transfer Accompanied with Moving Obstacles Reviewed International journal

Yichen Ding, Jialong Li, Kenji Tei

IEEE 20th International Symposium on Intelligent Systems and Informatics (SISY 2022)   103 - 108   2022.9

Done is better than perfect: Iterative Adaptation via Multi-grained Requirement Relaxation Reviewed International journal

Jialong Li, Kenji Tei

the 30th IEEE International Requirements Engineering (RE'22)   288 - 294   2022.8

From Local to Global: A Curriculum Learning Approach for Reinforcement Learning-based Traffic Signal Control Reviewed International journal

Nianzhao Zheng, Jialong Li, Zhenyu Mao, Kenji Tei

2022 IEEE 2nd International Conference on Software Engineering and Artificial Intelligence (SEAI)   253 - 258   2022.6

Towards scalable model checking of reflective systems via labeled transition systems Reviewed International journal

Kenji Tei, Yasuyuki Tahara, Akihiko Ohsuga

IEEE Transactions on Software Engineering (TSE)   49 ( 3 )   1 - 23   2022.5

Safe Reinforcement Learning through Hierarchical Shielding with Self-Adaptive Techniques Reviewed International journal

Prasanth Senthilvelan, Jialong Li, Kenji Tei

IEEE 9th International Conference on Industrial Engineering and Applications (ICIEA 2022)   1213 - 1224   2022.4

Applying MIP Train Traffic Rescheduling Model with Automatic Train Control to Moving Block Systems Reviewed

川添宏介, 山内拓人, 鄭顕志, 富井規雄, 本位田真一

情報処理学会論文誌ジャーナル(Web)   63 ( 3 )   786 - 807   2022.3

Towards Personalized Autonomous Driving: An Emotion Preference Style Adaptation Framework Reviewed International journal

Jiali Ling, Jialong Li, Kenji Tei, Shinichi Honiden

The 5th IEEE International Conference on Agents (IEEE ICA2021)   47 - 52   2021.12

OACAL: Finding Module-consistent Specifications to Secure Systems from Weakened User Obligations Reviewed International journal

Pengcheng Jiang, Kenji Tei

the 2021 IEEE Symposium Series on Computational Intelligence (SSCI 2021)   1 - 9   2021.12

A Development Method for Safety Node-RED Systems using Discrete Controller Synthesis Reviewed International coauthorship International journal

Takuto Yamauchi, Takanori Hirano, Jialong Li, Takafumi Kawasaki, Yin Chen, Akira Tsuge, Tadashi Okoshi, Jin Nakazawa, Nobukazu Yoshioka, Georgios Palaiokrassas, Antonios Litke, Kenji Tei

The 14th IEEE International Conference on Internet of Things (IEEE iThings-2021)   130 - 137   2021.12

Transfer Learning Method in Reinforcement Learning-based Traffic Signal Control Reviewed International journal

Zhenyu Mao, Jialong Li, Nianzhao Zheng, Kenji Tei, Shinichi Honiden

IEEE 10th Global Conference on Consumer Electronics (GCCE 2021)   304 - 307   2021.10

Blockchain-Based Cooperative Incentive System for Emergency Road Right Transferring Reviewed International journal

Yichen Ding, Jialong Li, Kenji Tei, Shinichi Honiden

IEEE 10th Global Conference on Consumer Electronics (GCCE 2021)   736 - 739   2021.10

A Meta Reinforcement Learning-based Approach for Self-Adaptive System Reviewed International coauthorship International journal

Mingyue Zhang, Jialong Li, Haiyan Zhao, Kenji Tei, Shinichi Honiden, Zhi Jin

2nd IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS2021)   1 - 10   2021.9

Automated Motion Plan Generation for Service Robot by Discrete Controller Synthesis Reviewed

Takara KASAI, Kenji TEI

2021.6

Towards Better Adaptive Systems by Combining MAPE, Control Theory, and Machine Learning Reviewed International coauthorship International journal

Danny Weyns, Bradley Schmerl, Masako Kishida, Alberto Leva, Marin Litoiu, Necmiye Ozay, Colin Paterson, Kenji Tei

16th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS2021)   217 - 223   2021.5

Differential Controller Synthesis at Runtime Using Changed Parts of Environment Model Reviewed International journal

Takanori Hirano, Kenji Tei, Kazuya Aizawa, Shinichi Honiden

IEEE 8th International Conference on Industrial Engineering and Applications (ICIEA 2021)   91 - 100   2021.4

Self-adaptive Hydroponics Care System for Human-hydroponics Coexistence Reviewed

Jialong Li, Zhenyu Mao, Zhen Cao, Kenji Tei, Shinichi Honiden

IEEE 3rd Global Conference on Life Sciences and Technologies (LifeTech2021)   204 - 206   2021.3

A Meta Reinforcement Learning-based Approach for Self-Adaptive System.

Mingyue Zhang, Jialong Li, Haiyan Zhao, Kenji Tei, Shinichi Honiden, Zhi Jin

CoRR   abs/2105.04986   2021

Heterogeneous Information Network based Adaptive Social Influence Learning for recommendation and explanation Reviewed International journal

Munan Li, Kenji Tei, Yoshiaki Fukazawa

The 2020 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology (WI-IAT'20)   137 - 144   2020.12

Method for Low-Cost Environment Partitioning Modeling in Dynamic Update Reviewed International journal

Takuto Yamauchi, Kenji Tei, Shinichi Honiden

IEEE Third International Conference on AI and Knowledge Engineering (AIKE)   183 - 187   2020.12

Method of Applying Df-pn Algorithm to On-the-fly Controller Synthesis Reviewed International journal

Kengo Kuwana, Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden

IEEE Third International Conference on AI and Knowledge Engineering (AIKE)   168 - 173   2020.12

Efficient Difference Analysis Algorithm for Runtime Requirement Degradation under System Functional Fault Reviewed

Jialong Li, Kazuya Aizawa, Kenji Tei, Shinichi Honiden

The 18th IEEE International Conference on Embedded and Ubiquitous Computing (IEEE EUC 2020)   33 - 40   2020.12

Identifying achievable goals for adaptive replanning against runtime environment change Reviewed International journal

Jialong Li, Kenji Tei, Shinichi Honiden

The 20th International Conference on Intelligent Systems Design and Applications (ISDA)   945 - 955   2020.12

Dynamic Update of Discrete Event Controllers Reviewed International coauthorship

L. Nahabedian, V. Braberman, N. DIppolito, S. Honiden, J. Kramer, K. Tei, S. Uchitel

IEEE Transactions on Software Engineering (TSE)   46   1220 - 1240   2020.11

Smart SE: Smart Systems and Services Innovative Professional Education Program Reviewed

Hironori Washizaki, Kenji Tei, Kazunori Ueda, Hayato Yamana, Yoshiaki Fukazawa, Shinichi Honiden, Shoichi Okazaki, Nobukazu Yoshioka, Naoshi Uchihira

The 44th IEEE Computer Society Signature Conference on Computers, Software, and Applications (COMPSAC 2020)   1113 - 1114   2020.7

Adaptive Control Method Considering Dynamic Characteristics of External Environment by using Model Predictive Control and Discrete Controller Synthesis Reviewed

安曽徳康, 小川雅俊, 松塚貴英, 鄭顕志

情報処理学会シンポジウムシリーズ(CD-ROM)   2020 ( 1 )   2020.6

Towards Bridging the Gap between Control and Self-Adaptive System Properties Reviewed

Javier Cámara, Alessandro Vittorio Papadopoulos, Thomas Vogel, Danny Weyns, David Garlan, Shihong Huang, Kenji Tei

15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS2020)   78 - 84   2020.5

違反状態抽象化による保証可能な安全性特定のための分析空間削減 Reviewed

相澤和也, 鄭 顕志, 本位田 真一

電子情報通信学会論文誌 D   J103-D ( 4 )   238 - 246   2020.4

A game analysis algorithm for identifying safety properties guaranteeable while satisfying a liveness property Reviewed

Kazuya Aizawa, Kenji Tei, Shinichi Honiden

61 ( 4 )   853 - 862   2020.4

An Efficient Adaptive Attention Neural Network for Social Recommendation Reviewed

Munan Li, Kenji Tei, Yoshiaki Fukazawa

IEEE Access   8   63595 - 63606   2020

Minimising Makespan of Discrete Controllers: A Qualitative Approach Reviewed

Ezequiel Castellano, Victor Braberman, Nicolas D'Ippolito, Sebastian Uchitel, Kenji Tei

2019 IEEE 58th Conference on Decision and Control (CDC)   1068 - 1075   2019.12

An efficient co-Attention Neural Network for Social Recommendation Reviewed

Munan Li, Kenji Tei, Yoshiaki Fukazawa

IEEE/WIC/ACM International Conference on Web Intelligence (WI'19)   34 - 42   2019.10

Updating Environment Model at Runtime for Self-adaptive System Reviewed

Moeka Tanabe, Kenji Tei, Shinichi Honiden

IPSJ Journal   60 ( 10 )   1617 - 1630   2019.10

Analysis space reduction with state merging for ensuring safety properties of self-adaptive systems Reviewed

Kazuya Aizawa, Kenji Tei, Shinichi Honiden

The 16th IEEE International Conference on Advanced and Trusted Computing (ATC 2019)   1363 - 1370   2019.8

Message from the Chairs of SEAMS 2019

Marin Litoiu, Siobhán Clarke, Kenji Tei

ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems   2019-   XI - XII   2019.5

A Runtime Monitoring Framework to Enforce Invariants on Reinforcement Learning Agents Exploring Complex Environments Reviewed

Piergiuseppe Mallozzi, Ezequiel Gustavo Castellano, Patrizio Pelliccione, Gerardo Schneider, Kenji Tei

2nd International Workshop on Robotics Software Engineering (RoSE 2019)   5 - 12   2019.5

Modelling and Analysing Resilient Cyber-Physical Systems Reviewed

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, Heinz Schmidt, Christos Tsigkanos, Haiyan Zhao

the 14th Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS2019)   70 - 76   2019.5

環境変化時に保証可能な安全性を特定するためのゲーム分析アルゴリズム Reviewed

相澤和也, 鄭顕志, 本位田真一

情報処理学会論文誌   60 ( 4 )   1025 - 1039   2019.4

Introduction to icse 2018

Nobukazu Yoshioka, Ubayashi, Fuyuki Ishikawa, Kenji Tei, Hironori Washizaki

Computer Software   36 ( 1 )   66 - 73   2019

Identifying safety properties guaranteed in changed environment at runtime Reviewed

Kazuya Aizawa, Kenji Tei, Shinichi Honiden

the 3rd IEEE International Conference on Agents (ICA 2018)   75 - 80   2018.9

Applicability of earned value management for deadline energy constrained applications Reviewed

S. Suenaga, K. Tei, S. Honiden

IEEE International Conference on Industrial Engineering and Engineering Management   2017-   691 - 695   2018.2

Soft-Goal Approximation Context Awareness of Goal-Driven Self-Adaptive Systems Reviewed

Aurelien Vialon, Kenji Tei, Samir Aknine

Proceedings - 2017 IEEE International Conference on Autonomic Computing, ICAC 2017   233 - 238   2017.8

Learning environment model at runtime for self-adaptive systems Reviewed

Moeka Tanabe, Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden

Proceedings of the ACM Symposium on Applied Computing   128005   1198 - 1204   2017.4

A comparative analysis of machine learning algorithms for faults detection in wireless sensor networks Reviewed

Ehsan Ullah Warriach, Kenji Tei

INTERNATIONAL JOURNAL OF SENSOR NETWORKS   24 ( 1 )   1 - 13   2017

Learning Environment Model at Runtime for Self-Adaptive Systems Reviewed

Moeka Tanabe, Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden

合同エージェントワークショップ＆シンポジウム2016 (JAWS2016)   1 - 8   2016.9

Generating Specification for Automated Warehouse System by Hieratical Discrete Controller Synthesis Reviewed

Masaki Katae, Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden

合同エージェントワークショップ＆シンポジウム2016 (JAWS2016)   1 - 8   2016.9

Involving End-Users in Web-Based System Development with INTER-Mediator Reviewed

Masayuki Nii, Kenji Tei, Fuyuki Ishikawa

Transactions on Engineering Technologies   79 - 93   2016.3

Relaxing Requirements with Environment Changes for Graceful Degradation Reviewed

Kazuya Aizawa, Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden

5th Asian Workshop of Advanced Software Engineering   2016.3

Benchmark Datasets for Fault Detection and Classification in Sensor Data Reviewed

Bas de Bruijn, Tuan Anh Nguyen, Doina Bucur, Kenji Tei

5th International Conference on Sensor Networks (SENSORNETS 2016)   185 - 195   2016.2

Assured and Correct Dynamic Update of Controllers Reviewed

L. Nahabedian, V. Braberman, N. D'Ippolito, S. Honiden, J. Kramer, K. Tei, S. Uchitel

PROCEEDINGS OF 2016 IEEE/ACM 11TH INTERNATIONAL SYMPOSIUM ON SOFTWARE ENGINEERING FOR ADAPTIVE AND SELF-MANAGING SYSTEMS (SEAMS)   96 - 107   2016

Mesh-based Combination and Expansion Type Cache Management Method for Spatio-Temporal Data Reviewed

Hideaki Hirayama, Kenji Tei, Yuichi Sei, Akihiko Ohsuga

1276 - 1283   2015.7

Earned Value Management Based Adaptation Framework for Deadline Budget Constrained Applications Reviewed

Shunichiro Suenaga, Kenji Tei

56 ( 5 )   1363 - 1376   2015.5

Model-driven-development-based stepwise software development process for wireless sensor networks Reviewed

Kenji Tei, Ryo Shimizu, Yoshiaki Fukazawa, Shinichi Honiden

IEEE Transactions on Systems, Man, and Cybernetics: Systems   45 ( 4 )   675 - 687   2015.4

Model-Driven-Development-Based Stepwise Software Development Process for Wireless Sensor Networks Reviewed

Kenji Tei, Ryo Shimizu, Yoshiaki Fukazawa, Shinichi Honiden

IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS   45 ( 4 )   675 - 687   2015.4

Framework Enabling End-Users to Maintain Web Applications Reviewed

Masayuki Nii, Kenji Tei, Fuyuki Ishikawa

IAENG International Conference on Internet Computing and Web Services (ICICWS'15)   387 - 394   2015.3

A Self-healing Framework for Online Sensor Data Reviewed

Tuan Anh Nguyen, Marco Aiello, Takuro Yonezawa, Kenji Tei

2015 IEEE INTERNATIONAL CONFERENCE ON AUTONOMIC COMPUTING   295 - 300   2015

Supporting Model Transformation Developments with Multi-Level Models: A Wireless Sensor Network Case Reviewed

Ryo Shimizu, Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden

the 11th International Conference Applied Computing 2014 (AC 2014)   2014.10

Data Quality-Centric Development Process in Wireless Sensor Network Reviewed

Ryo Shimizu, Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden

The IEICE transactions on information and systems (Japanese edition)   J97-D ( 3 )   473 - 487   2014.3

Web Application Framework to Realize the Maintenance by End-Users Reviewed

31 ( 1 )   60 - 74   2014.2

自己適応ソフトウェアのための自己適応性設計に関する研究動向 Reviewed

鄭 顕志, 清水 遼, 高橋 竜一, 石川 冬樹

コンピュータソフトウェア   31 ( 1 )   49 - 59   2014.2

HoppingDuster: Self-adaptive cleaning robot based on aerial vehicle Reviewed

Kenji Tei, Shunichiro Suenaga, Shun Lee, Kazuya Aizawa, Ryuichi Takahashi, Yoshiaki Fukazawa

UbiComp 2014 - Adjunct Proceedings of the 2014 ACM International Joint Conference on Pervasive and Ubiquitous Computing   271 - 274   2014

ClouT : Cloud of Things for Empowering the Citizen Clout in Smart Cities Reviewed

Kenji Tei, Levent Guergen

2014 IEEE WORLD FORUM ON INTERNET OF THINGS (WF-IOT)   369 - +   2014

Project Management Inspired Framework for Action Selection in Wireless Sensor Networks Reviewed

Shunichiro Suenaga, Kenji Tei

2014 IEEE ASIA PACIFIC CONFERENCE ON WIRELESS AND MOBILE   54 - 59   2014

Toward A Portability Framework with Multi-Level Models for Wireless Sensor Network Software Reviewed

Ryo Shimizu, Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden

2014 INTERNATIONAL CONFERENCE ON SMART COMPUTING (SMARTCOMP)   253 - 260   2014

A Decentralized Scheme for Fault Detection and Classification in WSNs Reviewed

Tuan Anh Nguyen, Marco Aiello, Kenji Tei

the 1st International Conference on Cyber-Physical Systems, Networks, and Applications, WIP session   1 - 4   2013.8

Faults in Sensory Readings: Classification and Model Learning Reviewed

Valentina Baljak, Tei Kenji, Shinichi Honiden

Sensors & Transducers Journal   18   177 - 187   2013.1

Fault detection in wireless sensor networks: A machine learning approach Reviewed

Ehsan Ullah Warriach, Kenji Tei

Proceedings - 16th IEEE International Conference on Computational Science and Engineering, CSE 2013   758 - 765   2013

Fault Classification and Model Learning from Sensory Readings - Framework for Fault Tolerance in Wireless Sensor Networks Reviewed

Valentina Baljak, Kenji Tei, Shinichi Honiden

2013 IEEE EIGHTH INTERNATIONAL CONFERENCE ON INTELLIGENT SENSORS, SENSOR NETWORKS AND INFORMATION PROCESSING   408 - 413   2013

Intention-based automated composition approach for coordination protocol Reviewed

Ryuichi Takahashi, Fuyuki Ishikawa, Kenji Tei, Yoshiaki Fukazawa

Proceedings - IEEE 20th International Conference on Web Services, ICWS 2013   260 - 267   2013

Applying time series analysis and neighbourhood voting in a decentralised approach for fault detection and classification in WSNs Reviewed

Tuan Anh Nguyen, Doina Bucur, Marco Aiello, Kenji Tei

ACM International Conference Proceeding Series   234 - 241   2013

Classification of Faults in Sensor Readings with Statistical Pattern Recognition Reviewed

Valentina Baljak, Kenji Tei, Shinichi Honiden

The Sixth International Conference on Sensor Technologies and Applications (SENSORCOMM 2012)   270 - 276   2012.8

Meta-Models for Wireless Sensor Network Applications: Data, Group, and Node Views

Ryo Shimizu, Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden

GRACE Technical Report   GRACE-TR-2012-01   1 - 9   2012.2

Poster Abstract: Fault Detection in Wireless Sensor Networks: A Hybrid Approach Reviewed

Ehsan Warriach, Tuan Anh Nguyen, Marco Aiello, Kenji Tel

IPSN'12: PROCEEDINGS OF THE 11TH INTERNATIONAL CONFERENCE ON INFORMATION PROCESSING IN SENSOR NETWORKS   87 - 88   2012

A Hybrid Fault Detection Approach for Context-aware Wireless Sensor Networks Reviewed

Ehsan Ullah Warriach, Tuan Anh Nguyen, Marco Aiello, Kenji Tei

9TH IEEE INTERNATIONAL CONFERENCE ON MOBILE AD-HOC AND SENSOR SYSTEMS (MASS 2012)   281 - 289   2012

A Machine Learning Approach for Identifying and Classifying Faults in Wireless Sensor Networks Reviewed

Ehsan Ullah Warriach, Marco Aiello, Kenji Tei

15TH IEEE INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE AND ENGINEERING (CSE 2012) / 10TH IEEE/IFIP INTERNATIONAL CONFERENCE ON EMBEDDED AND UBIQUITOUS COMPUTING (EUC 2012)   618 - 625   2012

S-CLAIM: An Agent-based Programming Language for AmI, A Smart-Room Case Study Reviewed

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

ANT 2012 AND MOBIWIS 2012   10   30 - 37   2012

Case studies on the development of wireless sensor network applications using multiple abstraction levels Reviewed

Ryo Shimizu, Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden

2012 3rd International Workshop on Software Engineering for Sensor Network Applications, SESENA 2012 - Proceedings   22 - 28   2012

A Configurable Sensor Model for Target Tracking in Wireless Sensor Networks Reviewed

Kenji Tei, Hikotoshi Nakazato, Yoshiaki Fukazawa, Shinichi Honiden

The IEICE transactions on communications B   J94-B ( 10 )   1351 - 1362   2011.10

Autonomic role and mission allocation framework for wireless sensor networks Reviewed

Themistoklis Bourdenas, Kenji Tei, Shinichi Honiden, Morris Sloman

Proceedings - 2011 5th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2011   61 - 70   2011

Model driven development for rapid prototyping and optimization of wireless sensor network applications Reviewed

Ryo Shimizu, Kenji Tei, Yoshiaki Fukazawa, Shinichi Shinichi

Proceedings - International Conference on Software Engineering   31 - 36   2011

無線センサネットワークの為のモデル駆動開発に向けたDSL非依存モデルの提案 Reviewed

清水 遼, 鄭 顕志, 深澤 良彰, 本位田 真一

マルチメディア，分散，協調とモバイル(DICOMO2010)シンポジウム   2010.7

組合せによる条件付き品質を考慮したWebサービス選択の高速化手法 Reviewed

渡辺 敦, 片渕 聡, 高橋 竜一, 鄭 顕志, 石川 冬樹, 深澤 良彰, 本位田 真一

マルチメディア，分散，協調とモバイル(DICOMO2010)シンポジウム   2010.7

イベント駆動型Webサービス検索のためのイベントマッチング Reviewed

片渕 聡, 鄭 顕志, 高橋 竜一, 深澤 良彰, 石川 冬樹, 本位田 真一

人工知能学会全国大会（第24回）(JSAI2010)   2010.6

N-ary Sensor Model for Target Tracking in Wireless Sensor Networks Reviewed

Kenji Tei, Hikotoshi Nakazato, Yoshiaki Fukazawa, Shinichi Honiden

In Proceedings of the First International Workshop on Energy Aware Design and Analysis of Cyber Physical Systems (WEA-CPS’10), in conjunction with CPSWEEK   2010.4

サービス設計における付随機能の考慮によるQoSの向上 Reviewed

高橋 竜一, 鄭 顕志, 石川 冬樹, 本位田 真一, 深澤 良彰

ウィンターワークショップ2010・イン・倉敷   2010.1

組み合わせQoSを考慮した自動サービス合成に関する研究 Reviewed

渡辺敦, 片渕聡, 高橋竜一, 鄭顕志, 石川冬樹, 深澤良彰, 本位田真一

ウィンターワークショップ2010・イン・倉敷   2010.1

Notification型Webサービス特有のQoSによるサービス選択に向けてのアプローチ Reviewed

片渕 聡, 鄭 顕志, 高橋 竜一, 石川 冬樹, 深澤 良彰, 本位田 真一

ウィンターワークショップ2010・イン・倉敷   2010.1

Coordination Protocol Composition Approach Using Metadata in Multi-agent Systems Reviewed

TAKAHASHI Ryuichi, TEI Kenji, ISHIKAWA Fuyuki, HONIDEN Shinichi, FUKAZAWA Yoshiaki

The IEICE transactions on information and systems   J92-D ( 11 )   1827 - 1839   2009.11

サービス合成における メタデータを用いた協調プロトコル合成手法 Reviewed

高橋 竜一, 鄭 顕志, 石川 冬樹, 本位田 真一, 深澤 良彰

電子情報通信学会情報・システムソサエティサービスコンピューティング時限専門委員会第1回研究会   2009.7

無線センサネットワークにおけるアプリケーション配置を考慮した生存時間延長 Reviewed

鳥海晋, 清雄一, 末永俊一郎, 鄭顕志, 本位田真一

マルチメディア,分散,協調とモバイルシンポジウム (DICOMO2009)   2009.7

Webサービス 検索のための操作カテゴリ分類手法の提案 Reviewed

片渕 聡, 鄭 顕志, 高橋 竜一, 石川 冬樹, 深澤 良彰, 本位田 真一

電子情報通信 学会情報・システムソサエティサービスコンピューティング時限専門委員会第1回研究会   2009.7

An Efficient Node Selection Metric for In-network Process Deployment Reviewed

Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden

The Fourth International Wireless Internet Conference (WICON 2008), November 17-19   1 - 8   2008.11

無線センサネットワークにおける計測記述言語のための規範モデル導出手法の構築 Reviewed

鄭顕志, 深澤良彰, 本位田真一

第15回ソフトウェア工学の基礎ワークショップ(FOSE2008)   69 - 75   2008.11

協調プロトコル合成における制御構造付与のためのハイレベルオペレーション Reviewed

高橋竜一, 鄭顕志, 石川冬樹, 深澤良彰, 本位田真一

合同エージェントワークショップ＆シンポジウム2008 (JAWS-2008)   2008.10

A Survey of Ubiquitous Computing Middlewares for Adaptable Agents Invited Reviewed

TEI Kenji, ISHIKAWA Fuyuki, YOSHIOKA Nobukazu, FUKAZAWA Yoshiaki, HONIDEN Shinichi, Kenji Tei, Fuyuki Ishikawa, Nobukazu Yoshioka, Yoshiaki Fukazawa, Shinichi Honiden, Waseda University:National Institute of Informatics, National Institute of Informatics:the University of Tokyo

25 ( 4 )   11 - 19   2008.10

ユビキタスコンピューティングにおけるアプリケーション開発手法に関する研究動向 Reviewed

鄭顕志, 中川博之, 川俣洋次郎, 吉岡信和, 深澤良彰, 本位田真一

コンピュータソフトウェア   25 ( 4 )   121 - 132   2008.10

通信コストと計測精度を考慮したトラッキングのためのセンサモデルの提案 Reviewed

中里彦俊, 中村善行, 鄭顕志, 深澤良彰, 本位田真一

マルチメディア, 分散, 協調とモバイルシンポジウム(DICOMO2008)   2008.7

無線センサネットワークにおける省資源性を考慮したセンサセレクション手法 Reviewed

中村善行, 鄭顕志, 深澤良彰, 本位田真一

マルチメディア, 分散, 協調とモバイルシンポジウム(DICOMO2008)   2008.7

効率の良いネットワーク内処理のための配置ノード選択指標の提案 Reviewed

鄭顕志, 深澤良彰, 本位田真一

情報処理学会論文誌   49 ( 6 )   1872 - 1884   2008.6

A Flexible Protocol Composition for Multi-party Coordination Protocols in Multi-agent Systems Reviewed

Ryuichi Takahashi, Kenji Tei, Yoshiaki Fukazawa, Fuyuki Ishikawa, Shinichi Honiden

2008 IEEE INTERNATIONAL CONFERENCE ON PERVASIVE COMPUTING AND COMMUNICATIONS   609 - +   2008

Region-based sensor selection for wireless sensor networks Reviewed

Yoshiyuki Nakamura, Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden

Proceedings - IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing   326 - 331   2008

Coordination Protocol Composition Approach Using Metadata in Multi-agent Systems Reviewed

Ryuichi Takahashi, Kenji Tei, Yoshiaki Fukazawa, Fuyuki Ishikawa, Shinichi Honiden

EDOC 2008: 12TH IEEE INTERNATIONAL ENTERPRISE DISTRIBUTED OBJECT COMPUTING, PROCEEDINGS   372 - +   2008

マルチエージェントシステムにおける柔軟なプロトコル合成言語 Reviewed

高橋竜一, 鄭顕志, 石川冬樹, 深澤良彰, 本位田真一

合同エージェントワークショップ＆シンポジウム2007 (JAWS2007)   2007.10

ユビキタスコンピューティングにおけるアプリケーション開発手法に関する研究動向 Reviewed

鄭顕志, 中川博之, 川俣洋次郎, 吉岡信和, 深澤良彰, 本位田真一

合同エージェントワークショップ＆シンポジウム2007 (JAWS2007)   2007.10

Real-time POI detection and rating using floating car data

Osamu Masutani, Hirotoshi Iwasaki, Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden

14th World Congress on Intelligent Transport Systems   2007.10

ユビキタスコンピューティングにおけるコンテキストのモデル化，管理に関する研究動向 Reviewed

中村善行, 清家良太, 鄭顕志, 吉岡信和, 深澤良彰, 本位田真一

合同エージェントワークショップ＆シンポジウム2007 (JAWS2007)   2007.10

無線センサーネットワークにおける計測処理記述のためのデザインパターンの抽出と適用 Reviewed

鄭顕志, 深澤良彰, 本位田真一

マルチメディア,分散,協調とモバイルシンポジウム (DICOMO2007)   506 - 515   2007.7

MANETにおけるコスト基準経路探索プロトコルへのコスト基準拡張リング探索の適用 Reviewed

河村美嗣, 鄭顕志, 深澤良彰, 本位田真一

マルチメディア,分散,協調とモバイルシンポジウム (DICOMO2007)   238 - 244   2007.7

KAOSによる無線センサーネットワークのための計測処理中間モデルの導出 Reviewed

鄭顕志, 深澤良彰, 本位田真一

マルチメディア,分散,協調とモバイルシンポジウム (DICOMO2007)   1168 - 1179   2007.7

Introducing auction scheme to route allocation to prolong the lifetime of ad-hoc networks Reviewed

Kenji Tei, Hiromi Muto, Yoshiaki Fukazawa, Shinichi Honiden

CIMCA 2006: International Conference on Computational Intelligence for Modelling, Control and Automation, Jointly with IAWTIC 2006: International Conference on Intelligent Agents Web Technologies ...   2007

A sensor middleware for lightweight relocatable sensing programs Reviewed

Makoto Ishiguro, Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden

CIMCA 2006: International Conference on Computational Intelligence for Modelling, Control and Automation, Jointly with IAWTIC 2006: International Conference on Intelligent Agents Web Technologies ...   2007

Applying design patterns to wireless sensor network programming Reviewed

Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden

PROCEEDINGS - 16TH INTERNATIONAL CONFERENCE ON COMPUTER COMMUNICATIONS AND NETWORKS, VOLS 1-3   1099 - +   2007

Energy Efficient Location-Specific Data Retrieval in Mobile Ad-Hoc Networks Reviewed

TEI Kenji, FUKAZAWA Yoshiaki, HONIDEN Shinichi

The IEICE transactions on information and systems   89 ( 12 )   2625 - 2636   2006.12

コンテンツ流通エージェントのための強化学習メカニズム Reviewed

片岡慧, 吉岡信和, 石川冬樹, 鄭顕志, 本位田真一

合同エージェントワークショップ＆シンポジウム2006 (JAWS2006)   2006.10

無線センサーネットワークミドルウェアの研究動向とエージェント技術の適用可能性 Reviewed

鄭顕志, 深澤良彰, 本位田真一

合同エージェントワークショップ＆シンポジウム2006 (JAWS2006)   2006.10

センサーの資源制約を考慮したセンシングプログラムの退避行動手法の提案 Reviewed

石黒真, 鄭顕志, 深澤良彰, 本位田真一

合同エージェントワークショップ＆シンポジウム2006 (JAWS2006)   2006.10

センシングプログラムの軽量な退避行動を実現するセンサーミドルウェア開発 Reviewed

石黒真, 鄭顕志, 深澤良彰, 本位田真一

マルチメディア,分散,協調とモバイルシンポジウム (DICOMO2006)   797 - 800   2006.7

MANETにおける送信遅延と電力消費を考慮したルーティングプロトコルの提案 Reviewed

河村美嗣, 鄭顕志, 深澤良彰, 本位田真一

マルチメディア,分散,協調とモバイルシンポジウム (DICOMO2006)   265 - 268   2006.7

MANETにおける情報収集プログラム再配備手法の提案と評価 Reviewed

鄭顕志, 深澤良彰, 本位田真一

マルチメディア,分散,協調とモバイルシンポジウム (DICOMO2006)   133 - 136   2006.7

Adaptive geographically bound mobile agents Reviewed

K. Tei, Ch. Sommer, Y. Fukazawa, S. Honiden, P. -L. Garoche

MOBILE AD-HOC AND SENSOR NETWORKS, PROCEEDINGS   4325   353 - +   2006

アドホックネットワークのルーティングへの市場原理の適用 Reviewed

武藤 宏美, 鄭 顕志, 深澤 良彰, 本位田 真一

合同エージェントワークショップ＆シンポジウム2005 (JAWS2005)   227 - 233   2005.11

位置に束縛されたモバイルエージェントによる位置依存情報の収集 Reviewed

鄭 顕志, 深澤 良彰, 本位田 真一

合同エージェントワークショップ＆シンポジウム2005 (JAWS2005)   421 - 428   2005.11

A Flexible Wireless Sensor Network for Deploying Multiple Services

ISHIGURO Makoto, TEI Kenji, FUKAZAWA Yoshiaki, HONIDEN Shinichi

IPSJ SIG technical reports   2005 ( 113 )   121 - 128   2005.11

Using mobile agent for location-specific data retrieval in MANET Reviewed

K Tei, N Yoshioka, Y Fukazawa, S Honiden

INTELLIGENCE IN COMMUNICATION SYSTEMS   190   157 - 168   2005

Geographically bound mobile agent in MANET Reviewed

K Tei, N Yoshioka, Y Fukazawa, S Honiden

PROCEEDINGS OF MOBIQUITOUS 2005   516 - 518   2005

Using mobile agent for locationspecific data retrieval in MANET

Kenji Tei, Nobukazu Yoshioka, Yoshiaki Fukazawa, Shinichi Honiden

IFIP Advances in Information and Communication Technology   190   157 - 168   2005

P2Pグリッドにおけるモバイルエージェントを用いた生存性の高いサービスの構築 Reviewed

鄭 顕志, 吉岡 信和, 深澤 良彰, 本位田 真一

第11回 ソフトウェア工学の基礎ワークショップ (FOSE2004)   49 - 60   2004.12

P2P グリッドにおけるサービスの効率的障害退避 Reviewed

鄭 顕志, 吉岡 信和, 深澤 良彰, 本位田 真一

合同エージェントワークショップ＆シンポジウム2004 (JAWS2004)   197 - 204   2004.10

ホットスポットにおけるリソースレンタルシステムの提案と評価 Reviewed

武藤宏美, 鄭顕志, 田原康之, 深澤良彰, 本位田真一

合同エージェントワークショップ＆シンポジウム(JAWS2004)   27 - 34   2004.10

モバイルエージェントを用いた小規模Grid構築 Reviewed

鄭 顕志, 吉岡 信和, 本位田 真一, 深澤 良彰

合同エージェントワークショップ&シンポジウム (JAWS2003)   25 - 32   2003.10

ＰＣクラスタ対応マルチエージェントフレームワーク Reviewed

吉岡信和, 鄭顕志, 深澤良彰, 本位田真一

合同エージェントワークショップ＆シンポジウム(JAWS2002)   119 - 130   2002.11

PCクラスタに対応したマルチエージェントシステムの提案 Invited Reviewed

吉岡信和, 鄭顕志, 深澤良彰, 本位田真一

エージェント合同シンポジウム (JAWS 2002)論文集   353 - 363   2002.3

Shared Wireless Sensor Networks as Enablers for a Context Management System in Smart Cities Reviewed

Kenji Tei

Enablers for Smart Cities   1 - 21   2016.7

Qualitative Analysis for Multiple Adaptation Loops

Kenji Tei, Ryuichi Takahashi, Nicolas D’Ippolito Hiroyuki Nakagawa, Shinichi Honiden

GRACE Technical Report   1 - 29   2015.6

Study about Mashup of the Services which are Provided by IoT Systems Built Individually

IPSJ SIG Notes   2015 ( 37 )   1 - 6   2015.2

A state space exploration technique for verifying concurrent programs in Scala

2014   54 - 59   2014.8

EASSy2013参加報告 Invited Reviewed

石川 冬樹, 日高 宗一郎, 鄭 顕志

日本ソフトウェア科学会論文誌コンピュータソフトウェア   2014.5

Model-Based Software Development Invited Reviewed

Kenji Tei

Systems, Control and Information   56 ( 7 )   389 - 390   2012.7

XAC project: Towards a middleware for open wireless sensor networks Reviewed

Kenji Tei, Shunichiro Suenaga, Yoshiyuki Nakamura, Yuichi Sei, Hikotoshi Nakazato, Yoichi Kaneki, Nobukazu Yoshioka, Yoshiaki Fukazawa, Shinichi Honiden

Designing Solutions-Based Ubiquitous and Pervasive Computing: New Issues and Trends   214 - 231   2010

鉄道制御システムに特化した離散制御器合成における状態削減モデリング手法

桑名 賢吾, 鄭 顕志, 半田 隆信, 柳井 法貴, 西面 敦義, 深澤 良彰, 本位田 真一

マルチメディア、分散、協調とモバイル(DICOMO2019)シンポジウム 

Dynamic Updating Controller自動生成のための環境モデル構築における関心事分離手法

山内 拓人, 鄭 顕志, 鷲崎 弘宜, 本位田 真一

マルチメディア、分散、協調とモバイル(DICOMO2019)シンポジウム 

エッジクラスタを用いたレイテンシに敏感なFunction-as-a-Serviceにおける過負荷時の応答時間について公平なリソース割当

池田 匠, 山内 拓人, 鈴木 絵理, 鄭 顕志

マルチメディア、分散、協調とモバイル (DICOMO 2023) シンポジウム  2023.7 

SVN分析を用いたエコシステム再構築時におけるステークホルダー変更の影響特定

丹羽 南, 山田 勉, 鄭 顕志

第168回情報システムと社会環境研究会  2024.6 

ソーシャルメディア規制回避に向けた言語適応の動態分析：LLMベースのマルチエージェントシミュレーションによる検証

蔡 金雨, 李 家隆, 鄭 顕志

21st IEEE Transdisciplinary-Oriented Workshop for Emerging Researchers(IEEE TOWERS)  2024.11 

クラウドネイティブアプリケーションにおける再利用可能な自己適応型 Intrusion Recovery

池田 匠, 山内 拓人, 鄭 顕志

知能ソフトウェア工学研究会（SIG-KBSE）  2024.3 

離散制御器合成における優先度を用いた on-the-fly 探索

竹内 宙幹, 山内 拓人, 鄭 顕志

知能ソフトウェア工学研究会（SIG-KBSE）  2024.3 

段階的離散制御器合成における Stepwise Policy 設計の自動化

山内 拓人, 鄭 顕志, 本位田 真一

知能ソフトウェア工学研究会（SIG-KBSE）  2024.3 

知能ソフトウェア工学研究会（SIG-KBSE）

On-the-fly 探索を用いた動的更新制御器合成

知能ソフトウェア工学研究会（SIG-KBSE）  2024.3 

Auto Interest Balancing: 共同購入推薦における発案者の影響力に基づく役割係数自動調整

竹内 宙幹, 山内 拓人, 鄭 顕志

マルチメディア、分散、協調とモバイル (DICOMO 2023) シンポジウム  2023.7 

パーソナライズされたシールディングを用いた自動運転における知覚安全性向上のためのアプローチ

阿部 凌太郎, 李 家隆, 蔡 金雨, 本位田 真一, 鄭 顕志

知能ソフトウェア工学研究会 (KBSE)  2024.3 

LLMを用いた適応ルールの自動最適化

石水 優成, 李 家隆, 鄭 顕志

21st IEEE Transdisciplinary-Oriented Workshop for Emerging Researchers(IEEE TOWERS)  2024.11 

色覚異常者のためのLLMを使用したARにおける文字サポート

森田 尚吾, 李 家隆, 鄭 顕志

21st IEEE Transdisciplinary-Oriented Workshop for Emerging Researchers(IEEE TOWERS)  2024.11 

離散制御器による経路探索ロボットの開発

李 家隆, 鄭 顕志

21st IEEE Transdisciplinary-Oriented Workshop for Emerging Researchers(IEEE TOWERS)  2024.11 

Pre-Marking DirectionによるDirected Controller Synthesisの探索効率化

大畑 允人, 山内 拓人, 平野 貴規, 鄭 顕志

人工知能学会全国大会(第39回)  2025.3 

ニュース映像における縦動画への自動変換ツール

水門 菜花, 山内 拓人, 鄭 顕志

2022年度 人工知能学会全国大会(第36回)  2022.6 

An experience riding the IoT wave Invited International conference

Kenji Tei

IEEE 8th World Forum on Internet of Things (WF-IoT2022), Young Professional Forum  2022.11 

ドメイン依存性の低い画像分類モデルを活用したゼロショットインスタンスセグメンテーション手法

及川 雅哉, 山内 拓人, 鄭 顕志

2022年度 人工知能学会全国大会(第36回)  2022.6 

離散制御器合成における計算空間爆発抑制のための段階的なLTSの最小化

山口 友輝, 山内 拓人, 平野 貴規, 鄭 顕志

電子情報通信学会 知能ソフトウェア工学研究会 (KBSE)  2025.11 

高効率な制御器の合成における計算空間削減を目的としたOn-the-fly直接合成手法

都竹 佑季, 山内 拓人, 平野 貴規, 鄭 顕志

電子情報通信学会 知能ソフトウェア工学研究会 (KBSE)  2025.11 

LLMを用いた離散制御機合成のための制御問題の自動修正 International conference

石水 優成, 李 家隆, 鄭 顕志

22nd IEEE Transdisciplinary-Oriented Workshop for Emerging Researchers (IEEE TOWERS)  2025.11 

Toward Robust Federated Learning via Runtime Adaptation of Aggregation International conference

Chenyu Hu, Jialong Li, Kenji Tei

22nd IEEE Transdisciplinary-Oriented Workshop for Emerging Researchers (IEEE TOWERS)  2025.11 

Assured Graceful Degradation by Models@run.time International conference

Kenji Tei

Third International Workshop on Software Engineering for Cyber-Physical-Social Systems 2018 in Hakone (CPSS-2018-Hakone)  2018.12 

スーパーアーキテクト育成の方法論と実践 Invited

鄭顕志

JISA ITアーキテクトコミュニティイベント  2019.4  一般社団法人 情報サービス産業協会

Assured Runtime Graceful Degradation by Models@run.time International conference

Kenji Tei

OU-NII-Lero-Khalifa-LYON1 Workshop on Software Engineering for Cyber-Physical-Social Systems CPSS 2018  2018.8 

Assured Graceful Degradation by Models@run.time International conference

Kenji Tei

the 7th Asian-Pacific Workshop of Advanced Software Engineering (AWASE2018)  2018.10 

Qualitative Analysis for Adaptation Strategies Invited International conference

Kenji Tei

No.77 NII Shonan Meeting on Controlled Adaptation of Self-adaptive Systems (CASaS)  2016.4 

ClouT/BigClouT Project Invited International conference

Kenji Tei, ClouT/BigClouT Consortium

10th International Symposium on Intelligent Distributed Computing (IDC2016)  2016.10 

TopSE : Intellectual Manufacturing Education Program based on Science International conference

Kenji Tei

World Engineering Conference and Convention 2015 (WECC2015)  2015.12 

Assured Graceful Degradation with Discrete Controller Synthesis International conference

Kenji Tei

5th Asian Workshop on Advanced Software Engineering (AWASE2016)  2016.3 

Learning Environment Model at Runtime for Self-adaptive Systems International conference

Kenji Tei

OU-NII-Khalifa Workshop on SE for Cyber-Physical-Social Systems (CPSS2017)  2017.4 

Assured and Correct Dynamic Update of Controllers Invited International conference

Kenji Tei with Leandro Nahabedian, Victor Braberman, Nicolas D’Ippolito, Shinichi Honiden, Jeff Kramer, Sebastian Uchitel

Workshop on Formal and Model-Driven Techniques for Developing Trustworthy Systems (FM&MDD)  2016.11 

IoT時代のソフトウェアシステムのための最新モデリング・検証技術 Invited

鄭 顕志

Embeded Technology (ET) 2016  2016.11  JASA

Models@Run.Time for Self-adaptive Reactive Systems International conference

Kenji Tei

Joint SMA/LIP6-NII WorkShop on Multi-Agent and Distributed Systems  2018.1 

IoT時代のソフトウェアシステムのための実行時モデリング技術 -機械学習と制御理論を応用したシステムの自動更新- Invited

鄭 顕志

2017年度 情報処理学会東海支部 講演会  2018.1  情報処理学会東海支部

Learning Environment Model at Runtime for Self-Adaptive Systems International conference

Kenji Tei

6th Asian Workshop of Advanced Software Engineering (AWASE2017)  2017.5 

Qualitative Analysis for Adaptation Strategies International conference

Kenji Tei

No.110 The 2nd Controlled Adaptation of Self-adaptive Systems (CASaS2017)  2017.9 

Towards a Software Development Process for Self-Adaptive (Evolvable) Control System: Control-loop Based Approach International conference

Kenji Tei

the Eighth joint NII-LIP6 WorkShop on Multi-Agent and Distributed Systems  2013.6 

Cloud of Things for empowering the citizen clout in smart cities - ClouT Project Invited International conference

Kenji Tei

Japan-EU Collaboration Workshop on Cloud Computing  2014.7 

Is This Configuration Management Still Right? International conference

Kenji Tei

10th International Joint NII-LIP6 Seminar on Multi-Agent and Distributed Systems  2014.9 

Supporting Multi-Level Design Changes in Adaptive Software Maintenance International conference

Kenji Tei

the 3rd Asian Workshop on Advanced Software Engineering (AWASE2013)  2013.7 

ClouT: Cloud of Things for Empowering the Citizen Clout in Smart Cities International conference

Kenji Tei

the Ninth joint NII-LIP6 WorkShop on Multi-Agent and Distributed Systems  2013.11 

Quality Analysis for Self-adaptive Systems with Multiple Adaptation Loops International conference

Kenji Tei

GRACE Workshop on Adaptive and Evolve Software Systems  2015.1 

ClouT project, Cloud of Things for empowering the citizen clout in smart cities International conference

Kenji Tei

3rd International Workshop on Self-Aware Internet of Things (Self-IoT 2015)  2015.7 

A Development Process of Adaptation Engine for Control-loop-based Adaptable Software International conference

Kenji Tei

4th Asian Workshop of Advanced Software Engineering (AWASE2014)  2014.10 

離散制御器合成における設計誤りを特定するための反例出力手法

李 家隆, 相澤 和也, 鄭 顕志, 本位田 真一

IPSJ/SIGSEソフトウェアエンジニアリングシンポジウム2020(SES2020)  2020.9 

離散制御器合成によるサービスロボット向け行動計画自動生成手法

笠井 栄良, 鄭 顕志

マルチメディア、分散、協調とモバイルシンポジウム(DICOMO2021)  2021.7 

Big Data, Cloud and IoT Technologies for Smart Cities: The M-Sec project paradigm – objectives, current status and related future research topics Invited

Kenji Tei

the 2nd International Workshop on Big data, cloud, and IoT technologies for smart cities (IWBigDataCity2020)  2020.2 

Event-Bによるリファインメントのパターン最適化

荒井 滉平, 本位田 真一, 鄭 顕志

日本ソフトウェア科学会第37回大会  2020.9 

Automation in MDE, the good, the bad, and the ugly Invited International conference

Lionel C. Briand, John Grundy, Bran Selic, Kenji Tei

ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS2021)  2021.10 

色及び位置情報を用いたアニメキャラクタの目と口の抽出

鈴木 絵理, 山内 拓人, 鄭 顕志

2022年度 人工知能学会全国大会(第36回)  2022.6 

Models@run.time入門

鄭 顕志

ソフトウェアエンジニアリングシンポジウム2021  2021.9 

Towards Personalized Autonomous Driving: Deep Reinforcement Learning from Human Feedback

Jiali Ling, Jialong Li, Kenji Tei, Shinichi Honiden

Symposium on Multi Agent Systems for Harmonization 2021 (SMASH21 SUMMER SYMPOSIUM)  2021.9 

離散制御器合成におけるメイクスパン比較時間削減のための部分問題化アルゴリズム

清水 優希, 山内 拓人, 鄭 顕志

2022年度 人工知能学会全国大会(第36回)  2022.6 

再利用制御器合成を用いた自己適応システムにおける実行時の離散制御器合成時間削減手法

有岡 勇紀, 山内 拓人, 鄭 顕志

2022年度 人工知能学会全国大会(第36回)  2022.6 

ICIEA‘ 2021 Excellent Oral Presentation

2021.5   ICIEA‘ 2021   Differential Controller Synthesis at Runtime Using Changed Parts of Environment Model

Takanori Hirano, Kenji Tei, Kazuya Aizawa, Shinichi Honiden

科学技術分野の文部科学大臣表彰 科学技術賞

2021.4   文部科学省   先端スマートシステム技術の普及啓発

鷲崎 弘宜, 本位田 真一, 鄭 顕志, 内平 直志, 深澤 良彰

2019年度情報処理学会SE研究会功績賞受賞

2019   情報処理学会   トップエスイープロジェクトの推進

本位田 真一, 石川 冬樹, 鄭 顕志

優秀論文賞

2016.9   合同エージェントワークショップ＆シンポジウム2016 (JAWS2016)   自己適応システムのための実行時環境モデル学習手法

田邉萌香, 鄭顕志, 深澤良彰, 本位田真一

Best Paper Award

2016.5   11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2016)   Assured and Correct Dynamic Update of Controllers

Leandro Nahabedian, Victor Braberman, Nicolas D’Ippolito, Shinichi Honiden, Jeff Kramer, Kenji Tei, Sebastian Uchitel

SENSORCOMM 2012 Best paper award

2012.8   International Academy, Research, and Industry Association   Classification of Faults in Sensor Readings withStatistical Pattern Recognition

Valentina Baljak, Kenji Tei, Shinichi Honiden

DICOMO2007優秀プレゼンテーション賞

2007.7  

鄭顕志

JAWS2006学生奨励賞

2006.10  

鄭顕志

ClouT: Cloud of Things for empowering the citizen clout in smart cities

2013.4 - 2016.3

FP7/NICT  FP7-ICT-2013-EU-Japan 

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

2011 - 2013

科学研究費補助金  若手研究（Ｂ） 

鄭 顕志

SNS・IoT・オープンデータ融合マイニングによる施策に対する人々の行動変化予測

Grant number：23K28377  2023.4 - 2027.3

日本学術振興会  科学研究費助成事業  基盤研究(B)

大須賀 昭彦, 吉岡 信和, 清 雄一, 江上 周作, 田原 康之, 鄭 顕志

行動の意図を把握するソーシャルセンサ～物理センサ融合マイニング基盤

2018.4 - 2022.3

文部科学省  科学研究費補助金: 基盤研究(B) 

大須賀 昭彦

IoT向け自律協調自己適応機構とその形式検証手法の研究

2018.4 - 2022.3

文部科学省  科学研究費補助金: 基盤研究(B) 

田原 康之

しなやかなシステムを実現するマルチビュー実行時モデルフレームワーク

2017.4 - 2022.3

文部科学省  科学研究費補助金: 基盤研究(A) 

本位田真一

Controlled Adaptation across Ubiquitous Heterogeneous Platforms

Grant number：16F16805  2016.11 - 2019.3

Japan Society for the Promotion of Science  Grants-in-Aid for Scientific Research  Grant-in-Aid for JSPS Fellows

想定に漏れた環境変化に耐えるソフトウェアを実現する実行時モデル更新技術

2016.4 - 2018.3

文部科学省  科学研究費補助金(挑戦的萌芽研究) 

本位田 真一

Research on Establishment of Sensor-based Software Engineering

Grant number：25280026  2013 - 2017

Japan Society for the Promotion of Science  Grants-in-Aid for Scientific Research  Grant-in-Aid for Scientific Research (B)

Fukazawa Yoshiaki

Preparing Unanticipated Situation : Software Analysis, Design, and Verification for Cyber-Physical Systems

Grant number：24240003  2012 - 2014

Japan Society for the Promotion of Science  Grants-in-Aid for Scientific Research  Grant-in-Aid for Scientific Research (A)

HONIDEN Shinichi, TEI Kenji, ISHIKAWA Fuyuki

オープン無線センサーネットワークのためのミドルウェアに関する研究

2007 - 2009

科学研究費補助金  基盤研究(A) 

本位田真一

International Workshop on Software Patterns and Quality(SPAQu) Program Committee (2007~2008)

Computer Architecture

2019 - 2023 Institution：Waseda University

Javaプログラミング入門

コンポーネントベース開発

ソフトウェア工学入門

UNIX入門

インターネットサーバ管理

アスペクト指向

ソフトウェア開発技術

ソフトウェアパターン