Kripke Completeness of First-Order Constructive Logics with Strong Negation. - Ichiro Hasuo; Ryo Kashima (Log. J. IGPL, 2003)

Context-Free Languages via Coalgebraic Trace Semantics. - Ichiro Hasuo; Bart Jacobs 001 (CALCO, 2005)

Provable anonymity. - Flavio D. Garcia; Ichiro Hasuo; Wolter Pieters; Peter van Rossum (FMSE, 2005)

Security Notions for Identity Based Encryption. - David Galindo; Ichiro Hasuo (IACR Cryptol. ePrint Arch., 2005)

Generic Forward and Backward Simulations. - Ichiro Hasuo (CONCUR, 2006)

Relations Among Notions of Security for Identity Based Encryption Schemes. - Nuttapong Attrapadung; Yang Cui 001; David Galindo; Goichiro Hanaoka; Ichiro Hasuo; Hideki Imai; Kanta Matsuura; Peng Yang 002; Rui Zhang 002 (LATIN, 2006)

Freyd is Kleisli, for Arrows. - Bart Jacobs 001; Ichiro Hasuo (MSFP@MPC, 2006)

Generic Trace Theory. - Ichiro Hasuo; Bart Jacobs 001; Ana Sokolova (CMCS, 2006)

Probabilistic Anonymity Via Coalgebraic Simulations. - Ichiro Hasuo; Yoshinobu Kawabe (ESOP, 2007)

Categorical Views on Computations on Trees (Extended Abstract). - Ichiro Hasuo; Bart Jacobs 001; Tarmo Uustalu (ICALP, 2007)

Generic Trace Semantics via Coinduction. - Ichiro Hasuo; Bart Jacobs 001; Ana Sokolova (Log. Methods Comput. Sci., 2007)

The Microcosm Principle and Concurrency in Coalgebra. - Ichiro Hasuo; Bart Jacobs 001; Ana Sokolova (FoSSaCS, 2008)

Coalgebraic Components in a Many-Sorted Microcosm. - Ichiro Hasuo; Chris Heunen; Bart Jacobs 001; Ana Sokolova (CALCO, 2009)

Semantics and logic for security protocols. - Bart Jacobs 001; Ichiro Hasuo (J. Comput. Secur., 2009)

Categorical semantics for arrows. - Bart Jacobs 001; Chris Heunen; Ichiro Hasuo (J. Funct. Program., 2009)

Generic Forward and Backward Simulations II: Probabilistic Simulation. - Ichiro Hasuo (CONCUR, 2010)

Categorifying Computations into Components via Arrows as Profunctors. - Kazuyuki Asada; Ichiro Hasuo (CMCS@ETAPS, 2010)

Coalgebraic Representation Theory of Fractals. - Ichiro Hasuo; Bart Jacobs 001; Milad Niqui (MFPS, 2010)

Probabilistic anonymity via coalgebraic simulations. - Ichiro Hasuo; Yoshinobu Kawabe; Hideki Sakurada (Theor. Comput. Sci., 2010)

The Microcosm Principle and Compositionality of GSOS-Based Component Calculi. - Ichiro Hasuo (CALCO, 2011)

Programming with Infinitesimals: A While-Language for Hybrid System Modeling. - Kohei Suenaga; Ichiro Hasuo (ICALP (2), 2011)

Traces for coalgebraic components. - Ichiro Hasuo; Bart Jacobs 001 (Math. Struct. Comput. Sci., 2011)

Exercises in Nonstandard Static Analysis of Hybrid Systems. - Ichiro Hasuo; Kohei Suenaga (CAV, 2012)

Hybrid Systems: Theory and Practice, Seriously (NII Shonan Meeting 2012-2). - Ichiro Hasuo; Takuro Kutsuna; Toshimitsu Ushio (NII Shonan Meet. Rep., 2012)

Hyperstream processing systems: nonstandard modeling of continuous-time signals. - Kohei Suenaga; Hiroyoshi Sekine; Ichiro Hasuo (POPL, 2013)

