階層的な同期リアクティブシステムの部品化および検証手法
石井 大輔
PPL (ポスター), -, 2024
FOREWORD
Daisuke Ishii
IEICE TRANS. FUNDAMENTALS, VOL.E105–A, NO.5, E105-A, 5, 787-787, 2022
SMTソルバを用いたSimulinkモデルのテストケース生成
八田 竜起, 石井 大輔
情報処理学会全国大会, 1-2, 2020
区間制約ソルバにおけるパラメータ化制約の導入
野村 亮太, 石井 大輔
情報処理学会全国大会, 1-2, 2020
Why3を用いた区間べき関数のプログラム検証
村上 涼星, 薮 智仁, 石井 大輔
日本ソフトウェア科学会第36回大会, 1-7, 2019
Why3を用いた区間演算ライブラリの検証
石井 大輔, 薮 智仁
第2回 精度保証付き数値計算の実問題への応用研究集会 (NVR), -, 2018
証明支援系 Coq を用いた有界モデル検査アルゴリズムの検証
藤井 采人, 石井 大輔
第16回ディペンダブルシステムワークショップ, -, 2018
Why3 を用いた区間演算プログラムの検証
藪 智仁, 石井 大輔
第16回ディペンダブルシステムワークショップ, -, 2018
区間解析法とモンテカルロ法の連携によるSimulinkテストケースの自動生成
石井 大輔, 野村 亮太, 八田 竜起, 冨田 尭, 青木 利晃
日本ソフトウェア科学会第35回大会, -, 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, 2018
Acumenを用いたサイバーフィジカルシステムの統計的モデル検査
井上 晃輔, 石井 大輔
第15回 ディペンダブルシステムワークショップ (DSW), -, 2017
ハイブリッドシステムの可到達集合の精度保証
石井 大輔
第1回 精度保証付き数値計算の実問題への応用研究集会 (NVR), -, 2017
並列RCSPソルバーの求解過程の可視化
香椎 蓮司, 石井 大輔
電気関係学会北陸支部連合大会, -, 2017
X10 GLB ライブラリの最適化問題のための拡張
泉 翔太, 石井 大輔
電気関係学会北陸支部連合大会, -, 2017
Reliable Simulation and Monitoring of Hybrid Systems Based on Interval Analysis - (Extended Abstract). Daisuke Ishii, Alexandre Goldsztejn, Naoki Yonezaki
Cyber Physical Systems. Design, Modeling, and Evaluation - 7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revised Selected Papers, 79-82, 2017
Simulinkモデルに対するテストスイート自動生成
冨田 尭, 石井 大輔, 青木 利晃
第14回ディペンダブルシステムワークショップ (DSW’16), -, 2016
区間解析に基づく非線形ハイブリッドオートマトンのシミュレーション・検証ツール
石井 大輔
第14回ディペンダブルシステムワークショップ (DSW’16), -, 2016