Naoki Iwayama

Publication Activity (10 Years)

Years Active: 2019-2020
Publications (10 Years): 3

Top Topics

Cross Media Retrieval

Verification Method

Computation Tree Logic

Top Venues

Publications

Hiroyuki Katsura, Naoki Iwayama, Naoki Kobayashi, Takeshi Tsukada
A New Refinement Type System for Automated $\nu \text {HFL}_\mathbb {Z}$ Validity Checking. APLAS (2020)
Naoki Iwayama, Naoki Kobayashi, Ryota Suzuki, Takeshi Tsukada
Predicate Abstraction and CEGAR for $\nu \mathrm {HFL}_\mathbb {Z}$ Validity Checking. SAS (2020)
Ryosuke Sato, Naoki Iwayama, Naoki Kobayashi
Combining higher-order model checking with refinement type inference. PEPM@POPL (2019)