Takumi Akazaki

According to our database, Takumi Akazaki authored at least 11 papers between 2014 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Risk Assessment Framework for Code LLMs via Leveraging Internal States.

Yuheng Huang, Lei Ma, Keizaburo Nishikino, Takumi Akazaki

CoRR, April, 2025

Risk Assessment Framework for Code LLMs via Leveraging Internal States.

Yuheng Huang, Lei Ma, Keizaburo Nishikino, Takumi Akazaki

Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering, 2025

2021

Falsification of Cyber-Physical Systems Using Deep Reinforcement Learning.

Yoriyuki Yamagata, Shuang Liu, Takumi Akazaki, Yihai Duan, Jianye Hao

IEEE Trans. Software Eng., 2021

Q&A MAESTRO: Q&A Post Recommendation for Fixing Java Runtime Exceptions.

Yusuke Kimura, Takumi Akazaki, Shinji Kikuchi, Sonal Mahajan, Mukul R. Prasad

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

2020

Solving Weighted Abduction via Max-SAT Solvers.

Yoichi Sasaki, Takanori Maehara, Takumi Akazaki, Kazeto Yamamoto, Kunihiko Sadamasa

Proceedings of the Thirty-Third International Florida Artificial Intelligence Research Society Conference, 2020

2017

Causality-Aided Falsification.

Takumi Akazaki, Yoshihiro Kumazawa, Ichiro Hasuo

Proceedings of the Proceedings First Workshop on Formal Verification of Autonomous Vehicles, 2017

2016

Falsification of Conditional Safety Properties for Cyber-Physical Systems with Gaussian Process Regression.

Takumi Akazaki

Proceedings of the Runtime Verification - 16th International Conference, 2016

A Boyer-Moore Type Algorithm for Timed Pattern Matching.

Masaki Waga, Takumi Akazaki, Ichiro Hasuo

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2016

2015

Time Robustness in MTL and Expressivity in Hybrid System Falsification (Extended Version).

Takumi Akazaki, Ichiro Hasuo

CoRR, 2015

Time Robustness in MTL and Expressivity in Hybrid System Falsification.

Takumi Akazaki, Ichiro Hasuo

Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2014

Input Synthesis for Sampled Data Systems by Program Logic.

Takumi Akazaki, Ichiro Hasuo, Kohei Suenaga

Proceedings of the Proceedings 4th Workshop on Hybrid Autonomous Systems, 2014