Coinductive Predicates and Final Sequences in a Fibration. - Ichiro Hasuo; Kenta Cho 002; Toshiki Kataoka; Bart Jacobs 001 (MFPS, 2013)

Coinduction for Computation Structures and Programming Languages (NII Shonan Meeting 2013-11). - Ichiro Hasuo; Keiko Nakata 001; Tarmo Uustalu (NII Shonan Meet. Rep., 2013)

Generic Forward and Backward Simulations III: Quantitative Simulations by Matrices. - Natsuki Urabe; Ichiro Hasuo (CONCUR, 2014)

Memoryful geometry of interaction: from coalgebraic components to algebraic effects. - Naohiko Hoshino; Koko Muroya; Ichiro Hasuo (CSL-LICS, 2014)

The geometry of synchronization. - Ugo Dal Lago; Claudia Faggian; Ichiro Hasuo; Akira Yoshimizu (CSL-LICS, 2014)

Measurements in Proof Nets as Higher-Order Quantum Circuits. - Akira Yoshimizu; Ichiro Hasuo; Claudia Faggian; Ugo Dal Lago (ESOP, 2014)

Input Synthesis for Sampled Data Systems by Program Logic. - Takumi Akazaki; Ichiro Hasuo; Kohei Suenaga (HAS, 2014)

The Geometry of Synchronization (Long Version). - Ugo Dal Lago; Claudia Faggian; Ichiro Hasuo; Akira Yoshimizu (CoRR, 2014)

Near-Optimal Scheduler Synthesis for LTL with Future Discounting. - Shota Nakagawa; Ichiro Hasuo (CoRR, 2014)

Time Robustness in MTL and Expressivity in Hybrid System Falsification. - Takumi Akazaki; Ichiro Hasuo (CAV (2), 2015)

Abstract Interpretation with Infinitesimals: Towards Scalability in Nonstandard Static Analysis. - Kengo Kido; Swarat Chaudhuri; Ichiro Hasuo (SNR@CAV, 2015)

Near-Optimal Scheduling for LTL with Future Discounting. - Shota Nakagawa; Ichiro Hasuo (TGC, 2015)

Time Robustness in MTL and Expressivity in Hybrid System Falsification (Extended Version). - Takumi Akazaki; Ichiro Hasuo (CoRR, 2015)

Lattice-Theoretic Progress Measures and Coalgebraic Model Checking (with Appendices). - Ichiro Hasuo; Shunsuke Shimizu; Corina Cîrstea (CoRR, 2015)

Abstract Interpretation with Infinitesimals: Towards Scalability in Nonstandard Static Analysis (Extended Version). - Kengo Kido; Swarat Chaudhuri; Ichiro Hasuo (CoRR, 2015)

Generic weakest precondition semantics from monads enriched with order. - Ichiro Hasuo (Theor. Comput. Sci., 2015)

Coalgebraic Trace Semantics for Buechi and Parity Automata. - Natsuki Urabe; Shunsuke Shimizu; Ichiro Hasuo (CONCUR, 2016)

A Boyer-Moore Type Algorithm for Timed Pattern Matching. - Masaki Waga; Takumi Akazaki; Ichiro Hasuo (FORMATS, 2016)

Healthiness from Duality. - Wataru Hino; Hiroki Kobayashi; Ichiro Hasuo; Bart Jacobs 001 (LICS, 2016)

Lattice-theoretic progress measures and coalgebraic model checking. - Ichiro Hasuo; Shunsuke Shimizu; Corina Cîrstea (POPL, 2016)

Memoryful geometry of interaction II: recursion and adequacy. - Koko Muroya; Naohiko Hoshino; Ichiro Hasuo (POPL, 2016)

Coalgebras and Higher-Order Computation: a GoI Approach. - Ichiro Hasuo (FSCD, 2016)

