国立情報学研究所   アーキテクチャ科学研究系   助教

2010年4月 - 2015年3月

早稲田大学   メディアネットワークセンター   助教

2008年4月 - 2010年3月

早稲田大学   メディアネットワークセンター   助教

2008年4月 - 2010年3月

早稲田大学   理工学術院

2006年4月 - 2008年3月

早稲田大学   基幹理工学部   客員准教授

2023年9月 - 現在

国立情報学研究所   GRACEセンター   特任研究員

2023年4月 - 現在

国立情報学研究所   GRACEセンター   特任准教授

2018年4月 - 2022年9月

総合研究大学院大学   准教授

2015年4月 - 2018年3月

総合研究大学院大学   助教

2010年4月 - 2015年3月

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

2008年4月 - 2010年3月

国立情報学研究所アーキテクチャ科学研究系   特任助教(非常勤)

2008年4月 - 2010年3月

早稲田大学

2007年4月 - 2008年3月

早稲田大学

2006年4月 - 2007年3月

国立情報学研究所   リサーチアシスタント

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 査読 国際共著 国際誌

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 査読 国際共著 国際誌

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 査読 国際共著 国際誌

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 査読 国際共著 国際誌

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 査読

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 査読 国際共著 国際誌

Nianzhao Zheng, Jialong Li, Yan Zhang, Kenji Tei

IEEE Access   13   4947 - 4956   2025年1月

Adaptive Preferences: Pivoting Through User Complaints 査読

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 査読 国際誌

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 査読 国際誌

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 査読 国際誌

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 査読 国際誌

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 査読 国際誌

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 査読 国際誌

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 査読 国際共著 国際誌

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 招待 査読 国際共著 国際誌

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月

ゲーム空間の一括構築による離散制御器合成の計算空間削減 査読

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

情報処理学会論文誌   65 ( 8 )   1 - 12   2024年8月

Exploring the Improvement of Evolutionary Computation via Large Language Models 査読 国際誌

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 査読 国際共著 国際誌

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 査読 国際誌

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 査読 国際共著 国際誌

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 査読 国際共著 国際誌

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 査読 国際共著 国際誌

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 査読 国際共著 国際誌

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 査読 国際共著 国際誌

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 査読 国際誌

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 査読 国際共著

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 査読 国際誌

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 査読 国際誌

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 査読 国際共著 国際誌

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

IEEE the 8th International Conference on Intelligent Transportation Engineering (ICITE)   2023年10月

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

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 査読 国際誌

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 査読 国際共著 国際誌

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 査読 国際共著 国際誌

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 査読 国際誌

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 査読 国際誌

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 査読 国際誌

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 査読 国際誌

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 査読 国際誌

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 査読 国際共著 国際誌

Jinyu Cai, Jialong Li, Mingyue Zhang, Kenji Tei

IEEE Access   11   60407 - 60420   2023年6月

Similarity-based Shield Adaptation under Dynamic Environment 査読 国際誌

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! 査読 国際共著 国際誌

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月

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

山内 拓人, 鄭 顕志

電子情報通信学会論文誌   J106-D ( 04 )   1 - 12   2023年4月

Attention-guiding Takeover Requests for Situation Awareness in Semi-autonomous Driving 査読 国際誌

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 査読

Jialong Li, Kenji Tei

Journal of Information Processing   31   1 - 11   2023年3月

Value Iteration Residual Network with Self-Attention 査読 国際誌

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 査読 国際誌

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 査読 国際共著 国際誌

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 査読 国際誌

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 査読 国際誌

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 査読 国際誌

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 査読 国際誌

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 査読 国際誌

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 査読 国際誌

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 査読 国際誌

Prasanth Senthilvelan, Jialong Li, Kenji Tei

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

列車自動運転を伴う運転整理MIPモデルの移動閉塞下への適用 査読

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

情報処理学会論文誌   63 ( 3 )   786 - 807   2022年3月

Towards Personalized Autonomous Driving: An Emotion Preference Style Adaptation Framework 査読 国際誌

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 査読 国際誌

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 査読 国際共著 国際誌

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 査読 国際誌

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 査読 国際誌

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 査読 国際共著 国際誌

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月

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

