Rchr
J-GLOBAL ID:200901006896314021   Update date: Mar. 08, 2021

Hasuo Ichiro

ハスオ イチロウ | Hasuo Ichiro
Affiliation and department:
Job title: 准教授
Other affiliations (2):
Homepage URL  (2): http://group-mmm.org/~ichirohttp://group-mmm.org/~ichiro
Research field  (3): Software ,  Algebra ,  Information theory
Research keywords  (6): 圏論 ,  計算機システムの形式検証 ,  情報セキュリティ ,  Category Theory ,  Formal Verification of Computer Systems ,  Information Security
Papers (6):
  • Zhenya Zhang, Paolo Arcaini, Ichiro Hasuo. Hybrid System Falsification Under (In)equality Constraints via Search Space Transformation. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 2020. 39. 11. 3674-3685
  • Zhenya Zhang, Paolo Arcaini, Ichiro Hasuo. Constraining Counterexamples in Hybrid System Falsification: Penalty-Based Approaches. Proc. NFM 2020, Lecture Notes in Computer Science. 2020. 12229. 401-419
  • Kittiphon Phalakarn, Toru Takisaka, Thomas Haas, Ichiro Hasuo. Widest Paths and Global Propagation in Bounded Value Iteration for Stochastic Games. Proc. CAV 2020, Lecture Notes in Computer Science. 2020. 12225. 349-371
  • Elena Gutiérrez, Takamasa Okudono, Masaki Waga, Ichiro Hasuo. Genetic algorithm for the weight maximization problem on weighted automata. Proceedings of the 2020 Genetic and Evolutionary Computation Conference. 2020
  • Takamasa Okudono, Masaki Waga, Taro Sekiyama, Ichiro Hasuo. Weighted Automata Extraction from Recurrent Neural Networks via Regression on State Spaces. Proceedings of the AAAI Conference on Artificial Intelligence. 2020. 34. 04. 5306-5314
more...
MISC (11):
  • Jérémy Dubut, Ichiro Hasuo, Shin-ya Katsumata, David Sprunger. Quantitative bisimulations using coreflections and open morphisms. 2018
  • 佐藤 薫, 蓮尾 一郎. 理学の現場 第14回. 東京大学理学系研究科・理学部ニュース. 2015. 47. 2. 8-9
  • Quantum Computer:5. Quantum Programming Languages. 2014. 55. 7. 710-715
  • 蓮尾 一郎. 計算機科学と代数学 : プログラム意味論と普遍代数学 (特集 数理科学における代数的構造 : 多彩な代数学的アプローチを探る). 数理科学. 2014. 52. 5. 37-42
  • HASUO Ichiro, SUENAGA Kohei. Formal Verification of CPS : A Nonstandard Analysis Approach. Journal of The Society of Instrument and Control Engineers. 2014. 53. 12. 1080-1085
more...
Lectures and oral presentations  (8):
  • Quantum Programming Languages: from Static Analysis to Quantum IDE
    (2020)
  • "理論計算機科学入門 有限と無限のあいだ -数学的理論から、AI・自動運転-"
    (国立情報学研究所 市民講座 「情報学最前線」 2019)
  • Safety under Statistical and Environmental Uncertainties: Challenges in Cyber-Physical Systems with Machine-Learning Components
    (MLSE International Symposium​ 2019 2019)
  • 物理情報システムの信頼性保証:ソフトウェア科学から,制御理論・機械学習を包括する理論研究
    ("日本機械学会関西支部 2019年度 特別フォーラム ~ Society5.0がめざす新しい社会 ~ " 2019)
  • Bounding Errors Due to Switching Delays in Incrementally Stable Switched Systems
    (ADHS 2018 (IFAC Conference on Analysis and Design of Hybrid Systems) 2018)
more...
Professional career (1):
  • PhD (Radboud University Nijmegen)
Awards (2):
  • 2018/12 - Best paper award, ICECCS 2018.
  • 2014/08 - Best paper award, CONCUR 2014
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page