Follow
Daisuke ISHII
Title
Cited by
Cited by
Year
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
432014
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
392011
ハイブリッド制約言語 HydLa の宣言的意味論
上田和紀, 細部博史, 石井大輔
コンピュータ ソフトウェア 28 (1), 1_306-1_311, 2011
342011
Interval-based projection method for under-constrained numerical systems
D Ishii, A Goldsztejn, C Jermann
Constraints 17, 432-460, 2012
272012
Interval-based solving of hybrid constraint systems
D Ishii, K Ueda, H Hosobe, A Goldsztejn
IFAC Proceedings Volumes 42 (17), 144-149, 2009
142009
制約概念に基づくハイブリッドシステムモデリング言語 HydLa
上田和紀
第五回システム検証の科学技術シンポジウム, 2008, 6-11, 2008
142008
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
112012
Monitoring temporal properties using interval analysis
D Ishii, N Yonezaki, A Goldsztejn
IEICE Transactions on Fundamentals of Electronics, Communications and …, 2016
102016
Monitoring bounded LTL properties using interval analysis
D Ishii, N Yonezaki, A Goldsztejn
Electronic Notes in Theoretical Computer Science 317, 85-100, 2015
92015
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
82019
Template-based Monte-Carlo test generation for Simulink models
T Tomita, D Ishii, T Murakami, S Takeuchi, T Aoki
Cyber Physical Systems. Design, Modeling, and Evaluation: 7th International …, 2019
82019
Hysia: Tool for simulating and monitoring hybrid automata based on interval analysis
D Ishii, A Goldsztejn
Runtime Verification: 17th International Conference, RV 2017, Seattle, WA …, 2017
72017
A parallelotope method for hybrid system simulation
A Goldsztejn, D Ishii
Reliable Computing 23, 163-185, 2016
62016
Inductive verification of hybrid automata with strongest postcondition calculus
D Ishii, G Melquiond, S Nakajima
Integrated Formal Methods: 10th International Conference, IFM 2013, Turku …, 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
制約階層によるハイブリッドシステムノモデリング手法
廣瀬賢一
日本ソフトウェア科学会第 26 回大会論文集, 2009
62009
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
52015
Scalable parallel numerical CSP solver
D Ishii, K Yoshizoe, T Suzumura
Principles and Practice of Constraint Programming: 20th International …, 2014
52014
An interval-based approximation method for discrete changes in Hybrid cc
D Ishii, K Ueda, H Hosobe
Trends in Constraint Programming, 245-255, 2006
42006
制約に基づくアニメーション作成システム Grifon の設計と実装
石井大輔
早稲田大学大学院理工学研究科情報科学専攻修士論文, 2003
42003
The system can't perform the operation now. Try again later.
Articles 1–20