Papers

  • Natsuki Urabe and Ichiro Hasuo. Fair Simulation for Nondeterministic and Probabilistic Büchi Automata: a Coalgebraic Perspective
  • Natsuki Urabe, Masaki Hara and Ichiro Hasuo. Categorical Liveness Checking by Corecursive Algebras. LICS 2017
    [arXiv|IEEE]
  • Corina Cîrstea, Shunsuke Shimizu and Ichiro Hasuo. Parity Automata for Quantitative Linear Time Logics. CALCO 2017
  • Ugo Dal Lago, Ryo Tanaka and Akira Yoshimizu. The Geometry of Concurrent Interaction: Handling Multiple Ports by Way of Multiple Tokens. LICS 2017
  • Taichi Uemura. Fibred Fibration Categories. LICS 2017
  • Bakh Khoussainov and Toru Takisaka. Large scale geometries of infinite strings. LICS 2017
  • Kim Larsen, Doron Peled and Sean Sedwards. Memory-Efficient Tactics for Randomized LTL Model Checking. VSTTE 2017
  • Arnd Hartmanns, Sean Sedwards and Pedro D'Argenio. Efficient Simulation-Based Verification of Probabilistic Timed Automata. WSC 2017
  • Masaki Waga, Ichiro Hasuo and Kohei Suenaga. Efficient Online Timed Pattern Matching by Automata-Based Skipping. FORMATS 2017
    [extended version at arXiv]
  • Katsuhiro Ikeshita, Fuyuki Ishikawa and Shinichi Honiden. Test Suite Reduction in Idempotence Testing of Infrastructure as Code. TAP 2017
  • Ichiro Hasuo. Metamathematics for Systems Design: Comprehensive Transfer of Formal Methods Techniques to Cyber-Physical Systems
    [url]
  • Takumi Akazaki, Yoshihiro Kumazawa and Ichiro Hasuo. Causality-Aided Falsification. FVAV 2017
  • Takamasa Okudono, Yuki Nishida, Kensuke Kojima, Kohei Suenaga, Kengo Kido and Ichiro Hasuo. Sharper and Simpler Nonlinear Interpolants for Program Verification