TOP  >  Personal Info.
ISHII, Daisuke Associate Professor
Information Science, Next-Generation Digital Infrastructure
◆Degrees
Doctor of Engineering Waseda University
◆Professional Experience
2019 - : Japan Advanced Institute of Science and Technology , School of Information Science , Associate Professor
2018 - 2019 : University of Fukui , Faculty of Engineering , Associate Professor
2015 - 2018 : University of Fukui , Faculty of Engineering , Lecturer
2013 - 2015 : Tokyo Institute of Technology , Graduate School of Information Science and Engineering , Assistant Professor
2011 - 2013 : JSPS/NII , Research Fellow
2011 - 2011 : INRIA Saclay/LRI/Paris-Sud XI University , Visiting Researcher
2010 - 2011 : INRIA Paris-Rocquencourt/LINA/University of Nantes , Expert Engineer
2007 - 2010 : Waseda University , Department of Computer Science and Engineering , Research Associate
2004 - 2006 : Toshiba Corporation , R&D Center , Research Engineer
◆Specialties
Software
◆Research Keywords
Interval Analysis, Constraint Programming, Hybrid Systems

■Publications

◆Published Papers
A Real-Blasting Extension of cvc5 for Reasoning about Floating-Point Arithmetic
Daisuke Ishii
VMCAI (tool paper; to appear), -, 2025
A Hypergraph-based Formalization of Hierarchical Reactive Modules and a Compositional Verification Method
Daisuke Ishii
SPIN, 14624, 67-84, 2024
Coverage Testing of Industrial Simulink Models Using Monte-Carlo and SMT-Based Methods
Daisuke Ishii, Takashi Tomita, Toshiaki Aoki, Thế Quyền Ngô, Thi Bich Ngoc Do, Hideaki Takai
QRS, 422-433, 2022
SMT-Based Model Checking of Industrial Simulink Models
Daisuke Ishii, Takashi Tomita, Toshiaki Aoki, Thế Quyền Ngô, Thi Bich Ngoc Do, Hideaki Takai
ICFEM, 13478, 156-172, 2022
Approximate Translation from Floating-Point to Real-Interval Arithmetic
Daisuke Ishii, Takashi Tomita, Toshiaki Aoki
NASA Formal Methods, 13260, 733-751, 2022
◆Misc
Leanを用いたスイッチング回路の安全性検証
Shuichi Segawa, Daisuke Ishii
Theorem Proving and Provers Meeting (TPP), -, 2024
Preliminary Study on Driver Drowsiness Detection with Deep Learning Using Vehicular Data
Yutaro Nakagama, Daisuke Ishii, Kazuki Yoshizoe
IEICE MSS Workshop, 64-69, 2024
階層的な同期リアクティブシステムの部品化および検証手法
石井 大輔
PPL (ポスター), -, 2024
Experiments on the conformance testing of a ROS-based robot arm
Luwei Chen, Daisuke Ishii
IEICE MSS Workshop, 60-65, 2023
FOREWORD
Daisuke Ishii
IEICE TRANS. FUNDAMENTALS, VOL.E105–A, NO.5, E105-A, 5, 787-787, 2022

■Contributions to  Society

◆Academic Society Affiliations
ACM, 電子情報通信学会, 日本ソフトウェア科学会
◆Committee Memberships
・ 日本ソフトウェア科学会 ディペンダブルシステム研究会 , 運営委員 , 2016-
・ 日本ソフトウェア科学会 , 『コンピュータソフトウェア』編集委員 , 2015-
・ 電子情報通信学会 システム数理と応用研究会 , 専門委員 , 2015-

■Academic  Awards

・ 優秀論文賞 , 電子情報通信学会 システム数理と応用研究会 , 2015
・ 高橋奨励賞 , 日本ソフトウェア科学会 , 2014