Fair Simulation for Nondeterministic and Probabilistic Buechi Automata: a Coalgebraic Perspective. - Natsuki Urabe; Shunsuke Shimizu; Ichiro Hasuo (CoRR, 2016)

Special Issue on Quantum Physics and Logic. - Ichiro Hasuo; Prakash Panangaden (New Gener. Comput., 2016)

Sharper and Simpler Nonlinear Interpolants for Program Verification. - Takamasa Okudono; Yuki Nishida 001; Kensuke Kojima; Kohei Suenaga; Kengo Kido; Ichiro Hasuo (APLAS, 2017)

Parity Automata for Quantitative Linear Time Logics. - Corina Cîrstea; Shunsuke Shimizu; Ichiro Hasuo (CALCO, 2017)

Nonstandard Static Analysis: Literal Transfer of Deductive Verification Frameworks from Discrete to Hybrid. - Ichiro Hasuo (CyPhy, 2017)

Switching Delays and the Skorokhod Distance in Incrementally Stable Switched Systems. - Kengo Kido; Sean Sedwards; Ichiro Hasuo (CyPhy, 2017)

Efficient Online Timed Pattern Matching by Automata-Based Skipping. - Masaki Waga; Ichiro Hasuo; Kohei Suenaga (FORMATS, 2017)

Categorical liveness checking by corecursive algebras. - Natsuki Urabe; Masaki Hara; Ichiro Hasuo (LICS, 2017)

Semantics of higher-order quantum computation via geometry of interaction. - Ichiro Hasuo; Naohiko Hoshino (Ann. Pure Appl. Log., 2017)

Causality-Aided Falsification. - Takumi Akazaki; Yoshihiro Kumazawa; Ichiro Hasuo (FVAV@iFM, 2017)

Bounding Errors Due to Switching Delays in Incrementally Stable Switched Systems (Extended Version). - Kengo Kido; Sean Sedwards; Ichiro Hasuo (CoRR, 2017)

Quantitative simulations by matrices. - Natsuki Urabe; Ichiro Hasuo (Inf. Comput., 2017)

Fair Simulation for Nondeterministic and Probabilistic Buechi Automata: a Coalgebraic Perspective. - Natsuki Urabe; Ichiro Hasuo (Log. Methods Comput. Sci., 2017)

Metamathematics for Systems Design - Comprehensive Transfer of Formal Methods Techniques to Cyber-Physical Systems. - Ichiro Hasuo (New Gener. Comput., 2017)

ARCH-COMP18 Category Report: Results on the Falsification Benchmarks. - Adel Dokhanchi; Shakiba Yaghoubi; Bardh Hoxha; Georgios Fainekos; Gidon Ernst; Zhenya Zhang; Paolo Arcaini; Ichiro Hasuo; Sean Sedwards (ARCH@ADHS, 2018)

Bounding Errors Due to Switching Delays in Incrementally Stable Switched Systems. - Kengo Kido; Sean Sedwards; Ichiro Hasuo (ADHS, 2018)

Ranking and Repulsing Supermartingales for Reachability in Probabilistic Programs. - Toru Takisaka; Yuichiro Oyabu; Natsuki Urabe; Ichiro Hasuo (ATVA, 2018)

Fibrational Bisimulations and Quantitative Reasoning. - David Sprunger; Shin-ya Katsumata; Jérémy Dubut; Ichiro Hasuo (CMCS, 2018)

Categorical Büchi and Parity Conditions via Alternating Fixed Points of Functors. - Natsuki Urabe; Ichiro Hasuo (CMCS, 2018)

Coalgebraic Theory of Büchi and Parity Automata: Fixed-Point Specifications, Categorically (Invited Tutorial). - Ichiro Hasuo (CONCUR, 2018)

MONAA: A Tool for Timed Pattern Matching with Automata-Based Acceleration. - Masaki Waga; Ichiro Hasuo; Kohei Suenaga (MT@CPSWeek, 2018)

Offline Timed Pattern Matching under Uncertainty. - Étienne André; Ichiro Hasuo; Masaki Waga (ICECCS, 2018)

