Daisuke Ishii

FacultyInformation Science
Teacher OrganizationInformation Science
Education and
 Research Organization
Faculty of Engineering /Graduate School of Engineering
PositionAssociate Professor
Last Updated: 19/07/23 20:23

Researcher Profile & Settings

Name

    Daisuke Ishii

Profile & Settings

Affiliation

  •  Information Science Associate Professor

Research Activities

Published Papers

  • Template-Based Monte-Carlo Test Generation for Simulink Models
    T. Tomita, D. Ishii, T. Murakami, S. Takeuchi, T. Aoki
    Proceedings of Seventh Workshop on Design, Modeling and Evaluation of Cyber Physical Systems (CyPhy) 11267 63-78 Apr.  2019 Refereed
  • HySIA: Tool for Simulating and Monitoring Hybrid Automata Based on Interval Analysis
    D. Ishii, A. Goldsztejn
    Proceedings of International Conference on Runtime Verification (RV) 10548 370-379 Sep.  2017 Refereed
  • Monitoring Temporal Properties using Interval Analysis
    Daisuke Ishii, Naoki Yonezaki, Alexandre Goldsztejn
    IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E99-A(2) 442-453 Feb.  2016 Refereed
  • A Parallelotope Method for Hybrid System Simulation
    Alexandre Goldsztejn, Daisuke Ishii
    Reliable Computing 23 163-185 Jul.  2016 Refereed

Conference Activities & Talks

  • A scalable Monte-Carlo test-case generation tool for large and complex simulink models
    T. Tomita, D. Ishii, T. Murakami, S. Takeuchi, T. Aoki
    Workshop on Modelling in Software Engineering (MiSE) May  2019
  • Machine-Aided Verification of Four Interval Arithmetic Operators
    T. Yabu, D. Ishii
    International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations (SCAN) Sep.  2018
  • An Extended GLB Library for Optimization Problems
    S. Izumi, D. Ishii, K. Yoshizoe
    HPC Asia Jan.  2018
  • Reliable Simulation and Monitoring of Hybrid Systems Based on Interval Analysis
    D. Ishii, A. Goldsztejn, N. Yonezaki
    Seventh Workshop on Design, Modeling and Evaluation of Cyber Physical Systems (CyPhy) Oct.  2017