Daisuke ISHII

Profile Information

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

Degree: Doctor of Engineering(Feb, 2010, Waseda University)

researchmap Member ID: B000001091

External link: http://www.dsksh.com/

Research Interests

Research Areas

Informatics / Software /

Research History

Oct, 2019 - Present

Associate Professor, School of Information Science, Japan Advanced Institute of Science and Technology
Dec, 2018 - Sep, 2019

Associate Professor, Faculty of Engineering, University of Fukui
Dec, 2015 - Nov, 2018

Lecturer, Faculty of Engineering, University of Fukui
Apr, 2013 - Nov, 2015

Assistant Professor, Graduate School of Information Science and Engineering, Tokyo Institute of Technology
Apr, 2011 - Mar, 2013

Research Fellow, JSPS/NII
Apr, 2011 - Dec, 2011

Visiting Researcher, INRIA Saclay/LRI/Paris-Sud XI University
Apr, 2010 - Mar, 2011

Expert Engineer, INRIA Paris-Rocquencourt/LINA/University of Nantes
Apr, 2007 - Mar, 2010

Research Associate, Department of Computer Science and Engineering, Waseda University
Apr, 2004 - Mar, 2006

Research Engineer, R&D Center, Toshiba Corporation

Awards

Mar, 2015

優秀論文賞, 電子情報通信学会システム数理と応用研究会
Sep, 2014

高橋奨励賞, 日本ソフトウェア科学会

Papers

Comparison of Lightweight Methods for Vehicle Dynamics-Based Driver Drowsiness Detection

Yutaro Nakagama, Daisuke Ishii, Kazuki Yoshizoe

IV, 1-8, Jun, 2025 Peer-reviewed
A Real-Blasting Extension of cvc5 for Reasoning about Floating-Point Arithmetic

Daisuke Ishii

VMCAI (tool paper), 15529 148-162, 2025 Peer-reviewedLead authorLast authorCorresponding author
A Hypergraph-based Formalization of Hierarchical Reactive Modules and a Compositional Verification Method

Daisuke Ishii

SPIN, 14624 67-84, 2024 Peer-reviewedLead authorLast authorCorresponding author
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, Dec, 2022 Peer-reviewedLead authorCorresponding author
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, Oct, 2022 Peer-reviewedLead authorCorresponding author
Approximate Translation from Floating-Point to Real-Interval Arithmetic

Daisuke Ishii, Takashi Tomita, Toshiaki Aoki

NASA Formal Methods, 13260 733-751, May, 2022 Peer-reviewedLead authorCorresponding author
A Method for Detecting Common Weaknesses in Self-Sovereign Identity Systems Using Domain-Specific Models and Knowledge Graph

Charnon Pattiyanon, Toshiaki Aoki, Daisuke Ishii

MODELSWARD, 219-226, Feb, 2022 Peer-reviewed
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
Template-Based Monte-Carlo Test Generation for Simulink Models.

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

Cyber Physical Systems. Design, Modeling, and Evaluation - 7th International Workshop, CyPhy 2017, Revised Selected Papers, LNCS 11267 63-78, Oct, 2017 Peer-reviewed
HySIA: Tool for Simulating and Monitoring Hybrid Automata Based on Interval Analysis.

Daisuke Ishii, Alexandre Goldsztejn

Runtime Verification - 17th International Conference, RV 2017, LNCS 10548 370-379, 2017 Peer-reviewed
A Parallelotope Method for Hybrid System Simulation

Alexandre Goldsztejn, Daisuke ISHII

Reliable Computing, 23 163-185, 2016 Peer-reviewed
Monitoring Temporal Properties Using Interval Analysis.

Daisuke Ishii, Naoki Yonezaki, Alexandre Goldsztejn

IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, 99-A(2) 442-453, 2016 Peer-reviewedLead authorCorresponding author
Scalable parallel numerical constraint solver using global load balancing.

Daisuke Ishii, Kazuki Yoshizoe, Toyotaro Suzumura

Proceedings of the ACM SIGPLAN Workshop on X10, 33-38, 2015 Peer-reviewedLead authorCorresponding author
Monitoring Bounded LTL Properties Using Interval Analysis.

Daisuke Ishii, Naoki Yonezaki, Alexandre Goldsztejn

