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

Approximate Translation from Floating-Point to Real-Interval Arithmetic

Daisuke Ishii, Takashi Tomita, Toshiaki Aoki

NASA Formal Methods (to appear), 2022 Peer-reviewedLead authorCorresponding author
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
Inductive Verification of Hybrid Automata with Strongest Postcondition Calculus.

Daisuke Ishii, Guillaume Melquiond, Shin Nakajima

Integrated Formal Methods, 10th International Conference, iFM 2013, LNCS 7940 139-153, 2013 Peer-reviewedLead authorCorresponding author
HydLa: A High-Level Language for Hybrid Systems

Kazunori Ueda, Shota Matsumoto, Akira Takeguchi, Hiroshi Hosobe, Daisuke Ishii

The 2nd Workshop on Logics for System Analysis (LfSA2012), 3-17, Jul, 2012 Peer-reviewed
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

Principles and Practice of Constraint Programming - 18th International Conference, CP 2012, LNCS 7514 867-882, 2012 Peer-reviewed
Interval-based projection method for under-constrained numerical systems.

Daisuke Ishii, Alexandre Goldsztejn, Christophe Jermann

Constraints, 17(4) 432-460, 2012 Peer-reviewedLead authorCorresponding author
Declarative Semantics of the Hybrid Constraint Language HydLa

UEDA Kazunori, HOSOBE Hiroshi, ISHII Daisuke

Computer Software, 28(1) 306-311, 2011 Peer-reviewed
An interval-based SAT modulo ODE solver for model checking nonlinear hybrid systems.

Daisuke Ishii, Kazunori Ueda, Hiroshi Hosobe

International Journal on Software Tools for Technology Transfer (STTT), 13(5) 449-461, 2011 Peer-reviewedLead authorCorresponding author

Misc.

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 (poster session), 1-8, 2022 Peer-reviewed
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
Using local minima to accelerate Krawczyk-Hansen global optimization

高田浩彰, 美添一樹, 石井大輔, 津田宏治

電子情報通信学会技術研究報告 = IEICE technical report : 信学技報, 117(475) 63-70, Mar 5, 2018
An Extended GLB Library for Optimization Problems

Shota Izumi, Daisuke Ishii, Kazuki Yoshizoe

Jan, 2018
Acumenを用いたサイバーフィジカルシステムの統計的モデル検査

Dec, 2017
ハイブリッドシステムの可到達集合の精度保証

石井大輔

第1回精度保証付き数値計算の実問題への応用研究集会 (NVR), Dec, 2017
Verification of Interval Arithmetic Library Using Why3

薮智仁, 石井大輔

日本ソフトウェア科学会大会論文集, 34 405-414, Sep 18, 2017

Professional Memberships

2010 - Present

ACM
2007 - Present

電子情報通信学会
2006 - Present

日本ソフトウェア科学会

Committee Memberships

2016 - Present

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

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

専門委員, 電子情報通信学会システム数理と応用研究会
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