Publication

(トップページ) (top page)

Recent journal/conference papers

[1]
A. Goldsztejn, D. Ishii. A Parallelotope Method for Hybrid System Simulation. Reliable Computing, 23:163–185, 2016. link.
[2]
D. Ishii, N. Yonezaki, A. Goldsztejn. Monitoring Temporal Properties using Interval Analysis. IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, E99-A(2):442–453, 2016. link. (preprint, demo)
[3]
石井大輔, 上田和紀. 非線形ハイブリッドシステムの可到達集合の精度保証. 計測と制御, 53(12):1086–1092, 2014. (解説論文)
[4]
S. Caro, D. Chablat, A. Goldsztejn, D. Ishii, C. Jermann. A branch and prune algorithm for the computation of generalized aspects of parallel robots. Artificial Intelligence, 211:34–50, 2014. link. (preprint, gallery)
[5]
D. Ishii, K. Yoshizoe, T. Suzumura. Scalable Parallel Numerical CSP Solver. In 20th International Conference on Principles and Practice of Constraint Programming (CP), LNCS 8656, pages 398–406, 2014. link. (preprint)
[6]
D. Ishii, G. Melquiond, S. Nakajima. Inductive Verification of Hybrid Automata with Strongest Postcondition Calculus. In 10th International Conference on integrated Formal Methods (iFM), LNCS 7940, pages 139–153, 2013. link. (preprint)

Other publications