Two-Layered Falsification of Hybrid Systems guided by Monte Carlo Tree Search. - Zhenya Zhang; Ichiro Hasuo; Gidon Ernst; Sean Sedwards (CoRR, 2018)

Categorical Buechi and Parity Conditions via Alternating Fixed Points of Functors. - Natsuki Urabe; Ichiro Hasuo (CoRR, 2018)

Ranking and Repulsing Supermartingales for Approximating Reachability. - Toru Takisaka; Yuichiro Oyabu; Natsuki Urabe; Ichiro Hasuo (CoRR, 2018)

Quantitative bisimulations using coreflections and open morphisms. - Jérémy Dubut; Ichiro Hasuo; Shin-ya Katsumata; David Sprunger (CoRR, 2018)

Quantitative Matrix Simulation. - Natsuki Urabe; Ichiro Hasuo (CoRR, 2018)

Preface. - Ichiro Hasuo (J. Log. Algebraic Methods Program., 2018)

Coalgebraic Infinite Traces and Kleisli Simulations. - Natsuki Urabe; Ichiro Hasuo (Log. Methods Comput. Sci., 2018)

Coinductive predicates and final sequences in a fibration. - Ichiro Hasuo; Toshiki Kataoka; Kenta Cho 002 (Math. Struct. Comput. Sci., 2018)

Moore-Machine Filtering for Timed and Untimed Pattern Matching. - Masaki Waga; Ichiro Hasuo (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018)

Two-Layered Falsification of Hybrid Systems Guided by Monte Carlo Tree Search. - Zhenya Zhang; Gidon Ernst; Sean Sedwards; Paolo Arcaini; Ichiro Hasuo (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018)

Symbolic Monitoring Against Specifications Parametric in Time and Data. - Masaki Waga; Étienne André; Ichiro Hasuo (CAV (1), 2019)

Multi-armed Bandits for Boolean Connectives in Hybrid System Falsification. - Zhenya Zhang; Ichiro Hasuo; Paolo Arcaini (CAV (1), 2019)

Path Category for Free - Open Morphisms from Coalgebras with Non-deterministic Branching. - Thorsten Wißmann; Jérémy Dubut; Shin-ya Katsumata; Ichiro Hasuo (FoSSaCS, 2019)

Relational differential dynamic logic: poster abstract. - Juraj Kolcák; Ichiro Hasuo; Jérémy Dubut; Shin-ya Katsumata; David Sprunger; Akihisa Yamada 002 (HSCC, 2019)

Moore-machine filtering for timed and untimed pattern matching: poster abstract. - Masaki Waga; Ichiro Hasuo (HSCC, 2019)

Codensity Games for Bisimilarity. - Yuichi Komorida; Shin-ya Katsumata; Nick Hu; Bartek Klin; Ichiro Hasuo (LICS, 2019)

Fast Falsification of Hybrid Systems Using Probabilistically Adaptive Input. - Gidon Ernst; Sean Sedwards; Zhenya Zhang; Ichiro Hasuo (QEST, 2019)

Tail Probabilities for Randomized Program Runtimes via Martingales for Higher Moments. - Satoshi Kura 001; Natsuki Urabe; Ichiro Hasuo (TACAS (2), 2019)

Towards a Framework for the Analysis of Multi-Product Lines in the Automotive Domain. - Shaukat Ali 001; Paolo Arcaini; Ichiro Hasuo; Fuyuki Ishikawa; Nian-Ze Lee (VaMoS, 2019)

Multi-Armed Bandits for Boolean Connectives in Hybrid System Falsification (Extended Version). - Zhenya Zhang; Ichiro Hasuo; Paolo Arcaini (CoRR, 2019)

Weighted Automata Extraction from Recurrent Neural Networks via Regression on State Spaces. - Takamasa Okudono; Masaki Waga; Taro Sekiyama; Ichiro Hasuo (AAAI, 2020)