NSV Workshop, ENTCS 317 85-100, 2015 Peer-reviewedLead authorCorresponding author
Scalable Parallel Numerical CSP Solver.

Daisuke Ishii, Kazuki Yoshizoe, Toyotaro Suzumura

Principles and Practice of Constraint Programming - 20th International Conference, CP 2014, LNCS 8656 398-406, 2014 Peer-reviewedLead authorCorresponding author
A branch and prune algorithm for the computation of generalized aspects of parallel robots.

Stéphane Caro, Damien Chablat, Alexandre Goldsztejn, Daisuke Ishii, Christophe Jermann

Artificial Intelligence, 211 34-50, 2014 Peer-reviewed

Misc.

Specification and verification of automotive control systems

Daisuke Ishii

DSW-FMAP, Nov, 2024
Leanを用いたスイッチング回路の安全性検証

Shuichi Segawa, Daisuke Ishii

Theorem Proving and Provers Meeting (TPP), Nov, 2024
階層的な同期リアクティブシステムの部品化および検証手法

石井大輔

PPL (ポスター), 2024
Preliminary Study on Driver Drowsiness Detection with Deep Learning Using Vehicular Data

Yutaro Nakagama, Daisuke Ishii, Kazuki Yoshizoe

IEICE MSS Workshop, 64-69, Jan, 2024
Experiments on the conformance testing of a ROS-based robot arm

Luwei Chen, Daisuke Ishii

IEICE MSS Workshop, 60-65, Jan, 2023
FOREWORD

Daisuke Ishii

IEICE TRANS. FUNDAMENTALS, VOL.E105–A, NO.5, E105-A(5) 787-787, May, 2022
Compositional Test Generation of Industrial Synchronous Systems

Daisuke Ishii, Takashi Tomita, Kenji Onishi, Toshiaki Aoki

CoRR, arXiv:2112.05411 [cs.SE] 1-22, Dec, 2021 Lead authorCorresponding author
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
Acumenを用いたハイブリッドシステムの統計的モデル検査

井上晃輔, 石井大輔

電子情報通信学会SS研究会, Mar, 2019
Verification of Bounded Model Checking Algorithm Using Coq

12(3) 1-1, Mar, 2019
Why3を用いた区間演算ライブラリの検証

石井大輔, 薮智仁

第2回精度保証付き数値計算の実問題への応用研究集会 (NVR), Dec, 2018
証明支援系 Coq を用いた有界モデル検査アルゴリズムの検証

藤井采人, 石井大輔

第16回ディペンダブルシステムワークショップ, Dec, 2018
Why3 を用いた区間演算プログラムの検証

藪智仁, 石井大輔

第16回ディペンダブルシステムワークショップ, Dec, 2018
スケーラブルな並列探索による最適化問題の求解

泉翔太, 石井大輔, 美添一樹

第167回HPC研究会, Dec, 2018
区間解析法とモンテカルロ法の連携によるSimulinkテストケースの自動生成

石井大輔, 野村亮太, 八田竜起, 冨田尭, 青木利晃

日本ソフトウェア科学会第35回大会, Aug, 2018
Machine-Aided Verification of Four Interval Arithmetic Operators

Tomohito Yabu, Daisuke Ishii

International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations (SCAN), 176-177, Aug, 2018

Professional Memberships

2010 - Present

ACM
2007 - Present

電子情報通信学会
2006 - Present

日本ソフトウェア科学会

Committee Memberships

2016 - Present

運営委員, 日本ソフトウェア科学会ディペンダブルシステム研究会
2015 - Present

『コンピュータソフトウェア』編集委員, 日本ソフトウェア科学会
2015 - Present

専門委員, 電子情報通信学会システム数理と応用研究会
2025

PC member, ARITH
2014 - 2019

PC member, CyPhy Workshop
2018

PC member, NSV Workshop
2016 - 2017

Co-chair, IEEE GCCE OS-ACE
2016

PC member, CSD&M
Sep, 2015

Co-organizer, Shonan Meeting "Validated Numerics Meets Reachability Analysis for CPS Design"

Profile Information

Research Interests

Research Areas

Research History

Awards

Papers

Misc.

Professional Memberships

Committee Memberships

Menu

Coauthors