Papers

  • Ichiro Hasuo and Naohiko Hoshino. Semantics of higher-order quantum computation via geometry of interaction
    [url]
  • Natsuki Urabe and Ichiro Hasuo. Quantitative simulations by matrices
    [url]
  • 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
    [Dagstuhu]
  • Ugo Dal Lago, Ryo Tanaka and Akira Yoshimizu. The Geometry of Concurrent Interaction: Handling Multiple Ports by Way of Multiple Tokens. LICS 2017
    [IEEE]
  • 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
    [Springer|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
    [EPTCS]
  • Takamasa Okudono, Yuki Nishida, Kensuke Kojima, Kohei Suenaga, Kengo Kido and Ichiro Hasuo. Sharper and Simpler Nonlinear Interpolants for Program Verification. APLAS 2017
    [Springer]
  • 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
  • Ichiro Hasuo, Toshiki Kataoka and Kenta Cho. Coinductive predicates and final sequences in a fibration
    [url]
  • Paolo Arcaini, Riccardo Melioli and Elvinia Riccobene. AsmetaF: a flattener for the ASMETA framework. F-IDE 2018
  • Thomas Cottrell, Soichiro Fujii and John Power. Higher dimensional categories: induction on extensivity. MFPS 2018
  • Jose Divasón, Sebastiaan Joosten, René Thiemann and Akihisa Yamada. A Perron-Frobenius Theorem for Jordan Blocks for Complexity Proving. WST 2018
  • Paolo Arcaini, Raffaela Mirandola, Elvinia Riccobene and Patrizia Scandurra. A DSL for MAPE patterns representation in self-adapting systems. ECSA 2018
  • Fuyuki Ishikawa and Yutaka Matsuno. Continuous Argument Engineering: Tackling Uncertainty in Machine Learning based Systems. ASSURE 2018
  • Fuyuki Ishikawa. Concepts in Quality Assessment for Machine Learning - From Test Data to Arguments. ER 2018
  • Toru Takisaka, Yuichiro Oyabu, Natsuki Urabe and Ichiro Hasuo. Ranking and Repulsing Supermartingales for Approximating Reachability. ATVA 2018
  • Yang Chen, Zhenya Zhang, Peng Wu and Yu Zhang. Interleaving Tree Based Fine-grained Linearizability Fault Localization. SETTA 2018
  • Masaki Waga and Ichiro Hasuo. Moore-Machine Filtering for Timed and Untimed Pattern Matching. EMSOFT 2018
  • Paolo Arcaini, Angelo Gargantini and Elvinia Riccobene. Interactive Testing and Repairing of Regular Expressions. ICTSS 2018