Hasuo Ichiro 蓮尾一郎

… Alternative Names

HASUO Ichiro 蓮尾一郎

Less

Researcher Number	60456762
Other IDs
Affiliation (Current)	2025: 国立情報学研究所, アーキテクチャ科学研究系, 教授
Affiliation (based on the past Project Information) *help	2023 – 2024: 国立情報学研究所, アーキテクチャ科学研究系, 教授 2017 – 2019: 国立情報学研究所, アーキテクチャ科学研究系, 准教授 2016: 東京大学, 大学院情報理工学系研究科, 准教授 2015: 東京大学, 大学院情報理工学系研究科, 講師 2015: 東京大学, 情報理工学(系)研究科, 准教授 2011 – 2014: 東京大学, 情報理工学(系)研究科, 講師 2012: 東京大学, 大学院・情報理工学系研究科, 講師
Review Section/Research Field	Principal Investigator Mathematical Sciences in Search of New Cooperation / Theory of informatics / Fundamental theory of informatics / General mathematics (including Probability theory/Statistical mathematics) Except Principal Investigator Basic Section 60050:Software-related
Keywords	Principal Investigator 圏論 / 不動点論理 / 応用数学 / 統計的機械学習 / ハイブリッドシステム / プログラム理論 / 物理情報システム / 形式検証 / 数理論理学 / システム検証 … More / システム工学 / モデルベース開発 / テスト / 線形論理 / 確率的プログラミング / 抽象機械 / 操作的意味論 / 表示的意味論 / 確率的システム検証 / 確率的システム / プログラム検証 / 高階計算 / 確率的プログラミング言語 / プログラミング言語理論 / 国際情報交換（オランダ） / 国際情報交換（イタリア） / 国際研究者交流（イタリア） / 国際研究者交流（フランス） / 関数型プログラミング / 量子計算 / プログラミング言語 / 計算の意味論 / 新パラダイム計算 / 国際研究者交流オーストリア / 国際研究者交流ポーランド / 国際研究者交流イギリス / 国際研究者交流オランダ / 仕様記述 / 圏論的論理 / 余代数 / 数学基礎論 / ソフトウェア学 … More Except Principal Investigator プログラム修正 / テスト / サイバーフィジカルシステム / AI品質保証 Less

Testing, Analysis, and Repair of AI-enabled Cyber-Physical Systems
- Principal Investigator
  
  趙建軍
- Project Period (FY)
  2023 – 2025
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  Kyushu University
Probabilistic Extension of Geometry of Interaction--from Categorical Semantics to Big DataPrincipal Investigator
- Principal Investigator
  
  Ichiro Hasuo
- Project Period (FY)
  2015 – 2018
- Research Category
  
  Grant-in-Aid for Challenging Exploratory Research
- Research Field
  
  Theory of informatics
- Research Institution
  National Institute of Informatics
  The University of Tokyo
Supporting Manufacturing by Category Theory and Mathematical Logic: Transfer of Software Science to Systems EngineeringPrincipal Investigator
- Principal Investigator
  
  Hasuo Ichiro
- Project Period (FY)
  2015 – 2019
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Mathematical Sciences in Search of New Cooperation
- Research Institution
  National Institute of Informatics
  The University of Tokyo
Taming New Computing Paradigms: Diverse Techniques in Semantics United, Enhanced and AppliedPrincipal Investigator
- Principal Investigator
  
  Hasuo Ichiro
- Project Period (FY)
  2012 – 2015
- Research Category
  
  Grant-in-Aid for Young Scientists (A)
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  The University of Tokyo
Foundation of Modular Verification via Stone-Like Dualities and theMicrocosm PrinciplePrincipal Investigator
- Principal Investigator
  
  HASUO Ichiro
- Project Period (FY)
  2011 – 2012
- Research Category
  
  Grant-in-Aid for Challenging Exploratory Research
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  The University of Tokyo

All 2023 2020 2019 2018 2017 2016 2015 2014 2013 2012 2011 Other

All Journal Article Presentation Patent

[Journal Article] Relational Differential Dynamic Logic2020
- Author(s)
  Juraj Kolcak, Jeremy Dubut, Ichiro Hasuo, Shin-ya Katsumata, David Sprunger and Akihisa Yamada
- Journal Title
  
  TACAS 2020: Tools and Algorithms for the Construction and Analysis of Systems
  
  Volume: 12078 Pages: 191-208
- DOI
  10.1007/978-3-030-45190-5_11
- ISBN
  9783030451899, 9783030451905
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K20215, KAKENHI-PROJECT-15KT0012
[Journal Article] Weighted Automata Extraction from Recurrent Neural Networks via Regression on State Spaces2020
- Author(s)
  Takamasa Okudono, Masaki Waga, Taro Sekiyama, Ichiro Hasuo
- Journal Title
  
  Proceedings of AAAI Conference on Artificial Intelligence (AAAI)
  
  Volume: 34 Issue: 04 Pages: 5306-5314
- DOI
  10.1609/aaai.v34i04.5977
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K20247, KAKENHI-PROJECT-15KT0012, KAKENHI-PROJECT-18J22498
[Journal Article] Codensity Games for Bisimilarity2019
- Author(s)
  Yuichi Komorida, Shin-ya Katsumata, Nick Hu, Bartek Klin, Ichiro Hasuo
- Journal Title
  
  Proc. LICS 2019, Thirty-Fourth Annual ACM/IEEE Symposium on Logic in Computer Science
  
  Volume: - Pages: 1-13
- DOI
  10.1109/lics.2019.8785691
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15KT0012
[Journal Article] Multi-Armed Bandits for Boolean Connectives in Hybrid System Falsification2019
- Author(s)
  Zhenya Zhang, Ichiro Hasuo, Paolo Arcaini
- Journal Title
  
  Proc. CAV 2019, 31st International Conference on Computer Aided Verification
  
  Volume: 印刷中
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-15KT0012
[Journal Article] Multi-armed Bandits for Boolean Connectives in Hybrid System Falsification2019
- Author(s)
  Zhenya Zhang, Ichiro Hasuo, Paolo Arcaini
- Journal Title
  
  Computer Aided Verification
  
  Volume: 11561 Pages: 401-420
- DOI
  10.1007/978-3-030-25540-4_23
- ISBN
  9783030255398, 9783030255404
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-19J15218, KAKENHI-PROJECT-15KT0012
[Journal Article] Tail Probabilities for Randomized Program Runtimes via Martingales for Higher Moments2019
- Author(s)
  Satoshi Kura, Natsuki Urabe, Ichiro Hasuo
