Daisuke ISHII

Leanを用いたスイッチング回路の安全性検証 

Theorem Proving and Provers Meeting (TPP), Nov, 2024  

Preliminary Study on Driver Drowsiness Detection with Deep Learning Using Vehicular Data 

IEICE MSS Workshop, 64-69, Jan, 2024  

FOREWORD 

IEICE TRANS. FUNDAMENTALS, VOL.E105–A, NO.5, E105-A(5) 787-787, May, 2022  

Compositional Test Generation of Industrial Synchronous Systems 

CoRR, arXiv:2112.05411 [cs.SE] 1-22, Dec, 2021  Lead authorCorresponding author

SMTソルバを用いたSimulinkモデルのテストケース生成 

情報処理学会全国大会, 1-2, Mar, 2020  

区間制約ソルバにおけるパラメータ化制約の導入 

情報処理学会全国大会, 1-2, Mar, 2020  

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  

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 

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