Input Synthesis for Sampled Data Systems by Program Logic. - Takumi Akazaki; Ichiro Hasuo; Kohei Suenaga (HAS, 2014)

Time Robustness in MTL and Expressivity in Hybrid System Falsification. - Takumi Akazaki; Ichiro Hasuo (CAV (2), 2015)

Time Robustness in MTL and Expressivity in Hybrid System Falsification (Extended Version). - Takumi Akazaki; Ichiro Hasuo (CoRR, 2015)

A Boyer-Moore Type Algorithm for Timed Pattern Matching. - Masaki Waga; Takumi Akazaki; Ichiro Hasuo (FORMATS, 2016)

Falsification of Conditional Safety Properties for Cyber-Physical Systems with Gaussian Process Regression. - Takumi Akazaki (RV, 2016)

Causality-Aided Falsification. - Takumi Akazaki; Yoshihiro Kumazawa; Ichiro Hasuo (FVAV@iFM, 2017)

Solving Weighted Abduction via Max-SAT Solvers. - Yoichi Sasaki 002; Takanori Maehara; Takumi Akazaki; Kazeto Yamamoto; Kunihiko Sadamasa (FLAIRS, 2020)

Q&A MAESTRO: Q&A Post Recommendation for Fixing Java Runtime Exceptions. - Yusuke Kimura; Takumi Akazaki; Shinji Kikuchi; Sonal Mahajan; Mukul R. Prasad (ASE, 2021)

Falsification of Cyber-Physical Systems Using Deep Reinforcement Learning. - Yoriyuki Yamagata; Shuang Liu 007; Takumi Akazaki; Yihai Duan; Jianye Hao (IEEE Trans. Software Eng., 2021)

Risk Assessment Framework for Code LLMs via Leveraging Internal States. - Yuheng Huang 004; Lei Ma 003; Keizaburo Nishikino; Takumi Akazaki (SIGSOFT FSE Companion, 2025)

Risk Assessment Framework for Code LLMs via Leveraging Internal States. - Yuheng Huang; Lei Ma; Keizaburo Nishikino; Takumi Akazaki (CoRR, 2025)