Daisuke ISHII

Profile Information

Affiliation: Japan Advanced Institute of Science and Technology School of Information Science Associate Professor

Computer-assisted verification of four interval arithmetic operators

Daisuke Ishii, Tomohito Yabu

Journal of Computational and Applied Mathematics 377 Oct, 2020 Peer-reviewedLead authorCorresponding author
Template-Based Monte-Carlo Test-Suite Generation for Large and Complex Simulink Models

Takashi TOMITA, Daisuke ISHII, Toru MURAKAMI, Shigeki TAKEUCHI, Toshiaki AOKI

IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E103-A(2) 451 - 461 Feb, 2020 Peer-reviewed
Formalizing the Soundness of the Encoding Methods of SAT-based Model Checking

Daisuke Ishii, Saito Fujii

International Symposium on Theoretical Aspects of Software Engineering (TASE) 2020 Peer-reviewedLead authorCorresponding author
A scalable Monte-Carlo test-case generation tool for large and complex simulink models.

Takashi Tomita, Daisuke Ishii, Toru Murakami, Shigeki Takeuchi, Toshiaki Aoki

Proceedings of the 11th International Workshop on Modelling in Software Engineerings, MiSE@ICSE 2019, Montreal, QC, Canada, May 26-27, 2019 39 - 46 2019 Peer-reviewed
Template-Based Monte-Carlo Test Generator for Large and Complex Simulink Models

冨田尭, 石井大輔, 村上徹, 竹内成樹, 青木利晃

組込みシステムシンポジウム2018論文集 (2018) 83 - 90 Aug 23, 2018 Peer-reviewed

SMTソルバを用いたSimulinkモデルのテストケース生成

八田竜起, 石井大輔

情報処理学会全国大会 1 - 2 Mar, 2020
区間制約ソルバにおけるパラメータ化制約の導入

野村亮太, 石井大輔

情報処理学会全国大会 1 - 2 Mar, 2020
Why3を用いた区間べき関数のプログラム検証

村上涼星, 薮智仁, 石井大輔

日本ソフトウェア科学会第36回大会 1 - 7 Aug, 2019
Experiment on SMT-LIB Encoding Methods for Simulink Models

武仲紘輝, 石井大輔

電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 118(499) 7 - 11 Mar 14, 2019
Implementation of Rigorous Simulator for Hybrid Systems Based on Duracz et al.'s Operational Semantics

小嶋翔太, 石井大輔

電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 118(499) 19 - 22 Mar 14, 2019