[7]
石井大輔. 区間解析に基づく非線形ハイブリッドオートマトンのシミュレーション・検証ツール. 第14回ディペンダブルシステムワークショップ (DSW’16), 2016.
[8]
冨田尭, 石井大輔, 青木利晃. Simulinkモデルに対するテストスイート自動生成. 第14回ディペンダブルシステムワークショップ (DSW’16), 2016.
[9]
石井大輔, 上田和紀. SMTソルバーによるプログラム検証. 情報処理, 57(8):734–737, 2016. link. (解説記事)
[10]
石井大輔, 冨田 尭, 米崎直樹. ハイブリッドシステムの統計的モデル検査. In 信学会総合大会・企画講演セッション「ビッグデータの解析と基盤に関わる科学技術の俯瞰と展開」, 2016. (招待講演)
[11]
峰尾太陽, 石井大輔, 渡部卓雄. 時相論理式の反証を用いた制御器のチューニング. 信学会MSS研究会 (MSS2015-79), pages 61–66, 2016. link.
[12]
石井大輔. 区間解析による時相論理式の頑健性モニタリング. 信学会MSS研究会 (MSS2015-45), pages 59–62, 2016. link. (招待講演)
[13]
D. Ishii, K. Yoshizoe, T. Suzumura. Scalable Parallel Numerical Constraint Solver Using Global Load Balancing. In ACM SIGPLAN Workshop on X10, pages 33–38, 2015. link.
[14]
D. Ishii, N. Yonezaki, A. Goldsztejn. Monitoring Bounded LTL Properties Using Interval Analysis. In 8th International Workshop on Numerical Software Verification (NSV), ENTCS 317, pages 85–100, 2015. link. (preprint, demo, best talk award)
[15]
石井大輔, 美添一樹, 鈴村豊太郎. 数値制約ソルバーのスケーラブルな並列化. 日本ソフトウェア科学会第32回大会, 2015. (6 pages)
[16]
石井大輔, 米崎直樹. 区間解析を用いたハイブリッドシステムの統計的モデル検査. 電子情報通信学会 ソフトウェアサイエンス研究会 (SS2014-44), volume 114, pages 67–71, 2015. link.
[17]
石井大輔, A. Goldsztejn. 平行体計算を用いた非線形ハイブリッドシステムのシミュレーション. 電子情報通信学会 システム数理と応用研究会 (MSS2013-74), pages 135–139, 2014. link. (MSS優秀論文賞)
[18]
石井大輔, 鈴村豊太郎. PGAS言語X10による数値制約充足問題ソルバーRealpaverの並列化. 第141回ハイパフォーマンスコンピューティング研究発表会, No. 10, 2013.
[19]
石井大輔, G. Melquiond, 中島 震. 最強事後条件の計算を用いたハイブリッドオートマトンの帰納的検証. 日本ソフトウェア科学会第30回大会, 2013. link. (高橋奨励賞)
[20]
D. Ishii, A. Goldsztejn, C. Jermann. Interval-based projection method for under-constrained numerical systems. Constraints Journal, 17(4):432–460, 2012. link. (preprint)
[21]
S. Caro, D. Chablat, A. Goldsztejn, D. Ishii, C. Jermann. A branch and prune algorithm for the computation of generalized aspects of parallel robots. In 18th International Conference on Principles and Practice of Constraint Programming (CP), LNCS 7514, pages 867–882, 2012. link. (preprint, gallery)
[22]
K. Ueda, S. Matsumoto, A. Takeguchi, H. Hosobe, D. Ishii. HydLa : A High-Level Language for Hybrid Systems. In Logics for System Analysis Workshop (LfSA), pages 3–17, 2012. link.
[23]
石井大輔, 中島 震, G. Melquiond. Why3を用いたハイブリッドシステムの検証. 第10回ディペンダブルシステムワークショップ (DSW’12), 2012. link. (9 pages)
[24]
石井大輔, A. Goldsztejn, C. Jermann. 制約不足の数値制約充足問題のための区間計算に基づく射影手法. 日本ソフトウェア科学会第29回大会, 4B-2, 2012. link. (7 pages)
[25]
石井大輔. 区間制約プログラミングの研究事例. 信学技報 (SS2011-52), 111(406):73–77, 2012. (招待講演). link.
[26]
D. Ishii, K. Ueda, H. Hosobe. An interval-based SAT modulo ODE solver for model checking nonlinear hybrid systems. International Journal on Software Tools for Technology Transfer (STTT), 13(5):449–461, 2011. link.
[27]
上田和紀, 細部博史, 石井大輔. ハイブリッド制約言語HydLaの宣言的意味論. コンピュータソフトウェア, 28(1):306–311, 2011. link.
[28]
D. Ishii, A. Goldsztejn, C. Jermann. Computation of generalized aspect of parallel manipulators. In 4th Small Workshop on Interval Methods (SWIM), 2011.
[29]
A. Goldsztejn, D. Ishii. A parallelotope method for the simulation of nonlinear hybrid systems. In 4th Small Workshop on Interval Methods (SWIM), 2011.
[30]
D. Ishii, K. Ueda, H. Hosobe. Translation from Hybrid Concurrent Constraint Programming Language into Real-Time Transition Systems. In HSCC’10 Poster Session, 2010. link. (4 pages, poster)
[31]
D. Ishii. Bounded Reachability Analysis of Nonlinear Hybrid Systems Based on Interval Consistency Techniques. In Third Small Workshop on Interval Methods (SWIM), 2010.
[32]
D. Ishii, K. Ueda, H. Hosobe, A. Goldsztejn. Interval-based solving of hybrid constraint systems. In the third IFAC Conference on Analysis and Design of Hybrid Systems (ADHS), pages 144–149, 2009. link. (slides)
[33]
D. Ishii, K. Ueda, H. Hosobe. An Interval-based SAT Modulo ODE Solver for Model Checking Nonlinear Hybrid Systems. In Workshop on Verified Software: Theory, Tools, and Experiments (VSTTE’09). 2009.
[34]
D. Ishii, K. Ueda, H. Hosobe. Simulation of Hybrid Systems based on Hierarchical Interval Constraints. In the second International Conference on Simulation Tools and Techniques (SIMUTools), 2009. link. (2 pages, poster)
[35]
石井大輔, 上田和紀, 細部博史. ハイブリッドシステムの高信頼シミュレーションのための区間に基づく制約伝播手法. 情報処理学会論文誌 数理モデル化と応用, 1(1):149–159, 2008. link.
[36]
D. Ishii, K. Ueda, H. Hosobe. An Interval-based Approximation Method for Discrete Changes in Hybrid cc. Trends in Constraint Programming, pages 245–255, 2007.
[37]
D. Ishii, K. Ueda, H. Hosobe. A Branching Approach to the Interval-based Evaluation of Ask Constraints in Hybrid CCP. In Proc. of Doctoral Programme of CP, pages 49–54, 2007.
[38]
D. Ishii, K. Ueda, H. Hosobe. An Interval-Based Approximation Method for Discrete Changes in Hybrid cc. In the third International Workshop on Interval Analysis, Constraint Propagation and Applications (IntCP’06), pages 38–51, 2006.
[39]
石井大輔, 鈴木優, 石谷康人. ペン操作型情報収集とイベント型情報再利用に基づく情報活用システム. 情報科学技術レターズ, LK-005:219–222, 2005.

Dissertation

[40]
石井大輔. Simulation and Verification of Hybrid Systems based on Interval Analysis and Constraint Programming (区間解析と制約プログラミングにもとづくハイブリッドシステムのシミュレーションと検証). PhD thesis, 早稲田大学, 2010. link.

This document was translated from LATEX by HEVEA.