TOP  >  Personal Info.  >  Misc
ISHII, Daisuke Associate Professor
Information Science, Next-Generation Digital Infrastructure

Misc

52 items
Leanを用いたスイッチング回路の安全性検証
Shuichi Segawa, Daisuke Ishii
Theorem Proving and Provers Meeting (TPP), -, 2024
Preliminary Study on Driver Drowsiness Detection with Deep Learning Using Vehicular Data
Yutaro Nakagama, Daisuke Ishii, Kazuki Yoshizoe
IEICE MSS Workshop, 64-69, 2024
階層的な同期リアクティブシステムの部品化および検証手法
石井 大輔
PPL (ポスター), -, 2024
Experiments on the conformance testing of a ROS-based robot arm
Luwei Chen, Daisuke Ishii
IEICE MSS Workshop, 60-65, 2023
FOREWORD
Daisuke Ishii
IEICE TRANS. FUNDAMENTALS, VOL.E105–A, NO.5, E105-A, 5, 787-787, 2022
Compositional Test Generation of Industrial Synchronous Systems
Daisuke Ishii, Takashi Tomita, Kenji Onishi, Toshiaki Aoki
CoRR, arXiv:2112.05411 [cs.SE], 1-22, 2021
SMTソルバを用いたSimulinkモデルのテストケース生成
八田 竜起, 石井 大輔
情報処理学会全国大会, 1-2, 2020
区間制約ソルバにおけるパラメータ化制約の導入
野村 亮太, 石井 大輔
情報処理学会全国大会, 1-2, 2020
Why3を用いた区間べき関数のプログラム検証
村上 涼星, 薮 智仁, 石井 大輔
日本ソフトウェア科学会第36回大会, 1-7, 2019
Experiment on SMT-LIB Encoding Methods for Simulink Models
武仲 紘輝, 石井 大輔
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報, 118, 499, 7-11, 2019
Implementation of Rigorous Simulator for Hybrid Systems Based on Duracz et al.'s Operational Semantics
小嶋 翔太, 石井 大輔
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報, 118, 499, 19-22, 2019
Acumenを用いたハイブリッドシステムの統計的モデル検査
井上 晃輔, 石井 大輔
電子情報通信学会SS研究会, -, 2019
Verification of Bounded Model Checking Algorithm Using Coq
藤井 采人, 石井 大輔
情報処理学会論文誌プログラミング（PRO）, 12, 3, 1-1, 2019
Why3を用いた区間演算ライブラリの検証
石井 大輔, 薮 智仁
第2回 精度保証付き数値計算の実問題への応用研究集会 (NVR), -, 2018
証明支援系 Coq を用いた有界モデル検査アルゴリズムの検証
藤井 采人, 石井 大輔
第16回ディペンダブルシステムワークショップ, -, 2018
Why3 を用いた区間演算プログラムの検証
藪 智仁, 石井 大輔
第16回ディペンダブルシステムワークショップ, -, 2018
スケーラブルな並列探索による最適化問題の求解
泉 翔太, 石井 大輔, 美添 一樹
第167回HPC研究会, -, 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
Using local minima to accelerate Krawczyk-Hansen global optimization
高田 浩彰, 美添 一樹, 石井 大輔, 津田 宏治
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報, 117, 475, 63-70, 2018
An Extended GLB Library for Optimization Problems
Shota Izumi, Daisuke Ishii, Kazuki Yoshizoe
-, 2018
Acumenを用いたサイバーフィジカルシステムの統計的モデル検査
井上 晃輔, 石井 大輔
第15回 ディペンダブルシステムワークショップ (DSW), -, 2017
ハイブリッドシステムの可到達集合の精度保証
石井 大輔
第1回 精度保証付き数値計算の実問題への応用研究集会 (NVR), -, 2017
Verification of Interval Arithmetic Library Using Why3
薮 智仁, 石井 大輔
日本ソフトウェア科学会大会論文集, 34, 405-414, 2017
証明支援系Coqを用いた有界モデル検査
藤井 采人, 石井 大輔
日本ソフトウェア科学会大会論文集, 34, 135-140, 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
SAT Evolution and Applications：7. Program Verification Using SMT Solvers
石井 大輔, 上田 和紀
情報処理, 57, 8, 734-737, 2016
Controller Tuning with Falsification of Temporal Logic Formulae
峰尾 太陽, 石井 大輔, 渡部 卓雄
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報, 115, 480, 61-66, 2016
AI-3-5 Statistical Model Checking of Hybrid Systems
Ishii Daisuke, Tomita Takashi, Yonezaki Naoki
Proceedings of the IEICE Engineering Sciences Society/NOLTA Society Conference, 2016, "SS-38"-"SS-39", 2016
Robustness Monitoring of Temporal Logic Formulae Using Interval Analysis
石井 大輔
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報, 115, 419, 59-62, 2016
Scalable Parallelization of a Numerical Constraint Solver
石井 大輔, 美添 一樹, 鈴村 豊太郎
日本ソフトウェア科学会大会論文集, 32, -, 2015
Statistical Model Checking of Hybrid Systems Using Interval Analysis
ISHII Daisuke, YONEZAKI Naoki
Technical report of IEICE. SS, 114, 416, 67-71, 2015
Statistical Model Checking of Hybrid Systems Using Interval Analysis
ISHII Daisuke, YONEZAKI Naoki
Mathematical Systems Science and its Applications : IEICE technical report, 114, 415, 67-71, 2015
Validated Numerics Meets Reachability Analysis for CPS Design (NII Shonan Meeting 2015-14).
Daisuke Ishii, Kohei Suenaga, Walid Taha
NII Shonan Meet. Rep., 2015, -, 2015
Simulation of Nonlinear Hybrid Systems using a Parallelotope Method
ISHII Daisuke, GOLDSZTEJN Alexandre
Technical report of IEICE. SS, 113, 422, 135-139, 2014
PGAS言語X10による数値制約充足問題ソルバーRealpaverの並列化
石井大輔, 鈴村豊太郎
情報処理学会研究報告. [ハイパフォーマンスコンピューティング], 2013, 10, 1-7, 2013
Interval-Based Projection Method for Under-Constrained Numerical CSPs
石井 大輔, ゴールドシュタイン アレクサンドル, ジャーマン クリストフ
日本ソフトウェア科学会大会論文集, 29, 233-239, 2012
Research Cases on Interval Constraint Programming A Projection Method for Under-Constrained Problems and a Precise Simulation Method for Hybrid Systems
ISHII Daisuke
電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス : IEICE technical report, 111, 405, 73-77, 2012
Declarative Semantics of the Hybrid Constraint Language HydLa
上田 和紀, 細部 博史, 石井 大輔
日本ソフトウェア科学会大会論文集, 27, 1-6, 2010
An Interval-Based Simulator of Hybrid Systems Modeled in HydLa
大谷 順司, 廣瀬 賢一, 石井 大輔, 細部 博史, 上田 和紀
全国大会講演論文集, 72, 0, 145-146, 2010
Hybrid Systems Modeling based on Constraint Hierarchies
廣瀬 賢一, 大谷 順司, 石井 大輔, 細部 博史, 上田 和紀
日本ソフトウェア科学会大会論文集, 26, 275-284, 2009
Modeling and Verification of Hybrid Systems using Boolean Differential Constraints
ISHII Daisuke, UEDA Kazunori, HOSOBE Hiroshi
IEICE technical report, 108, 415, 67-70, 2009
A-007 Parameter Optimization of an Interval based ODE solver with Multiple Precision Calculation
Hirose Kenichi, Ishii Daisuke, Ueda Kazunori
情報科学技術フォーラム講演論文集, 7, 1, 75-78, 2008
An Interval-based Consistency Technique for Reliable Simulation of Hybrid Systems
ISHII DAISUKE, UEDA KAZUNORI, HOSOBE HIROSHI
IPSJ SIG Notes, 68, 133-136, 2008
数式処理・quantifier eliminationを用いたハイブリッドシステムのZeno状態の導出手法
大野 善之, 石井 大輔, 上田 和紀
人工知能学会全国大会論文集, 8, 0, 15-15, 2008
収集履歴と編纂履歴に基づく近傍検索方式
石井 大輔, 浜田 伸一郎, 石谷 康人
第68回全国大会講演論文集, 2006, 1, 41-42, 2006
制約に基づくアニメーション作成環境 Grifon
石井 大輔, 中村 好一, 大野 太郎, 若槻 聡一郎, 上田 和紀
第66回全国大会講演論文集, 2004, 1, 223-224, 2004
制約に基づくアニメーション作成環境Grifonにおけるデータ構造の階層化
中村 好一, 石井 大輔, 大野 太郎, 若槻 総一郎, 上田 和紀
第66回全国大会講演論文集, 2004, 1, 221-222, 2004