- Journal Title
  
  Proc. TACAS 2019, 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
  
  Volume: 11428 Pages: 135-153
- DOI
  10.1007/978-3-030-17465-1_8
- ISBN
  9783030174644, 9783030174651
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-15K11984, KAKENHI-PROJECT-15KT0012
[Journal Article] Switching Delays and the Skorokhod Distance in Incrementally Stable Switched Systems2019
- Author(s)
  Kengo Kido, Sean Sedwards, Ichiro Hasuo
- Journal Title
  
  Proc. CyPhy 2017, Lecture Notes in Computer Science
  
  Volume: 11267 Pages: 109-126
- DOI
  10.1007/978-3-030-17910-6_9
- ISBN
  9783030179090, 9783030179106
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15KT0012
[Journal Article] Codensity Games for Bisimilarity2019
- Author(s)
  Yuichi Komorida, Shin-ya Katsumata, Nick Hu, Bartek Klin, Ichiro Hasuo
- Journal Title
  
  Proc. LICS 2019, Thirty-Fourth Annual ACM/IEEE Symposium on Logic in Computer Science
  
  Volume: -
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K11984
[Journal Article] Nonstandard Static Analysis: Literal Transfer of Deductive Verification Frameworks from Discrete to Hybrid2019
- Author(s)
  Ichiro Hasuo
- Journal Title
  
  Proc. CyPhy 2017, Lecture Notes in Computer Science
  
  Volume: 11267 Pages: 3-7
- DOI
  10.1007/978-3-030-17910-6_1
- ISBN
  9783030179090, 9783030179106
- Data Source
  KAKENHI-PROJECT-15KT0012
[Journal Article] Symbolic Monitoring against Specifications Parametric in Time and Data2019
- Author(s)
  Masaki Waga, Eienne Andre, Ichiro Hasuo
- Journal Title
  
  Proc. CAV 2019, 31st International Conference on Computer Aided Verification
  
  Volume: 11561 Pages: 520-539
- DOI
  10.1007/978-3-030-25540-4_30
- ISBN
  9783030255398, 9783030255404
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18J22498, KAKENHI-PROJECT-15KT0012
[Journal Article] Fast Falsification of Hybrid Systems Using Probabilistically Adaptive Input2019
- Author(s)
  Gidon Ernst, Sean Sedwards, Zhenya Zhang, Ichiro Hasuo
- Journal Title
  
  Quantitative Evaluation of Systems
  
  Volume: 11785 Pages: 165-181
- DOI
  10.1007/978-3-030-30281-8_10
- ISBN
  9783030302801, 9783030302818
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19J15218, KAKENHI-PROJECT-15KT0012
[Journal Article] Ranking and Repulsing Supermartingales for Reachability in Probabilistic Programs2018
- Author(s)
  Toru Takisaka, Yuichiro Oyabu, Natsuki Urabe, Ichiro Hasuo
- Journal Title
  
  Proc. ATVA 2018, Lecture Notes in Computer Science
  
  Volume: 11138 Pages: 476-493
- DOI
  10.1007/978-3-030-01090-4_28
- ISBN
  9783030010898, 9783030010904
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-15KT0012, KAKENHI-PROJECT-16J08157, KAKENHI-PROJECT-15K11984
[Journal Article] Two-layered Falsification of Hybrid Systems Guided by Monte Carlo Tree Search2018
- Author(s)
  Zhenya Zhang, Gidon Ernst, Sean Sedwards, Paolo Arcaini, Ichiro Hasuo
- Journal Title
  
  Proc. EMSOFT 2018, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
  
  Volume: 37 Issue: 11 Pages: 2894-2905
- DOI
  10.1109/tcad.2018.2858463
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15KT0012
[Journal Article] MONAA: a Tool for Timed Pattern Matching with Automata-Based Acceleration2018
- Author(s)
  Masaki Waga, Ichiro Hasuo, Kohei Suenaga
- Journal Title
  
  Proc. MT-CPS 2018
  
  Volume: - Pages: 14-15
- DOI
  10.1109/mt-cps.2018.00014
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-15KT0012, KAKENHI-PROJECT-18J22498
[Journal Article] Coinductive predicates and final sequences in a fibration2018
- Author(s)
  Ichiro Hasuo, Toshiki Kataoka, Kenta Cho
- Journal Title
  
  Mathematical Structures in Computer Science
  
  Volume: 28 Issue: 4 Pages: 562-611
- DOI
  10.1017/s0960129517000056
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-15KT0012
[Journal Article] Moore-Machine Filtering for Timed and Untimed Pattern Matching2018
- Author(s)
  Masaki Waga, Ichiro Hasuo
- Journal Title
  
  Proc. EMSOFT 2018, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
  
  Volume: 37 Issue: 11 Pages: 2649-2660
- DOI
  10.1109/tcad.2018.2857358
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-15KT0012, KAKENHI-PROJECT-18J22498
[Journal Article] Fair Simulation for Nondeterministic and Probabilistic Buechi Automata: a Coalgebraic Perspective2017
- Author(s)
  Natsuki Urabe, Ichiro Hasuo
- Journal Title
  
  Logimal Methods in Computer Science
  
  Volume: 13
- DOI
  10.23638/LMCS-13(3:20)2017
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-15KT0012, KAKENHI-PROJECT-16J08157
[Journal Article] Quantitative simulations by matrices2017
- Author(s)
  Natsuki Urabe, Ichiro Hasuo
- Journal Title
  
  Information and Computation
  
  Volume: 252 Pages: 110-137
- DOI
  10.1016/j.ic.2016.03.007
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-15KT0012
[Journal Article] Sharper and Simpler Nonlinear Interpolants for Program Verification2017
- Author(s)
  Takamasa Okudono, Yuki Nishida, Kensuke Kojima, Kohei Suenaga, Kengo Kido, Ichiro Hasuo
- Journal Title
  
  Proc. APLAS 2017, Lecture Notes in Computer Science
  
  Volume: 10695 Pages: 491-513
- DOI
  10.1007/978-3-319-71237-6_24
- ISBN
  9783319712369, 9783319712376
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-15KT0012, KAKENHI-PROJECT-15K11984
[Journal Article] Categorical Liveness Checking by Corecursive Algebras2017
- Author(s)
  Natsuki Urabe, Masaki Hara and Ichiro Hasuo
- Journal Title
  
  To appear in Proceedings of the Thirty-Second Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) 2017
  
  Volume: なし
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-15KT0012
[Journal Article] Categorical Liveness Checking by Corecursive Algebras2017
- Author(s)
  Natsuki Urabe, Masaki Hara, Ichiro Hasuo
