| 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 | 45 | 2014 |
| 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 | 40 | 2011 |
| ハイブリッド制約言語 HydLa の宣言的意味論 上田和紀， 細部博史， 石井大輔 コンピュータ ソフトウェア 28 (1), 1_306-1_311, 2011 | 35 | 2011 |
| Interval-based projection method for under-constrained numerical systems D Ishii, A Goldsztejn, C Jermann Constraints 17, 432-460, 2012 | 26 | 2012 |
| 制約概念に基づくハイブリッドシステムモデリング言語 HydLa 上田和紀 第五回システム検証の科学技術シンポジウム, 2008, 6-11, 2008 | 15 | 2008 |
| Interval-based solving of hybrid constraint systems D Ishii, K Ueda, H Hosobe, A Goldsztejn IFAC Proceedings Volumes 42 (17), 144-149, 2009 | 14 | 2009 |
| Monitoring temporal properties using interval analysis D Ishii, N Yonezaki, A Goldsztejn IEICE Transactions on Fundamentals of Electronics, Communications and …, 2016 | 11 | 2016 |
| 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 | 11 | 2012 |
| 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 | 9 | 2017 |
| Monitoring bounded LTL properties using interval analysis D Ishii, N Yonezaki, A Goldsztejn Electronic Notes in Theoretical Computer Science 317, 85-100, 2015 | 9 | 2015 |
| 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 | 8 | 2019 |
| 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 | 7 | 2017 |
| A parallelotope method for hybrid system simulation A Goldsztejn, D Ishii Reliable Computing 23, 163-185, 2016 | 6 | 2016 |
| Inductive verification of hybrid automata with strongest postcondition calculus D Ishii, G Melquiond, S Nakajima International Conference on Integrated Formal Methods, 139-153, 2013 | 6 | 2013 |
| Simulation and verification of hybrid systems based on interval analysis and constraint programming D Ishii Ph. D. thesis, Waseda University, Tokyo, 2010 | 6 | 2010 |
| 制約階層によるハイブリッドシステムのモデリング手法 廣瀬賢一， 大谷順司， 石井大輔， 細部博史， 上田和紀 日本ソフトウェア科学会大会論文集/日本ソフトウェア科学会 編 26, 275-284, 2009 | 6 | 2009 |
| 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 | 5 | 2015 |
| Scalable parallel numerical CSP solver D Ishii, K Yoshizoe, T Suzumura Principles and Practice of Constraint Programming: 20th International …, 2014 | 5 | 2014 |
| An interval-based approximation method for discrete changes in Hybrid cc D Ishii, K Ueda, H Hosobe Trends in Constraint Programming, 245-255, 2006 | 4 | 2006 |
| 制約に基づくアニメーション作成システム Grifon の設計と実装 石井大輔 早稲田大学大学院理工学研究科情報科学専攻修士論文, 2003 | 4 | 2003 |
Alexandre GoldsztejnCNRSVerifisert e-postadresse på ls2n.fr