Widest Paths and Global Propagation in Bounded Value Iteration for Stochastic Games. - Kittiphon Phalakarn; Toru Takisaka; Thomas Haas; Ichiro Hasuo (CAV (2), 2020)

Genetic algorithm for the weight maximization problem on weighted automata. - Elena Gutiérrez; Takamasa Okudono; Masaki Waga; Ichiro Hasuo (GECCO, 2020)

Constraining Counterexamples in Hybrid System Falsification: Penalty-Based Approaches. - Zhenya Zhang; Paolo Arcaini; Ichiro Hasuo (NFM, 2020)

Relational Differential Dynamic Logic. - Juraj Kolcák; Jérémy Dubut; Ichiro Hasuo; Shin-ya Katsumata; David Sprunger; Akihisa Yamada 002 (TACAS (1), 2020)

Constrained Optimization for Falsification and Conjunctive Synthesis. - Sota Sato 001; Masaki Waga; Ichiro Hasuo (CoRR, 2020)

Hybrid System Falsification Under (In)equality Constraints via Search Space Transformation. - Zhenya Zhang; Paolo Arcaini; Ichiro Hasuo (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020)

Constrained Optimization for Hybrid System Falsification and Application to Conjunctive Synthesis. - Sota Sato 001; Masaki Waga; Ichiro Hasuo (ADHS, 2021)

Decision Tree Learning in CEGIS-Based Termination Analysis. - Satoshi Kura 001; Hiroshi Unno 001; Ichiro Hasuo (CAV (2), 2021)

Effective Hybrid System Falsification Using Monte Carlo Tree Search Guided by QB-Robustness. - Zhenya Zhang; Deyun Lyu; Paolo Arcaini; Lei Ma 003; Ichiro Hasuo; Jianjun Zhao 001 (CAV (1), 2021)

Fibrational Initial Algebra-Final Coalgebra Coincidence over Initial Algebras: Turning Verification Witnesses Upside Down. - Mayuko Kori; Ichiro Hasuo; Shin-ya Katsumata (CONCUR, 2021)

Hybrid System Falsification for Multiple-Constraint Parameter Synthesis: A Gas Turbine Case Study. - Sota Sato 001; Atsuyoshi Saimen; Masaki Waga; Kenji Takao; Ichiro Hasuo (FM, 2021)

Predictive PER: Balancing Priority and Diversity Towards Stable Deep Reinforcement Learning. - Sanghwa Lee; Jaeyoung Lee 003; Ichiro Hasuo (IJCNN, 2021)

Expressivity of Quantitative Modal Logics : Categorical Foundations via Codensity and Approximation. - Yuichi Komorida; Shin-ya Katsumata; Clemens Kupke; Jurriaan Rot; Ichiro Hasuo (LICS, 2021)

Robustifying Controller Specifications of Cyber-Physical Systems Against Perceptual Uncertainty. - Tsutomu Kobayashi; Rick Salay; Ichiro Hasuo; Krzysztof Czarnecki 001; Fuyuki Ishikawa; Shin-ya Katsumata (NFM, 2021)

On the Effectiveness of Signal Rescaling in Hybrid System Falsification. - Zhenya Zhang; Deyun Lyu; Paolo Arcaini; Lei Ma 003; Ichiro Hasuo; Jianjun Zhao 001 (NFM, 2021)

Architecture-Guided Test Resource Allocation via Logic. - Clovis Eberhart; Akihisa Yamada 002; Stefan Klikovits; Shin-ya Katsumata; Tsutomu Kobayashi; Ichiro Hasuo; Fuyuki Ishikawa (TAP@STAF, 2021)

Time-Staging Enhancement of Hybrid System Falsification. - Gidon Ernst; Ichiro Hasuo; Zhenya Zhang; Sean Sedwards (SNR, 2021)

A Compositional Approach to Parity Games. - Kazuki Watanabe 003; Clovis Eberhart; Kazuyuki Asada; Ichiro Hasuo (MFPS, 2021)