- Journal Title
  
  Proc. LICS 2017
  
  Volume: - Pages: 1-12
- DOI
  10.1109/lics.2017.8005151
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-15KT0012, KAKENHI-PROJECT-15K11984, KAKENHI-PROJECT-16J08157
[Journal Article] Semantics of higher-order quantum computation via geometry of interaction2017
- Author(s)
  Ichiro Hasuo, Naohiko Hoshino
- Journal Title
  
  Annals of Pure and Applied Logic
  
  Volume: 168 Issue: 2 Pages: 404-469
- DOI
  10.1016/j.apal.2016.10.010
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-15KT0012, KAKENHI-PROJECT-15K11984
[Journal Article] Categorical Liveness Checking by Corecursive Algebras2017
- Author(s)
  Natsuki Urabe, Masaki Hara and Ichiro Hasuo
- Journal Title
  
  To appear in Proceedings of the Thirty-Second Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) 2017
  
  Volume: -
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-15K11984
[Journal Article] Parity Automata for Quantitative Linear Time Logics2017
- Author(s)
  Corina Cirstea, Shunsuke Shimizu, Ichiro Hasuo
- Journal Title
  
  Proc. CALCO 2017, Leibniz International Proceedings in Informatics
  
  Volume: 72
- DOI
  10.4230/LIPIcs.CALCO.2017.7
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15KT0012, KAKENHI-PROJECT-15K11984
[Journal Article] Efficient Online Timed Pattern Matching by Automata-Based Skipping2017
- Author(s)
  Masaki Waga, Ichiro Hasuo, Kohei Suenaga
- Journal Title
  
  Proc. FORMATS 2017, Lecture Notes in Computer Science
  
  Volume: 10419 Pages: 224-243
- DOI
  10.1007/978-3-319-65765-3_13
- ISBN
  9783319657646, 9783319657653
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-15KT0012
[Journal Article] Causality-Aided Falsification2017
- Author(s)
  Takumi Akazaki, Yoshihiro Kumazawa, Ichiro Hasuo
- Journal Title
  
  Proc. FVAV 2017, Electronic Proceedings in Theoretical Computer Science
  
  Volume: 257 Pages: 3-18
- DOI
  10.4204/eptcs.257.2
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-15KT0012, KAKENHI-PROJECT-15J09877
[Journal Article] A Boyer-Moore Type Algorithm for Timed Pattern Matching2016
- Author(s)
  Masaki Waga, Takumi Akazaki, Ichiro Hasuo
- Journal Title
  
  Formal Modeling and Analysis of Timed Systems - 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings. Lecture Notes in Computer Science 9884, Springer
  
  Volume: 9884 Pages: 121-139
- DOI
  10.1007/978-3-319-44878-7_8
- ISBN
  9783319448770, 9783319448787
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-15KT0012
[Journal Article] Coalgebras and Higher-Order Computation: a GoI Approach2016
- Author(s)
  Ichiro Hasuo
- Journal Title
  
  Proc. 1st International Conference on Formal Structures for Computation and Deduction, FSCD 2016, June 22-26, 2016, Porto, Portugal. LIPIcs 52, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
  
  Volume: 52
- DOI
  10.4230/LIPIcs.FSCD.2016.2
- Acknowledgement Compliant / Open Access
- Data Source
  KAKENHI-PROJECT-15KT0012, KAKENHI-PROJECT-15K11984
[Journal Article] Healthiness from Duality2016
- Author(s)
  Wataru Hino, Hiroki Kobayashi, Ichiro Hasuo and Bart Jacobs
- Journal Title
  
  Proc. Thirty-First Annual ACM/IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS 2016)
  
  Volume: なし Pages: 682-691
- DOI
  10.1145/2933575.2935319
- Peer Reviewed / Acknowledgement Compliant / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15KT0012, KAKENHI-PROJECT-15K11984
[Journal Article] Healthiness from Duality2016
- Author(s)
  Wataru Hino, Hiroki Kobayashi, Ichiro Hasuo and Bart Jacobs
- Journal Title
  
  Proc. Thirty-First Annual ACM/IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS 2016)
  
  Volume: なし
- Peer Reviewed / Acknowledgement Compliant / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-24680001
[Journal Article] Abstract Interpretation with Infinitesimals: Towards Scalability in Nonstandard Static Analysis2016
- Author(s)
  Kengo Kido, Swarat Chaudhuri and Ichiro Hasuo
- Journal Title
  
  Proc. Verification, Model Checking, and Abstract Interpretation - 17th International Conference, VMCAI 2016, Lecture Notes in Computer Science
  
  Volume: 9583 Pages: 229-249
- DOI
  10.1007/978-3-662-49122-5_11
- ISBN
  9783662491218, 9783662491225
- Peer Reviewed / Acknowledgement Compliant / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15KT0012, KAKENHI-PROJECT-15K11984, KAKENHI-PROJECT-15J05580, KAKENHI-PROJECT-24680001
[Journal Article] Lattice-theoretic progress measures and coalgebraic model checking2016
- Author(s)
  Ichiro Hasuo, Shunsuke Shimizu, and Corina Cirstea
- Journal Title
  
  Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2016
  
  Volume: なし Pages: 718-732
- DOI
  10.1145/2837614.2837673
- Peer Reviewed / Acknowledgement Compliant / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15KT0012, KAKENHI-PROJECT-15K11984, KAKENHI-PROJECT-24680001
[Journal Article] Semantics of Higher-Order Quantum Computation via Geometry of Interaction2016
- Author(s)
  Ichiro Hasuo and Naohiko Hoshino
- Journal Title
  
  Annals of Pure and Applied Logic
  
  Volume: 未定
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-15KT0012
[Journal Article] Special Issue on Quantum Physics and Logic (QPL 2014)2016
- Author(s)
  Ichiro Hasuo and Prakash Panangaden, editors
- Journal Title
  
  New Generation Computing
  
  Volume: 34 Issue: 1-2 Pages: 1-152
- DOI
  10.1007/s00354-016-0200-7
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15KT0012, KAKENHI-PROJECT-15K11984, KAKENHI-PROJECT-24680001
[Journal Article] Memoryful Geometry of Interaction II: Recursion and Adequacy2016
- Author(s)
  Koko Muroya, Naohiko Hoshino and Ichiro Hasuo
- Journal Title
  
  Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2016
  
  Volume: なし Pages: 748-760
