Koichi Fujima

Publication Activity (10 Years)

Years Active: 2013-2017
Publications (10 Years): 1

Top Topics

Transition Systems

Formal Specification

Temporal Properties

Top Venues

Publications

Ryota Suzuki, Koichi Fujima, Naoki Kobayashi, Takeshi Tsukada
Streett Automata Model Checking of Higher-Order Recursion Schemes. FSCD (2017)
Koichi Fujima, Sohei Ito, Naoki Kobayashi
Practical Alternating Parity Tree Automata Model Checking of Higher-Order Recursion Schemes. APLAS (2013)