Fibrational bisimulations and quantitative reasoning: Extended version. - David Sprunger; Shin-ya Katsumata; Jérémy Dubut; Ichiro Hasuo (J. Log. Comput., 2021)

Falsification of Hybrid Systems Using Adaptive Probabilistic Search. - Gidon Ernst; Sean Sedwards; Zhenya Zhang; Ichiro Hasuo (ACM Trans. Model. Comput. Simul., 2021)

Ranking and Repulsing Supermartingales for Reachability in Randomized Programs. - Toru Takisaka; Yuichiro Oyabu; Natsuki Urabe; Ichiro Hasuo (ACM Trans. Program. Lang. Syst., 2021)

Dynamic Shielding for Reinforcement Learning in Black-Box Environments. - Masaki Waga; Ezequiel Castellano; Sasinee Pruekprasert; Stefan Klikovits; Toru Takisaka; Ichiro Hasuo (ATVA, 2022)

The Lattice-Theoretic Essence of Property Directed Reachability Analysis. - Mayuko Kori; Natsuki Urabe; Shin-ya Katsumata; Kohei Suenaga; Ichiro Hasuo (CAV (1), 2022)

Exemplifying Parametric Timed Specifications over Signals with Bounded Behavior. - Étienne André; Masaki Waga; Natsuki Urabe; Ichiro Hasuo (NFM, 2022)

The Lattice-Theoretic Essence of PropertyDirected Reachability Analysis. - Mayuko Kori; Natsuki Urabe; Shin-ya Katsumata; Kohei Suenaga; Ichiro Hasuo (CoRR, 2022)

Responsibility-Sensitive Safety: an Introduction with an Eye to Logical Foundations and Formalization. - Ichiro Hasuo (CoRR, 2022)

Codensity Games for Bisimilarity. - Yuichi Komorida; Shin-ya Katsumata; Nick Hu; Bartek Klin; Samuel Humeau 002; Clovis Eberhart; Ichiro Hasuo (New Gener. Comput., 2022)

Model-bounded Monitoring of Hybrid Systems. - Masaki Waga; Étienne André; Ichiro Hasuo (ACM Trans. Cyber Phys. Syst., 2022)

Data for "Exemplifying parametric timed specifications over signals with bounded behavior". - Étienne André; Masaki Waga; Natsuki Urabe; Ichiro Hasuo (Zenodo, 2022)

Data for "Exemplifying parametric timed specifications over signals with bounded behavior". - Étienne André; Masaki Waga; Natsuki Urabe; Ichiro Hasuo (Zenodo, 2022)

Exploiting Adjoints in Property Directed Reachability Analysis. - Mayuko Kori; Flavio Ascari; Filippo Bonchi; Roberto Bruni 001; Roberta Gori; Ichiro Hasuo (CAV (2), 2023)

Compositional Probabilistic Model Checking with String Diagrams of MDPs. - Kazuki Watanabe 003; Clovis Eberhart; Kazuyuki Asada; Ichiro Hasuo (CAV (3), 2023)

Online Causation Monitoring of Signal Temporal Logic. - Zhenya Zhang; Jie An 001; Paolo Arcaini; Ichiro Hasuo (CAV (1), 2023)

Automated Security Analysis for Real-World IoT Devices. - Lélio Brun; Ichiro Hasuo; Yasushi Ono; Taro Sekiyama (HASP@MICRO, 2023)

Formal Verification of Intersection Safety for Automated Driving. - James Haydon; Martin Bondu; Clovis Eberhart; Jérémy Dubut; Ichiro Hasuo (ITSC, 2023)

Formal Verification of Safety Architectures for Automated Driving. - Clovis Eberhart; Jérémy Dubut; James Haydon; Ichiro Hasuo (IV, 2023)

Parametric Timed Pattern Matching. - Masaki Waga; Étienne André; Ichiro Hasuo (ACM Trans. Softw. Eng. Methodol., 2023)

