Daisuke ISHII

Approximate Translation from Floating-Point to Real-Interval Arithmetic

Daisuke Ishii, Takashi Tomita, Toshiaki Aoki

NASA Formal Methods (to appear), 2022 Peer-reviewedLead authorCorresponding author

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

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

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, Jul, 2012 Peer-reviewed

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

Interval-based projection method for under-constrained numerical systems.

Daisuke Ishii, Alexandre Goldsztejn, Christophe Jermann

Constraints, 17(4) 432-460, 2012 Peer-reviewedLead authorCorresponding author

Declarative Semantics of the Hybrid Constraint Language HydLa

UEDA Kazunori, HOSOBE Hiroshi, ISHII Daisuke

Computer Software, 28(1) 306-311, 2011 Peer-reviewed

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

Papers

Menu

Coauthors