Ichiro Hasuo
(蓮尾 一郎)
Modified on: 03/13
Profile Information
- Affiliation
- National Institute of Informatics, National Institute of Informatics
- Associate Professor, The Graduate University for Advanced Studies
- 研究総括, JST ERATO 蓮尾メタ数理システムデザインプロジェクト
- Research Director, JST ERATO Metamathematics for Systems Design Project
- Degree
-
PhD(Radboud University Nijmegen)
- Researcher number
- 60456762
- J-GLOBAL ID
- 200901006896314021
- researchmap Member ID
- 6000006545
- External link
Research Interests
6Research Areas
3Awards
3Papers
145-
J. Log. Algebraic Methods Program., 136 100922-100922, Jan, 2024 Peer-reviewed
-
Proceedings of the 12th International Workshop on Hardware and Architectural Support for Security and Privacy, Oct 29, 2023 Peer-reviewed
-
Computer Aided Verification, 41-63, Jul 18, 2023 Peer-reviewed
-
Computer Aided Verification, 62-84, Jul 17, 2023 Peer-reviewed
-
Computer Aided Verification, 40-61, Jul 17, 2023 Peer-reviewed
-
Communications of the ACM, 66(7) 58-63, Jul, 2023 Peer-reviewed
-
2023 IEEE Intelligent Vehicles Symposium (IV), Jun 4, 2023 Peer-reviewed
-
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 42(5) 1718-1731, May, 2023 Peer-reviewed
-
FalsifAI: Falsification of AI-Enabled Hybrid Control Systems Guided by Time-Aware Coverage Criteria.IEEE Transactions on Software Engineering, 49(4) 1842-1859, Apr, 2023 Peer-reviewed
-
IEEE Transactions on Intelligent Vehicles, 8(4) 3040-3072, Apr, 2023 Peer-reviewed
-
CoRR, abs/2308.10365, 2023
-
CoRR, abs/2308.06785, 2023
-
CoRR, abs/2307.15261, 2023
-
CoRR, abs/2307.08765, 2023
-
CoRR, abs/2307.08034, 2023
-
CoRR, abs/2307.02817, 2023
-
CoRR, abs/2305.17754, 2023
-
ACM Transactions on Software Engineering and Methodology, 32(1) 10-35, Jan, 2023 Peer-reviewed
-
CoRR, abs/2207.13446, 2022
-
CoRR, abs/2206.03418, 2022
Misc.
12-
情報処理学会研究報告(Web), 2022(OS-154), 2022
-
CoRR, abs/1809.09278, Sep 25, 2018
-
東京大学理学系研究科・理学部ニュース, 47(2) 8-9, Jul 20, 2015
-
55(7) 710-715, Jun 15, 2014
-
数理科学, 52(5) 37-42, May, 2014
-
Journal of The Society of Instrument and Control Engineers, 53(12) 1080-1085, 2014
-
東京大学理学系研究科・理学部ニュース, 45(1) 3-7, May, 2013
-
数学セミナー, 51(1) 82-88, Jan, 2012
-
東京大学理学系研究科・理学部ニュース, 43(4) 14-16, Nov, 2011
-
数学セミナー, 50(8) 72-78, Aug, 2011
-
Theoretical Computer Science, 411(22) 2239-2259, May 17, 2010
-
RIMS Kokyuroku, 1301(1301) 92-121, Jan, 2003
Presentations
13-
The 3rd Workshop on Safety Testing and Validation of Connected and Automated Vehicles, Sep 24, 2023 Invited
-
Forum "Math for Industry" 2023, Aug 29, 2023 Invited
-
情報学科・専攻協議会, Jul 15, 2023 Invited
-
第20回ディペンダブルシステムワークショップ, Dec 15, 2022
-
九州大学マス・フォア・イノベーション連係学府 設置記念シンポジウム, Jun 28, 2022 Invited
-
Dec 14, 2020 Invited
-
国立情報学研究所 市民講座 「情報学最前線」, Nov 7, 2019
-
MLSE International Symposium 2019, Oct 18, 2019 Invited
-
"日本機械学会関西支部 2019年度 特別フォーラム ~ Society5.0がめざす新しい社会 ~ ", Sep 20, 2019
-
ADHS 2018 (IFAC Conference on Analysis and Design of Hybrid Systems), Jul 12, 2018
-
Game Semantics 25 Workshop, Jul 8, 2018
-
Martingale-Based Methods for Reachability Probabilities: Excitements and Afterthoughts in CoalgebrasCoalgebra, Now @ FLoC 2018 Workshop, Jul 8, 2018
-
SynCoP 2018, Apr 15, 2016