石井大輔 (Daisuke ISHII) - マイポータル

基本情報

所属: 北陸先端科学技術大学院大学先端科学技術研究科情報科学系准教授

学位: 博士 (工学)(2010年2月早稲田大学)

researchmap会員ID: B000001091

外部リンク: http://www.dsksh.com/

研究キーワード

研究分野

情報通信 / ソフトウェア /

経歴

2019年10月 - 現在

北陸先端科学技術大学院大学, 先端科学技術研究科情報科学系, 准教授
2018年12月 - 2019年9月

福井大学, 学術研究院工学系部門, 准教授
2015年12月 - 2018年11月

福井大学, 学術研究院工学系部門, 講師
2013年4月 - 2015年11月

東京工業大学, 大学院情報理工学研究科, 助教
2011年4月 - 2013年3月

独立行政法人日本学術振興会/国立情報学研究所, 特別研究員
2011年4月 - 2011年12月

INRIA Saclay/パリ第11大学, 訪問研究員
2010年4月 - 2011年3月

INRIA/ナント大学, 特別研究員
2007年4月 - 2010年3月

早稲田大学, 理工学術院基幹理工学部, 助手
2004年4月 - 2006年3月

(株) 東芝, 研究・開発センター, 研究員

受賞

2015年3月

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

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

論文

A Hypergraph-based Formalization of Hierarchical Reactive Modules and a Compositional Verification Method

Daisuke Ishii

SPIN (to appear) 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年12月査読有り筆頭著者責任著者
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年10月査読有り筆頭著者責任著者
Approximate Translation from Floating-Point to Real-Interval Arithmetic

Daisuke Ishii, Takashi Tomita, Toshiaki Aoki

NASA Formal Methods 13260 733-751 2022年5月査読有り筆頭著者責任著者
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 2022年2月査読有り
Computer-assisted verification of four interval arithmetic operators

Daisuke Ishii, Tomohito Yabu

Journal of Computational and Applied Mathematics 377 2020年10月査読有り筆頭著者責任著者
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 2020年2月査読有り
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年査読有り筆頭著者責任著者
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年査読有り
大規模複雑SimulinkモデルのためのテンプレートベースMonte-Carlo法に基づいたテスト自動生成ツール

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

組込みシステムシンポジウム2018論文集 (2018) 83-90 2018年8月23日査読有り
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 2017年10月査読有り
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年査読有り
A Parallelotope Method for Hybrid System Simulation

Alexandre Goldsztejn, Daisuke Ishii

Reliable Computing 23 163-185 2016年査読有り
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年査読有り筆頭著者責任著者
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年査読有り筆頭著者責任著者
Monitoring Bounded LTL Properties Using Interval Analysis.

Daisuke Ishii, Naoki Yonezaki, Alexandre Goldsztejn

NSV Workshop ENTCS 317 85-100 2015年査読有り筆頭著者責任著者
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年査読有り筆頭著者責任著者
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年査読有り
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年査読有り筆頭著者責任著者
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 2012年7月査読有り