石井大輔

ISHII Daisuke

所属機関・部署：
職名：准教授
ホームページURL (1件)： http://www.dsksh.com/

研究分野 (1件)：ソフトウェア

研究キーワード (3件)：区間解析 , 制約プログラミング , ハイブリッドシステム

論文 (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

MISC (51件)：

石井大輔. 階層的な同期リアクティブシステムの部品化および検証手法. PPL (ポスター). 2024
中釜雄太郎, 石井大輔, 美添一樹. 車両情報を用いた深層学習による運転者眠気検知の検討. 電子情報通信学会MSS研究会. 2024. 64-69
Luwei Chen, Daisuke Ishii. Experiments on the conformance testing of a ROS-based robot arm. 電子情報通信学会MSS研究会. 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

学位 (1件)：

経歴 (9件)：

全件表示

委員歴 (8件)：

全件表示

受賞 (2件)：

所属学会 (3件)：

米国計算機科学会 , 電子情報通信学会 , 日本ソフトウェア科学会

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

石井 大輔