Ichiro Hasuo

ORCID

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 145

Top Venues

Publications

Takamasa Okudono, Masaki Waga, Taro Sekiyama, Ichiro Hasuo
Learning Weighted Finite Automata over the Max-Plus Semiring and its Termination. CoRR (2024)
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)
Takahiro Sanada, Ryota Kojima, Yuichi Komorida, Koko Muroya, Ichiro Hasuo
Explicit Hopcroft's Trick in Categorical Partition Refinement. CMCS (2024)
Kazuki Watanabe, Sebastian Junges, Jurriaan Rot, Ichiro Hasuo
A Unifying Approach to Product Constructions for Quantitative Temporal Inference. CoRR (2024)
Ryota Kojima, Corina Cîrstea, Koko Muroya, Ichiro Hasuo
Coalgebraic CTL: Fixpoint Characterization and Polynomial-Time Model Checking. CMCS (2024)
Kazuki Watanabe, Marck van der Vegt, Sebastian Junges, Ichiro Hasuo
Compositional Value Iteration with Pareto Caching. CAV (3) (2024)
Hiroya Fujinami, Ichiro Hasuo
Efficient Matching with Memoization for Regexes with Look-around and Atomic Grouping (Extended Version). CoRR (2024)
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 (2024)
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)
Serge Lechenne, Clovis Eberhart, Ichiro Hasuo
A Compositional Framework for Petri Nets. CMCS (2024)
Kazuki Watanabe, Marck van der Vegt, Sebastian Junges, Ichiro Hasuo
Compositional Value Iteration with Pareto Caching. CoRR (2024)
Sota Sato, Jie An, Zhenya Zhang, Ichiro Hasuo
Optimization-Based Model Checking and Trace Synthesis for Complex STL Specifications. CAV (3) (2024)
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)
Kazuki Watanabe, Marck van der Vegt, Ichiro Hasuo, Jurriaan Rot, Sebastian Junges
Pareto Curves for Compositionally Model Checking String Diagrams of MDPs. CoRR (2024)
Hiroya Fujinami, Ichiro Hasuo
Efficient Matching with Memoization for Regexes with Look-around and Atomic Grouping. ESOP (2) (2024)
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 (2024)
James Haydon, Martin Bondu, Clovis Eberhart, Jérémy Dubut, Ichiro Hasuo
Formal Verification of Intersection Safety for Automated Driving. CoRR (2023)
Clovis Eberhart, Jérémy Dubut, James Haydon, Ichiro Hasuo
Formal Verification of Safety Architectures for Automated Driving. CoRR (2023)
Mayuko Kori, Flavio Ascari, Filippo Bonchi, Roberto Bruni, Roberta Gori, Ichiro Hasuo
Exploiting Adjoints in Property Directed Reachability Analysis. CoRR (2023)
Mayuko Kori, Flavio Ascari, Filippo Bonchi, Roberto Bruni, Roberta Gori, Ichiro Hasuo
Exploiting Adjoints in Property Directed Reachability Analysis. CAV (2) (2023)
James Haydon, Martin Bondu, Clovis Eberhart, Jérémy Dubut, Ichiro Hasuo
Formal Verification of Intersection Safety for Automated Driving. ITSC (2023)
Lélio Brun, Ichiro Hasuo, Yasushi Ono, Taro Sekiyama
Automated Security Analysis for Real-World IoT Devices. HASP@MICRO (2023)
Clovis Eberhart, Jérémy Dubut, James Haydon, Ichiro Hasuo
Formal Verification of Safety Architectures for Automated Driving. IV (2023)
Kazuki Watanabe, Clovis Eberhart, Kazuyuki Asada, Ichiro Hasuo
Compositional Probabilistic Model Checking with String Diagrams of MDPs. CoRR (2023)
Takahiro Sanada, Ryota Kojima, Yuichi Komorida, Koko Muroya, Ichiro Hasuo
Explicit Hopcroft's Trick in Categorical Partition Refinement. CoRR (2023)
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) (2023)
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) (2023)
Zhenya Zhang, Jie An, Paolo Arcaini, Ichiro Hasuo
Online Causation Monitoring of Signal Temporal Logic. CAV (1) (2023)
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) (2023)
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) (2023)
Masaki Waga, Étienne André, Ichiro Hasuo
Parametric Timed Pattern Matching. ACM Trans. Softw. Eng. Methodol. 32 (1) (2023)
Zhenya Zhang, Jie An, Paolo Arcaini, Ichiro Hasuo
Online Causation Monitoring of Signal Temporal Logic. CoRR (2023)
Kazuki Watanabe, Clovis Eberhart, Kazuyuki Asada, Ichiro Hasuo
Compositional Solution of Mean Payoff Games by String Diagrams. CoRR (2023)
Kazuki Watanabe, Clovis Eberhart, Kazuyuki Asada, Ichiro Hasuo
Compositional Probabilistic Model Checking with String Diagrams of MDPs. CAV (3) (2023)
Ichiro Hasuo
Responsibility-Sensitive Safety: an Introduction with an Eye to Logical Foundations and Formalization. CoRR (2022)
Mayuko Kori, Natsuki Urabe, Shin-ya Katsumata, Kohei Suenaga, Ichiro Hasuo
The Lattice-Theoretic Essence of Property Directed Reachability Analysis. CAV (1) (2022)
Étienne André, Masaki Waga, Natsuki Urabe, Ichiro Hasuo
Exemplifying parametric timed specifications over signals with bounded behavior. CoRR (2022)
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 (2022)
Yuichi Komorida, Shin-ya Katsumata, Nick Hu, Bartek Klin, Samuel Humeau, Clovis Eberhart, Ichiro Hasuo
Codensity Games for Bisimilarity. New Gener. Comput. 40 (2) (2022)
Masaki Waga, Ezequiel Castellano, Sasinee Pruekprasert, Stefan Klikovits, Toru Takisaka, Ichiro Hasuo
Dynamic Shielding for Reinforcement Learning in Black-Box Environments. ATVA (2022)
Masaki Waga, Étienne André, Ichiro Hasuo
Model-bounded Monitoring of Hybrid Systems. ACM Trans. Cyber Phys. Syst. 6 (4) (2022)
Étienne André, Masaki Waga, Natsuki Urabe, Ichiro Hasuo
Exemplifying Parametric Timed Specifications over Signals with Bounded Behavior. NFM (2022)
Mayuko Kori, Natsuki Urabe, Shin-ya Katsumata, Kohei Suenaga, Ichiro Hasuo
The Lattice-Theoretic Essence of PropertyDirected Reachability Analysis. CoRR (2022)
Masaki Waga, Ezequiel Castellano, Sasinee Pruekprasert, Stefan Klikovits, Toru Takisaka, Ichiro Hasuo
Dynamic Shielding for Reinforcement Learning in Black-Box Environments. CoRR (2022)
Masaki Waga, Étienne André, Ichiro Hasuo
Model-bounded monitoring of hybrid systems. ICCPS (2021)
David Sprunger, Shin-ya Katsumata, Jérémy Dubut, Ichiro Hasuo
Fibrational bisimulations and quantitative reasoning: Extended version. J. Log. Comput. 31 (6) (2021)
Masaki Waga, Étienne André, Ichiro Hasuo
Model-bounded monitoring of hybrid systems. CoRR (2021)
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 (2021)
Yuichi Komorida, Shin-ya Katsumata, Clemens Kupke, Jurriaan Rot, Ichiro Hasuo
Expressivity of Quantitative Modal Logics: Categorical Foundations via Codensity and Approximation. CoRR (2021)
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)
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)
Toru Takisaka, Yuichiro Oyabu, Natsuki Urabe, Ichiro Hasuo
Ranking and Repulsing Supermartingales for Reachability in Randomized Programs. ACM Trans. Program. Lang. Syst. 43 (2) (2021)
Yuichi Komorida, Shin-ya Katsumata, Clemens Kupke, Jurriaan Rot, Ichiro Hasuo
Expressivity of Quantitative Modal Logics : Categorical Foundations via Codensity and Approximation. LICS (2021)
Sanghwa Lee, Jaeyoung Lee, Ichiro Hasuo
Predictive PER: Balancing Priority and Diversity Towards Stable Deep Reinforcement Learning. IJCNN (2021)
Satoshi Kura, Hiroshi Unno, Ichiro Hasuo
Decision Tree Learning in CEGIS-Based Termination Analysis. CoRR (2021)
Gidon Ernst, Sean Sedwards, Zhenya Zhang, Ichiro Hasuo
Falsification of Hybrid Systems Using Adaptive Probabilistic Search. ACM Trans. Model. Comput. Simul. 31 (3) (2021)
Sota Sato, Masaki Waga, Ichiro Hasuo
Constrained Optimization for Hybrid System Falsification and Application to Conjunctive Synthesis. ADHS (2021)
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)
Mayuko Kori, Ichiro Hasuo, Shin-ya Katsumata
Fibrational Initial Algebra-Final Coalgebra Coincidence over Initial Algebras: Turning Verification Witnesses Upside Down. CoRR (2021)
Zhenya Zhang, Deyun Lyu, Paolo Arcaini, Lei Ma, Ichiro Hasuo, Jianjun Zhao
On the Effectiveness of Signal Rescaling in Hybrid System Falsification. NFM (2021)
Kazuki Watanabe, Clovis Eberhart, Kazuyuki Asada, Ichiro Hasuo
A Compositional Approach to Parity Games. CoRR (2021)
Clovis Eberhart, Akihisa Yamada, Stefan Klikovits, Shin-ya Katsumata, Tsutomu Kobayashi, Ichiro Hasuo, Fuyuki Ishikawa
Architecture-Guided Test Resource Allocation Via Logic. CoRR (2021)
Satoshi Kura, Hiroshi Unno, Ichiro Hasuo
Decision Tree Learning in CEGIS-Based Termination Analysis. CAV (2) (2021)
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)
Mayuko Kori, Ichiro Hasuo, Shin-ya Katsumata
Fibrational Initial Algebra-Final Coalgebra Coincidence over Initial Algebras: Turning Verification Witnesses Upside Down. CONCUR (2021)
Tsutomu Kobayashi, Rick Salay, Ichiro Hasuo, Krzysztof Czarnecki, Fuyuki Ishikawa, Shin-ya Katsumata
Robustifying Controller Specifications of Cyber-Physical Systems Against Perceptual Uncertainty. CoRR (2021)
Takamasa Okudono, Masaki Waga, Taro Sekiyama, Ichiro Hasuo
Weighted Automata Extraction from Recurrent Neural Networks via Regression on State Spaces. AAAI (2020)
Elena Gutiérrez, Takamasa Okudono, Masaki Waga, Ichiro Hasuo
Genetic algorithm for the weight maximization problem on weighted automata. GECCO (2020)
Kittiphon Phalakarn, Toru Takisaka, Thomas Haas, Ichiro Hasuo
Widest Paths and Global Propagation in Bounded Value Iteration for Stochastic Games. CAV (2) (2020)
Kittiphon Phalakarn, Toru Takisaka, Thomas Haas, Ichiro Hasuo
Widest Paths and Global Propagation in Bounded Value Iteration for Stochastic Games. CoRR (2020)
Zhenya Zhang, Paolo Arcaini, Ichiro Hasuo
Constraining Counterexamples in Hybrid System Falsification: Penalty-Based Approaches. NFM (2020)
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) (2020)
Juraj Kolcák, Jérémy Dubut, Ichiro Hasuo, Shin-ya Katsumata, David Sprunger, Akihisa Yamada
Relational Differential Dynamic Logic. TACAS (1) (2020)
Sanghwa Lee, Jaeyoung Lee, Ichiro Hasuo
Predictive PER: Balancing Priority and Diversity towards Stable Deep Reinforcement Learning. CoRR (2020)
Elena Gutiérrez, Takamasa Okudono, Masaki Waga, Ichiro Hasuo
Genetic Algorithm for the Weight Maximization Problem on Weighted Automata. CoRR (2020)
Zhenya Zhang, Paolo Arcaini, Ichiro Hasuo
Constraining Counterexamples in Hybrid System Falsification: Penalty-Based Approaches. CoRR (2020)
Sota Sato, Masaki Waga, Ichiro Hasuo
Constrained Optimization for Falsification and Conjunctive Synthesis. CoRR (2020)
Masaki Waga, Étienne André, Ichiro Hasuo
Symbolic Monitoring against Specifications Parametric in Time and Data. CoRR (2019)
Masaki Waga, Ichiro Hasuo
Moore-machine filtering for timed and untimed pattern matching: poster abstract. HSCC (2019)
Yuichi Komorida, Shin-ya Katsumata, Nick Hu, Bartek Klin, Ichiro Hasuo
Codensity Games for Bisimilarity. CoRR (2019)
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)
Satoshi Kura, Natsuki Urabe, Ichiro Hasuo
Tail Probabilities for Randomized Program Runtimes via Martingales for Higher Moments. TACAS (2) (2019)
Juraj Kolcák, Ichiro Hasuo, Jérémy Dubut, Shin-ya Katsumata, David Sprunger, Akihisa Yamada
Relational differential dynamic logic: poster abstract. HSCC (2019)
Gidon Ernst, Sean Sedwards, Zhenya Zhang, Ichiro Hasuo
Fast Falsification of Hybrid Systems Using Probabilistically Adaptive Input. QEST (2019)
Juraj Kolcák, Ichiro Hasuo, Jérémy Dubut, Shin-ya Katsumata, David Sprunger, Akihisa Yamada
Relational Differential Dynamic Logic. CoRR (2019)
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)
Masaki Waga, Étienne André, Ichiro Hasuo
Symbolic Monitoring Against Specifications Parametric in Time and Data. CAV (1) (2019)
Zhenya Zhang, Ichiro Hasuo, Paolo Arcaini
Multi-armed Bandits for Boolean Connectives in Hybrid System Falsification. CAV (1) (2019)
Zhenya Zhang, Ichiro Hasuo, Paolo Arcaini
Multi-Armed Bandits for Boolean Connectives in Hybrid System Falsification (Extended Version). CoRR (2019)
Yuichi Komorida, Shin-ya Katsumata, Nick Hu, Bartek Klin, Ichiro Hasuo
Codensity Games for Bisimilarity. LICS (2019)
Takamasa Okudono, Masaki Waga, Taro Sekiyama, Ichiro Hasuo
Weighted Automata Extraction from Recurrent Neural Networks via Regression on State Spaces. CoRR (2019)
Toru Takisaka, Yuichiro Oyabu, Natsuki Urabe, Ichiro Hasuo
Ranking and Repulsing Supermartingales for Reachability in Probabilistic Programs. ATVA (2018)
Natsuki Urabe, Ichiro Hasuo
Categorical Büchi and Parity Conditions via Alternating Fixed Points of Functors. CMCS (2018)
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) (2018)
Jérémy Dubut, Ichiro Hasuo, Shin-ya Katsumata, David Sprunger
Quantitative bisimulations using coreflections and open morphisms. CoRR (2018)
Ichiro Hasuo
Coalgebraic Theory of Büchi and Parity Automata: Fixed-Point Specifications, Categorically (Invited Tutorial). CONCUR (2018)
Gidon Ernst, Ichiro Hasuo, Zhenya Zhang, Sean Sedwards
Time-Staging Enhancement of Hybrid System Falsification. CoRR (2018)
Satoshi Kura, Natsuki Urabe, Ichiro Hasuo
Tail Probabilities for Randomized Program Runtimes via Martingales for Higher Moments. CoRR (2018)
Masaki Waga, Ichiro Hasuo, Kohei Suenaga
MONAA: A Tool for Timed Pattern Matching with Automata-Based Acceleration. CoRR (2018)
Zhenya Zhang, Ichiro Hasuo, Gidon Ernst, Sean Sedwards
Two-Layered Falsification of Hybrid Systems guided by Monte Carlo Tree Search. CoRR (2018)

Ichiro Hasuo.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Ichiro Hasuo