笠井 栄良, 鄭 顕志

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

Towards Better Adaptive Systems by Combining MAPE, Control Theory, and Machine Learning 査読 国際共著 国際誌

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 査読 国際誌

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 査読

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 査読 国際誌

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 査読 国際誌

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 査読 国際誌

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 査読

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 査読 国際誌

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 査読 国際共著

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 査読

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月

モデル予測制御と離散制御器合成による外部環境の動的特性を考慮した適応制御手法 査読

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

マルチメディア，分散，協調とモバイルシンポジウム(DICOMO2020)   2020 ( 1 )   2020年6月

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

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月

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

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

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

活性と同時に保証可能な安全性特定のためのゲーム分析アルゴリズム 査読

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

情報処理学会論文誌   61 ( 4 )   853 - 862   2020年4月

An Efficient Adaptive Attention Neural Network for Social Recommendation 査読

Munan Li, Kenji Tei, Yoshiaki Fukazawa

IEEE Access   8   63595 - 63606   2020年

Minimising Makespan of Discrete Controllers: A Qualitative Approach 査読

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 査読

Munan Li, Kenji Tei, Yoshiaki Fukazawa

IEEE/WIC/ACM International Conference on Web Intelligence (WI'19)   34 - 42   2019年10月

自己適応システムのための環境モデル実行時更新手法 査読

田邉 萌香, 鄭 顕志, 本位田 真一

情報処理学会論文誌   60 ( 10 )   1617 - 1630   2019年10月

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

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 査読

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 査読

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月

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

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

情報処理学会論文誌   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 査読

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 査読

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 査読

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 査読

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 査読

Ehsan Ullah Warriach, Kenji Tei

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

自己適応システムのための実行時環境モデル学習手法 査読

Moeka Tanabe, Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden

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

階層離散制御器合成によるマルチロボットシステムの仕様生成手法 査読

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 査読

Masayuki Nii, Kenji Tei, Fuyuki Ishikawa

Transactions on Engineering Technologies   79 - 93   2016年3月

Relaxing Requirements with Environment Changes for Graceful Degradation 査読

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 査読

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 査読

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年

時空間データのためのメッシュベース結合・拡張型キャッシュ管理方式 査読

平山秀昭, 鄭顕志, 清雄一, 大須賀昭彦

マルチメディア，分散，協調とモバイルシンポジウム (DICOMO2015)   1276 - 1283   2015年7月

EVMを利用したDBCアプリケーションのための適応フレームワーク 査読

末永俊一郎, 鄭顕志

情報処理学会論文誌   56 ( 5 )   1363 - 1376   2015年5月

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   45 ( 4 )   675 - 687   2015年4月

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 CYBERNETICS-SYSTEMS   45 ( 4 )   675 - 687   2015年4月

Framework Enabling End-Users to Maintain Web Applications 査読

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 査読

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 査読

Ryo Shimizu, Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden

the 11th International Conference Applied Computing 2014 (AC 2014)   2014年10月

無線センサネットワークにおけるデータ品質改善の為の開発プロセス 査読

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

電子情報通信学会論文誌 D   J97-D ( 3 )   473 - 487   2014年3月

エンドユーザーによる保守作業を可能にする Web アプリケーションフレームワーク 査読

新居 雅行, 鄭 顕志, 石川 冬樹

コンピュータソフトウェア   31 ( 1 )   60 - 74   2014年2月

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

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

コンピュータソフトウェア   31 ( 1 )   49 - 59   2014年2月

HoppingDuster: Self-adaptive cleaning robot based on aerial vehicle 査読

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 査読

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 査読

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 査読

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 査読

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 査読

Valentina Baljak, Tei Kenji, Shinichi Honiden

Sensors & Transducers Journal   18   177 - 187   2013年1月

Fault detection in wireless sensor networks: A machine learning approach 査読

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 査読

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 査読

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 査読

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 査読

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 査読

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 査読

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年

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

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 Machine Learning Approach for Identifying and Classifying Faults in Wireless Sensor Networks 査読

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 査読

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年

無線センサネットワークにおける対象追跡の分解能を調整可能なセンサモデル 査読

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

電子情報通信学会論文誌   J94-B ( 10 )   1351 - 1362   2011年10月

Autonomic role and mission allocation framework for wireless sensor networks 査読

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 査読

Ryo Shimizu, Kenji Tei, Yoshiaki Fukazawa, Shinichi Shinichi

Proceedings - International Conference on Software Engineering   31 - 36   2011年

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

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

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

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

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

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

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

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

人工知能学会全国大会（第24回）(JSAI2010)   2010年6月

N-ary Sensor Model for Target Tracking in Wireless Sensor Networks 査読

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の向上 査読

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

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

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

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

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

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

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

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

マルチエージェントシステムにおけるメタデータを用いた協調プロトコル合成手法 査読

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

電子情報通信学会論文誌「ソフトウェアエージェントとその応用特集号」   J92-D ( 11 )   1827 - 1839   2009年11月

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

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

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

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

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

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

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

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

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

An Efficient Node Selection Metric for In-network Process Deployment 査読

Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden

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

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

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

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

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

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

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

適応エージェントのためのユビキタスコンピューティングミドルウェア(<特集>エージェント) 招待 査読

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

コンピュータソフトウェア   25 ( 4 )   11 - 19   2008年10月

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

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

コンピュータソフトウェア   25 ( 4 )   121 - 132   2008年10月

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

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

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

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

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

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

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

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

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

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

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 査読

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 査読

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

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

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

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

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

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

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

合同エージェントワークショップ＆シンポジウム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月

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

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

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

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

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

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

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

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

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

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

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

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

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

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 査読

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 査読

Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden

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

MANETにおける省資源性を考慮した位置依存情報収集手法 査読

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

電子情報通信学会論文誌. D, 情報・システム = The IEICE transactions on information and systems (Japanese edition)   89 ( 12 )   2625 - 2636   2006年12月

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Adaptive geographically bound mobile agents 査読

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

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

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

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

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

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

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

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

センシングプログラムの退避行動を考慮した柔軟なセンサーネットワーク構築(センサネット)

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

情報処理学会研究報告. MBL, [モバイルコンピューティングとユビキタス通信研究会研究報告]   2005 ( 113 )   121 - 128   2005年11月

Using mobile agent for location-specific data retrieval in MANET 査読

K Tei, N Yoshioka, Y Fukazawa, S Honiden

INTELLIGENCE IN COMMUNICATION SYSTEMS   190   157 - 168   2005年

Geographically bound mobile agent in MANET 査読

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グリッドにおけるモバイルエージェントを用いた生存性の高いサービスの構築 査読

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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月

個別構築されたIoTシステムのサービス連携における課題検討

平山 秀昭, 鄭 顕志, 清 雄一, 大須賀 昭彦

研究報告マルチメディア通信と分散処理（DPS）   2015 ( 37 )   1 - 6   2015年2月

Scalaの並行プログラム検査における状態空間探索手法

島田 工, 前澤 悠太, 鄭 顕志, 田辺 良則, 本位田 真一

ソフトウェアエンジニアリングシンポジウム2014論文集   2014   54 - 59   2014年8月

EASSy2013参加報告 招待 査読

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

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

ソフトウェアを見える化するモデルベース開発って？ 招待 査読

鄭 顕志

システム制御情報学会誌   56 ( 7 )   389 - 390   2012年7月

XAC project: Towards a middleware for open wireless sensor networks 査読

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月 

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

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

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

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

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

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

An experience riding the IoT wave 招待 国際会議

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を用いた離散制御機合成のための制御問題の自動修正 国際会議

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

22nd IEEE Transdisciplinary-Oriented Workshop for Emerging Researchers (IEEE TOWERS)  2025年11月 

Toward Robust Federated Learning via Runtime Adaptation of Aggregation 国際会議

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 国際会議

Kenji Tei

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

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

鄭顕志

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

Assured Runtime Graceful Degradation by Models@run.time 国際会議

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 国際会議

Kenji Tei

the 7th Asian-Pacific Workshop of Advanced Software Engineering (AWASE2018)  2018年10月 

Qualitative Analysis for Adaptation Strategies 招待 国際会議

Kenji Tei

No.77 NII Shonan Meeting on Controlled Adaptation of Self-adaptive Systems (CASaS)  2016年4月 

ClouT/BigClouT Project 招待 国際会議

Kenji Tei, ClouT/BigClouT Consortium

10th International Symposium on Intelligent Distributed Computing (IDC2016)  2016年10月 

TopSE : Intellectual Manufacturing Education Program based on Science 国際会議

Kenji Tei

World Engineering Conference and Convention 2015 (WECC2015)  2015年12月 

Assured Graceful Degradation with Discrete Controller Synthesis 国際会議

Kenji Tei

5th Asian Workshop on Advanced Software Engineering (AWASE2016)  2016年3月 

Learning Environment Model at Runtime for Self-adaptive Systems 国際会議

Kenji Tei

OU-NII-Khalifa Workshop on SE for Cyber-Physical-Social Systems (CPSS2017)  2017年4月 

Assured and Correct Dynamic Update of Controllers 招待 国際会議

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時代のソフトウェアシステムのための最新モデリング・検証技術 招待

鄭 顕志

Embeded Technology (ET) 2016  2016年11月  JASA

Models@Run.Time for Self-adaptive Reactive Systems 国際会議

Kenji Tei

Joint SMA/LIP6-NII WorkShop on Multi-Agent and Distributed Systems  2018年1月 

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

鄭 顕志

2017年度 情報処理学会東海支部 講演会  2018年1月  情報処理学会東海支部

Learning Environment Model at Runtime for Self-Adaptive Systems 国際会議

Kenji Tei

6th Asian Workshop of Advanced Software Engineering (AWASE2017)  2017年5月 

Qualitative Analysis for Adaptation Strategies 国際会議

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 国際会議

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 招待 国際会議

Kenji Tei

Japan-EU Collaboration Workshop on Cloud Computing  2014年7月 

Is This Configuration Management Still Right? 国際会議

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 国際会議

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 国際会議

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 国際会議

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 国際会議

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 国際会議

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 招待

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 招待 国際会議

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

凌 佳麗, 李 家隆, 鄭 顕志, 本位田 真一

Symposium on Multi Agent Systems for Harmonization 2021 (SMASH21 SUMMER SYMPOSIUM)  2021年9月 

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  新世代ネットワークの実現に向けた欧州との連携による共同研究開発 

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

2011年 - 2013年

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

鄭 顕志

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

研究課題/領域番号：23K28377  2023年4月 - 2027年3月

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

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

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

2018年4月 - 2022年3月

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

大須賀 昭彦

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

2018年4月 - 2022年3月

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

田原 康之

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

2017年4月 - 2022年3月

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

本位田真一

異種ユビキタスプラットフォームを横断する，保障を伴う自己適応に関する研究

研究課題/領域番号：16F16805  2016年11月 - 2019年3月

日本学術振興会  科学研究費助成事業  特別研究員奨励費

石川 冬樹, 鄭 顕志, HARVEY PAUL

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

2016年4月 - 2018年3月

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

本位田 真一

センサーソフトウェア工学の確立に関する研究

研究課題/領域番号：25280026  2013年 - 2017年

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

深澤 良彰

想定外に備えた空間制御ソフトウェアの分析・設計・検証手法

研究課題/領域番号：24240003  2012年 - 2014年

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

本位田 真一

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

2007年 - 2009年

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

本位田真一

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

Computer Architecture

2019年 - 2023年 機関名：早稲田大学

Javaプログラミング入門

機関名：早稲田大学，基幹理工学部

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

機関名：国立情報学研究所，トップエスイー

ソフトウェア工学入門

機関名：国立情報学研究所，トップエスイー

UNIX入門

機関名：早稲田大学，メディアネットワークセンター

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

機関名：早稲田大学，メディアネットワークセンター

アスペクト指向

機関名：国立情報学研究所，トップエスイー

ソフトウェア開発技術

機関名：早稲田大学，メディアネットワークセンター

ソフトウェアパターン

機関名：国立情報学研究所，トップエスイー