- DOI
  10.1145/2837614.2837672
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-15KT0012, KAKENHI-PROJECT-15K11984, KAKENHI-PROJECT-24680001
[Journal Article] Semantics of Higher-Order Quantum Computation via Geometry of Interaction2016
- Author(s)
  Ichiro Hasuo and Naohiko Hoshino
- Journal Title
  
  Annals of Pure and Applied Logic
  
  Volume: 未定
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-24680001
[Journal Article] Near-Optimal Scheduling for LTL with Future Discounting2016
- Author(s)
  Shota Nakagawa and Ichiro Hasuo
- Journal Title
  
  Proc. Trustworthy Global Computing - 10th International Symposium, TGC 2015, Lecture Notes in Computer Science
  
  Volume: 9533 Pages: 112-130
- DOI
  10.1007/978-3-319-28766-9_8
- ISBN
  9783319287652, 9783319287669
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-15KT0012, KAKENHI-PROJECT-15K11984, KAKENHI-PROJECT-24680001
[Journal Article] Coalgebraic Trace Semantics for Buechi and Parity Automata2016
- Author(s)
  Natsuki Urabe, Shunsuke Shimizu, Ichiro Hasuo
- Journal Title
  
  Leibniz International Proceedings in Informatics (LIPIcs)
  
  Volume: 59
- DOI
  10.4230/LIPIcs.CONCUR.2016.24
- Peer Reviewed / Acknowledgement Compliant / Open Access
- Data Source
  KAKENHI-PROJECT-16J08157, KAKENHI-PROJECT-15KT0012, KAKENHI-PROJECT-15K11984
[Journal Article] Semantics of Higher-Order Quantum Computation via Geometry of Interaction2016
- Author(s)
  Ichiro Hasuo and Naohiko Hoshino
- Journal Title
  
  Annals of Pure and Applied Logic
  
  Volume: 未定
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-15K11984
[Journal Article] Time Robustness in MTL and Expressivity in Hybrid System Falsification2015
- Author(s)
  Takumi Akazaki and Ichiro Hasuo
- Journal Title
  
  Computer Aided Verification - 27th International Conference, CAV 2015, Proceedings. Lecture Notes in Computer Science
  
  Volume: 未定
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-24680001
[Journal Article] Time Robustness in MTL and Expressivity in Hybrid System Falsification2015
- Author(s)
  Takumi Akazaki and Ichiro Hasuo
- Journal Title
  
  Proc. Computer Aided Verification - 27th International Conference, CAV 2015, Lecture Notes in Computer Science
  
  Volume: 9207 Pages: 356-374
- DOI
  10.1007/978-3-319-21668-3_21
- ISBN
  9783319216676, 9783319216683
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-15KT0012, KAKENHI-PROJECT-15K11984, KAKENHI-PROJECT-24680001
[Journal Article] Input Synthesis for Sampled Data Systems by Program Logic2015
- Author(s)
  Takumi Akazaki, Ichiro Hasuo, and Kohei Suenaga
- Journal Title
  
  Electronic Proceedings in Theoretical Computer Science
  
  Volume: 174 Pages: 22-39
- DOI
  10.4204/eptcs.174.3
- Peer Reviewed / Acknowledgement Compliant / Open Access
- Data Source
  KAKENHI-PROJECT-24680001, KAKENHI-PROJECT-25730040
[Journal Article] Generic Weakest Precondition Semantics from Monads Enriched with Order2015
- Author(s)
  Ichiro Hasuo
- Journal Title
  
  Theoretical Computer Science
  
  Volume: 604 Pages: 2-29
- DOI
  10.1016/j.tcs.2015.03.047
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-15KT0012, KAKENHI-PROJECT-15K11984, KAKENHI-PROJECT-24680001
[Journal Article] Coalgebraic Infinite Traces and Kleisli Simulations2015
- Author(s)
  Natsuki Urabe and Ichiro Hasuo
- Journal Title
  
  Proc. 6th Conference on Algebra and Coalgebra in Computer Science, CALCO 2015, LIPIcs
  
  Volume: 35 Pages: 320-335
- DOI
  10.4230/LIPIcs.CALCO.2015.320
- Peer Reviewed / Acknowledgement Compliant / Open Access
- Data Source
  KAKENHI-PROJECT-15K11984, KAKENHI-PROJECT-24680001
[Journal Article] Measurements in Proof Nets as Higher-Order Quantum Circuits2014
- Author(s)
  Akira Yoshimizu, Ichiro Hasuo, Claudia Faggian, and Ugo Dal Lago
- Journal Title
  
  Lecture Notes in Computer Science
  
  Volume: 8410 Pages: 371-391
- DOI
  10.1007/978-3-642-54833-8_20
- ISBN
  9783642548321, 9783642548338
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-24680001
[Journal Article] Generic Forward and Backward Simulations III: Quantitative Simulations by Matrices2014
- Author(s)
  Natsuki Urabe and Ichiro Hasuo
- Journal Title
  
  Lecture Notes in Computer Science
  
  Volume: 8704 Pages: 451-466
- DOI
  10.1007/978-3-662-44584-6_31
- ISBN
  9783662445839, 9783662445846
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-24680001
[Journal Article] The Geometry of Synchronization2014
- Author(s)
  Ugo Dal Lago, Claudia Faggian, Ichiro Hasuo and Akira Yoshimizu
- Journal Title
  
  Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
  
  Volume: なし Pages: 1-10
- DOI
  10.1145/2603088.2603154
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-24680001
[Journal Article] Memoryful Geometry of Interaction: From Coalgebraic Components to Algebraic Effects2014
- Author(s)
  Naohiko Hoshino, Koko Muroya and Ichiro Hasuo
- Journal Title
  
  Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
  
  Volume: なし Pages: 1-10
- DOI
  10.1145/2603088.2603124
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-24680001
[Journal Article] Generic Weakest Precondition Semantics from Monads Enriched with Order2014
- Author(s)
  Ichiro Hasuo
- Journal Title
  
  Lecture Notes in Computer Science
  
  Volume: 8446 Pages: 10-32
- DOI
  10.1007/978-3-662-44124-4_2
- ISBN
  9783642387081, 9783642387098
- Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-24680001
[Journal Article] Kenta Cho, Toshiki Kataoka, and Bart Jacobs. Coinductive Predicates and Final Sequences in a Fibration. To appear in Proc2013
- Author(s)
  Ichiro Hasuo
- Journal Title
  
  MFPS XXIX. Electr. Notes in Theoretical Computer Science
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23654033
[Journal Article] Hyperstream Processing Systems: Nonstandard Modeling of Continuous-Time Signals2013
- Author(s)
  Kohei Suenaga, Hiroyoshi Sekine, and
