Takumi Akazaki

16 papers A* 1A 1B 2Misc 1Journal 6Unranked 5
YearRankTypeTitle / Venue / Authors
2025 A conf
AutoDW-TS: Automated Data Wrangling for Time-Series Data.
CIKM
Lei Liu, So Hasegawa, Shailaja Keyur Sampat, Mehdi Bahrami, Wei-Peng Chen, Kodai Toyota, Takashi Kato, Takumi Akazaki, Akira Ura, Tatsuya Asai
2025 — conf
Risk Assessment Framework for Code LLMs via Leveraging Internal States.
SIGSOFT FSE Companion
Yuheng Huang, Lei Ma, Keizaburo Nishikino, Takumi Akazaki
2025 J jnl
Risk Assessment Framework for Code LLMs via Leveraging Internal States.
CoRR
Yuheng Huang, Lei Ma, Keizaburo Nishikino, Takumi Akazaki
2021 J jnl
Falsification of Cyber-Physical Systems Using Deep Reinforcement Learning.
IEEE Trans. Software Eng.
Yoriyuki Yamagata, Shuang Liu, Takumi Akazaki, Yihai Duan, Jianye Hao
2021 A* conf
Q&A MAESTRO: Q&A Post Recommendation for Fixing Java Runtime Exceptions.
ASE
Yusuke Kimura, Takumi Akazaki, Shinji Kikuchi, Sonal Mahajan, Mukul R. Prasad
2021 J jnl
Q&A MAESTRO: Q&A Post Recommendation for Fixing Java Runtime Exceptions.
CoRR
Yusuke Kimura, Takumi Akazaki, Shinji Kikuchi, Sonal Mahajan, Mukul R. Prasad
2020 Misc conf
Solving Weighted Abduction via Max-SAT Solvers.
FLAIRS
Yoichi Sasaki, Takanori Maehara, Takumi Akazaki, Kazeto Yamamoto, Kunihiko Sadamasa
2018 B conf
Falsification of Cyber-Physical Systems Using Deep Reinforcement Learning.
FM
Takumi Akazaki, Shuang Liu, Yoriyuki Yamagata, Yihai Duan, Jianye Hao
2018 J jnl
Falsification of Cyber-Physical Systems Using Deep Reinforcement Learning.
CoRR
Takumi Akazaki, Shuang Liu, Yoriyuki Yamagata, Yihai Duan, Jianye Hao
2017 — conf
Causality-Aided Falsification.
FVAV@iFM
Takumi Akazaki, Yoshihiro Kumazawa, Ichiro Hasuo
2016 — conf
A Boyer-Moore Type Algorithm for Timed Pattern Matching.
FORMATS
Masaki Waga, Takumi Akazaki, Ichiro Hasuo
2016 J jnl
A Boyer-Moore Type Algorithm for Timed Pattern Matching.
CoRR
Masaki Waga, Takumi Akazaki, Ichiro Hasuo
2016 B conf
Falsification of Conditional Safety Properties for Cyber-Physical Systems with Gaussian Process Regression.
RV
Takumi Akazaki
2015 J jnl
Time Robustness in MTL and Expressivity in Hybrid System Falsification (Extended Version).
CoRR
Takumi Akazaki, Ichiro Hasuo
2015 — conf
Time Robustness in MTL and Expressivity in Hybrid System Falsification.
CAV (2)
Takumi Akazaki, Ichiro Hasuo
2014 — conf
Input Synthesis for Sampled Data Systems by Program Logic.
HAS
Takumi Akazaki, Ichiro Hasuo, Kohei Suenaga