Papers

  • Natsuki Urabe and Ichiro Hasuo. Fair Simulation for Nondeterministic and Probabilistic Büchi Automata: a Coalgebraic Perspective
    [arXiv|LMCS]
  • 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
    [Proceeding ver]
  • 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
    [Springer]
  • 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. APLAS 2017
  • Thomas Cottrell, Soichiro Fujii and John Power. Enriched and internal categories: an extensive relationship
    [url]
  • Kengo Kido, Sean Sedwards and Ichiro Hasuo. Bounding Errors Due to Switching Delays in Incrementally Stable Switched Systems. ADHS 2018
  • Masaki Waga, Ichiro Hasuo and Kohei Suenaga. MONAA: a Tool for Timed Pattern Matching with Automata-Based Acceleration. MT-CPS 2018
  • Gidon Ernst, Ichiro Hasuo, Sean Sedwards and Zhenya Zhang. Time-Staging Enhancement of Hybrid System Falsification. MT-CPS 2018
  • Koki Kato, Fuyuki Ishikawa and Shinichi Honiden. Falsification of Cyber-Physical Systems with Reinforcement Learning. MT-CPS 2018
  • Anna Lukina. Resilient Control and Safety for Cyber-Physical Systems. MT-CPS 2018
  • Sasinee Pruekprasert and Toshimitsu Ushio. Supervisory Control of Partially Observed Quantitative Discrete Event Systems for Fixed-Initial-Credit Energy Problem
    [url]
  • Gidon Ernst, Ichiro Hasuo, Sean Sedwards and Zhenya Zhang. Time-Staging Enhancement of Hybrid System Falsification. SNR 2018
  • Natsuki Urabe and Ichiro Hasuo. Categorical Buechi and Parity Conditions via Alternating Fixed Points of Functors. CMCS 2018
  • David Sprunger, Shin-ya Katsumata, Jeremy Dubut and Ichiro Hasuo. Fibrational Simulations and Quantitative Reasoning. CMCS 2018
  • Martin Avanzini, Ugo dal Lago and Akihisa Yamada. On Probabilistic Term Rewriting. FLOPS 2018
  • Shin-ya Katsumata. A Double-Category Theoretic Analysis of Graded Linear Exponential Comands. FoSSaCS 2018
  • Jose Divasón, Sebastiaan Joosten, Ondrej Kuncar, René Thiemann and Akihisa Yamada. Efficient certification of complexity proofs: formalizing the Perron-Frobenius theorem (invited talk paper). CPP 2018
  • Pedro D'Argenio, Marcus Gerhold, Arnd Hartmanns and Sean Sedwards. A Hierarchy of Scheduler Classes for Stochastic Automata. FoSSaCS 2018
  • Carlos Budde, Pedro D'Argenio, Arnd Hartmanns and Sean Sedwards. A Statistical Model Checker for Nondeterminism and Rare Events. TACAS 2018
  • Jose Divason, Sebastiaan Joosten, Rene Thiemann and Akihisa Yamada. A Formalization of the LLL Basis Reduction Algorithm. ITP 2018