default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDIchiro Hasuo
Person information
- affiliation: University of Tokyo
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
[j30]Kazuki Watanabe
, Sebastian Junges, Jurriaan Rot, Ichiro Hasuo:
A Unifying Approach to Product Constructions for Quantitative Temporal Inference. Proc. ACM Program. Lang. 9(OOPSLA1): 1575-1603 (2025)- 2024
- [j29]Ichiro Hasuo, Yuichiro Oyabu, Clovis Eberhart, Kohei Suenaga, Kenta Cho, Shin-ya Katsumata:
Control-data separation and logical condition propagation for efficient inference on probabilistic programs. J. Log. Algebraic Methods Program. 136: 100922 (2024) - [c102]Kazuki Watanabe, Clovis Eberhart, Kazuyuki Asada, Ichiro Hasuo:
Compositional Solution of Mean Payoff Games by String Diagrams. Principles of Verification (3) 2024: 423-445 - [c101]Sota Sato, Jie An, Zhenya Zhang, Ichiro Hasuo:
Optimization-Based Model Checking and Trace Synthesis for Complex STL Specifications. CAV (3) 2024: 282-306 - [c100]Kazuki Watanabe, Marck van der Vegt, Sebastian Junges, Ichiro Hasuo:
Compositional Value Iteration with Pareto Caching. CAV (3) 2024: 467-491 - [c99]Ryota Kojima, Corina Cîrstea, Koko Muroya, Ichiro Hasuo:
Coalgebraic CTL: Fixpoint Characterization and Polynomial-Time Model Checking. CMCS 2024: 1-22 - [c98]Takahiro Sanada, Ryota Kojima, Yuichi Komorida, Koko Muroya, Ichiro Hasuo:
Explicit Hopcroft's Trick in Categorical Partition Refinement. CMCS 2024: 135-155 - [c97]Serge Lechenne, Clovis Eberhart, Ichiro Hasuo:
A Compositional Framework for Petri Nets. CMCS 2024: 174-193 - [c96]Misato Nakabayashi, Taro Sekiyama, Ichiro Hasuo, Yutaka Ishikawa:
Formal Support for Threat Modeling with Attack Decision Diagrams. COMPSAC 2024: 2454-2459 - [c95]Hiroya Fujinami, Ichiro Hasuo:
Efficient Matching with Memoization for Regexes with Look-around and Atomic Grouping. ESOP (2) 2024: 90-118 - [c94]Zhenya Zhang, Jie An, Paolo Arcaini, Ichiro Hasuo:
CauMon: An Informative Online Monitor for Signal Temporal Logic. FM (2) 2024: 286-304 - [c93]Jie An, Qiang Gao, Lingtai Wang, Naijun Zhan, Ichiro Hasuo:
The Opacity of Timed Automata. FM (1) 2024: 620-637 - [c92]Kittiphon Phalakarn, Sasinee Pruekprasert, Ichiro Hasuo:
Winning Strategy Templates for Stochastic Parity Games Towards Permissive and Resilient Control. ICTAC 2024: 197-214 - [c91]Ichiro Hasuo, Clovis Eberhart, James Haydon, Jérémy Dubut, Rose Bohrer, Tsutomu Kobayashi, Sasinee Pruekprasert, Xiao-Yi Zhang, Erik André Pallas, Akihisa Yamada, Kohei Suenaga, Fuyuki Ishikawa, Kenji Kamijo, Yoshiyuki Shinya, Takamasa Suetomi:
Goal-Aware RSS for Complex Scenarios via Program Logic. IV 2024: 3154 - [c90]Jesse Reimann, Nico Mansion, James Haydon, Benjamin Bray, Agnishom Chattopadhyay, Sota Sato, Masaki Waga, Étienne André, Ichiro Hasuo, Naoki Ueda, Yosuke Yokoyama:
Temporal Logic Formalisation of ISO 34502 Critical Scenarios: Modular Construction with the RSS Safety Distance. SAC 2024: 186-195 - [c89]Kazuki Watanabe, Marck van der Vegt, Ichiro Hasuo, Jurriaan Rot, Sebastian Junges:
Pareto Curves for Compositionally Model Checking String Diagrams of MDPs. TACAS (2) 2024: 279-298 - [d13]Hiroya Fujinami, Ichiro Hasuo:
Artifact Archive for memo-regex: linear-time regex matching implementation with memoization. Zenodo, 2024
- [d12]Sota Sato, Jie An, Zhang Zhenya, Ichiro Hasuo:
Optimization-Based Model Checking and Trace Synthesis for Complex STL Specifications (Artifact). Zenodo, 2024 - [d11]Kazuki Watanabe, Marck van der Vegt, Ichiro Hasuo, Jurriaan Rot, Sebastian Junges:
Pareto Curves for Compositionally Model Checking String Diagrams of MDPs: Supplemental Material. Version 2. Zenodo, 2024 [all versions] - [d10]Kazuki Watanabe, Marck van der Vegt, Ichiro Hasuo, Jurriaan Rot, Sebastian Junges:
Pareto Curves for Compositionally Model Checking String Diagrams of MDPs: Supplemental Material. Version 3. Zenodo, 2024 [all versions] - [d9]Kazuki Watanabe, Marck van der Vegt, Sebastian Junges, Ichiro Hasuo:
Compositional Value Iteration with Pareto Caching: Supplemental Material. Version 1. Zenodo, 2024 [all versions] - [d8]Kazuki Watanabe, Marck van der Vegt, Sebastian Junges, Ichiro Hasuo:
Compositional Value Iteration with Pareto Caching: Supplemental Material. Version 2. Zenodo, 2024 [all versions] - [d7]Kazuki Watanabe, Marck van der Vegt, Sebastian Junges, Ichiro Hasuo:
Compositional Value Iteration with Pareto Caching: Supplemental Material. Version 3. Zenodo, 2024 [all versions] - [d6]Zhenya Zhang, Jie An, Paolo Arcaini, Ichiro Hasuo:
CauMon: An Informative Online Monitor for Signal Temporal Logic. Zenodo, 2024 - [i67]Kazuki Watanabe, Marck van der Vegt, Ichiro Hasuo, Jurriaan Rot, Sebastian Junges:
Pareto Curves for Compositionally Model Checking String Diagrams of MDPs. CoRR abs/2401.08377 (2024) - [i66]Hiroya Fujinami, Ichiro Hasuo:
Efficient Matching with Memoization for Regexes with Look-around and Atomic Grouping (Extended Version). CoRR abs/2401.12639 (2024) - [i65]Jesse Reimann, Nico Mansion, James Haydon, Benjamin Bray, Agnishom Chattopadhyay, Sota Sato, Masaki Waga, Étienne André, Ichiro Hasuo, Naoki Ueda, Yosuke Yokoyama:
Temporal Logic Formalisation of ISO 34502 Critical Scenarios: Modular Construction with the RSS Safety Distance. CoRR abs/2403.18764 (2024) - [i64]Kazuki Watanabe, Marck van der Vegt, Sebastian Junges, Ichiro Hasuo:
Compositional Value Iteration with Pareto Caching. CoRR abs/2405.10099 (2024) - [i63]Takamasa Okudono, Masaki Waga, Taro Sekiyama, Ichiro Hasuo:
Learning Weighted Finite Automata over the Max-Plus Semiring and its Termination. CoRR abs/2407.09775 (2024) - [i62]Kazuki Watanabe, Sebastian Junges, Jurriaan Rot, Ichiro Hasuo:
A Unifying Approach to Product Constructions for Quantitative Temporal Inference. CoRR abs/2407.10465 (2024) - [i61]Sota Sato, Jie An, Zhenya Zhang, Ichiro Hasuo:
Optimization-Based Model Checking and Trace Synthesis for Complex STL Specifications. CoRR abs/2408.06983 (2024) - [i60]Kittiphon Phalakarn, Sasinee Pruekprasert, Ichiro Hasuo:
Winning Strategy Templates for Stochastic Parity Games towards Permissive and Resilient Control. CoRR abs/2409.08607 (2024) - 2023
- [j28]Masaru Kitsuregawa, Shigeo Urushidani, Kazutsuna Yamaji, Hiroki Takakura, Ichiro Hasuo, Imari Sato, Fuyuki Ishikawa, Isao Echizen, Kensaku Mori:
Activities of National Institute of Informatics in Japan. Commun. ACM 66(7): 58-63 (2023) - [j27]Toru Takisaka, Zhenya Zhang, Paolo Arcaini, Ichiro Hasuo:
A Robustness-Based Confidence Measure for Hybrid System Falsification. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42(5): 1718-1731 (2023) - [j26]Ichiro Hasuo, Clovis Eberhart, James Haydon, Jérémy Dubut, Rose Bohrer, Tsutomu Kobayashi, Sasinee Pruekprasert, Xiao-Yi Zhang, Erik André Pallas, Akihisa Yamada, Kohei Suenaga, Fuyuki Ishikawa, Kenji Kamijo, Yoshiyuki Shinya, Takamasa Suetomi:
Goal-Aware RSS for Complex Scenarios via Program Logic. IEEE Trans. Intell. Veh. 8(4): 3040-3072 (2023) - [j25]Masaki Waga, Étienne André, Ichiro Hasuo:
Parametric Timed Pattern Matching. ACM Trans. Softw. Eng. Methodol. 32(1): 10:1-10:35 (2023) - [j24]Zhenya Zhang, Deyun Lyu, Paolo Arcaini, Lei Ma, Ichiro Hasuo, Jianjun Zhao:
FalsifAI: Falsification of AI-Enabled Hybrid Control Systems Guided by Time-Aware Coverage Criteria. IEEE Trans. Software Eng. 49(4): 1842-1859 (2023) - [c88]Kazuki Watanabe, Clovis Eberhart, Kazuyuki Asada, Ichiro Hasuo:
Compositional Probabilistic Model Checking with String Diagrams of MDPs. CAV (3) 2023: 40-61 - [c87]Mayuko Kori, Flavio Ascari, Filippo Bonchi, Roberto Bruni, Roberta Gori, Ichiro Hasuo:
Exploiting Adjoints in Property Directed Reachability Analysis. CAV (2) 2023: 41-63 - [c86]Zhenya Zhang, Jie An, Paolo Arcaini, Ichiro Hasuo:
Online Causation Monitoring of Signal Temporal Logic. CAV (1) 2023: 62-84 - [c85]Lélio Brun, Ichiro Hasuo, Yasushi Ono, Taro Sekiyama:
Automated Security Analysis for Real-World IoT Devices. HASP@MICRO 2023: 29-37 - [c84]James Haydon, Martin Bondu, Clovis Eberhart, Jérémy Dubut, Ichiro Hasuo:
Formal Verification of Intersection Safety for Automated Driving. ITSC 2023: 107-114 - [c83]Clovis Eberhart, Jérémy Dubut, James Haydon, Ichiro Hasuo:
Formal Verification of Safety Architectures for Automated Driving. IV 2023: 1-8 - [d5]Zhenya Zhang, Jie An, Paolo Arcaini, Ichiro Hasuo:
Online Causation Monitoring of Signal Temporal Logic (Artifact). Version 1. Zenodo, 2023 [all versions] - [d4]Zhenya Zhang, Jie An, Paolo Arcaini, Ichiro Hasuo:
Online Causation Monitoring of Signal Temporal Logic (Artifact). Version 2. Zenodo, 2023 [all versions] - [d3]Kazuki Watanabe, Marck van der Vegt, Ichiro Hasuo, Jurriaan Rot, Sebastian Junges:
Pareto Curves for Compositionally Model Checking String Diagrams of MDPs: Supplemental Material. Version 1. Zenodo, 2023 [all versions] - [i59]Zhenya Zhang, Jie An, Paolo Arcaini, Ichiro Hasuo:
Online Causation Monitoring of Signal Temporal Logic. CoRR abs/2305.17754 (2023) - [i58]Mayuko Kori, Flavio Ascari, Filippo Bonchi, Roberto Bruni, Roberta Gori, Ichiro Hasuo:
Exploiting Adjoints in Property Directed Reachability Analysis. CoRR abs/2307.02817 (2023) - [i57]Kazuki Watanabe, Clovis Eberhart, Kazuyuki Asada, Ichiro Hasuo:
Compositional Solution of Mean Payoff Games by String Diagrams. CoRR abs/2307.08034 (2023) - [i56]Kazuki Watanabe, Clovis Eberhart, Kazuyuki Asada, Ichiro Hasuo:
Compositional Probabilistic Model Checking with String Diagrams of MDPs. CoRR abs/2307.08765 (2023) - [i55]Takahiro Sanada, Ryota Kojima, Yuichi Komorida, Koko Muroya, Ichiro Hasuo:
Explicit Hopcroft's Trick in Categorical Partition Refinement. CoRR abs/2307.15261 (2023) - [i54]James Haydon, Martin Bondu, Clovis Eberhart, Jérémy Dubut, Ichiro Hasuo:
Formal Verification of Intersection Safety for Automated Driving. CoRR abs/2308.06785 (2023) - [i53]Clovis Eberhart, Jérémy Dubut, James Haydon, Ichiro Hasuo:
Formal Verification of Safety Architectures for Automated Driving. CoRR abs/2308.10365 (2023) - 2022
- [j23]Yuichi Komorida, Shin-ya Katsumata, Nick Hu, Bartek Klin, Samuel Humeau, Clovis Eberhart, Ichiro Hasuo:
Codensity Games for Bisimilarity. New Gener. Comput. 40(2): 403-465 (2022) - [j22]Masaki Waga, Étienne André, Ichiro Hasuo:
Model-bounded Monitoring of Hybrid Systems. ACM Trans. Cyber Phys. Syst. 6(4): 30:1-30:26 (2022) - [c82]Masaki Waga, Ezequiel Castellano, Sasinee Pruekprasert, Stefan Klikovits, Toru Takisaka, Ichiro Hasuo:
Dynamic Shielding for Reinforcement Learning in Black-Box Environments. ATVA 2022: 25-41 - [c81]Mayuko Kori, Natsuki Urabe, Shin-ya Katsumata, Kohei Suenaga, Ichiro Hasuo:
The Lattice-Theoretic Essence of Property Directed Reachability Analysis. CAV (1) 2022: 235-256 - [c80]Étienne André, Masaki Waga, Natsuki Urabe, Ichiro Hasuo:
Exemplifying Parametric Timed Specifications over Signals with Bounded Behavior. NFM 2022: 470-488 - [d2]Étienne André, Masaki Waga, Natsuki Urabe, Ichiro Hasuo:
Data for "Exemplifying parametric timed specifications over signals with bounded behavior". Version 1. Zenodo, 2022 [all versions] - [d1]Étienne André, Masaki Waga, Natsuki Urabe, Ichiro Hasuo:
Data for "Exemplifying parametric timed specifications over signals with bounded behavior". Version 2. Zenodo, 2022 [all versions] - [i52]Étienne André, Masaki Waga, Natsuki Urabe, Ichiro Hasuo:
Exemplifying parametric timed specifications over signals with bounded behavior. CoRR abs/2203.13247 (2022) - [i51]Mayuko Kori, Natsuki Urabe, Shin-ya Katsumata, Kohei Suenaga, Ichiro Hasuo:
The Lattice-Theoretic Essence of PropertyDirected Reachability Analysis. CoRR abs/2203.14261 (2022) - [i50]Ichiro Hasuo:
Responsibility-Sensitive Safety: an Introduction with an Eye to Logical Foundations and Formalization. CoRR abs/2206.03418 (2022) - [i49]Ichiro Hasuo, Clovis Eberhart, James Haydon, Jérémy Dubut, Rose Bohrer, Tsutomu Kobayashi, Sasinee Pruekprasert, Xiao-Yi Zhang, Erik André Pallas, Akihisa Yamada, Kohei Suenaga, Fuyuki Ishikawa, Kenji Kamijo, Yoshiyuki Shinya, Takamasa Suetomi:
Goal-Aware RSS for Complex Scenarios via Program Logic. CoRR abs/2207.02387 (2022) - [i48]Masaki Waga, Ezequiel Castellano, Sasinee Pruekprasert, Stefan Klikovits, Toru Takisaka, Ichiro Hasuo:
Dynamic Shielding for Reinforcement Learning in Black-Box Environments. CoRR abs/2207.13446 (2022) - 2021
- [j21]David Sprunger, Shin-ya Katsumata, Jérémy Dubut, Ichiro Hasuo:
Fibrational bisimulations and quantitative reasoning: Extended version. J. Log. Comput. 31(6): 1526-1559 (2021) - [j20]Gidon Ernst, Sean Sedwards, Zhenya Zhang, Ichiro Hasuo:
Falsification of Hybrid Systems Using Adaptive Probabilistic Search. ACM Trans. Model. Comput. Simul. 31(3): 18:1-18:22 (2021) - [j19]Toru Takisaka, Yuichiro Oyabu, Natsuki Urabe, Ichiro Hasuo:
Ranking and Repulsing Supermartingales for Reachability in Randomized Programs. ACM Trans. Program. Lang. Syst. 43(2): 5:1-5:46 (2021) - [c79]Sota Sato, Masaki Waga, Ichiro Hasuo:
Constrained Optimization for Hybrid System Falsification and Application to Conjunctive Synthesis. ADHS 2021: 217-222 - [c78]Satoshi Kura, Hiroshi Unno, Ichiro Hasuo:
Decision Tree Learning in CEGIS-Based Termination Analysis. CAV (2) 2021: 75-98 - [c77]Zhenya Zhang, Deyun Lyu, Paolo Arcaini, Lei Ma, Ichiro Hasuo, Jianjun Zhao:
Effective Hybrid System Falsification Using Monte Carlo Tree Search Guided by QB-Robustness. CAV (1) 2021: 595-618 - [c76]Mayuko Kori, Ichiro Hasuo, Shin-ya Katsumata:
Fibrational Initial Algebra-Final Coalgebra Coincidence over Initial Algebras: Turning Verification Witnesses Upside Down. CONCUR 2021: 21:1-21:22 - [c75]Sota Sato, Atsuyoshi Saimen, Masaki Waga, Kenji Takao, Ichiro Hasuo:
Hybrid System Falsification for Multiple-Constraint Parameter Synthesis: A Gas Turbine Case Study. FM 2021: 313-329 - [c74]Masaki Waga, Étienne André, Ichiro Hasuo:
Model-bounded monitoring of hybrid systems. ICCPS 2021: 21-32 - [c73]Sanghwa Lee, Jaeyoung Lee, Ichiro Hasuo:
Predictive PER: Balancing Priority and Diversity Towards Stable Deep Reinforcement Learning. IJCNN 2021: 1-10 - [c72]Yuichi Komorida, Shin-ya Katsumata, Clemens Kupke, Jurriaan Rot, Ichiro Hasuo:
Expressivity of Quantitative Modal Logics : Categorical Foundations via Codensity and Approximation. LICS 2021: 1-14 - [c71]Tsutomu Kobayashi, Rick Salay, Ichiro Hasuo, Krzysztof Czarnecki, Fuyuki Ishikawa, Shin-ya Katsumata:
Robustifying Controller Specifications of Cyber-Physical Systems Against Perceptual Uncertainty. NFM 2021: 198-213 - [c70]Zhenya Zhang, Deyun Lyu, Paolo Arcaini, Lei Ma, Ichiro Hasuo, Jianjun Zhao:
On the Effectiveness of Signal Rescaling in Hybrid System Falsification. NFM 2021: 392-399 - [c69]Clovis Eberhart, Akihisa Yamada, Stefan Klikovits, Shin-ya Katsumata, Tsutomu Kobayashi, Ichiro Hasuo, Fuyuki Ishikawa:
Architecture-Guided Test Resource Allocation via Logic. TAP@STAF 2021: 22-38 - [c68]Gidon Ernst, Ichiro Hasuo, Zhenya Zhang, Sean Sedwards:
Time-Staging Enhancement of Hybrid System Falsification. SNR 2021: 25-43 - [c67]Kazuki Watanabe, Clovis Eberhart, Kazuyuki Asada, Ichiro Hasuo:
A Compositional Approach to Parity Games. MFPS 2021: 278-295 - [i47]Ichiro Hasuo, Yuichiro Oyabu, Clovis Eberhart, Kohei Suenaga, Kenta Cho, Shin-ya Katsumata:
Control-Data Separation and Logical Condition Propagation for Efficient Inference on Probabilistic Programs. CoRR abs/2101.01502 (2021) - [i46]Masaki Waga, Étienne André, Ichiro Hasuo:
Model-bounded monitoring of hybrid systems. CoRR abs/2102.07401 (2021) - [i45]Satoshi Kura, Hiroshi Unno, Ichiro Hasuo:
Decision Tree Learning in CEGIS-Based Termination Analysis. CoRR abs/2104.11463 (2021) - [i44]Mayuko Kori, Ichiro Hasuo, Shin-ya Katsumata:
Fibrational Initial Algebra-Final Coalgebra Coincidence over Initial Algebras: Turning Verification Witnesses Upside Down. CoRR abs/2105.04817 (2021) - [i43]Yuichi Komorida, Shin-ya Katsumata, Clemens Kupke, Jurriaan Rot, Ichiro Hasuo:
Expressivity of Quantitative Modal Logics: Categorical Foundations via Codensity and Approximation. CoRR abs/2105.10164 (2021) - [i42]Clovis Eberhart, Akihisa Yamada, Stefan Klikovits, Shin-ya Katsumata, Tsutomu Kobayashi, Ichiro Hasuo, Fuyuki Ishikawa:
Architecture-Guided Test Resource Allocation Via Logic. CoRR abs/2107.10948 (2021) - [i41]Tsutomu Kobayashi, Rick Salay, Ichiro Hasuo, Krzysztof Czarnecki, Fuyuki Ishikawa, Shin-ya Katsumata:
Robustifying Controller Specifications of Cyber-Physical Systems Against Perceptual Uncertainty. CoRR abs/2108.07509 (2021) - 2020
- [j18]Zhenya Zhang, Paolo Arcaini, Ichiro Hasuo:
Hybrid System Falsification Under (In)equality Constraints via Search Space Transformation. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39(11): 3674-3685 (2020) - [c66]Takamasa Okudono, Masaki Waga, Taro Sekiyama, Ichiro Hasuo:
Weighted Automata Extraction from Recurrent Neural Networks via Regression on State Spaces. AAAI 2020: 5306-5314 - [c65]Kittiphon Phalakarn, Toru Takisaka, Thomas Haas, Ichiro Hasuo:
Widest Paths and Global Propagation in Bounded Value Iteration for Stochastic Games. CAV (2) 2020: 349-371 - [c64]Elena Gutiérrez, Takamasa Okudono, Masaki Waga, Ichiro Hasuo:
Genetic algorithm for the weight maximization problem on weighted automata. GECCO 2020: 699-707 - [c63]Zhenya Zhang, Paolo Arcaini, Ichiro Hasuo:
Constraining Counterexamples in Hybrid System Falsification: Penalty-Based Approaches. NFM 2020: 401-419 - [c62]Juraj Kolcák, Jérémy Dubut, Ichiro Hasuo, Shin-ya Katsumata, David Sprunger, Akihisa Yamada:
Relational Differential Dynamic Logic. TACAS (1) 2020: 191-208 - [i40]Zhenya Zhang, Paolo Arcaini, Ichiro Hasuo:
Constraining Counterexamples in Hybrid System Falsification: Penalty-Based Approaches. CoRR abs/2001.05107 (2020) - [i39]Elena Gutiérrez, Takamasa Okudono, Masaki Waga, Ichiro Hasuo:
Genetic Algorithm for the Weight Maximization Problem on Weighted Automata. CoRR abs/2004.06581 (2020) - [i38]Kittiphon Phalakarn, Toru Takisaka, Thomas Haas, Ichiro Hasuo:
Widest Paths and Global Propagation in Bounded Value Iteration for Stochastic Games. CoRR abs/2007.07421 (2020) - [i37]Sanghwa Lee, Jaeyoung Lee, Ichiro Hasuo:
Predictive PER: Balancing Priority and Diversity towards Stable Deep Reinforcement Learning. CoRR abs/2011.13093 (2020) - [i36]Sota Sato, Masaki Waga, Ichiro Hasuo:
Constrained Optimization for Falsification and Conjunctive Synthesis. CoRR abs/2012.00319 (2020)
2010 – 2019
- 2019
- [c61]Zhenya Zhang, Ichiro Hasuo, Paolo Arcaini:
Multi-armed Bandits for Boolean Connectives in Hybrid System Falsification. CAV (1) 2019: 401-420 - [c60]Masaki Waga, Étienne André, Ichiro Hasuo:
Symbolic Monitoring Against Specifications Parametric in Time and Data. CAV (1) 2019: 520-539 - [c59]Thorsten Wißmann, Jérémy Dubut, Shin-ya Katsumata, Ichiro Hasuo:
Path Category for Free - Open Morphisms from Coalgebras with Non-deterministic Branching. FoSSaCS 2019: 523-540 - [c58]Masaki Waga, Ichiro Hasuo:
Moore-machine filtering for timed and untimed pattern matching: poster abstract. HSCC 2019: 272-273 - [c57]Juraj Kolcák, Ichiro Hasuo, Jérémy Dubut, Shin-ya Katsumata, David Sprunger, Akihisa Yamada:
Relational differential dynamic logic: poster abstract. HSCC 2019: 284-285 - [c56]Yuichi Komorida, Shin-ya Katsumata, Nick Hu, Bartek Klin, Ichiro Hasuo:
Codensity Games for Bisimilarity. LICS 2019: 1-13 - [c55]Gidon Ernst, Sean Sedwards, Zhenya Zhang, Ichiro Hasuo:
Fast Falsification of Hybrid Systems Using Probabilistically Adaptive Input. QEST 2019: 165-181 - [c54]Satoshi Kura, Natsuki Urabe, Ichiro Hasuo:
Tail Probabilities for Randomized Program Runtimes via Martingales for Higher Moments. TACAS (2) 2019: 135-153 - [c53]Shaukat Ali, Paolo Arcaini, Ichiro Hasuo, Fuyuki Ishikawa, Nian-Ze Lee:
Towards a Framework for the Analysis of Multi-Product Lines in the Automotive Domain. VaMoS 2019: 12:1-12:6 - [i35]Juraj Kolcák, Ichiro Hasuo, Jérémy Dubut, Shin-ya Katsumata, David Sprunger, Akihisa Yamada:
Relational Differential Dynamic Logic. CoRR abs/1903.00153 (2019) - [i34]Takamasa Okudono, Masaki Waga, Taro Sekiyama, Ichiro Hasuo:
Weighted Automata Extraction from Recurrent Neural Networks via Regression on State Spaces. CoRR abs/1904.02931 (2019) - [i33]Masaki Waga, Étienne André, Ichiro Hasuo:
Symbolic Monitoring against Specifications Parametric in Time and Data. CoRR abs/1905.04486 (2019) - [i32]Zhenya Zhang, Ichiro Hasuo, Paolo Arcaini:
Multi-Armed Bandits for Boolean Connectives in Hybrid System Falsification (Extended Version). CoRR abs/1905.07549 (2019) - [i31]Yuichi Komorida, Shin-ya Katsumata, Nick Hu, Bartek Klin, Ichiro Hasuo:
Codensity Games for Bisimilarity. CoRR abs/1907.09634 (2019) - 2018
- [j17]Ichiro Hasuo:
Preface. J. Log. Algebraic Methods Program. 94: 183 (2018) - [j16]Natsuki Urabe, Ichiro Hasuo:
Coalgebraic Infinite Traces and Kleisli Simulations. Log. Methods Comput. Sci. 14(3) (2018) - [j15]Ichiro Hasuo, Toshiki Kataoka, Kenta Cho:
Coinductive predicates and final sequences in a fibration. Math. Struct. Comput. Sci. 28(4): 562-611 (2018) - [j14]Masaki Waga, Ichiro Hasuo:
Moore-Machine Filtering for Timed and Untimed Pattern Matching. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 37(11): 2649-2660 (2018) - [j13]Zhenya Zhang, Gidon Ernst, Sean Sedwards, Paolo Arcaini, Ichiro Hasuo:
Two-Layered Falsification of Hybrid Systems Guided by Monte Carlo Tree Search. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 37(11): 2894-2905 (2018) - [c52]Adel Dokhanchi, Shakiba Yaghoubi, Bardh Hoxha, Georgios Fainekos, Gidon Ernst, Zhenya Zhang, Paolo Arcaini, Ichiro Hasuo, Sean Sedwards:
ARCH-COMP18 Category Report: Results on the Falsification Benchmarks. ARCH@ADHS 2018: 104-109 - [c51]Kengo Kido, Sean Sedwards, Ichiro Hasuo:
Bounding Errors Due to Switching Delays in Incrementally Stable Switched Systems. ADHS 2018: 247-252 - [c50]Toru Takisaka, Yuichiro Oyabu, Natsuki Urabe, Ichiro Hasuo:
Ranking and Repulsing Supermartingales for Reachability in Probabilistic Programs. ATVA 2018: 476-493 - [c49]David Sprunger, Shin-ya Katsumata, Jérémy Dubut, Ichiro Hasuo:
Fibrational Bisimulations and Quantitative Reasoning. CMCS 2018: 190-213 - [c48]Natsuki Urabe, Ichiro Hasuo:
Categorical Büchi and Parity Conditions via Alternating Fixed Points of Functors. CMCS 2018: 214-234 - [c47]Ichiro Hasuo:
Coalgebraic Theory of Büchi and Parity Automata: Fixed-Point Specifications, Categorically (Invited Tutorial). CONCUR 2018: 5:1-5:2 - [c46]Zhenya Zhang, Gidon Ernst, Ichiro Hasuo, Sean Sedwards:
Time-Staging Enhancement of Hybrid System Falsification. MT@CPSWeek 2018: 3-4 - [c45]Masaki Waga, Ichiro Hasuo, Kohei Suenaga:
MONAA: A Tool for Timed Pattern Matching with Automata-Based Acceleration. MT@CPSWeek 2018: 14-15 - [c44]Étienne André, Ichiro Hasuo, Masaki Waga:
Offline Timed Pattern Matching under Uncertainty. ICECCS 2018: 10-20 - [i30]Zhenya Zhang, Ichiro Hasuo, Gidon Ernst, Sean Sedwards:
Two-Layered Falsification of Hybrid Systems guided by Monte Carlo Tree Search. CoRR abs/1803.06276 (2018) - [i29]Natsuki Urabe, Ichiro Hasuo:
Categorical Buechi and Parity Conditions via Alternating Fixed Points of Functors. CoRR abs/1803.06811 (2018) - [i28]Toru Takisaka, Yuichiro Oyabu, Natsuki Urabe, Ichiro Hasuo:
Ranking and Repulsing Supermartingales for Approximating Reachability. CoRR abs/1805.10749 (2018) - [i27]Jérémy Dubut, Ichiro Hasuo, Shin-ya Katsumata, David Sprunger:
Quantitative bisimulations using coreflections and open morphisms. CoRR abs/1809.09278 (2018) - [i26]Natsuki Urabe, Ichiro Hasuo:
Quantitative Matrix Simulation. CoRR abs/1810.09146 (2018) - [i25]Masaki Waga, Ichiro Hasuo, Kohei Suenaga:
MONAA: A Tool for Timed Pattern Matching with Automata-Based Acceleration. CoRR abs/1810.09351 (2018) - [i24]Masaki Waga, Ichiro Hasuo:
Moore-Machine Filtering for Timed and Untimed Pattern Matching. CoRR abs/1810.09633 (2018) - [i23]Satoshi Kura, Natsuki Urabe, Ichiro Hasuo:
Tail Probabilities for Randomized Program Runtimes via Martingales for Higher Moments. CoRR abs/1811.06779 (2018) - [i22]Thorsten Wißmann, Jérémy Dubut, Shin-ya Katsumata, Ichiro Hasuo:
Path category for free - Open morphisms from coalgebras with non-deterministic branching. CoRR abs/1811.12294 (2018) - [i21]Gidon Ernst, Sean Sedwards, Zhenya Zhang, Ichiro Hasuo:
Fast Falsification of Hybrid Systems using Probabilistically Adaptive Input. CoRR abs/1812.04159 (2018) - [i20]Étienne André, Ichiro Hasuo, Masaki Waga:
Offline timed pattern matching under uncertainty. CoRR abs/1812.08940 (2018) - 2017
- [j12]Ichiro Hasuo, Naohiko Hoshino:
Semantics of higher-order quantum computation via geometry of interaction. Ann. Pure Appl. Log. 168(2): 404-469 (2017) - [j11]Natsuki Urabe, Ichiro Hasuo:
Quantitative simulations by matrices. Inf. Comput. 252: 110-137 (2017) - [j10]Natsuki Urabe, Ichiro Hasuo:
Fair Simulation for Nondeterministic and Probabilistic Buechi Automata: a Coalgebraic Perspective. Log. Methods Comput. Sci. 13(3) (2017) - [j9]Ichiro Hasuo:
Metamathematics for Systems Design - Comprehensive Transfer of Formal Methods Techniques to Cyber-Physical Systems. New Gener. Comput. 35(3): 271-305 (2017) - [c43]Takamasa Okudono, Yuki Nishida, Kensuke Kojima, Kohei Suenaga, Kengo Kido, Ichiro Hasuo:
Sharper and Simpler Nonlinear Interpolants for Program Verification. APLAS 2017: 491-513 - [c42]Corina Cîrstea, Shunsuke Shimizu, Ichiro Hasuo:
Parity Automata for Quantitative Linear Time Logics. CALCO 2017: 7:1-7:18 - [c41]Ichiro Hasuo:
Nonstandard Static Analysis: Literal Transfer of Deductive Verification Frameworks from Discrete to Hybrid. CyPhy 2017: 3-7 - [c40]Kengo Kido, Sean Sedwards, Ichiro Hasuo:
Switching Delays and the Skorokhod Distance in Incrementally Stable Switched Systems. CyPhy 2017: 109-126 - [c39]Masaki Waga, Ichiro Hasuo, Kohei Suenaga:
Efficient Online Timed Pattern Matching by Automata-Based Skipping. FORMATS 2017: 224-243 - [c38]Natsuki Urabe, Masaki Hara, Ichiro Hasuo:
Categorical liveness checking by corecursive algebras. LICS 2017: 1-12 - [c37]Takumi Akazaki, Yoshihiro Kumazawa, Ichiro Hasuo:
Causality-Aided Falsification. FVAV@iFM 2017: 3-18 - [i19]Natsuki Urabe, Masaki Hara, Ichiro Hasuo:
Categorical Liveness Checking by Corecursive Algebras. CoRR abs/1704.04872 (2017) - [i18]Masaki Waga, Ichiro Hasuo, Kohei Suenaga:
Efficient Online Timed Pattern Matching by Automata-Based Skipping. CoRR abs/1706.09174 (2017) - [i17]Takamasa Okudono, Yuki Nishida, Kensuke Kojima, Kohei Suenaga, Kengo Kido, Ichiro Hasuo:
Sharper and Simpler Nonlinear Interpolants for Program Verification. CoRR abs/1709.00314 (2017) - [i16]Kengo Kido, Sean Sedwards, Ichiro Hasuo:
Bounding Errors Due to Switching Delays in Incrementally Stable Switched Systems (Extended Version). CoRR abs/1712.06311 (2017) - 2016
- [j8]Ichiro Hasuo, Prakash Panangaden:
Special Issue on Quantum Physics and Logic. New Gener. Comput. 34(1-2): 1-2 (2016) - [c36]Natsuki Urabe, Shunsuke Shimizu, Ichiro Hasuo:
Coalgebraic Trace Semantics for Buechi and Parity Automata. CONCUR 2016: 24:1-24:15 - [c35]Masaki Waga, Takumi Akazaki, Ichiro Hasuo:
A Boyer-Moore Type Algorithm for Timed Pattern Matching. FORMATS 2016: 121-139 - [c34]Wataru Hino, Hiroki Kobayashi, Ichiro Hasuo, Bart Jacobs:
Healthiness from Duality. LICS 2016: 682-691 - [c33]Ichiro Hasuo, Shunsuke Shimizu, Corina Cîrstea:
Lattice-theoretic progress measures and coalgebraic model checking. POPL 2016: 718-732 - [c32]Koko Muroya, Naohiko Hoshino, Ichiro Hasuo:
Memoryful geometry of interaction II: recursion and adequacy. POPL 2016: 748-760 - [c31]Ichiro Hasuo:
Coalgebras and Higher-Order Computation: a GoI Approach. FSCD 2016: 2:1-2:2 - [c30]Kengo Kido, Swarat Chaudhuri, Ichiro Hasuo:
Abstract Interpretation with Infinitesimals - Towards Scalability in Nonstandard Static Analysis. VMCAI 2016: 229-249 - [e2]Ichiro Hasuo:
Coalgebraic Methods in Computer Science - 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers. Lecture Notes in Computer Science 9608, Springer 2016, ISBN 978-3-319-40369-4 [contents] - [i15]Wataru Hino, Hiroki Kobayashi, Ichiro Hasuo, Bart Jacobs:
Healthiness from Duality. CoRR abs/1605.00381 (2016) - [i14]Ichiro Hasuo, Naohiko Hoshino:
Semantics of Higher-Order Quantum Computation via Geometry of Interaction. CoRR abs/1605.05079 (2016) - [i13]Natsuki Urabe, Shunsuke Shimizu, Ichiro Hasuo:
Fair Simulation for Nondeterministic and Probabilistic Buechi Automata: a Coalgebraic Perspective. CoRR abs/1606.04680 (2016) - [i12]Masaki Waga, Takumi Akazaki, Ichiro Hasuo:
A Boyer-Moore Type Algorithm for Timed Pattern Matching. CoRR abs/1606.07207 (2016) - [i11]Natsuki Urabe, Shunsuke Shimizu, Ichiro Hasuo:
Coalgebraic Trace Semantics for Buechi and Parity Automata. CoRR abs/1606.09399 (2016) - 2015
- [j7]Ichiro Hasuo:
Generic weakest precondition semantics from monads enriched with order. Theor. Comput. Sci. 604: 2-29 (2015) - [c29]Natsuki Urabe, Ichiro Hasuo:
Coalgebraic Infinite Traces and Kleisli Simulations. CALCO 2015: 320-335 - [c28]Kengo Kido, Swarat Chaudhuri, Ichiro Hasuo:
Abstract Interpretation with Infinitesimals: Towards Scalability in Nonstandard Static Analysis. SNR@CAV 2015: 11-22 - [c27]Takumi Akazaki, Ichiro Hasuo:
Time Robustness in MTL and Expressivity in Hybrid System Falsification. CAV (2) 2015: 356-374 - [c26]Shota Nakagawa, Ichiro Hasuo:
Near-Optimal Scheduling for LTL with Future Discounting. TGC 2015: 112-130 - [i10]Takumi Akazaki, Ichiro Hasuo:
Time Robustness in MTL and Expressivity in Hybrid System Falsification (Extended Version). CoRR abs/1505.06307 (2015) - [i9]Natsuki Urabe, Ichiro Hasuo:
Coalgebraic Infinite Traces and Kleisli Simulations. CoRR abs/1505.06819 (2015) - [i8]Ichiro Hasuo, Shunsuke Shimizu, Corina Cîrstea:
Lattice-Theoretic Progress Measures and Coalgebraic Model Checking (with Appendices). CoRR abs/1511.00346 (2015) - [i7]Kengo Kido, Swarat Chaudhuri, Ichiro Hasuo:
Abstract Interpretation with Infinitesimals: Towards Scalability in Nonstandard Static Analysis (Extended Version). CoRR abs/1511.00825 (2015) - 2014
- [c25]Ichiro Hasuo:
Generic Weakest Precondition Semantics from Monads Enriched with Order. CMCS 2014: 10-32 - [c24]Natsuki Urabe, Ichiro Hasuo:
Generic Forward and Backward Simulations III: Quantitative Simulations by Matrices. CONCUR 2014: 451-466 - [c23]Ugo Dal Lago, Claudia Faggian, Ichiro Hasuo, Akira Yoshimizu:
The geometry of synchronization. CSL-LICS 2014: 35:1-35:10 - [c22]Naohiko Hoshino, Koko Muroya, Ichiro Hasuo:
Memoryful geometry of interaction: from coalgebraic components to algebraic effects. CSL-LICS 2014: 52:1-52:10 - [c21]Akira Yoshimizu, Ichiro Hasuo, Claudia Faggian, Ugo Dal Lago:
Measurements in Proof Nets as Higher-Order Quantum Circuits. ESOP 2014: 371-391 - [c20]Takumi Akazaki, Ichiro Hasuo, Kohei Suenaga:
Input Synthesis for Sampled Data Systems by Program Logic. HAS 2014: 22-39 - [e1]Bob Coecke, Ichiro Hasuo, Prakash Panangaden:
Proceedings of the 11th workshop on Quantum Physics and Logic, QPL 2014, Kyoto, Japan, 4-6th June 2014. EPTCS 172, 2014 [contents] - [i6]Ugo Dal Lago, Claudia Faggian, Ichiro Hasuo, Akira Yoshimizu:
The Geometry of Synchronization (Long Version). CoRR abs/1405.3427 (2014) - [i5]Shota Nakagawa, Ichiro Hasuo:
Near-Optimal Scheduler Synthesis for LTL with Future Discounting. CoRR abs/1410.4950 (2014) - 2013
- [c19]Kohei Suenaga, Hiroyoshi Sekine, Ichiro Hasuo:
Hyperstream processing systems: nonstandard modeling of continuous-time signals. POPL 2013: 417-430 - [c18]Ichiro Hasuo, Kenta Cho, Toshiki Kataoka, Bart Jacobs:
Coinductive Predicates and Final Sequences in a Fibration. MFPS 2013: 197-214 - [i4]Ichiro Hasuo, Keiko Nakata, Tarmo Uustalu:
Coinduction for Computation Structures and Programming Languages (NII Shonan Meeting 2013-11). NII Shonan Meet. Rep. 2013 (2013) - 2012
- [c17]Ichiro Hasuo, Kohei Suenaga:
Exercises in Nonstandard Static Analysis of Hybrid Systems. CAV 2012: 462-478 - [i3]Ichiro Hasuo, Takuro Kutsuna, Toshimitsu Ushio:
Hybrid Systems: Theory and Practice, Seriously (NII Shonan Meeting 2012-2). NII Shonan Meet. Rep. 2012 (2012) - 2011
- [j6]Ichiro Hasuo, Bart Jacobs:
Traces for coalgebraic components. Math. Struct. Comput. Sci. 21(2): 267-320 (2011) - [c16]Ichiro Hasuo:
The Microcosm Principle and Compositionality of GSOS-Based Component Calculi. CALCO 2011: 222-236 - [c15]Kohei Suenaga, Ichiro Hasuo:
Programming with Infinitesimals: A While-Language for Hybrid System Modeling. ICALP (2) 2011: 392-403 - [c14]Ichiro Hasuo, Naohiko Hoshino:
Semantics of Higher-Order Quantum Computation via Geometry of Interaction. LICS 2011: 237-246 - 2010
- [j5]Ichiro Hasuo, Yoshinobu Kawabe, Hideki Sakurada:
Probabilistic anonymity via coalgebraic simulations. Theor. Comput. Sci. 411(22-24): 2239-2259 (2010) - [c13]Ichiro Hasuo:
Generic Forward and Backward Simulations II: Probabilistic Simulation. CONCUR 2010: 447-461 - [c12]Kazuyuki Asada, Ichiro Hasuo:
Categorifying Computations into Components via Arrows as Profunctors. CMCS@ETAPS 2010: 25-45 - [c11]Ichiro Hasuo, Bart Jacobs, Milad Niqui:
Coalgebraic Representation Theory of Fractals. MFPS 2010: 351-368
2000 – 2009
- 2009
- [j4]Bart Jacobs, Ichiro Hasuo:
Semantics and logic for security protocols. J. Comput. Secur. 17(6): 909-944 (2009) - [j3]Bart Jacobs, Chris Heunen, Ichiro Hasuo:
Categorical semantics for arrows. J. Funct. Program. 19(3-4): 403-438 (2009) - [c10]Ichiro Hasuo, Chris Heunen, Bart Jacobs, Ana Sokolova:
Coalgebraic Components in a Many-Sorted Microcosm. CALCO 2009: 64-80 - 2008
- [c9]Ichiro Hasuo, Bart Jacobs, Ana Sokolova:
The Microcosm Principle and Concurrency in Coalgebra. FoSSaCS 2008: 246-260 - 2007
- [j2]Ichiro Hasuo, Bart Jacobs, Ana Sokolova:
Generic Trace Semantics via Coinduction. Log. Methods Comput. Sci. 3(4) (2007) - [c8]Ichiro Hasuo, Yoshinobu Kawabe:
Probabilistic Anonymity Via Coalgebraic Simulations. ESOP 2007: 379-394 - [c7]Ichiro Hasuo, Bart Jacobs, Tarmo Uustalu:
Categorical Views on Computations on Trees (Extended Abstract). ICALP 2007: 619-630 - [i2]Ichiro Hasuo, Bart Jacobs, Ana Sokolova:
Generic Trace Semantics via Coinduction. CoRR abs/0710.2505 (2007) - 2006
- [c6]Ichiro Hasuo:
Generic Forward and Backward Simulations. CONCUR 2006: 406-420 - [c5]Nuttapong Attrapadung, Yang Cui, David Galindo, Goichiro Hanaoka, Ichiro Hasuo, Hideki Imai, Kanta Matsuura, Peng Yang, Rui Zhang:
Relations Among Notions of Security for Identity Based Encryption Schemes. LATIN 2006: 130-141 - [c4]Bart Jacobs, Ichiro Hasuo:
Freyd is Kleisli, for Arrows. MSFP@MPC 2006 - [c3]Ichiro Hasuo, Bart Jacobs, Ana Sokolova:
Generic Trace Theory. CMCS 2006: 47-65 - 2005
- [c2]Ichiro Hasuo, Bart Jacobs:
Context-Free Languages via Coalgebraic Trace Semantics. CALCO 2005: 213-231 - [c1]Flavio D. Garcia, Ichiro Hasuo, Wolter Pieters, Peter van Rossum:
Provable anonymity. FMSE 2005: 63-72 - [i1]David Galindo, Ichiro Hasuo:
Security Notions for Identity Based Encryption. IACR Cryptol. ePrint Arch. 2005: 253 (2005) - 2003
- [j1]Ichiro Hasuo, Ryo Kashima:
Kripke Completeness of First-Order Constructive Logics with Strong Negation. Log. J. IGPL 11(6): 615-646 (2003)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-05-12 21:42 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
