石井 大輔

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

研究者基本情報

氏名

    石井 大輔
    イシイ ダイスケ

基本情報

所属

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

研究活動情報

論文

  • 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月 査読有り

講演・口頭発表等

  • 区間解析による時相論理式の頑健性モニタリング
    石井大輔
    信学会MSS研究会 (MSS2015-45) 2016年01月
  • 時相論理式の反証を用いた制御器のチューニング
    峰尾太陽, 石井大輔, 渡部卓雄
    信学会MSS研究会 (MSS2015-79) 2016年03月
  • ハイブリッドシステムの統計的モデル検査
    石井大輔, 冨田 尭, 米崎直樹
    信学会総合大会 企画講演セッション 「ビッグデータの解析と基盤に関わる科学技術の俯瞰と展開」 2016年03月
  • Simulinkモデルに対するテストスイート自動生成
    冨田 尭, 石井大輔, 青木利晃
    第14回ディペンダブルシステムワークショップ (DSW’16) 2016年12月
  • 区間解析に基づく非線形ハイブリッドオートマトンのシミュレーション・検証ツール
    石井大輔
    第14回ディペンダブルシステムワークショップ (DSW’16) 2016年12月