石井 大輔

所属部署名情報・メディア工学講座
教員組織情報・メディア工学講座
教育研究組織工学部・工学研究科
職名准教授
更新日: 19/07/23 20:23

研究者基本情報

氏名

    石井 大輔
    イシイ ダイスケ

基本情報

所属

  •  情報・メディア工学講座 准教授

学位

  • 修士(情報科学)
  • 博士(工学)

研究活動情報

論文

  • Template-Based Monte-Carlo Test Generation for Simulink Models
    T. Tomita, D. Ishii, T. Murakami, S. Takeuchi, T. Aoki
    Proceedings of Seventh Workshop on Design, Modeling and Evaluation of Cyber Physical Systems (CyPhy) 11267 63-78 2019年04月 査読有り
  • HySIA: Tool for Simulating and Monitoring Hybrid Automata Based on Interval Analysis
    D. Ishii, A. Goldsztejn
    Proceedings of International Conference on Runtime Verification (RV) 10548 370-379 2017年09月 査読有り
  • SMTソルバーによるプログラム検証
    石井大輔, 上田和紀
    情報処理 57(8) 734-737 2016年07月 査読有り
  • Monitoring Temporal Properties using Interval Analysis
    Daisuke Ishii, Naoki Yonezaki, Alexandre Goldsztejn
    IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E99-A(2) 442-453 2016年02月 査読有り
  • A Parallelotope Method for Hybrid System Simulation
    Alexandre Goldsztejn, Daisuke Ishii
    Reliable Computing 23 163-185 2016年07月 査読有り

講演・口頭発表等

  • A scalable Monte-Carlo test-case generation tool for large and complex simulink models
    T. Tomita, D. Ishii, T. Murakami, S. Takeuchi, T. Aoki
    Workshop on Modelling in Software Engineering (MiSE) 2019年05月
  • 証明支援系 Coq を用いた有界モデル検査アルゴリズムの検証
    藤井采人, 石井大輔
    第123回情報処理学会プログラミング研究会 2019年03月
  • Duracz らの操作的意味論に基づくハイブリッドシステムの高信頼シミュレータの実装
    小嶋翔太, 石井大輔
    電子情報通信学会MSS研究会 2019年03月
  • Simulink モデルの SMT-LIB エンコード方法に関する実験
    武仲紘輝, 石井大輔
    電子情報通信学会MSS研究会 2018年03月
  • Acumen を用いたハイブリッドシステムの統計的モデル検査
    井上晃輔, 石井大輔
    電子情報通信学会SS研究会 2019年03月
  • スケーラブルな並列探索による最適化問題の求解
    泉 翔太, 石井大輔, 美添一樹
    第167回HPC研究会 2018年12月
  • Why3 を用いた区間演算プログラムの検証
    藪 智仁, 石井大輔
    第16回ディペンダブルシステムワークショップ 2018年12月
  • 証明支援系 Coq を用いた有界モデル検査アルゴリズムの検証
    藤井采人, 石井大輔
    第16回ディペンダブルシステムワークショップ 2018年12月
  • Why3を用いた区間演算ライブラリの検証
    石井大輔, 藪 智仁
    第2回 精度保証付き数値計算の実問題への応用研究集会 (NVR) 2018年12月
  • Machine-Aided Verification of Four Interval Arithmetic Operators
    T. Yabu, D. Ishii
    International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations (SCAN) 2018年09月
  • 大規模複雑 Simulink モデルのための Monte-Carlo 最適化に基づいたテスト自動生成ツール
    冨田 尭, 石井大輔, 村上 徹, 竹内成樹, 青木利晃
    組込みシステムシンポジウム 2018年08月
  • 区間解析法とモンテカルロ法の連携による Simulink テストケースの自動生成
    石井大輔, 野村亮太, 八田竜起, 冨田 尭, 青木利晃
    日本ソフトウェア科学会第35回大会 2018年08月
  • Krawczyk-Hansen による精度保証つき大域的最適化法の局所解を用いた高速化
    高田浩彰, 美添一樹, 石井大輔, 津田宏治
    信学会IBISML研究会 2018年03月
  • An Extended GLB Library for Optimization Problems
    S. Izumi, D. Ishii, K. Yoshizoe
    HPC Asia 2018年01月
  • Reliable Simulation and Monitoring of Hybrid Systems Based on Interval Analysis
    D. Ishii, A. Goldsztejn, N. Yonezaki
    Seventh Workshop on Design, Modeling and Evaluation of Cyber Physical Systems (CyPhy) 2017年10月
  • ハイブリッドシステムの可到達集合の精度保証
    石井大輔
    第1回 精度保証付き数値計算の実問題への応用研究集会 (NVR) 2017年12月
  • Acumenを用いたサイバーフィジカルシステムの統計的モデル検査
    井上晃輔, 石井大輔
    第15回 ディペンダブルシステムワークショップ (DSW) 2017年12月
  • Why3 を用いた区間演算ライブラリの検証
    薮 智仁, 石井大輔
    日本ソフトウェア科学会第34回大会 2017年09月
  • 証明支援系 Coq を用いた有界モデル検査
    藤井采人, 石井大輔
    日本ソフトウェア科学会第34回大会 2017年09月
  • X10 GLBライブラリの最適化問題のための拡張
    泉 翔太, 石井大輔, 美添一樹
    電気関係学会北陸支部連合大会 2017年09月
  • 並列RCSPソルバーの求解過程の可視化
    香椎蓮司, 石井大輔
    電気関係学会北陸支部連合大会 2017年09月
  • 区間解析による時相論理式の頑健性モニタリング
    石井大輔
    信学会MSS研究会 (MSS2015-45) 2016年01月
  • 時相論理式の反証を用いた制御器のチューニング
    峰尾太陽, 石井大輔, 渡部卓雄
    信学会MSS研究会 (MSS2015-79) 2016年03月
  • ハイブリッドシステムの統計的モデル検査
    石井大輔, 冨田 尭, 米崎直樹
    信学会総合大会 企画講演セッション 「ビッグデータの解析と基盤に関わる科学技術の俯瞰と展開」 2016年03月
  • Simulinkモデルに対するテストスイート自動生成
    冨田 尭, 石井大輔, 青木利晃
    第14回ディペンダブルシステムワークショップ (DSW’16) 2016年12月
  • 区間解析に基づく非線形ハイブリッドオートマトンのシミュレーション・検証ツール
    石井大輔
    第14回ディペンダブルシステムワークショップ (DSW’16) 2016年12月