Hiroyuki Katsura

According to our database, Hiroyuki Katsura authored at least 5 papers between 2020 and 2024.

Collaborative distances:

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

2024

Mode-based Reduction from Validity Checking of Fixpoint Logic Formulas to Test-Friendly Reachability Problem.

Hiroyuki Katsura, Naoki Kobayashi, Ken Sakayori, Ryosuke Sato

Proceedings of the Programming Languages and Systems - 22nd Asian Symposium, 2024

2023

Higher-Order Property-Directed Reachability.

Hiroyuki Katsura, Naoki Kobayashi, Ryosuke Sato

Proc. ACM Program. Lang., August, 2023

2022

On Higher-Order Reachability Games Vs May Reachability.

Kazuyuki Asada, Hiroyuki Katsura, Naoki Kobayashi

Proceedings of the Reachability Problems - 16th International Conference, 2022

SLOPT: Bandit Optimization Framework for Mutation-Based Fuzzing.

Yuki Koike, Hiroyuki Katsura, Hiromu Yakura, Yuma Kurogome

Proceedings of the Annual Computer Security Applications Conference, 2022

2020

A New Refinement Type System for Automated $\nu \text {HFL}_\mathbb {Z}$ Validity Checking.

Hiroyuki Katsura, Naoki Iwayama, Naoki Kobayashi, Takeshi Tsukada

Proceedings of the Programming Languages and Systems - 18th Asian Symposium, 2020