| 2026 | COMPSAC | The Zero Trust IoT (ZT-IoT) Project. | Atsuko Takefusa, Atsushi Igarashi, Taro Sekiyama, Kuniyasu Suzaki, Toshihiro Matsui, Jie Yin, Atsuya Osaki, Naoki Yamashita, Nobuo Aoki, Sewon Park, Terunobu Inaba, Llio Brun, Yutaka Ishikawa, Kento Aida, Yasushi Ono, Kensuke Fukuda, Eisaku Sakane, Ichiro Hasuo |
| 2026 | CONCUR | A Coalgebraic Dijkstra Algorithm (Invited Talk). | Takahiro Sanada, Yov Montacute, Kittiphon Phalakarn, Ichiro Hasuo |
| 2026 | FM | STLts-Div: Diversified Trace Synthesis from STL Specifications Using MILP. | Martin Jouve-Genty, Han Su, Sota Sato, Jie An, Zhenya Zhang, Ichiro Hasuo |
| 2026 | FM | Hybrid Spatiotemporal Logic for Automotive Applications: Modeling and Model-Checking. | Radu Florin Tulcan, Rose Bohrer, Yov Montacute, Kevin Zhou, Yusuke Kawamoto, Ichiro Hasuo |
| 2026 | LICS | Monads and Distributive Laws in Substructural Contexts. | Soichiro Fujii, Yun Chen Tsai, Yov Montacute, Ichiro Hasuo |
| 2025 | ATVA | Componentwise Automata Learning for System Integration. | Hiroya Fujinami, Masaki Waga, Jie An, Kohei Suenaga, Nayuta Yanagisawa, Hiroki Iseri, Ichiro Hasuo |
| 2025 | ATVA | Widest Path Games and Maximality Inheritance in Bounded Value Iteration for Stochastic Games. | Kittiphon Phalakarn, Yun Chen Tsai, Ichiro Hasuo |
| 2025 | CONCUR | Chance and Mass Interpretations of Probabilities in Markov Decision Processes. | Yun Chen Tsai, Kittiphon Phalakarn, S. Akshay, Ichiro Hasuo |
| 2025 | ICTAC | A Variety of Request-Response Specifications. | Daichi Aiba, Masaki Waga, Hiroya Fujinami, Koko Muroya, Shutaro Ouchi, Naoki Ueda, Yosuke Yokoyama, Yuta Wada, Ichiro Hasuo |
| 2024 | CAV | Optimization-Based Model Checking and Trace Synthesis for Complex STL Specifications. | Sota Sato, Jie An, Zhenya Zhang, Ichiro Hasuo |
| 2024 | CAV | Compositional Value Iteration with Pareto Caching. | Kazuki Watanabe, Marck van der Vegt, Sebastian Junges, Ichiro Hasuo |
| 2024 | COMPSAC | Formal Support for Threat Modeling with Attack Decision Diagrams. | Misato Nakabayashi, Taro Sekiyama, Ichiro Hasuo, Yutaka Ishikawa |
| 2024 | ESOP | Efficient Matching with Memoization for Regexes with Look-around and Atomic Grouping. | Hiroya Fujinami, Ichiro Hasuo |
| 2024 | FM | The Opacity of Timed Automata. | Jie An, Qiang Gao, Lingtai Wang, Naijun Zhan, Ichiro Hasuo |
| 2024 | FM | CauMon: An Informative Online Monitor for Signal Temporal Logic. | Zhenya Zhang, Jie An, Paolo Arcaini, Ichiro Hasuo |
| 2024 | ICTAC | Winning Strategy Templates for Stochastic Parity Games Towards Permissive and Resilient Control. | Kittiphon Phalakarn, Sasinee Pruekprasert, Ichiro Hasuo |
| 2024 | SAC | Temporal Logic Formalisation of ISO 34502 Critical Scenarios: Modular Construction with the RSS Safety Distance. | Jesse Reimann, Nico Mansion, James Haydon, Benjamin Bray, Agnishom Chattopadhyay, Sota Sato, Masaki Waga, tienne Andr, Ichiro Hasuo, Naoki Ueda, Yosuke Yokoyama |
| 2024 | TACAS | Pareto Curves for Compositionally Model Checking String Diagrams of MDPs. | Kazuki Watanabe, Marck van der Vegt, Ichiro Hasuo, Jurriaan Rot, Sebastian Junges |
| 2023 | CAV | Exploiting Adjoints in Property Directed Reachability Analysis. | Mayuko Kori, Flavio Ascari, Filippo Bonchi, Roberto Bruni, Roberta Gori, Ichiro Hasuo |
| 2023 | CAV | Compositional Probabilistic Model Checking with String Diagrams of MDPs. | Kazuki Watanabe, Clovis Eberhart, Kazuyuki Asada, Ichiro Hasuo |
| 2023 | CAV | Online Causation Monitoring of Signal Temporal Logic. | Zhenya Zhang, Jie An, Paolo Arcaini, Ichiro Hasuo |
| 2022 | ATVA | Dynamic Shielding for Reinforcement Learning in Black-Box Environments. | Masaki Waga, Ezequiel Castellano, Sasinee Pruekprasert, Stefan Klikovits, Toru Takisaka, Ichiro Hasuo |
| 2022 | CAV | The Lattice-Theoretic Essence of Property Directed Reachability Analysis. | Mayuko Kori, Natsuki Urabe, Shin-ya Katsumata, Kohei Suenaga, Ichiro Hasuo |
| 2021 | CAV | Decision Tree Learning in CEGIS-Based Termination Analysis. | Satoshi Kura, Hiroshi Unno, Ichiro Hasuo |
| 2021 | CAV | Effective Hybrid System Falsification Using Monte Carlo Tree Search Guided by QB-Robustness. | Zhenya Zhang, Deyun Lyu, Paolo Arcaini, Lei Ma, Ichiro Hasuo, Jianjun Zhao |
| 2021 | CONCUR | Fibrational Initial Algebra-Final Coalgebra Coincidence over Initial Algebras: Turning Verification Witnesses Upside Down. | Mayuko Kori, Ichiro Hasuo, Shin-ya Katsumata |
| 2021 | FM | Hybrid System Falsification for Multiple-Constraint Parameter Synthesis: A Gas Turbine Case Study. | Sota Sato, Atsuyoshi Saimen, Masaki Waga, Kenji Takao, Ichiro Hasuo |
| 2021 | IJCNN | Predictive PER: Balancing Priority and Diversity Towards Stable Deep Reinforcement Learning. | Sanghwa Lee, Jaeyoung Lee, Ichiro Hasuo |
| 2021 | LICS | Expressivity of Quantitative Modal Logics : Categorical Foundations via Codensity and Approximation. | Yuichi Komorida, Shin-ya Katsumata, Clemens Kupke, Jurriaan Rot, Ichiro Hasuo |
| 2021 | TAP | Architecture-Guided Test Resource Allocation via Logic. | Clovis Eberhart, Akihisa Yamada, Stefan Klikovits, Shin-ya Katsumata, Tsutomu Kobayashi, Ichiro Hasuo, Fuyuki Ishikawa |
| 2020 | AAAI | Weighted Automata Extraction from Recurrent Neural Networks via Regression on State Spaces. | Takamasa Okudono, Masaki Waga, Taro Sekiyama, Ichiro Hasuo |
| 2020 | CAV | Widest Paths and Global Propagation in Bounded Value Iteration for Stochastic Games. | Kittiphon Phalakarn, Toru Takisaka, Thomas Haas, Ichiro Hasuo |
| 2020 | GECCO | Genetic algorithm for the weight maximization problem on weighted automata. | Elena Gutirrez, Takamasa Okudono, Masaki Waga, Ichiro Hasuo |
| 2020 | TACAS | Relational Differential Dynamic Logic. | Juraj Kolck, Jrmy Dubut, Ichiro Hasuo, Shin-ya Katsumata, David Sprunger, Akihisa Yamada |
| 2019 | CAV | Symbolic Monitoring Against Specifications Parametric in Time and Data. | Masaki Waga, tienne Andr, Ichiro Hasuo |
| 2019 | CAV | Multi-armed Bandits for Boolean Connectives in Hybrid System Falsification. | Zhenya Zhang, Ichiro Hasuo, Paolo Arcaini |
| 2019 | FOSSACS | Path Category for Free - Open Morphisms from Coalgebras with Non-deterministic Branching. | Thorsten Wimann, Jrmy Dubut, Shin-ya Katsumata, Ichiro Hasuo |
| 2019 | LICS | Codensity Games for Bisimilarity. | Yuichi Komorida, Shin-ya Katsumata, Nick Hu, Bartek Klin, Ichiro Hasuo |
| 2019 | TACAS | Tail Probabilities for Randomized Program Runtimes via Martingales for Higher Moments. | Satoshi Kura, Natsuki Urabe, Ichiro Hasuo |
| 2018 | ATVA | Ranking and Repulsing Supermartingales for Reachability in Probabilistic Programs. | Toru Takisaka, Yuichiro Oyabu, Natsuki Urabe, Ichiro Hasuo |
| 2018 | CONCUR | Coalgebraic Theory of Bchi and Parity Automata: Fixed-Point Specifications, Categorically (Invited Tutorial). | Ichiro Hasuo |
| 2018 | ICECCS | Offline Timed Pattern Matching under Uncertainty. | tienne Andr, Ichiro Hasuo, Masaki Waga |
| 2017 | APLAS | Sharper and Simpler Nonlinear Interpolants for Program Verification. | Takamasa Okudono, Yuki Nishida, Kensuke Kojima, Kohei Suenaga, Kengo Kido, Ichiro Hasuo |
| 2017 | CALCO | Parity Automata for Quantitative Linear Time Logics. | Corina Crstea, Shunsuke Shimizu, Ichiro Hasuo |
| 2017 | LICS | Categorical liveness checking by corecursive algebras. | Natsuki Urabe, Masaki Hara, Ichiro Hasuo |
| 2016 | CONCUR | Coalgebraic Trace Semantics for Buechi and Parity Automata. | Natsuki Urabe, Shunsuke Shimizu, Ichiro Hasuo |
| 2016 | LICS | Healthiness from Duality. | Wataru Hino, Hiroki Kobayashi, Ichiro Hasuo, Bart Jacobs |
| 2016 | POPL | Lattice-theoretic progress measures and coalgebraic model checking. | Ichiro Hasuo, Shunsuke Shimizu, Corina Crstea |
| 2016 | POPL | Memoryful geometry of interaction II: recursion and adequacy. | Koko Muroya, Naohiko Hoshino, Ichiro Hasuo |
| 2016 | VMCAI | Abstract Interpretation with Infinitesimals - Towards Scalability in Nonstandard Static Analysis. | Kengo Kido, Swarat Chaudhuri, Ichiro Hasuo |
| 2015 | CALCO | Coalgebraic Infinite Traces and Kleisli Simulations. | Natsuki Urabe, Ichiro Hasuo |
| 2015 | CAV | Time Robustness in MTL and Expressivity in Hybrid System Falsification. | Takumi Akazaki, Ichiro Hasuo |
| 2015 | CAV | Abstract Interpretation with Infinitesimals: Towards Scalability in Nonstandard Static Analysis. | Kengo Kido, Swarat Chaudhuri, Ichiro Hasuo |
| 2014 | CONCUR | Generic Forward and Backward Simulations III: Quantitative Simulations by Matrices. | Natsuki Urabe, Ichiro Hasuo |
| 2014 | CSL | Memoryful geometry of interaction: from coalgebraic components to algebraic effects. | Naohiko Hoshino, Koko Muroya, Ichiro Hasuo |
| 2014 | CSL | The geometry of synchronization. | Ugo Dal Lago, Claudia Faggian, Ichiro Hasuo, Akira Yoshimizu |
| 2014 | ESOP | Measurements in Proof Nets as Higher-Order Quantum Circuits. | Akira Yoshimizu, Ichiro Hasuo, Claudia Faggian, Ugo Dal Lago |
| 2013 | POPL | Hyperstream processing systems: nonstandard modeling of continuous-time signals. | Kohei Suenaga, Hiroyoshi Sekine, Ichiro Hasuo |
| 2012 | CAV | Exercises in Nonstandard Static Analysis of Hybrid Systems. | Ichiro Hasuo, Kohei Suenaga |
| 2011 | CALCO | The Microcosm Principle and Compositionality of GSOS-Based Component Calculi. | Ichiro Hasuo |
| 2011 | ICALP | Programming with Infinitesimals: A While-Language for Hybrid System Modeling. | Kohei Suenaga, Ichiro Hasuo |
| 2011 | LICS | Semantics of Higher-Order Quantum Computation via Geometry of Interaction. | Ichiro Hasuo, Naohiko Hoshino |
| 2010 | CONCUR | Generic Forward and Backward Simulations II: Probabilistic Simulation. | Ichiro Hasuo |
| 2009 | CALCO | Coalgebraic Components in a Many-Sorted Microcosm. | Ichiro Hasuo, Chris Heunen, Bart Jacobs, Ana Sokolova |
| 2008 | FOSSACS | The Microcosm Principle and Concurrency in Coalgebra. | Ichiro Hasuo, Bart Jacobs, Ana Sokolova |
| 2007 | ESOP | Probabilistic Anonymity Via Coalgebraic Simulations. | Ichiro Hasuo, Yoshinobu Kawabe |
| 2007 | ICALP | Categorical Views on Computations on Trees (Extended Abstract). | Ichiro Hasuo, Bart Jacobs, Tarmo Uustalu |
| 2006 | CONCUR | Generic Forward and Backward Simulations. | Ichiro Hasuo |
| 2006 | LATIN | Relations Among Notions of Security for Identity Based Encryption Schemes. | Nuttapong Attrapadung, Yang Cui, David Galindo, Goichiro Hanaoka, Ichiro Hasuo, Hideki Imai, Kanta Matsuura, Peng Yang, Rui Zhang |
| 2006 | MPC | Freyd is Kleisli, for Arrows. | Bart Jacobs, Ichiro Hasuo |
| 2005 | CALCO | Context-Free Languages via Coalgebraic Trace Semantics. | Ichiro Hasuo, Bart Jacobs |
| 2005 | CCS | Provable anonymity. | Flavio D. Garcia, Ichiro Hasuo, Wolter Pieters, Peter van Rossum |