Online Causation Monitoring of Signal Temporal Logic (Artifact). - Zhenya Zhang; Jie An 001; Paolo Arcaini; Ichiro Hasuo (Zenodo, 2023)

Online Causation Monitoring of Signal Temporal Logic (Artifact). - Zhenya Zhang; Jie An 001; Paolo Arcaini; Ichiro Hasuo (Zenodo, 2023)

Goal-Aware RSS for Complex Scenarios via Program Logic. - Ichiro Hasuo; Clovis Eberhart; James Haydon; Jérémy Dubut; Rose Bohrer; Tsutomu Kobayashi; Sasinee Pruekprasert; Xiao-Yi Zhang 005; Erik André Pallas; Akihisa Yamada 002; Kohei Suenaga; Fuyuki Ishikawa; et al. (IEEE Trans. Intell. Veh., 2023)

FalsifAI: Falsification of AI-Enabled Hybrid Control Systems Guided by Time-Aware Coverage Criteria. - Zhenya Zhang; Deyun Lyu; Paolo Arcaini; Lei Ma 003; Ichiro Hasuo; Jianjun Zhao 001 (IEEE Trans. Software Eng., 2023)

A Robustness-Based Confidence Measure for Hybrid System Falsification. - Toru Takisaka; Zhenya Zhang; Paolo Arcaini; Ichiro Hasuo (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2023)

Activities of National Institute of Informatics in Japan. - Masaru Kitsuregawa; Shigeo Urushidani; Kazutsuna Yamaji; Hiroki Takakura; Ichiro Hasuo; Imari Sato; Fuyuki Ishikawa; Isao Echizen; Kensaku Mori (Commun. ACM, 2023)

Pareto Curves for Compositionally Model Checking String Diagrams of MDPs: Supplemental Material. - Kazuki Watanabe 003; Marck van der Vegt; Ichiro Hasuo; Jurriaan Rot; Sebastian Junges (Zenodo, 2023)

Compositional Solution of Mean Payoff Games by String Diagrams. - Kazuki Watanabe 003; Clovis Eberhart; Kazuyuki Asada; Ichiro Hasuo (Principles of Verification (3), 2024)

Optimization-Based Model Checking and Trace Synthesis for Complex STL Specifications. - Sota Sato 001; Jie An 001; Zhenya Zhang; Ichiro Hasuo (CAV (3), 2024)

Compositional Value Iteration with Pareto Caching. - Kazuki Watanabe 003; Marck van der Vegt; Sebastian Junges; Ichiro Hasuo (CAV (3), 2024)

Coalgebraic CTL: Fixpoint Characterization and Polynomial-Time Model Checking. - Ryota Kojima; Corina Cîrstea; Koko Muroya; Ichiro Hasuo (CMCS, 2024)

A Compositional Framework for Petri Nets. - Serge Lechenne; Clovis Eberhart; Ichiro Hasuo (CMCS, 2024)

Explicit Hopcroft's Trick in Categorical Partition Refinement. - Takahiro Sanada; Ryota Kojima; Yuichi Komorida; Koko Muroya; Ichiro Hasuo (CMCS, 2024)

Formal Support for Threat Modeling with Attack Decision Diagrams. - Misato Nakabayashi; Taro Sekiyama; Ichiro Hasuo; Yutaka Ishikawa (COMPSAC, 2024)

Efficient Matching with Memoization for Regexes with Look-around and Atomic Grouping. - Hiroya Fujinami; Ichiro Hasuo (ESOP (2), 2024)

The Opacity of Timed Automata. - Jie An 001; Qiang Gao; Lingtai Wang; Naijun Zhan; Ichiro Hasuo (FM (1), 2024)

CauMon: An Informative Online Monitor for Signal Temporal Logic. - Zhenya Zhang; Jie An 001; Paolo Arcaini; Ichiro Hasuo (FM (2), 2024)

