Publications

My academic publications and research papers.

MLPP-DCS: Machine Learning-Based Performance Prediction for Discrete Controller Synthesis

Best Research Paper Awards: Bronze PrizeInternationalPeer-reviewed

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

IEEE/IEIE International Conference on Consumer Electronics-Asia (ICCE-Asia 2024), 2024

Discrete Controller Synthesis (DCS) is an automated technology designed to synthesize controllers that ensure safety within specified environments. It utilizes environment and monitor models described...

PDFDOI

Reusable Self-Adaptive Intrusion Recovery for Cloud Native Applications

Domestic

Takumi Ikeda, Takuto Yamauchi, Kenji Tei

Knowledge-based Software Engineering 2023 (KBSE 2023), 2024

Research is being conducted on self-adaptive technologies that monitor, analyze, plan and execute adaptive actions at runtime for the operation of cloud native applications. Additionally, research is ...

PDF

Fair Resource Allocation for Response Time under Overload in Latency Sensitive Function-as-a-Service with Edge Clusters

Domestic

Takumi Ikeda, Takuto Yamauchi, Eri Suzuki, Kenji Tei

Multimedia, Distributed, Cooperative, and Mobile Symposium 2023 (DICOMO 2023), 2023

FaaS には通信遅延の問題があるため,リアルタイム性が重要なシステムでの採用が難しい.Wang らの提案した LaSS はエッジクラスタで処理を行い,事前にコンテナを作成することで待ち時間を削減する手法であるが,過負荷時における CPU リソース割当においては応答時間について公平でない課題があった.本論文では,要求 CPU リソースを指標として用いた応答時間について公平なリソース割当手法を提案す...

PDF