Daisuke ISHII

Comparison of Lightweight Methods for Vehicle Dynamics-Based Driver Drowsiness Detection

Yutaro Nakagama, Daisuke Ishii, Kazuki Yoshizoe

IV, 1-8, Jun, 2025 Peer-reviewed

A Real-Blasting Extension of cvc5 for Reasoning about Floating-Point Arithmetic

Daisuke Ishii

VMCAI (tool paper), 15529 148-162, 2025 Peer-reviewedLead authorLast authorCorresponding author

A Hypergraph-based Formalization of Hierarchical Reactive Modules and a Compositional Verification Method

Daisuke Ishii

SPIN, 14624 67-84, 2024 Peer-reviewedLead authorLast authorCorresponding author

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, Dec, 2022 Peer-reviewedLead authorCorresponding author

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, Oct, 2022 Peer-reviewedLead authorCorresponding author

Approximate Translation from Floating-Point to Real-Interval Arithmetic

Daisuke Ishii, Takashi Tomita, Toshiaki Aoki

NASA Formal Methods, 13260 733-751, May, 2022 Peer-reviewedLead authorCorresponding author

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, Feb, 2022 Peer-reviewed

Computer-assisted verification of four interval arithmetic operators

Daisuke Ishii, Tomohito Yabu

Journal of Computational and Applied Mathematics, 377, Oct, 2020 Peer-reviewedLead authorCorresponding author

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, Feb, 2020 Peer-reviewed

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 Peer-reviewedLead authorCorresponding author

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 Peer-reviewed

Template-Based Monte-Carlo Test Generator for Large and Complex Simulink Models

冨田尭, 石井大輔, 村上徹, 竹内成樹, 青木利晃

組込みシステムシンポジウム2018論文集, (2018) 83-90, Aug 23, 2018 Peer-reviewed

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, Oct, 2017 Peer-reviewed

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 Peer-reviewed

A Parallelotope Method for Hybrid System Simulation

Alexandre Goldsztejn, Daisuke ISHII

Reliable Computing, 23 163-185, 2016 Peer-reviewed

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 Peer-reviewedLead authorCorresponding author

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 Peer-reviewedLead authorCorresponding author

Monitoring Bounded LTL Properties Using Interval Analysis.

Daisuke Ishii, Naoki Yonezaki, Alexandre Goldsztejn

NSV Workshop, ENTCS 317 85-100, 2015 Peer-reviewedLead authorCorresponding author

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 Peer-reviewedLead authorCorresponding author

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 Peer-reviewed

Papers

Menu

Coauthors