TOP  >  Personal Info.  >  Published Papers
ISHII, Daisuke Associate Professor
Information Science, Next-Generation Digital Infrastructure

Published Papers

31 items
A Real-Blasting Extension of cvc5 for Reasoning about Floating-Point Arithmetic
Daisuke Ishii
VMCAI (tool paper; to appear), -, 2025
A Hypergraph-based Formalization of Hierarchical Reactive Modules and a Compositional Verification Method
Daisuke Ishii
SPIN, 14624, 67-84, 2024
Coverage Testing of Industrial Simulink Models Using Monte-Carlo and SMT-Based Methods
Daisuke Ishii, Takashi Tomita, Toshiaki Aoki, Thế Quyền Ngô, Thi Bich Ngoc Do, Hideaki Takai
QRS, 422-433, 2022
SMT-Based Model Checking of Industrial Simulink Models
Daisuke Ishii, Takashi Tomita, Toshiaki Aoki, Thế Quyền Ngô, Thi Bich Ngoc Do, Hideaki Takai
ICFEM, 13478, 156-172, 2022
Approximate Translation from Floating-Point to Real-Interval Arithmetic
Daisuke Ishii, Takashi Tomita, Toshiaki Aoki
NASA Formal Methods, 13260, 733-751, 2022
A Method for Detecting Common Weaknesses in Self-Sovereign Identity Systems Using Domain-Specific Models and Knowledge Graph
Charnon Pattiyanon, Toshiaki Aoki, Daisuke Ishii
MODELSWARD, 219-226, 2022
Computer-assisted verification of four interval arithmetic operators
Daisuke Ishii, Tomohito Yabu
Journal of Computational and Applied Mathematics, 377, -, 2020
Template-Based Monte-Carlo Test-Suite Generation for Large and Complex Simulink Models
Takashi TOMITA, Daisuke ISHII, Toru MURAKAMI, Shigeki TAKEUCHI, Toshiaki AOKI
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, E103-A, 2, 451-461, 2020
Formalizing the Soundness of the Encoding Methods of SAT-based Model Checking
Daisuke Ishii, Saito Fujii
International Symposium on Theoretical Aspects of Software Engineering (TASE), -, 2020
A scalable Monte-Carlo test-case generation tool for large and complex simulink models.
Takashi Tomita, Daisuke Ishii, Toru Murakami, Shigeki Takeuchi, Toshiaki Aoki
Proceedings of the 11th International Workshop on Modelling in Software Engineerings, MiSE@ICSE 2019, Montreal, QC, Canada, May 26-27, 2019, 39-46, 2019
Template-Based Monte-Carlo Test Generator for Large and Complex Simulink Models
冨田 尭, 石井 大輔, 村上 徹, 竹内 成樹, 青木 利晃
組込みシステムシンポジウム2018論文集, 2018, 83-90, 2018
Template-Based Monte-Carlo Test Generation for Simulink Models.
Takashi Tomita, Daisuke Ishii, Toru Murakami, Shigeki Takeuchi, Toshiaki Aoki
Cyber Physical Systems. Design, Modeling, and Evaluation - 7th International Workshop, CyPhy 2017, Revised Selected Papers, LNCS 11267, 63-78, 2017
HySIA: Tool for Simulating and Monitoring Hybrid Automata Based on Interval Analysis.
Daisuke Ishii, Alexandre Goldsztejn
Runtime Verification - 17th International Conference, RV 2017, LNCS 10548, 370-379, 2017
A Parallelotope Method for Hybrid System Simulation
Alexandre Goldsztejn, Daisuke ISHII
Reliable Computing, 23, 163-185, 2016
Monitoring Temporal Properties Using Interval Analysis.
Daisuke Ishii, Naoki Yonezaki, Alexandre Goldsztejn
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, 99-A, 2, 442-453, 2016
Scalable parallel numerical constraint solver using global load balancing.
Daisuke Ishii, Kazuki Yoshizoe, Toyotaro Suzumura
Proceedings of the ACM SIGPLAN Workshop on X10, 33-38, 2015
Monitoring Bounded LTL Properties Using Interval Analysis.
Daisuke Ishii, Naoki Yonezaki, Alexandre Goldsztejn
NSV Workshop, ENTCS 317, 85-100, 2015
Scalable Parallel Numerical CSP Solver.
Daisuke Ishii, Kazuki Yoshizoe, Toyotaro Suzumura
Principles and Practice of Constraint Programming - 20th International Conference, CP 2014, LNCS 8656, 398-406, 2014
A branch and prune algorithm for the computation of generalized aspects of parallel robots.
Stéphane Caro, Damien Chablat, Alexandre Goldsztejn, Daisuke Ishii, Christophe Jermann
Artificial Intelligence, 211, 34-50, 2014
Inductive Verification of Hybrid Automata with Strongest Postcondition Calculus.
Daisuke Ishii, Guillaume Melquiond, Shin Nakajima
Integrated Formal Methods, 10th International Conference, iFM 2013, LNCS 7940, 139-153, 2013
HydLa: A High-Level Language for Hybrid Systems
Kazunori Ueda, Shota Matsumoto, Akira Takeguchi, Hiroshi Hosobe, Daisuke Ishii
The 2nd Workshop on Logics for System Analysis (LfSA2012), 3-17, 2012
A Branch and Prune Algorithm for the Computation of Generalized Aspects of Parallel Robots.
Stéphane Caro, Damien Chablat, Alexandre Goldsztejn, Daisuke Ishii, Christophe Jermann
Principles and Practice of Constraint Programming - 18th International Conference, CP 2012, LNCS 7514, 867-882, 2012
Interval-based projection method for under-constrained numerical systems.
Daisuke Ishii, Alexandre Goldsztejn, Christophe Jermann
Constraints, 17, 4, 432-460, 2012
Declarative Semantics of the Hybrid Constraint Language HydLa
UEDA Kazunori, HOSOBE Hiroshi, ISHII Daisuke
Computer Software, 28, 1, 306-311, 2011
An interval-based SAT modulo ODE solver for model checking nonlinear hybrid systems.
Daisuke Ishii, Kazunori Ueda, Hiroshi Hosobe
International Journal on Software Tools for Technology Transfer (STTT), 13, 5, 449-461, 2011
An Interval-based SAT Modulo ODE Solver for Model Checking Nonlinear Hybrid Systems
Daisuke Ishii, Kazunori Ueda, Hiroshi Hosobe
Workshop on Verified Software: Theory, Tools, and Experiments (VSTTE2009), 1-9, 2009
Simulation of hybrid systems based on hierarchical interval constraints.
Daisuke Ishii, Kazunori Ueda, Hiroshi Hosobe
Proceedings of the 2nd International Conference on Simulation Tools and Techniques for Communications, Networks and Systems, SimuTools 2009, 37-, 2009
Interval-based Solving of Hybrid Constraint Systems.
Daisuke Ishii, Kazunori Ueda, Hiroshi Hosobe, Alexandre Goldsztejn
3rd IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2009, 144-149, 2009
An Interval-based Consistency Technique for Reliable Simulation of Hybrid Systems
石井 大輔, 上田 和紀, 細部博史
情報処理学会論文誌数理モデル化と応用（TOM）, 1, 1, 149-159, 2008
An Interval-Based Approximation Method for Discrete Changes in Hybrid cc
Daisuke Ishii, Kazunori Ueda, Hiroshi Hosobe
Trends in Constraint Programming (Post-Proceedings of the CP2006 Workshops), 245-255, 2007
LK-005 Information Handling System Based on Pen-Based User Interface and Working History Management
Ishii Daisuke, Suzuki Masaru, Ishitani Yasuto
情報科学技術レターズ, 4, 219-222, 2005