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
412014
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
Interval-based projection method for under-constrained numerical systems
D Ishii, A Goldsztejn, C Jermann
Constraints 17, 432-460, 2012
272012
ハイブリッド制約言語 HydLa の宣言的意味論
上田和紀, 細部博史, 石井大輔
コンピュータ ソフトウェア 28 (1), 1_306-1_311, 2011
212011
Interval-based solving of hybrid constraint systems
D Ishii, K Ueda, H Hosobe, A Goldsztejn
IFAC Proceedings Volumes 42 (17), 144-149, 2009
142009
Monitoring temporal properties using interval analysis
D Ishii, N Yonezaki, A Goldsztejn
IEICE Transactions on Fundamentals of Electronics, Communications and …, 2016
102016
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
Monitoring bounded LTL properties using interval analysis
D Ishii, N Yonezaki, A Goldsztejn
Electronic Notes in Theoretical Computer Science 317, 85-100, 2015
82015
制約概念に基づくハイブリッドシステムモデリング言語
上田和紀, 石井大輔, 細部博史
日本ソフトウェア科学会大会論文集 25, 1-6, 2008
82008
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
72019
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
72019
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
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
A parallelotope method for hybrid system simulation
A Goldsztejn, D Ishii
Reliable Computing 23, 163-185, 2016
52016
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
制約階層によるハイブリッドシステムノモデリング手法
廣瀬賢一
日本ソフトウェア科学会第 26 回大会論文集, 2009
52009
Simulation of hybrid systems based on hierarchical interval constraints
D Ishii, K Ueda, H Hosobe
2nd International ICST Conference on Simulation Tools and Techniques, 2010
32010
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
The system can't perform the operation now. Try again later.
Articles 1–20