- Journal Title
  
  Proc. POPL
  
  Volume: 40 Pages: 417-430
- DOI
  10.1145/2429069.2429120
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23654033, KAKENHI-PROJECT-24680001, KAKENHI-PROJECT-24800035
[Journal Article] Coinductive Predicates and Final Sequences in a Fibration2013
- Author(s)
  Ichiro Hasuo, Kenta Cho, Toshiki Kataoka, and Bart Jacobs
- Journal Title
  
  Electronic Notes in Theoretical Computer Science
  
  Volume: 298 Pages: 197-214
- DOI
  10.1016/j.entcs.2013.09.014
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24680001
[Journal Article] Coinductive Predicates and Final Sequences in a Fibration2013
- Author(s)
  Ichiro Hasuo, Kenta Cho, Toshiki Kataoka, and Bart Jacobs
- Journal Title
  
  Proc. Mathematical Foundations of Programming Semantics, Twenty-ninth Conference, MFPS 2013, Electronic Notes in Theoretical Computer Science
  
  Volume: 未定
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23654033
[Journal Article] Exercises in Nonstandard Static Analysis of Hybrid Systems2012
- Author(s)
  Ichiro Hasuo and Kohei Suenaga
- Journal Title
  
  Proc. Computer Aided Verification - 24th International Conference, Lecture Notes in Computer Science
  
  Volume: 7358 Pages: 462-478
- DOI
  10.1007/978-3-642-31424-7_34
- ISBN
  9783642314230, 9783642314247
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23654033, KAKENHI-PROJECT-24680001, KAKENHI-PROJECT-24800035
[Journal Article] The Microcosm Principle and Compositionality of GSOS-Based Component Calculi. Proc2011
- Author(s)
  Ichiro Hasuo
- Journal Title
  
  Lecture Notes in Computer Science
  
  Volume: vol.6859 Pages: 222-236
- DOI
  10.1007/978-3-642-22944-2_16
- ISBN
  9783642229435, 9783642229442
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23654033
[Journal Article] Traces for Coalgebraic Components.2011
- Author(s)
  Ichiro Hasuo and Bart Jacobs
- Journal Title
  
  Mathematical Structures in Computer Science
  
  Volume: 21 Issue: 2 Pages: 267-320
- DOI
  10.1017/s0960129510000551
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23654033
[Journal Article] Programming with Infinitesimals : A While-Language for Hybrid System Modelin2011
- Author(s)
  Kohei Suenaga, Ichiro Hasuo
- Journal Title
  
  Automata, Languages and Programming-38th International Colloquium, ICALP 2011
  
  Volume: 6756 Pages: 392-403
- DOI
  10.1007/978-3-642-22012-8_31
- ISBN
  9783642220111, 9783642220128
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-11J00571, KAKENHI-PROJECT-23654033
[Journal Article] Semantics of Higher-Order Quantum Computation via Geometry of Interaction. Proc2011
- Author(s)
  Ichiro Hasuo and Naohiko Hoshino.
- Journal Title
  
  IEEE Computer Society
  
  Volume: 26 Pages: 237-246
- DOI
  10.1109/lics.2011.26
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23654033
[Patent] 情報処理装置，情報処理システム及び情報処理方法2018
- Inventor(s)
  和賀正樹，蓮尾一郎
- Industrial Property Rights Holder
  国立情報学研究所
- Industrial Property Rights Type
  特許
- Industrial Property Number
  2018-187340
- Filing Date
  2018
- Data Source
  KAKENHI-PROJECT-15KT0012
[Patent] 制御入力値生成装置、制御入力値生成方法、および、プログラム2014
- Inventor(s)
  赤崎拓未，蓮尾一郎，末永幸平
- Industrial Property Rights Holder
  科学技術振興機構
- Industrial Property Rights Type
  特許
- Industrial Property Number
  2014-072623
- Filing Date
  2014-03-31
- Data Source
  KAKENHI-PROJECT-24680001
[Presentation] Online Causation Monitoring of Signal Temporal Logic2023
- Author(s)
  Zhenya Zhang, Jie An, Paolo Arcaini, Ichiro Hasuo
- Organizer
  The 35th International Conference on Computer-Aided Verification (CAV 2023)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23K28062
[Presentation] Approximating Reachability Probabilities by (Super-)Martingales2018
- Author(s)
  Ichiro Hasuo
- Organizer
  5th International Workshop on Synthesis of Complex Parameters
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K11984
[Presentation] Martingale-Based Methods for Reachability Probabilities: Excitements and Afterthoughts in Coalgebras2018
- Author(s)
  Ichiro Hasuo
- Organizer
  Coalgebra, Now, a Workshop at FLoC 2018
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K11984
[Presentation] Martingale-Based Methods for Reachability Probabilities: Excitements and Afterthoughts in Coalgebras2018
- Author(s)
  Ichiro Hasuo
- Organizer
  Coalgebra, Now, a Workshop at FLoC 2018
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15KT0012
[Presentation] Coalgebras and Higher-Order Computation: a GoI Approach2018
- Author(s)
  Ichiro Hasuo
- Organizer
  Game Semantics 25 Workshop
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15KT0012
[Presentation] Coalgebras and Higher-Order Computation: a GoI Approach2018
- Author(s)
  Ichiro Hasuo
- Organizer
  Game Semantics 25 Workshop
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K11984
[Presentation] Approximating Reachability Probabilities by (Super-)Martingales2018
- Author(s)
  Ichiro Hasuo
- Organizer
  5th International Workshop on Synthesis of Complex Parameters
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15KT0012
[Presentation] 圏論と論理学のもたらす抽象化とその応用：ソフトウェアから物理情報システムへ2017
- Author(s)
  Ichiro Hasuo
- Organizer
  非線形現象の特徴化に基づく制御理論調査研究会第4回研究会
- Invited
- Data Source
  KAKENHI-PROJECT-15KT0012
[Presentation] Categorical Liveness Checking by Corecursive Algebras2017
- Author(s)
  Natsuki Urabe, Masaki Hara and Ichiro Hasuo
- Organizer
  Thirty-Second Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) 2017
- Place of Presentation
  Reykjavik, Iceland
- Year and Date
  2017-06-20
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K11984
[Presentation] Nonstandard Static Analysis: Literal Transfer of Deductive Verification Frameworks from Discrete to Hybrid.2017
- Author(s)
  Ichiro Hasuo
