1 citations · 1 across the 3 of their papers we have counts for
3 papers
cs.FL2025
A Variety of Request-Response Specifications
Daichi Aiba, Masaki Waga, Hiroya Fujinami +6
We find, motivated by real-world applications, that the well-known request-response specification comes with multiple variations, and that these variations should be distinguished.…
cs.FL2025
Componentwise Automata Learning for System Integration (Extended Version)
Hiroya Fujinami, Masaki Waga, Jie An +4
Compositional automata learning is attracting attention as an analysis technique for complex black-box systems. It exploits a target system's internal compositional structure to re…
cs.PL2024★ 1 cited
Efficient Matching with Memoization for Regexes with Look-around and Atomic Grouping (Extended Version)
Hiroya Fujinami, Ichiro Hasuo
Regular expression (regex) matching is fundamental in many applications, especially in web services. However, matching by backtracking -- preferred by most real-world implementatio…