Winning Strategy Templates for Stochastic Parity Games Towards Permissive and Resilient Control. - Kittiphon Phalakarn; Sasinee Pruekprasert; Ichiro Hasuo (ICTAC, 2024)

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 001; Masaki Waga; Étienne André; Ichiro Hasuo; Naoki Ueda; Yosuke Yokoyama (SAC, 2024)

Pareto Curves for Compositionally Model Checking String Diagrams of MDPs. - Kazuki Watanabe 003; Marck van der Vegt; Ichiro Hasuo; Jurriaan Rot; Sebastian Junges (TACAS (2), 2024)

Efficient Matching with Memoization for Regexes with Look-around and Atomic Grouping (Extended Version). - Hiroya Fujinami; Ichiro Hasuo (CoRR, 2024)

Learning Weighted Finite Automata over the Max-Plus Semiring and its Termination. - Takamasa Okudono; Masaki Waga; Taro Sekiyama; Ichiro Hasuo (CoRR, 2024)

Artifact Archive for memo-regex: linear-time regex matching implementation with memoization. - Hiroya Fujinami; Ichiro Hasuo (Zenodo, 2024)

Pareto Curves for Compositionally Model Checking String Diagrams of MDPs: Supplemental Material. - Kazuki Watanabe 003; Marck van der Vegt; Ichiro Hasuo; Jurriaan Rot; Sebastian Junges (Zenodo, 2024)

Pareto Curves for Compositionally Model Checking String Diagrams of MDPs: Supplemental Material. - Kazuki Watanabe 003; Marck van der Vegt; Ichiro Hasuo; Jurriaan Rot; Sebastian Junges (Zenodo, 2024)

Control-data separation and logical condition propagation for efficient inference on probabilistic programs. - Ichiro Hasuo; Yuichiro Oyabu; Clovis Eberhart; Kohei Suenaga; Kenta Cho 002; Shin-ya Katsumata (J. Log. Algebraic Methods Program., 2024)

Optimization-Based Model Checking and Trace Synthesis for Complex STL Specifications (Artifact). - Sota Sato 001; Jie An 001; Zhang Zhenya; Ichiro Hasuo (Zenodo, 2024)

Optimization-Based Model Checking and Trace Synthesis for Complex STL Specifications (Artifact). - Sota Sato 001; Jie An 001; Zhang Zhenya; Ichiro Hasuo (Zenodo, 2024)

Optimization-Based Model Checking and Trace Synthesis for Complex STL Specifications (Artifact). - Sota Sato 001; Jie An 001; Zhang Zhenya; Ichiro Hasuo (Zenodo, 2024)

Compositional Value Iteration with Pareto Caching: Supplemental Material. - Kazuki Watanabe 003; Marck van der Vegt; Sebastian Junges; Ichiro Hasuo (Zenodo, 2024)

Compositional Value Iteration with Pareto Caching: Supplemental Material. - Kazuki Watanabe 003; Marck van der Vegt; Sebastian Junges; Ichiro Hasuo (Zenodo, 2024)

Compositional Value Iteration with Pareto Caching: Supplemental Material. - Kazuki Watanabe 003; Marck van der Vegt; Sebastian Junges; Ichiro Hasuo (Zenodo, 2024)

CauMon: An Informative Online Monitor for Signal Temporal Logic. - Zhenya Zhang; Jie An 001; Paolo Arcaini; Ichiro Hasuo (Zenodo, 2024)

Chance and Mass Interpretations of Probabilities in Markov Decision Processes. - Yun Chen Tsai; Kittiphon Phalakarn; S. Akshay 001; Ichiro Hasuo (CONCUR, 2025)

A Unifying Approach to Product Constructions for Quantitative Temporal Inference. - Kazuki Watanabe 003; Sebastian Junges; Jurriaan Rot; Ichiro Hasuo (Proc. ACM Program. Lang., 2025)

Chance and Mass Interpretations of Probabilities in Markov Decision Processes (Extended Version). - Yun Chen Tsai; Kittiphon Phalakarn; S. Akshay 001; Ichiro Hasuo (CoRR, 2025)