- Organizer
  Seventh Workshop on Design, Modeling and Evaluation of Cyber Physical Systems
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15KT0012
[Presentation] 越境するソフトウェア科学--物理情報システム応用からの視点2017
- Author(s)
  Ichiro Hasuo
- Organizer
  日本ソフトウェア科学会第34回大会
- Invited
- Data Source
  KAKENHI-PROJECT-15KT0012
[Presentation] Efficient Online Timed Pattern Matching by Automata-Based Skipping2017
- Author(s)
  Ichiro Hasuo
- Organizer
  15th International Conference on Formal Modelling and Analysis of Timed Systems
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15KT0012
[Presentation] Healthiness from Duality2016
- Author(s)
  Wataru Hino, Hiroki Kobayashi, Ichiro Hasuo and Bart Jacobs
- Organizer
  Thirty-First Annual ACM/IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS 2016)
- Place of Presentation
  New York City, USA
- Year and Date
  2016-07-05
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-24680001
[Presentation] Memoryful Geometry of Interaction II: Recursion and Adequacy2016
- Author(s)
  Koko Muroya, Naohiko Hoshino and Ichiro Hasuo
- Organizer
  The 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2016
- Place of Presentation
  St. Petersburg, Florida, United States
- Year and Date
  2016-01-20
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15KT0012
[Presentation] Lattice-theoretic progress measures and coalgebraic model checking2016
- Author(s)
  Ichiro Hasuo, Shunsuke Shimizu, and Corina Cirstea
- Organizer
  The 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2016
- Place of Presentation
  St. Petersburg, Florida, United States
- Year and Date
  2016-01-20
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K11984
[Presentation] Abstract Interpretation with Infinitesimals: Towards Scalability in Nonstandard Static Analysis2016
- Author(s)
  Kengo Kido, Swarat Chaudhuri and Ichiro Hasuo
- Organizer
  Verification, Model Checking, and Abstract Interpretation - 17th International Conference, VMCAI 2016
- Place of Presentation
  St. Petersburg, Florida, United States
- Year and Date
  2016-01-17
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K11984
[Presentation] Coalgebraic Trace Semantics for Buechi and Parity Automata2016
- Author(s)
  Natsuki Urabe, Shunsuke Shimizu, Ichiro Hasuo
- Organizer
  27th International Conference on Concurrency Theory, CONCUR 2016
- Place of Presentation
  Quebec City, Canada
- Year and Date
  2016-08-23
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K11984
[Presentation] Memoryful Geometry of Interaction II: Recursion and Adequacy2016
- Author(s)
  Koko Muroya, Naohiko Hoshino and Ichiro Hasuo
- Organizer
  The 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2016
- Place of Presentation
  St. Petersburg, Florida, United States
- Year and Date
  2016-01-20
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K11984
[Presentation] Memoryful Geometry of Interaction II: Recursion and Adequacy2016
- Author(s)
  Koko Muroya, Naohiko Hoshino and Ichiro Hasuo
- Organizer
  The 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2016
- Place of Presentation
  St. Petersburg, Florida, United States
- Year and Date
  2016-01-20
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-24680001
[Presentation] Lattice-theoretic progress measures and coalgebraic model checking2016
- Author(s)
  Ichiro Hasuo, Shunsuke Shimizu, and Corina Cirstea
- Organizer
  The 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2016
- Place of Presentation
  St. Petersburg, Florida, United States
- Year and Date
  2016-01-20
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15KT0012
[Presentation] Coalgebras and Higher-Order Computation: a GoI Approach2016
- Author(s)
  Ichiro Hasuo
- Organizer
  1st International Conference on Formal Structures for Computation and Deduction (FSCD 2016)
- Place of Presentation
  Porto, Portugal
- Year and Date
  2016-06-22
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15KT0012
[Presentation] Coalgebras and Higher-Order Computation: a GoI Approach2016
- Author(s)
  Ichiro Hasuo
- Organizer
  1st International Conference on Formal Structures for Computation and Deduction (FSCD 2016)
- Place of Presentation
  Porto, Portugal
- Year and Date
  2016-06-22
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K11984
[Presentation] A Boyer-Moore Type Algorithm for Timed Pattern Matching2016
- Author(s)
  Masaki Waga, Takumi Akazaki, Ichiro Hasuo
- Organizer
  Formal Modeling and Analysis of Timed Systems - 14th International Conference, FORMATS 2016
- Place of Presentation
  Quebec City, Canada
- Year and Date
  2016-08-24
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15KT0012
[Presentation] Lattice-theoretic progress measures and coalgebraic model checking2016
- Author(s)
  Ichiro Hasuo, Shunsuke Shimizu, and Corina Cirstea
- Organizer
  The 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2016
- Place of Presentation
  St. Petersburg, Florida, United States
- Year and Date
  2016-01-20
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-24680001
[Presentation] Abstract Interpretation with Infinitesimals: Towards Scalability in Nonstandard Static Analysis2016
- Author(s)
  Kengo Kido, Swarat Chaudhuri and Ichiro Hasuo
- Organizer
  Verification, Model Checking, and Abstract Interpretation - 17th International Conference, VMCAI 2016
- Place of Presentation
  St. Petersburg, Florida, United States
- Year and Date
  2016-01-17
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15KT0012
[Presentation] Coalgebras and Higher-Order Computation: a GoI Approach2016
- Author(s)
  Ichiro Hasuo
- Organizer
  1st International Conference on Formal Structures for Computation and Deduction (FSCD 2016)
- Place of Presentation
  Porto, Portugal
- Year and Date
  2016-06-22
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-24680001
[Presentation] Healthiness from Duality2016
- Author(s)
  Wataru Hino, Hiroki Kobayashi, Ichiro Hasuo and Bart Jacobs
- Organizer
  Thirty-First Annual ACM/IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS 2016)
- Place of Presentation
  New York City, USA
- Year and Date
  2016-07-05
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15KT0012
[Presentation] Categorical Liveness Checking by Corecursive Algebras2016
- Author(s)
  Natsuki Urabe, Masaki Hara, Ichiro Hasuo
- Organizer
  Thirty-Second Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) 2017
- Place of Presentation
  Reykjavik, Iceland
- Year and Date
  2016-06-20
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15KT0012
[Presentation] Coalgebraic Trace Semantics for Buechi and Parity Automata2016
- Author(s)
  Natsuki Urabe, Shunsuke Shimizu, Ichiro Hasuo
- Organizer
  27th International Conference on Concurrency Theory, CONCUR 2016
- Place of Presentation
  Quebec City, Canada
