Ichiro Hasuo

214 papers A* 11A 3B 29C 4Misc 1Journal 105Unranked 59
YearRankTypeTitle / Venue / Authors
2026 J jnl
Hybrid Spatiotemporal Logic for Automotive Applications: Modeling and Model-Checking.
CoRR
Radu Florin Tulcan, Rose Bohrer, Yoàv Montacute, Kevin Zhou, Yusuke Kawamoto, Ichiro Hasuo
2026 J jnl
STLts-Div: Diversified Trace Synthesis from STL Specifications Using MILP (Extended Version).
CoRR
Martin Jouve-Genty, Han Su, Sota Sato, Jie An, Zhenya Zhang, Ichiro Hasuo
2025 J jnl
A Unifying Approach to Product Constructions for Quantitative Temporal Inference.
Proc. ACM Program. Lang.
Kazuki Watanabe, Sebastian Junges, Jurriaan Rot, Ichiro Hasuo
2025 C conf
A Variety of Request-Response Specifications.
ICTAC
Daichi Aiba, Masaki Waga, Hiroya Fujinami, Koko Muroya, Shutaro Ouchi, Naoki Ueda, Yosuke Yokoyama, Yuta Wada, Ichiro Hasuo
2025 J jnl
A Variety of Request-Response Specifications.
CoRR
Daichi Aiba, Masaki Waga, Hiroya Fujinami, Koko Muroya, Shutaro Ouchi, Naoki Ueda, Yosuke Yokoyama, Yuta Wada, Ichiro Hasuo
2025 J jnl
Chance and Mass Interpretations of Probabilities in Markov Decision Processes (Extended Version).
CoRR
Yun Chen Tsai, Kittiphon Phalakarn, S. Akshay, Ichiro Hasuo
2025 B conf
Chance and Mass Interpretations of Probabilities in Markov Decision Processes.
CONCUR
Yun Chen Tsai, Kittiphon Phalakarn, S. Akshay, Ichiro Hasuo
2025 J jnl
Componentwise Automata Learning for System Integration (Extended Version).
CoRR
Hiroya Fujinami, Masaki Waga, Jie An, Kohei Suenaga, Nayuta Yanagisawa, Hiroki Iseri, Ichiro Hasuo
2025 B conf
Componentwise Automata Learning for System Integration.
ATVA
Hiroya Fujinami, Masaki Waga, Jie An, Kohei Suenaga, Nayuta Yanagisawa, Hiroki Iseri, Ichiro Hasuo
2025 — conf
Compositional Verification of Almost-Sure Büchi Objectives in MDPs.
RP
Marck van der Vegt, Kazuki Watanabe, Ichiro Hasuo, Sebastian Junges
2025 J jnl
Compositional Verification of Almost-Sure Büchi Objectives in MDPs.
CoRR
Marck van der Vegt, Kazuki Watanabe, Ichiro Hasuo, Sebastian Junges
2025 J jnl
Strategy templates for almost-sure and positive winning of stochastic parity games towards permissive and resilient control.
Theor. Comput. Sci.
Kittiphon Phalakarn, Sasinee Pruekprasert, Ichiro Hasuo
2025 B conf
Widest Path Games and Maximality Inheritance in Bounded Value Iteration for Stochastic Games.
ATVA
Kittiphon Phalakarn, Yun Chen Tsai, Ichiro Hasuo
2025 J jnl
Widest Path Games and Maximality Inheritance in Bounded Value Iteration for Stochastic Games.
CoRR
Kittiphon Phalakarn, Yun Chen Tsai, Ichiro Hasuo
2024 — conf
A Compositional Framework for Petri Nets.
CMCS
Serge Lechenne, Clovis Eberhart, Ichiro Hasuo
2024 J jnl
A Unifying Approach to Product Constructions for Quantitative Temporal Inference.
CoRR
Kazuki Watanabe, Sebastian Junges, Jurriaan Rot, Ichiro Hasuo
2024 — conf
CauMon: An Informative Online Monitor for Signal Temporal Logic.
FM (2)
Zhenya Zhang, Jie An, Paolo Arcaini, Ichiro Hasuo
2024 — conf
Coalgebraic CTL: Fixpoint Characterization and Polynomial-Time Model Checking.
CMCS
Ryota Kojima, Corina Cîrstea, Koko Muroya, Ichiro Hasuo
2024 — conf
Compositional Solution of Mean Payoff Games by String Diagrams.
Principles of Verification (3)
Kazuki Watanabe, Clovis Eberhart, Kazuyuki Asada, Ichiro Hasuo
2024 — conf
Compositional Value Iteration with Pareto Caching.
CAV (3)
Kazuki Watanabe, Marck van der Vegt, Sebastian Junges, Ichiro Hasuo
2024 J jnl
Compositional Value Iteration with Pareto Caching.
CoRR
Kazuki Watanabe, Marck van der Vegt, Sebastian Junges, Ichiro Hasuo
2024 J jnl
Control-data separation and logical condition propagation for efficient inference on probabilistic programs.
J. Log. Algebraic Methods Program.
Ichiro Hasuo, Yuichiro Oyabu, Clovis Eberhart, Kohei Suenaga, Kenta Cho, Shin-ya Katsumata
2024 J jnl
Efficient Matching with Memoization for Regexes with Look-around and Atomic Grouping (Extended Version).
CoRR
Hiroya Fujinami, Ichiro Hasuo
2024 — conf
Efficient Matching with Memoization for Regexes with Look-around and Atomic Grouping.
ESOP (2)
Hiroya Fujinami, Ichiro Hasuo
2024 — conf
Explicit Hopcroft's Trick in Categorical Partition Refinement.
CMCS
Takahiro Sanada, Ryota Kojima, Yuichi Komorida, Koko Muroya, Ichiro Hasuo
2024 B conf
Formal Support for Threat Modeling with Attack Decision Diagrams.
COMPSAC
Misato Nakabayashi, Taro Sekiyama, Ichiro Hasuo, Yutaka Ishikawa
2024 C conf
Goal-Aware RSS for Complex Scenarios via Program Logic.
IV
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
2024 J jnl
Learning Weighted Finite Automata over the Max-Plus Semiring and its Termination.
CoRR
Takamasa Okudono, Masaki Waga, Taro Sekiyama, Ichiro Hasuo
2024 — conf
Optimization-Based Model Checking and Trace Synthesis for Complex STL Specifications.
CAV (3)
Sota Sato, Jie An, Zhenya Zhang, Ichiro Hasuo
2024 J jnl
Optimization-Based Model Checking and Trace Synthesis for Complex STL Specifications.
CoRR
Sota Sato, Jie An, Zhenya Zhang, Ichiro Hasuo
2024 — conf
Pareto Curves for Compositionally Model Checking String Diagrams of MDPs.
TACAS (2)
Kazuki Watanabe, Marck van der Vegt, Ichiro Hasuo, Jurriaan Rot, Sebastian Junges
2024 J jnl
Pareto Curves for Compositionally Model Checking String Diagrams of MDPs.
CoRR
Kazuki Watanabe, Marck van der Vegt, Ichiro Hasuo, Jurriaan Rot, Sebastian Junges
2024 Misc conf
Temporal Logic Formalisation of ISO 34502 Critical Scenarios: Modular Construction with the RSS Safety Distance.
SAC
Jesse Reimann, Nico Mansion, James Haydon, Benjamin Bray, Agnishom Chattopadhyay, Sota Sato, Masaki Waga, Étienne André, Ichiro Hasuo, Naoki Ueda, Yosuke Yokoyama
2024 J jnl
Temporal Logic Formalisation of ISO 34502 Critical Scenarios: Modular Construction with the RSS Safety Distance.
CoRR
Jesse Reimann, Nico Mansion, James Haydon, Benjamin Bray, Agnishom Chattopadhyay, Sota Sato, Masaki Waga, Étienne André, Ichiro Hasuo, Naoki Ueda, Yosuke Yokoyama
2024 — conf
The Opacity of Timed Automata.
FM (1)
Jie An, Qiang Gao, Lingtai Wang, Naijun Zhan, Ichiro Hasuo
2024 C conf
Winning Strategy Templates for Stochastic Parity Games Towards Permissive and Resilient Control.
ICTAC
Kittiphon Phalakarn, Sasinee Pruekprasert, Ichiro Hasuo
2024 J jnl
Winning Strategy Templates for Stochastic Parity Games towards Permissive and Resilient Control.
CoRR
Kittiphon Phalakarn, Sasinee Pruekprasert, Ichiro Hasuo
2023 J jnl
A Robustness-Based Confidence Measure for Hybrid System Falsification.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Toru Takisaka, Zhenya Zhang, Paolo Arcaini, Ichiro Hasuo
2023 J jnl
Activities of National Institute of Informatics in Japan.
Commun. ACM
Masaru Kitsuregawa, Shigeo Urushidani, Kazutsuna Yamaji, Hiroki Takakura, Ichiro Hasuo, Imari Sato, Fuyuki Ishikawa, Isao Echizen, Kensaku Mori
2023 — conf
Automated Security Analysis for Real-World IoT Devices.
HASP@MICRO
Lélio Brun, Ichiro Hasuo, Yasushi Ono, Taro Sekiyama
2023 — conf
Compositional Probabilistic Model Checking with String Diagrams of MDPs.
CAV (3)
Kazuki Watanabe, Clovis Eberhart, Kazuyuki Asada, Ichiro Hasuo
2023 J jnl
Compositional Probabilistic Model Checking with String Diagrams of MDPs.
CoRR
Kazuki Watanabe, Clovis Eberhart, Kazuyuki Asada, Ichiro Hasuo
2023 J jnl
Compositional Solution of Mean Payoff Games by String Diagrams.
CoRR
Kazuki Watanabe, Clovis Eberhart, Kazuyuki Asada, Ichiro Hasuo
2023 J jnl
Explicit Hopcroft's Trick in Categorical Partition Refinement.
CoRR
Takahiro Sanada, Ryota Kojima, Yuichi Komorida, Koko Muroya, Ichiro Hasuo
2023 — conf
Exploiting Adjoints in Property Directed Reachability Analysis.
CAV (2)
Mayuko Kori, Flavio Ascari, Filippo Bonchi, Roberto Bruni, Roberta Gori, Ichiro Hasuo
2023 J jnl
Exploiting Adjoints in Property Directed Reachability Analysis.
CoRR
Mayuko Kori, Flavio Ascari, Filippo Bonchi, Roberto Bruni, Roberta Gori, Ichiro Hasuo
2023 J jnl
FalsifAI: Falsification of AI-Enabled Hybrid Control Systems Guided by Time-Aware Coverage Criteria.
IEEE Trans. Software Eng.
Zhenya Zhang, Deyun Lyu, Paolo Arcaini, Lei Ma, Ichiro Hasuo, Jianjun Zhao
2023 — conf
Formal Verification of Intersection Safety for Automated Driving.
ITSC
James Haydon, Martin Bondu, Clovis Eberhart, Jérémy Dubut, Ichiro Hasuo
2023 J jnl
Formal Verification of Intersection Safety for Automated Driving.
CoRR
James Haydon, Martin Bondu, Clovis Eberhart, Jérémy Dubut, Ichiro Hasuo
2023 C conf
Formal Verification of Safety Architectures for Automated Driving.
IV
Clovis Eberhart, Jérémy Dubut, James Haydon, Ichiro Hasuo
2023 J jnl
Formal Verification of Safety Architectures for Automated Driving.
CoRR
Clovis Eberhart, Jérémy Dubut, James Haydon, Ichiro Hasuo
2023 J jnl
Goal-Aware RSS for Complex Scenarios via Program Logic.
IEEE Trans. Intell. Veh.
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
2023 — conf
Online Causation Monitoring of Signal Temporal Logic.
CAV (1)
Zhenya Zhang, Jie An, Paolo Arcaini, Ichiro Hasuo
2023 J jnl
Online Causation Monitoring of Signal Temporal Logic.
CoRR
Zhenya Zhang, Jie An, Paolo Arcaini, Ichiro Hasuo
2023 J jnl
Parametric Timed Pattern Matching.
ACM Trans. Softw. Eng. Methodol.
Masaki Waga, Étienne André, Ichiro Hasuo
2022 J jnl
Codensity Games for Bisimilarity.
New Gener. Comput.
Yuichi Komorida, Shin-ya Katsumata, Nick Hu, Bartek Klin, Samuel Humeau, Clovis Eberhart, Ichiro Hasuo
2022 B conf
Dynamic Shielding for Reinforcement Learning in Black-Box Environments.
ATVA
Masaki Waga, Ezequiel Castellano, Sasinee Pruekprasert, Stefan Klikovits, Toru Takisaka, Ichiro Hasuo
2022 J jnl
Dynamic Shielding for Reinforcement Learning in Black-Box Environments.
CoRR
Masaki Waga, Ezequiel Castellano, Sasinee Pruekprasert, Stefan Klikovits, Toru Takisaka, Ichiro Hasuo
2022 — conf
Exemplifying Parametric Timed Specifications over Signals with Bounded Behavior.
NFM
Étienne André, Masaki Waga, Natsuki Urabe, Ichiro Hasuo
2022 J jnl
Exemplifying parametric timed specifications over signals with bounded behavior.
CoRR
Étienne André, Masaki Waga, Natsuki Urabe, Ichiro Hasuo
2022 J jnl
Goal-Aware RSS for Complex Scenarios via Program Logic.
CoRR
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
2022 J jnl
Model-bounded Monitoring of Hybrid Systems.
ACM Trans. Cyber Phys. Syst.
Masaki Waga, Étienne André, Ichiro Hasuo
2022 J jnl
Responsibility-Sensitive Safety: an Introduction with an Eye to Logical Foundations and Formalization.
CoRR
Ichiro Hasuo
2022 — conf
The Lattice-Theoretic Essence of Property Directed Reachability Analysis.
CAV (1)
Mayuko Kori, Natsuki Urabe, Shin-ya Katsumata, Kohei Suenaga, Ichiro Hasuo
2022 J jnl
The Lattice-Theoretic Essence of PropertyDirected Reachability Analysis.
CoRR
Mayuko Kori, Natsuki Urabe, Shin-ya Katsumata, Kohei Suenaga, Ichiro Hasuo
2021 B conf
A Compositional Approach to Parity Games.
MFPS
Kazuki Watanabe, Clovis Eberhart, Kazuyuki Asada, Ichiro Hasuo
2021 J jnl
Architecture-Guided Test Resource Allocation Via Logic.
CoRR
Clovis Eberhart, Akihisa Yamada, Stefan Klikovits, Shin-ya Katsumata, Tsutomu Kobayashi, Ichiro Hasuo, Fuyuki Ishikawa
2021 — conf
Architecture-Guided Test Resource Allocation via Logic.
TAP@STAF
Clovis Eberhart, Akihisa Yamada, Stefan Klikovits, Shin-ya Katsumata, Tsutomu Kobayashi, Ichiro Hasuo, Fuyuki Ishikawa
2021 — conf
Constrained Optimization for Hybrid System Falsification and Application to Conjunctive Synthesis.
ADHS
Sota Sato, Masaki Waga, Ichiro Hasuo
2021 J jnl
Control-Data Separation and Logical Condition Propagation for Efficient Inference on Probabilistic Programs.
CoRR
Ichiro Hasuo, Yuichiro Oyabu, Clovis Eberhart, Kohei Suenaga, Kenta Cho, Shin-ya Katsumata
2021 — conf
Decision Tree Learning in CEGIS-Based Termination Analysis.
CAV (2)
Satoshi Kura, Hiroshi Unno, Ichiro Hasuo
2021 J jnl
Decision Tree Learning in CEGIS-Based Termination Analysis.
CoRR
Satoshi Kura, Hiroshi Unno, Ichiro Hasuo
2021 — conf
Effective Hybrid System Falsification Using Monte Carlo Tree Search Guided by QB-Robustness.
CAV (1)
Zhenya Zhang, Deyun Lyu, Paolo Arcaini, Lei Ma, Ichiro Hasuo, Jianjun Zhao
2021 A* conf
Expressivity of Quantitative Modal Logics : Categorical Foundations via Codensity and Approximation.
LICS
Yuichi Komorida, Shin-ya Katsumata, Clemens Kupke, Jurriaan Rot, Ichiro Hasuo
2021 J jnl
Expressivity of Quantitative Modal Logics: Categorical Foundations via Codensity and Approximation.
CoRR
Yuichi Komorida, Shin-ya Katsumata, Clemens Kupke, Jurriaan Rot, Ichiro Hasuo
2021 J jnl
Falsification of Hybrid Systems Using Adaptive Probabilistic Search.
ACM Trans. Model. Comput. Simul.
Gidon Ernst, Sean Sedwards, Zhenya Zhang, Ichiro Hasuo
2021 B conf
Fibrational Initial Algebra-Final Coalgebra Coincidence over Initial Algebras: Turning Verification Witnesses Upside Down.
CONCUR
Mayuko Kori, Ichiro Hasuo, Shin-ya Katsumata
2021 J jnl
Fibrational Initial Algebra-Final Coalgebra Coincidence over Initial Algebras: Turning Verification Witnesses Upside Down.
CoRR
Mayuko Kori, Ichiro Hasuo, Shin-ya Katsumata
2021 J jnl
Fibrational bisimulations and quantitative reasoning: Extended version.
J. Log. Comput.
David Sprunger, Shin-ya Katsumata, Jérémy Dubut, Ichiro Hasuo
2021 B conf
Hybrid System Falsification for Multiple-Constraint Parameter Synthesis: A Gas Turbine Case Study.
FM
Sota Sato, Atsuyoshi Saimen, Masaki Waga, Kenji Takao, Ichiro Hasuo
2021 — conf
Model-bounded monitoring of hybrid systems.
ICCPS
Masaki Waga, Étienne André, Ichiro Hasuo
2021 J jnl
Model-bounded monitoring of hybrid systems.
CoRR
Masaki Waga, Étienne André, Ichiro Hasuo
2021 — conf
On the Effectiveness of Signal Rescaling in Hybrid System Falsification.
NFM
Zhenya Zhang, Deyun Lyu, Paolo Arcaini, Lei Ma, Ichiro Hasuo, Jianjun Zhao
2021 B conf
Predictive PER: Balancing Priority and Diversity Towards Stable Deep Reinforcement Learning.
IJCNN
Sanghwa Lee, Jaeyoung Lee, Ichiro Hasuo
2021 J jnl
Ranking and Repulsing Supermartingales for Reachability in Randomized Programs.
ACM Trans. Program. Lang. Syst.
Toru Takisaka, Yuichiro Oyabu, Natsuki Urabe, Ichiro Hasuo
2021 — conf
Robustifying Controller Specifications of Cyber-Physical Systems Against Perceptual Uncertainty.
NFM
Tsutomu Kobayashi, Rick Salay, Ichiro Hasuo, Krzysztof Czarnecki, Fuyuki Ishikawa, Shin-ya Katsumata
2021 J jnl
Robustifying Controller Specifications of Cyber-Physical Systems Against Perceptual Uncertainty.
CoRR
Tsutomu Kobayashi, Rick Salay, Ichiro Hasuo, Krzysztof Czarnecki, Fuyuki Ishikawa, Shin-ya Katsumata
2021 — conf
Time-Staging Enhancement of Hybrid System Falsification.
SNR
Gidon Ernst, Ichiro Hasuo, Zhenya Zhang, Sean Sedwards
2020 J jnl
Constrained Optimization for Falsification and Conjunctive Synthesis.
CoRR
Sota Sato, Masaki Waga, Ichiro Hasuo
2020 — conf
Constraining Counterexamples in Hybrid System Falsification: Penalty-Based Approaches.
NFM
Zhenya Zhang, Paolo Arcaini, Ichiro Hasuo
2020 J jnl
Constraining Counterexamples in Hybrid System Falsification: Penalty-Based Approaches.
CoRR
Zhenya Zhang, Paolo Arcaini, Ichiro Hasuo
2020 J jnl
Genetic Algorithm for the Weight Maximization Problem on Weighted Automata.
CoRR
Elena Gutiérrez, Takamasa Okudono, Masaki Waga, Ichiro Hasuo
2020 A conf
Genetic algorithm for the weight maximization problem on weighted automata.
GECCO
Elena Gutiérrez, Takamasa Okudono, Masaki Waga, Ichiro Hasuo
2020 J jnl
Hybrid System Falsification Under (In)equality Constraints via Search Space Transformation.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Zhenya Zhang, Paolo Arcaini, Ichiro Hasuo
2020 J jnl
Predictive PER: Balancing Priority and Diversity towards Stable Deep Reinforcement Learning.
CoRR
Sanghwa Lee, Jaeyoung Lee, Ichiro Hasuo
2020 — conf
Relational Differential Dynamic Logic.
TACAS (1)
Juraj Kolcák, Jérémy Dubut, Ichiro Hasuo, Shin-ya Katsumata, David Sprunger, Akihisa Yamada
2020 A* conf
Weighted Automata Extraction from Recurrent Neural Networks via Regression on State Spaces.
AAAI
Takamasa Okudono, Masaki Waga, Taro Sekiyama, Ichiro Hasuo
2020 — conf
Widest Paths and Global Propagation in Bounded Value Iteration for Stochastic Games.
CAV (2)
Kittiphon Phalakarn, Toru Takisaka, Thomas Haas, Ichiro Hasuo
2020 J jnl
Widest Paths and Global Propagation in Bounded Value Iteration for Stochastic Games.
CoRR
Kittiphon Phalakarn, Toru Takisaka, Thomas Haas, Ichiro Hasuo
2019 A* conf
Codensity Games for Bisimilarity.
LICS
Yuichi Komorida, Shin-ya Katsumata, Nick Hu, Bartek Klin, Ichiro Hasuo
2019 J jnl
Codensity Games for Bisimilarity.
CoRR
Yuichi Komorida, Shin-ya Katsumata, Nick Hu, Bartek Klin, Ichiro Hasuo
2019 — conf
Fast Falsification of Hybrid Systems Using Probabilistically Adaptive Input.
QEST
Gidon Ernst, Sean Sedwards, Zhenya Zhang, Ichiro Hasuo
2019 — conf
Moore-machine filtering for timed and untimed pattern matching: poster abstract.
HSCC
Masaki Waga, Ichiro Hasuo
2019 J jnl
Multi-Armed Bandits for Boolean Connectives in Hybrid System Falsification (Extended Version).
CoRR
Zhenya Zhang, Ichiro Hasuo, Paolo Arcaini
2019 — conf
Multi-armed Bandits for Boolean Connectives in Hybrid System Falsification.
CAV (1)
Zhenya Zhang, Ichiro Hasuo, Paolo Arcaini
2019 B conf
Path Category for Free - Open Morphisms from Coalgebras with Non-deterministic Branching.
FoSSaCS
Thorsten Wißmann, Jérémy Dubut, Shin-ya Katsumata, Ichiro Hasuo
2019 J jnl
Relational Differential Dynamic Logic.
CoRR
Juraj Kolcák, Ichiro Hasuo, Jérémy Dubut, Shin-ya Katsumata, David Sprunger, Akihisa Yamada
2019 — conf
Relational differential dynamic logic: poster abstract.
HSCC
Juraj Kolcák, Ichiro Hasuo, Jérémy Dubut, Shin-ya Katsumata, David Sprunger, Akihisa Yamada
2019 — conf
Symbolic Monitoring Against Specifications Parametric in Time and Data.
CAV (1)
Masaki Waga, Étienne André, Ichiro Hasuo
2019 J jnl
Symbolic Monitoring against Specifications Parametric in Time and Data.
CoRR
Masaki Waga, Étienne André, Ichiro Hasuo
2019 — conf
Tail Probabilities for Randomized Program Runtimes via Martingales for Higher Moments.
TACAS (2)
Satoshi Kura, Natsuki Urabe, Ichiro Hasuo
2019 — conf
Towards a Framework for the Analysis of Multi-Product Lines in the Automotive Domain.
VaMoS
Shaukat Ali, Paolo Arcaini, Ichiro Hasuo, Fuyuki Ishikawa, Nian-Ze Lee
2019 J jnl
Weighted Automata Extraction from Recurrent Neural Networks via Regression on State Spaces.
CoRR
Takamasa Okudono, Masaki Waga, Taro Sekiyama, Ichiro Hasuo
2018 — conf
ARCH-COMP18 Category Report: Results on the Falsification Benchmarks.
ARCH@ADHS
Adel Dokhanchi, Shakiba Yaghoubi, Bardh Hoxha, Georgios Fainekos, Gidon Ernst, Zhenya Zhang, Paolo Arcaini, Ichiro Hasuo, Sean Sedwards
2018 — conf
Bounding Errors Due to Switching Delays in Incrementally Stable Switched Systems.
ADHS
Kengo Kido, Sean Sedwards, Ichiro Hasuo
2018 J jnl
Categorical Buechi and Parity Conditions via Alternating Fixed Points of Functors.
CoRR
Natsuki Urabe, Ichiro Hasuo
2018 — conf
Categorical Büchi and Parity Conditions via Alternating Fixed Points of Functors.
CMCS
Natsuki Urabe, Ichiro Hasuo
2018 J jnl
Coalgebraic Infinite Traces and Kleisli Simulations.
Log. Methods Comput. Sci.
Natsuki Urabe, Ichiro Hasuo
2018 B conf
Coalgebraic Theory of Büchi and Parity Automata: Fixed-Point Specifications, Categorically (Invited Tutorial).
CONCUR
Ichiro Hasuo
2018 J jnl
Coinductive predicates and final sequences in a fibration.
Math. Struct. Comput. Sci.
Ichiro Hasuo, Toshiki Kataoka, Kenta Cho
2018 J jnl
Fast Falsification of Hybrid Systems using Probabilistically Adaptive Input.
CoRR
Gidon Ernst, Sean Sedwards, Zhenya Zhang, Ichiro Hasuo
2018 — conf
Fibrational Bisimulations and Quantitative Reasoning.
CMCS
David Sprunger, Shin-ya Katsumata, Jérémy Dubut, Ichiro Hasuo
2018 — conf
MONAA: A Tool for Timed Pattern Matching with Automata-Based Acceleration.
MT@CPSWeek
Masaki Waga, Ichiro Hasuo, Kohei Suenaga
2018 J jnl
MONAA: A Tool for Timed Pattern Matching with Automata-Based Acceleration.
CoRR
Masaki Waga, Ichiro Hasuo, Kohei Suenaga
2018 J jnl
Moore-Machine Filtering for Timed and Untimed Pattern Matching.
CoRR
Masaki Waga, Ichiro Hasuo
2018 J jnl
Moore-Machine Filtering for Timed and Untimed Pattern Matching.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Masaki Waga, Ichiro Hasuo
2018 B conf
Offline Timed Pattern Matching under Uncertainty.
ICECCS
Étienne André, Ichiro Hasuo, Masaki Waga
2018 J jnl
Offline timed pattern matching under uncertainty.
CoRR
Étienne André, Ichiro Hasuo, Masaki Waga
2018 J jnl
Path category for free - Open morphisms from coalgebras with non-deterministic branching.
CoRR
Thorsten Wißmann, Jérémy Dubut, Shin-ya Katsumata, Ichiro Hasuo
2018 J jnl
Preface.
J. Log. Algebraic Methods Program.
Ichiro Hasuo
2018 J jnl
Quantitative Matrix Simulation.
CoRR
Natsuki Urabe, Ichiro Hasuo
2018 J jnl
Quantitative bisimulations using coreflections and open morphisms.
CoRR
Jérémy Dubut, Ichiro Hasuo, Shin-ya Katsumata, David Sprunger
2018 J jnl
Ranking and Repulsing Supermartingales for Approximating Reachability.
CoRR
Toru Takisaka, Yuichiro Oyabu, Natsuki Urabe, Ichiro Hasuo
2018 B conf
Ranking and Repulsing Supermartingales for Reachability in Probabilistic Programs.
ATVA
Toru Takisaka, Yuichiro Oyabu, Natsuki Urabe, Ichiro Hasuo
2018 J jnl
Tail Probabilities for Randomized Program Runtimes via Martingales for Higher Moments.
CoRR
Satoshi Kura, Natsuki Urabe, Ichiro Hasuo
2018 — conf
Time-Staging Enhancement of Hybrid System Falsification.
MT@CPSWeek
Zhenya Zhang, Gidon Ernst, Ichiro Hasuo, Sean Sedwards
2018 J jnl
Two-Layered Falsification of Hybrid Systems Guided by Monte Carlo Tree Search.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Zhenya Zhang, Gidon Ernst, Sean Sedwards, Paolo Arcaini, Ichiro Hasuo
2018 J jnl
Two-Layered Falsification of Hybrid Systems guided by Monte Carlo Tree Search.
CoRR
Zhenya Zhang, Ichiro Hasuo, Gidon Ernst, Sean Sedwards
2017 J jnl
Bounding Errors Due to Switching Delays in Incrementally Stable Switched Systems (Extended Version).
CoRR
Kengo Kido, Sean Sedwards, Ichiro Hasuo
2017 J jnl
Categorical Liveness Checking by Corecursive Algebras.
CoRR
Natsuki Urabe, Masaki Hara, Ichiro Hasuo
2017 A* conf
Categorical liveness checking by corecursive algebras.
LICS
Natsuki Urabe, Masaki Hara, Ichiro Hasuo
2017 — conf
Causality-Aided Falsification.
FVAV@iFM
Takumi Akazaki, Yoshihiro Kumazawa, Ichiro Hasuo
2017 — conf
Efficient Online Timed Pattern Matching by Automata-Based Skipping.
FORMATS
Masaki Waga, Ichiro Hasuo, Kohei Suenaga
2017 J jnl
Efficient Online Timed Pattern Matching by Automata-Based Skipping.
CoRR
Masaki Waga, Ichiro Hasuo, Kohei Suenaga
2017 J jnl
Fair Simulation for Nondeterministic and Probabilistic Buechi Automata: a Coalgebraic Perspective.
Log. Methods Comput. Sci.
Natsuki Urabe, Ichiro Hasuo
2017 J jnl
Metamathematics for Systems Design - Comprehensive Transfer of Formal Methods Techniques to Cyber-Physical Systems.
New Gener. Comput.
Ichiro Hasuo
2017 — conf
Nonstandard Static Analysis: Literal Transfer of Deductive Verification Frameworks from Discrete to Hybrid.
CyPhy
Ichiro Hasuo
2017 B conf
Parity Automata for Quantitative Linear Time Logics.
CALCO
Corina Cîrstea, Shunsuke Shimizu, Ichiro Hasuo
2017 J jnl
Quantitative simulations by matrices.
Inf. Comput.
Natsuki Urabe, Ichiro Hasuo
2017 J jnl
Semantics of higher-order quantum computation via geometry of interaction.
Ann. Pure Appl. Log.
Ichiro Hasuo, Naohiko Hoshino
2017 B conf
Sharper and Simpler Nonlinear Interpolants for Program Verification.
APLAS
Takamasa Okudono, Yuki Nishida, Kensuke Kojima, Kohei Suenaga, Kengo Kido, Ichiro Hasuo
2017 J jnl
Sharper and Simpler Nonlinear Interpolants for Program Verification.
CoRR
Takamasa Okudono, Yuki Nishida, Kensuke Kojima, Kohei Suenaga, Kengo Kido, Ichiro Hasuo
2017 — conf
Switching Delays and the Skorokhod Distance in Incrementally Stable Switched Systems.
CyPhy
Kengo Kido, Sean Sedwards, Ichiro Hasuo
2016 — conf
A Boyer-Moore Type Algorithm for Timed Pattern Matching.
FORMATS
Masaki Waga, Takumi Akazaki, Ichiro Hasuo
2016 J jnl
A Boyer-Moore Type Algorithm for Timed Pattern Matching.
CoRR
Masaki Waga, Takumi Akazaki, Ichiro Hasuo
2016 B conf
Abstract Interpretation with Infinitesimals - Towards Scalability in Nonstandard Static Analysis.
VMCAI
Kengo Kido, Swarat Chaudhuri, Ichiro Hasuo
2016 — ed.
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
CMCS
Ichiro Hasuo
2016 B conf
Coalgebraic Trace Semantics for Buechi and Parity Automata.
CONCUR
Natsuki Urabe, Shunsuke Shimizu, Ichiro Hasuo
2016 J jnl
Coalgebraic Trace Semantics for Buechi and Parity Automata.
CoRR
Natsuki Urabe, Shunsuke Shimizu, Ichiro Hasuo
2016 B conf
Coalgebras and Higher-Order Computation: a GoI Approach.
FSCD
Ichiro Hasuo
2016 J jnl
Fair Simulation for Nondeterministic and Probabilistic Buechi Automata: a Coalgebraic Perspective.
CoRR
Natsuki Urabe, Shunsuke Shimizu, Ichiro Hasuo
2016 A* conf
Healthiness from Duality.
LICS
Wataru Hino, Hiroki Kobayashi, Ichiro Hasuo, Bart Jacobs
2016 J jnl
Healthiness from Duality.
CoRR
Wataru Hino, Hiroki Kobayashi, Ichiro Hasuo, Bart Jacobs
2016 A* conf
Lattice-theoretic progress measures and coalgebraic model checking.
POPL
Ichiro Hasuo, Shunsuke Shimizu, Corina Cîrstea
2016 A* conf
Memoryful geometry of interaction II: recursion and adequacy.
POPL
Koko Muroya, Naohiko Hoshino, Ichiro Hasuo
2016 J jnl
Semantics of Higher-Order Quantum Computation via Geometry of Interaction.
CoRR
Ichiro Hasuo, Naohiko Hoshino
2016 J jnl
Special Issue on Quantum Physics and Logic.
New Gener. Comput.
Ichiro Hasuo, Prakash Panangaden
2015 J jnl
Abstract Interpretation with Infinitesimals: Towards Scalability in Nonstandard Static Analysis (Extended Version).
CoRR
Kengo Kido, Swarat Chaudhuri, Ichiro Hasuo
2015 — conf
Abstract Interpretation with Infinitesimals: Towards Scalability in Nonstandard Static Analysis.
SNR@CAV
Kengo Kido, Swarat Chaudhuri, Ichiro Hasuo
2015 B conf
Coalgebraic Infinite Traces and Kleisli Simulations.
CALCO
Natsuki Urabe, Ichiro Hasuo
2015 J jnl
Coalgebraic Infinite Traces and Kleisli Simulations.
CoRR
Natsuki Urabe, Ichiro Hasuo
2015 J jnl
Generic weakest precondition semantics from monads enriched with order.
Theor. Comput. Sci.
Ichiro Hasuo
2015 J jnl
Lattice-Theoretic Progress Measures and Coalgebraic Model Checking (with Appendices).
CoRR
Ichiro Hasuo, Shunsuke Shimizu, Corina Cîrstea
2015 — conf
Near-Optimal Scheduling for LTL with Future Discounting.
TGC
Shota Nakagawa, Ichiro Hasuo
2015 J jnl
Time Robustness in MTL and Expressivity in Hybrid System Falsification (Extended Version).
CoRR
Takumi Akazaki, Ichiro Hasuo
2015 — conf
Time Robustness in MTL and Expressivity in Hybrid System Falsification.
CAV (2)
Takumi Akazaki, Ichiro Hasuo
2014 B conf
Generic Forward and Backward Simulations III: Quantitative Simulations by Matrices.
CONCUR
Natsuki Urabe, Ichiro Hasuo
2014 — conf
Generic Weakest Precondition Semantics from Monads Enriched with Order.
CMCS
Ichiro Hasuo
2014 — conf
Input Synthesis for Sampled Data Systems by Program Logic.
HAS
Takumi Akazaki, Ichiro Hasuo, Kohei Suenaga
2014 A conf
Measurements in Proof Nets as Higher-Order Quantum Circuits.
ESOP
Akira Yoshimizu, Ichiro Hasuo, Claudia Faggian, Ugo Dal Lago
2014 — conf
Memoryful geometry of interaction: from coalgebraic components to algebraic effects.
CSL-LICS
Naohiko Hoshino, Koko Muroya, Ichiro Hasuo
2014 J jnl
Near-Optimal Scheduler Synthesis for LTL with Future Discounting.
CoRR
Shota Nakagawa, Ichiro Hasuo
2014 — ed.
Proceedings of the 11th workshop on Quantum Physics and Logic, QPL 2014, Kyoto, Japan, 4-6th June 2014.
QPL
Bob Coecke, Ichiro Hasuo, Prakash Panangaden
2014 J jnl
The Geometry of Synchronization (Long Version).
CoRR
Ugo Dal Lago, Claudia Faggian, Ichiro Hasuo, Akira Yoshimizu
2014 — conf
The geometry of synchronization.
CSL-LICS
Ugo Dal Lago, Claudia Faggian, Ichiro Hasuo, Akira Yoshimizu
2013 J jnl
Coinduction for Computation Structures and Programming Languages (NII Shonan Meeting 2013-11).
NII Shonan Meet. Rep.
Ichiro Hasuo, Keiko Nakata, Tarmo Uustalu
2013 B conf
Coinductive Predicates and Final Sequences in a Fibration.
MFPS
Ichiro Hasuo, Kenta Cho, Toshiki Kataoka, Bart Jacobs
2013 A* conf
Hyperstream processing systems: nonstandard modeling of continuous-time signals.
POPL
Kohei Suenaga, Hiroyoshi Sekine, Ichiro Hasuo
2012 A* conf
Exercises in Nonstandard Static Analysis of Hybrid Systems.
CAV
Ichiro Hasuo, Kohei Suenaga
2012 J jnl
Hybrid Systems: Theory and Practice, Seriously (NII Shonan Meeting 2012-2).
NII Shonan Meet. Rep.
Ichiro Hasuo, Takuro Kutsuna, Toshimitsu Ushio
2011 — conf
Programming with Infinitesimals: A While-Language for Hybrid System Modeling.
ICALP (2)
Kohei Suenaga, Ichiro Hasuo
2011 A* conf
Semantics of Higher-Order Quantum Computation via Geometry of Interaction.
LICS
Ichiro Hasuo, Naohiko Hoshino
2011 B conf
The Microcosm Principle and Compositionality of GSOS-Based Component Calculi.
CALCO
Ichiro Hasuo
2011 J jnl
Traces for coalgebraic components.
Math. Struct. Comput. Sci.
Ichiro Hasuo, Bart Jacobs
2010 — conf
Categorifying Computations into Components via Arrows as Profunctors.
CMCS@ETAPS
Kazuyuki Asada, Ichiro Hasuo
2010 B conf
Coalgebraic Representation Theory of Fractals.
MFPS
Ichiro Hasuo, Bart Jacobs, Milad Niqui
2010 B conf
Generic Forward and Backward Simulations II: Probabilistic Simulation.
CONCUR
Ichiro Hasuo
2010 J jnl
Probabilistic anonymity via coalgebraic simulations.
Theor. Comput. Sci.
Ichiro Hasuo, Yoshinobu Kawabe, Hideki Sakurada
2009 J jnl
Categorical semantics for arrows.
J. Funct. Program.
Bart Jacobs, Chris Heunen, Ichiro Hasuo
2009 B conf
Coalgebraic Components in a Many-Sorted Microcosm.
CALCO
Ichiro Hasuo, Chris Heunen, Bart Jacobs, Ana Sokolova
2009 J jnl
Semantics and logic for security protocols.
J. Comput. Secur.
Bart Jacobs, Ichiro Hasuo
2008 B conf
The Microcosm Principle and Concurrency in Coalgebra.
FoSSaCS
Ichiro Hasuo, Bart Jacobs, Ana Sokolova
2007 A* conf
Categorical Views on Computations on Trees (Extended Abstract).
ICALP
Ichiro Hasuo, Bart Jacobs, Tarmo Uustalu
2007 J jnl
Generic Trace Semantics via Coinduction
CoRR
Ichiro Hasuo, Bart Jacobs, Ana Sokolova
2007 J jnl
Generic Trace Semantics via Coinduction.
Log. Methods Comput. Sci.
Ichiro Hasuo, Bart Jacobs, Ana Sokolova
2007 A conf
Probabilistic Anonymity Via Coalgebraic Simulations.
ESOP
Ichiro Hasuo, Yoshinobu Kawabe
2006 — conf
Freyd is Kleisli, for Arrows.
MSFP@MPC
Bart Jacobs, Ichiro Hasuo
2006 B conf
Generic Forward and Backward Simulations.
CONCUR
Ichiro Hasuo
2006 — conf
Generic Trace Theory.
CMCS
Ichiro Hasuo, Bart Jacobs, Ana Sokolova
2006 B conf
Relations Among Notions of Security for Identity Based Encryption Schemes.
LATIN
Nuttapong Attrapadung, Yang Cui, David Galindo, Goichiro Hanaoka, Ichiro Hasuo, Hideki Imai, Kanta Matsuura, Peng Yang, Rui Zhang
2005 B conf
Context-Free Languages via Coalgebraic Trace Semantics.
CALCO
Ichiro Hasuo, Bart Jacobs
2005 — conf
Provable anonymity.
FMSE
Flavio D. Garcia, Ichiro Hasuo, Wolter Pieters, Peter van Rossum
2005 J jnl
Security Notions for Identity Based Encryption.
IACR Cryptol. ePrint Arch.
David Galindo, Ichiro Hasuo
2003 J jnl
Kripke Completeness of First-Order Constructive Logics with Strong Negation.
Log. J. IGPL
Ichiro Hasuo, Ryo Kashima