Daisuke ISHII
Título
Citado por
Citado por
Año
An interval-based SAT modulo ODE solver for model checking nonlinear hybrid systems
D Ishii, K Ueda, H Hosobe
International Journal on Software Tools for Technology Transfer 13 (5), 449-461, 2011
362011
Interval-based projection method for under-constrained numerical systems
D Ishii, A Goldsztejn, C Jermann
Constraints 17 (4), 432-460, 2012
272012
A branch and prune algorithm for the computation of generalized aspects of parallel robots
S Caro, D Chablat, A Goldsztejn, D Ishii, C Jermann
Artificial Intelligence 211, 34-50, 2014
262014
ハイブリッド制約言語 HydLa の宣言的意味論
上田和紀, 細部博史, 石井大輔
コンピュータ ソフトウェア 28 (1), 1_306-1_311, 2011
202011
Interval-based solving of hybrid constraint systems
D Ishii, K Ueda, H Hosobe, A Goldsztejn
IFAC Proceedings Volumes 42 (17), 144-149, 2009
112009
HydLa: a high-level language for hybrid systems
K Ueda, S Matsumoto, A Takeguchi, H Hosobe, D Ishii
Proc. Second Workshop on Logics for System Analysis, 3-17, 2012
92012
制約概念に基づくハイブリッドシステムモデリング言語 HydLa
上田和紀
第五回システム検証の科学技術シンポジウム, 2008, 6-11, 2008
82008
Template-based Monte-Carlo test generation for Simulink models
T Tomita, D Ishii, T Murakami, S Takeuchi, T Aoki
International Workshop on Design, Modeling, and Evaluation of Cyber Physical …, 2017
72017
Monitoring temporal properties using interval analysis
D Ishii, N Yonezaki, A Goldsztejn
IEICE Transactions on Fundamentals of Electronics, Communications and …, 2016
72016
Monitoring bounded LTL properties using interval analysis
D Ishii, N Yonezaki, A Goldsztejn
Electronic Notes in Theoretical Computer Science 317, 85-100, 2015
62015
Inductive verification of hybrid automata with strongest postcondition calculus
D Ishii, G Melquiond, S Nakajima
International Conference on Integrated Formal Methods, 139-153, 2013
62013
Simulation and verification of hybrid systems based on interval analysis and constraint programming
D Ishii
Ph. D. thesis, Waseda University, Tokyo, 2010
62010
HySIA: tool for simulating and monitoring hybrid automata based on interval analysis
D Ishii, A Goldsztejn
International Conference on Runtime Verification, 370-379, 2017
52017
A parallelotope method for hybrid system simulation
A Goldsztejn, D Ishii
Reliable Computing 23, 163-185, 2016
52016
制約階層によるハイブリッドシステムのモデリング手法
廣瀬賢一, 大谷順司, 石井大輔, 細部博史, 上田和紀
日本ソフトウェア科学会大会論文集 26, 275-284, 2009
52009
Scalable parallel numerical constraint solver using global load balancing
D Ishii, K Yoshizoe, T Suzumura
Proceedings of the ACM SIGPLAN Workshop on X10, 33-38, 2015
42015
制約に基づくアニメーション作成システム Grifon の設計と実装
石井大輔
早稲田大学大学院理工学研究科情報科学専攻修士論文, 2003
42003
A scalable Monte-Carlo test-case generation tool for large and complex simulink models
T Tomita, D Ishii, T Murakami, S Takeuchi, T Aoki
2019 IEEE/ACM 11th International Workshop on Modelling in Software …, 2019
32019
Simulation of hybrid systems based on hierarchical interval constraints
D Ishii, K Ueda, H Hosobe
Proceedings of the 2nd International Conference on Simulation Tools and …, 2009
32009
An interval-based approximation method for discrete changes in Hybrid cc
D Ishii, K Ueda, H Hosobe
Trends in Constraint Programming, 245-255, 2006
32006
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20