- Year and Date
  2016-08-23
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15KT0012
[Presentation] Healthiness from Duality2016
- Author(s)
  Wataru Hino, Hiroki Kobayashi, Ichiro Hasuo and Bart Jacobs
- Organizer
  Thirty-First Annual ACM/IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS 2016)
- Place of Presentation
  New York City, USA
- Year and Date
  2016-07-05
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K11984
[Presentation] Abstract Interpretation with Infinitesimals: Towards Scalability in Nonstandard Static Analysis2016
- Author(s)
  Kengo Kido, Swarat Chaudhuri and Ichiro Hasuo
- Organizer
  Verification, Model Checking, and Abstract Interpretation - 17th International Conference, VMCAI 2016
- Place of Presentation
  St. Petersburg, Florida, United States
- Year and Date
  2016-01-17
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-24680001
[Presentation] Time Robustness in MTL and Expressivity in Hybrid System Falsification2015
- Author(s)
  Takumi Akazaki and Ichiro Hasuo
- Organizer
  Computer Aided Verification - 27th International Conference, CAV 2015
- Place of Presentation
  San Fransisco, CA, USA
- Year and Date
  2015-07-18
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K11984
[Presentation] Near-Optimal Scheduling for LTL with Future Discounting2015
- Author(s)
  Shota Nakagawa and Ichiro Hasuo
- Organizer
  Trustworthy Global Computing - 10th International Symposium, TGC 2015
- Place of Presentation
  Madrid, Spain
- Year and Date
  2015-08-31
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-24680001
[Presentation] Coalgebraic Infinite Traces and Kleisli Simulations2015
- Author(s)
  Natsuki Urabe and Ichiro Hasuo
- Organizer
  6th Conference on Algebra and Coalgebra in Computer Science, CALCO 2015
- Place of Presentation
  Nijmegen, the Netherlands
- Year and Date
  2015-06-24
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-24680001
[Presentation] Time Robustness in MTL and Expressivity in Hybrid System Falsification2015
- Author(s)
  Takumi Akazaki and Ichiro Hasuo
- Organizer
  Computer Aided Verification - 27th International Conference, CAV 2015
- Place of Presentation
  San Fransisco, CA, USA
- Year and Date
  2015-07-18
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15KT0012
[Presentation] Near-Optimal Scheduling for LTL with Future Discounting2015
- Author(s)
  Shota Nakagawa and Ichiro Hasuo
- Organizer
  Trustworthy Global Computing - 10th International Symposium, TGC 2015
- Place of Presentation
  Madrid, Spain
- Year and Date
  2015-08-31
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K11984
[Presentation] Time Robustness in MTL and Expressivity in Hybrid System Falsification2015
- Author(s)
  Takumi Akazaki and Ichiro Hasuo
- Organizer
  Computer Aided Verification - 27th International Conference, CAV 2015
- Place of Presentation
  San Fransisco, CA, USA
- Year and Date
  2015-07-18
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-24680001
[Presentation] Coalgebraic Infinite Traces and Kleisli Simulations2015
- Author(s)
  Natsuki Urabe and Ichiro Hasuo
- Organizer
  6th Conference on Algebra and Coalgebra in Computer Science, CALCO 2015
- Place of Presentation
  Nijmegen, the Netherlands
- Year and Date
  2015-06-24
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K11984
[Presentation] Near-Optimal Scheduling for LTL with Future Discounting2015
- Author(s)
  Shota Nakagawa and Ichiro Hasuo
- Organizer
  Trustworthy Global Computing - 10th International Symposium, TGC 2015
- Place of Presentation
  Madrid, Spain
- Year and Date
  2015-08-31
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15KT0012
[Presentation] Compiling Effectful Terms to Transducers: Prototype Implementation of Memoryful Geometry of Interaction2014
- Author(s)
  Koko Muroya, Toshiki Kataoka, Ichiro Hasuo and Naohiko Hoshino
- Organizer
  5th Workshop on Syntax and Semantics of Low-Level Languages
- Place of Presentation
  Vienna, Austria
- Year and Date
  2014-07-13
- Data Source
  KAKENHI-PROJECT-24680001
[Presentation] Coinductive Predicates and Final Sequences in a Fibration2013
- Author(s)
  Ichiro Hasuo
- Organizer
  Mathematical Foundations of Programming Semantics Twenty-ninth Conference
- Place of Presentation
  "Tulane University New Orleans, Louisiana, USA"
- Data Source
  KAKENHI-PROJECT-24680001
[Presentation] Categoical Geometry of Interaction and Quantum Programming2013
- Author(s)
  Ichiro Hasuo
- Organizer
  国際ワークショップGALOP2013
- Place of Presentation
  Imperial College London
- Year and Date
  2013-07-18
- Data Source
  KAKENHI-PROJECT-23654033
[Presentation] Coinductive Predicates and Final Sequences in a Fibration2013
- Author(s)
  Ichiro Hasuo
- Organizer
  Mathematical Foundations of Programming Semantics, Twenty-ninth Conference, MFPS 2013
- Place of Presentation
  Tulane University, New Orleans, USA
- Data Source
  KAKENHI-PROJECT-23654033
[Presentation] Semantics of Higher-Order Quantum Computation via Geometry of Interaction2013
- Author(s)
  Ichiro Hasuo
- Organizer
  Games for Logic and Programming Languages VIII, International Workshop （招待講演）
- Place of Presentation
  Queen Mary University of London, UK
- Invited
- Data Source
  KAKENHI-PROJECT-24680001
[Presentation] Coinductive Predicates and Final Sequences in a Fibration2013
- Author(s)
  Ichiro Hasuo
- Organizer
  国際会議 MFPS XXIX
- Place of Presentation
  Tulane University, USA
- Data Source
  KAKENHI-PROJECT-23654033
[Presentation] Hyperstream Processing Systems: Nonstandard Modeling of Continuous-Time Signals2013
- Author(s)
  Ichiro Hasuo
- Organizer
  国際会議POPL2013
- Place of Presentation
  Hotel Parco dei Principi, Rome, Italy.
- Year and Date
  2013-01-25
- Data Source
  KAKENHI-PROJECT-23654033
[Presentation] 超準解析による物理情報システムの形式検証 ―離散から連続・ハイブリッドへ2013
- Author(s)
  蓮尾一郎
- Organizer
  日本数学会秋季総合分科会企画特別講演（招待講演）
- Place of Presentation
  愛媛大学
- Invited
- Data Source
  KAKENHI-PROJECT-24680001
[Presentation] Hyperstream Processing Systems: Nonstandard Modeling of Continuous-Time Signals2013
- Author(s)
  Ichiro Hasuo
