Rchr
J-GLOBAL ID：201101047368165665   Update date: Apr. 01, 2024

ISHII Daisuke

ISHII Daisuke
Affiliation and department：
Japan Advanced Institute of Science and Technology School of Information Science

About Japan Advanced Institute of Science and Technology School of Information Science


Job title： Associate Professor
Homepage URL  (1)： http://www.dsksh.com/
Research field  (1)： Software
Research keywords  (3)： Interval Analysis ,  Constraint Programming ,  Hybrid Systems
Papers (30)：
  • Daisuke Ishii. A Hypergraph-based Formalization of Hierarchical Reactive Modules and a Compositional Verification Method. SPIN (to appear). 2024
  • Daisuke Ishii, Takashi Tomita, Toshiaki Aoki, Thế Quyền Ngô, Thi Bich Ngoc Do, Hideaki Takai. Coverage Testing of Industrial Simulink Models Using Monte-Carlo and SMT-Based Methods. QRS. 2022. 422-433
  • Daisuke Ishii, Takashi Tomita, Toshiaki Aoki, Thế Quyền Ngô, Thi Bich Ngoc Do, Hideaki Takai. SMT-Based Model Checking of Industrial Simulink Models. ICFEM. 2022. 13478. 156-172
  • Daisuke Ishii, Takashi Tomita, Toshiaki Aoki. Approximate Translation from Floating-Point to Real-Interval Arithmetic. NASA Formal Methods. 2022. 13260. 733-751
  • Charnon Pattiyanon, Toshiaki Aoki, Daisuke Ishii. A Method for Detecting Common Weaknesses in Self-Sovereign Identity Systems Using Domain-Specific Models and Knowledge Graph. MODELSWARD. 2022. 219-226
ｍore...
MISC (51)：
  • 石井 大輔. 階層的な同期リアクティブシステムの部品化および検証手法. PPL (ポスター). 2024
  • Yutaro Nakagama, Daisuke Ishii, Kazuki Yoshizoe. Preliminary Study on Driver Drowsiness Detection with Deep Learning Using Vehicular Data. IEICE MSS Workshop. 2024. 64-69
  • Luwei Chen, Daisuke Ishii. Experiments on the conformance testing of a ROS-based robot arm. IEICE MSS Workshop. 2023. 60-65
  • Daisuke Ishii. FOREWORD. IEICE TRANS. FUNDAMENTALS, VOL.E105-A, NO.5. 2022. E105-A. 5. 787-787
  • Daisuke Ishii, Takashi Tomita, Kenji Onishi, Toshiaki Aoki. Compositional Test Generation of Industrial Synchronous Systems. CoRR. 2021. arXiv:2112.05411 [cs.SE]. 1-22
ｍore...
Professional career (1)：
  • Doctor of Engineering (Waseda University)
Work history (9)：
  • 2019/10 - 現在 Japan Advanced Institute of Science and Technology School of Information Science Associate Professor
  • 2018/12 - 2019/09 University of Fukui Faculty of Engineering Associate Professor
  • 2015/12 - 2018/11 University of Fukui Faculty of Engineering Lecturer
  • 2013/04 - 2015/11 Tokyo Institute of Technology Graduate School of Information Science and Engineering Assistant Professor
  • 2011/04 - 2013/03 JSPS/NII Research Fellow
Show all
Committee career (8)：
  • 2016 - 現在 日本ソフトウェア科学会 ディペンダブルシステム研究会 運営委員
  • 2015 - 現在 日本ソフトウェア科学会 『コンピュータソフトウェア』編集委員
  • 2015 - 現在 電子情報通信学会 システム数理と応用研究会 専門委員
  • 2014 - 2019 CyPhy Workshop PC member
  • 2018 - NSV Workshop PC member
Show all
Awards (2)：
  • 2015/03 - 電子情報通信学会 システム数理と応用研究会 優秀論文賞
  • 2014/09 - 日本ソフトウェア科学会 高橋奨励賞
Association Membership(s) (3)：
ACM ,  電子情報通信学会 ,  日本ソフトウェア科学会
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page

TOP

BOTTOM