


Остановите войну!
for scientists:


default search action
Ichiro 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
- 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) - [i53]Zhenya Zhang, Jie An, Paolo Arcaini, Ichiro Hasuo:
Online Causation Monitoring of Signal Temporal Logic. CoRR abs/2305.17754 (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 - [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]