- Organizer
  The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '13
- Place of Presentation
  Hotel Parco dei Principi, Rome, Italy
- Year and Date
  2013-01-25
- Data Source
  KAKENHI-PROJECT-24680001
[Presentation] Exurcises in Nonstandard Static Analysis or Hybrid Systems2012
- Author(s)
  Ichiro Hasuo
- Organizer
  Computer Aided Verification - 24th International Conference
- Place of Presentation
  LIC Berkeley, CA, USA
- Year and Date
  2012-07-12
- Data Source
  KAKENHI-PROJECT-24680001
[Presentation] Nonstandard Static Analysis: Discrete Verification Methodologies Transferred to Hybrid Applications2012
- Author(s)
  Ichiro Hasuo
- Organizer
  国際ワークショップICE2012
- Place of Presentation
  KTH Stockholm, Sweden(招待講演)
- Year and Date
  2012-06-16
- Data Source
  KAKENHI-PROJECT-23654033
[Presentation] Nonstandard Static Analysis: Discrete Verification Methodologies Transferred to Hybrid Applications2012
- Author(s)
  Ichiro Hasuo
- Organizer
  ICE 2012 - 5th Interaction and Concurrency Experience
- Place of Presentation
  KTH Stockholm, Sweden(招待講演)
- Year and Date
  2012-06-16
- Data Source
  KAKENHI-PROJECT-24680001
[Presentation] Exercises in Nonstandard Static Analysis of Hybrid Systems2012
- Author(s)
  Ichiro Hasuo
- Organizer
  国際会議 CAV2012
- Place of Presentation
  UC Berkeley, USA(4) Ichiro Hasuo and Bart Jacobs. Traces
- Year and Date
  2012-07-12
- Data Source
  KAKENHI-PROJECT-23654033
[Presentation] The Microcosm Principle and Compositionality of GSOS-Based Component Calculi2011
- Author(s)
  Ichiro Hasuo
- Organizer
  国際会議 CALCO2011
- Place of Presentation
  University of Winchester, UK
- Year and Date
  2011-09-11
- Data Source
  KAKENHI-PROJECT-23654033
[Presentation] The Microcosm Principle and Compositionality of GSOS-Based Component Calculi2011
- Author(s)
  Ichiro Hasuo
- Organizer
  CALCO 2011
- Place of Presentation
  University of Winchester, UK
- Data Source
  KAKENHI-PROJECT-23654033
[Presentation] Generic Weakest Precondition Semantics from Monads Enriched with Order
- Author(s)
  Ichiro Hasuo
- Organizer
  12th International Workshop on Coalgebraic Methods in Computer Science
- Place of Presentation
  Grenoble, France
- Year and Date
  2014-04-05 – 2014-04-06
- Invited
- Data Source
  KAKENHI-PROJECT-24680001
[Presentation] Exercises in Nonstandard Static Analysis of Hybrid Systems
- Author(s)
  Ichiro Hasuo
- Organizer
  Computer Aided Verification - 24th International Conference
- Place of Presentation
  UC Berkeley, CA, USA
- Data Source
  KAKENHI-PROJECT-23654033
[Presentation] Hyperstream Processing Systems: Nonstandard Modeling of Continuous-Time Signals
- Author(s)
  Ichiro Hasuo
- Organizer
  The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '13
- Place of Presentation
  Hotel Parco dei Principi, Rome, Italy
- Data Source
  KAKENHI-PROJECT-23654033
[Presentation] Nonstandard Static Analysis: Discrete Verification Methodologies Transferred to Hybrid Applications
- Author(s)
  Ichiro Hasuo
- Organizer
  ICE 2012 – 5th Interaction and Concurrency Experience
- Place of Presentation
  KTH Stockholm, Sweden
- Invited
- Data Source
  KAKENHI-PROJECT-23654033

1. 星野直彦 (20611883)

# of Collaborated Projects: 1 results

# of Collaborated Products: 2 results
2. 室屋晃子 (00827454)

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results
3. 末永幸平 (70633692)

# of Collaborated Projects: 1 results

# of Collaborated Products: 3 results
4. 趙建軍 (20299580)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
5. 鵜林尚靖 (80372762)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
6. 石川冬樹 (50455193)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
7. 馬雷 (70842061)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
8. 張振亜 (10971228)

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results
9. ZHANG Zhenya

# of Collaborated Projects: 0 results

# of Collaborated Products: 4 results
10. DUBUT Jeremy

# of Collaborated Projects: 0 results

# of Collaborated Products: 1 results
11. 関山太朗

# of Collaborated Projects: 0 results

# of Collaborated Products: 1 results

Hasuo Ichiro 蓮尾 一郎

HASUO Ichiro 蓮尾 一郎

Research Projects

Research Products

Co-Researchers

Testing, Analysis, and Repair of AI-enabled Cyber-Physical Systems

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Probabilistic Extension of Geometry of Interaction--from Categorical Semantics to Big DataPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Supporting Manufacturing by Category Theory and Mathematical Logic: Transfer of Software Science to Systems EngineeringPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Taming New Computing Paradigms: Diverse Techniques in Semantics United, Enhanced and AppliedPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Foundation of Modular Verification via Stone-Like Dualities and theMicrocosm PrinciplePrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Journal Article] Relational Differential Dynamic Logic2020

Author(s)

Journal Title

DOI

ISBN

Data Source

[Journal Article] Weighted Automata Extraction from Recurrent Neural Networks via Regression on State Spaces2020

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Codensity Games for Bisimilarity2019

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Multi-Armed Bandits for Boolean Connectives in Hybrid System Falsification2019

Author(s)

Journal Title

Data Source

[Journal Article] Multi-armed Bandits for Boolean Connectives in Hybrid System Falsification2019

Author(s)

Journal Title

DOI

ISBN

Data Source

[Journal Article] Tail Probabilities for Randomized Program Runtimes via Martingales for Higher Moments2019

Author(s)

Journal Title

DOI

ISBN

Data Source

[Journal Article] Switching Delays and the Skorokhod Distance in Incrementally Stable Switched Systems2019

Author(s)

Journal Title

DOI

ISBN

Data Source

[Journal Article] Codensity Games for Bisimilarity2019

Author(s)

Journal Title

Data Source

[Journal Article] Nonstandard Static Analysis: Literal Transfer of Deductive Verification Frameworks from Discrete to Hybrid2019

Author(s)

Journal Title

Hasuo Ichiro 蓮尾一郎

HASUO Ichiro 蓮尾一郎