Daisuke Ishii

According to our database, Daisuke Ishii authored at least 47 papers between 2004 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

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

Daisuke Ishii

Proceedings of the Model Checking Software - 30th International Symposium, 2024

2023

Clustering Method in Downlink Cell-Free MIMO Using Layered Partially Non-orthogonal ZF-Based Beamforming.

Daisuke Ishii, Takanori Hara, Nobuhide Nonaka, Kenichi Higuchi

Proceedings of the 97th IEEE Vehicular Technology Conference, 2023

2022

Foreword.

Daisuke Ishii

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2022

Coverage Testing of Industrial Simulink Models using Monte-Carlo and SMT-Based Methods.

Daisuke Ishii, Takashi Tomita, Toshiaki Aoki, The Quyen Ngo, Thi Bich Ngoc Do, Hideaki Takai

Proceedings of the 22nd IEEE International Conference on Software Quality, 2022

Approximate Translation from Floating-Point to Real-Interval Arithmetic.

Daisuke Ishii, Takashi Tomita, Toshiaki Aoki

Proceedings of the NASA Formal Methods - 14th International Symposium, 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

Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development, 2022

SMT-Based Model Checking of Industrial Simulink Models.

Daisuke Ishii, Takashi Tomita, Toshiaki Aoki, The Quyen Ngo, Thi Bich Ngoc Do, Hideaki Takai

Proceedings of the Formal Methods and Software Engineering, 2022

2021

Compositional Test Generation of Industrial Synchronous Systems.

Daisuke Ishii, Takashi Tomita, Kenji Onishi, Toshiaki Aoki

CoRR, 2021

Effects of medication and dual tasking on postural sway in Parkinson's disease: A pilot case study.

Arito Yozu, Kohei Kaminishi, Daisuke Ishii, Yuichiro Omura, Akira Matsushita, Yutaka Kohno, Ryosuke Chiba, Jun Ota

Adv. Robotics, 2021

2020

Computer-assisted verification of four interval arithmetic operators.

Daisuke Ishii, Tomohito Yabu

J. Comput. Appl. Math., 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 Trans. Fundam. Electron. Commun. Comput. Sci., 2020

Formalizing the Soundness of the Encoding Methods of SAT-based Model Checking.

Daisuke Ishii, Saito Fujii

Proceedings of the International Symposium on Theoretical Aspects of Software Engineering, 2020

2019

Declarative Semantics of the Hybrid Constraint Language HydLa.

Kazunori Ueda, Hiroshi Hosobe, Daisuke Ishii

CoRR, 2019

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, 2019

2017

HySIA: Tool for Simulating and Monitoring Hybrid Automata Based on Interval Analysis.

Daisuke Ishii, Alexandre Goldsztejn

Proceedings of the Runtime Verification - 17th International Conference, 2017

Implementation of long lifetime dissected-muscle actuator for frog cyborg.

Daisuke Ishii, Masahiro Shimizu, Hitoshi Asanuma, Koh Hosoda

Proceedings of the 2017 IEEE International Conference on Robotics and Biomimetics, 2017

Template-Based Monte-Carlo Test Generation for Simulink Models.

Takashi Tomita, Daisuke Ishii, Toru Murakami, Shigeki Takeuchi, Toshiaki Aoki

Proceedings of the Cyber Physical Systems. Design, Modeling, and Evaluation, 2017

Reliable Simulation and Monitoring of Hybrid Systems Based on Interval Analysis - (Extended Abstract).

Daisuke Ishii, Alexandre Goldsztejn, Naoki Yonezaki

Proceedings of the Cyber Physical Systems. Design, Modeling, and Evaluation, 2017

Swimming frog cyborg which generates efficient hydrodynamic propulsion with webbed foot.

Masahiro Shimizu, Daisuke Ishii, Hitoshi Aonuma, Koh Hosoda

Proceedings of the IEEE International Conference on Cyborg and Bionic Systems, 2017

2016

Monitoring Temporal Properties Using Interval Analysis.

Daisuke Ishii, Naoki Yonezaki, Alexandre Goldsztejn

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2016

2015

Validated Numerics Meets Reachability Analysis for CPS Design (NII Shonan Meeting 2015-14).

Daisuke Ishii, Kohei Suenaga, Walid Taha

NII Shonan Meet. Rep., 2015

Monitoring Bounded LTL Properties Using Interval Analysis.

Daisuke Ishii, Naoki Yonezaki, Alexandre Goldsztejn

Proceedings of the Seventh and Eighth International Workshops on Numerical Software Verification, 2015

Scalable parallel numerical constraint solver using global load balancing.

Daisuke Ishii, Kazuki Yoshizoe, Toyotaro Suzumura

Proceedings of the ACM SIGPLAN Workshop on X10, Portland, OR, USA, June 15 - 17, 2015, 2015

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

Artif. Intell., 2014

Scalable Parallel Numerical CSP Solver.

Daisuke Ishii, Kazuki Yoshizoe, Toyotaro Suzumura

Proceedings of the Principles and Practice of Constraint Programming, 2014

2013

Inductive Verification of Hybrid Automata with Strongest Postcondition Calculus.

Daisuke Ishii, Guillaume Melquiond, Shin Nakajima

Proceedings of the Integrated Formal Methods, 10th International Conference, 2013

2012

MPCP based active optical access network with PLZT high-speed optical switch.

Kazumasa Tokuhashi, Kunitaka Ashizawa, Daisuke Ishii, Satoru Okamoto, Naoaki Yamanaka, Koji Wakayama, Keiichi Nashimoto

Opt. Switch. Netw., 2012

Experiment on Point-to-Multipoint VLAN Path Establishment on the Overlay-Model-Based GMPLS-Controlled Wide Area Ethernet.

Kou Kikuta, Daisuke Ishii, Satoru Okamoto, Naoaki Yamanaka

IEICE Trans. Commun., 2012

Connection Setup Signaling Scheme with Flooding-Based Path Searching for Diverse-Metric Network.

Kou Kikuta, Daisuke Ishii, Satoru Okamoto, Eiji Oki, Naoaki Yamanaka

IEICE Trans. Commun., 2012

Scalable Active Optical Access Network Using Variable High-Speed PLZT Optical Switch/Splitter.

Kunitaka Ashizawa, Takehiro Sato, Kazumasa Tokuhashi, Daisuke Ishii, Satoru Okamoto, Naoaki Yamanaka, Eiji Oki

IEICE Trans. Commun., 2012

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

Daisuke Ishii, Alexandre Goldsztejn, Christophe Jermann

Constraints An Int. J., 2012

2011

An interval-based SAT modulo ODE solver for model checking nonlinear hybrid systems.

Daisuke Ishii, Kazunori Ueda, Hiroshi Hosobe

Int. J. Softw. Tools Technol. Transf., 2011

Performance Evaluation of TCP/IP over SCTP/IP Parallel Networking with Parallel Route Transmission.

Shota Yamada, Daisuke Ishii, Satoru Okamoto, Naoaki Yamanaka

IEICE Trans. Commun., 2011

Highly Energy Efficient Layer-3 Network Architecture Based on Service Cloud and Optical Aggregation Network.

Hidetoshi Takeshita, Daisuke Ishii, Satoru Okamoto, Eiji Oki, Naoaki Yamanaka

IEICE Trans. Commun., 2011

Automatic Scale Detection for Contour Fragment Based on Difference of Curvature.

Kei Kawamura, Daisuke Ishii, Hiroshi Watanabe

IEICE Trans. Inf. Syst., 2011

Automatic preview generation of comic episodes for digitized comic search.

Keiichiro Hoashi, Chihiro Ono, Daisuke Ishii, Hiroshi Watanabe

Proceedings of the 19th International Conference on Multimedia 2011, Scottsdale, AZ, USA, November 28, 2011

2010

Interoperability Experiment of VLAN Tag Swapped Ethernet and Transmitting High Definition Video through the Layer-2 LSP between Japan and Belgium.

Sho Shimizu, Wouter Tavernier, Kou Kikuta, Masahiro Nishida, Daisuke Ishii, Satoru Okamoto, Didier Colle, Mario Pickavet, Piet Demeester, Naoaki Yamanaka

IEICE Trans. Commun., 2010

Efficient singlecast / multicast method For active optical access network using PLZT high-speed optical switches.

Kunitaka Ashizawa, Kazumasa Tokuhashi, Daisuke Ishii, Satoru Okamoto, Naoaki Yamanaka, Eiji Oki

Proceedings of the 11th IEEE International Conference on High Performance Switching and Routing, 2010

2009

Multi-Domain VLAN Path Signaling Method Having Tag Swapping Function for GMPLS Controlled Wide Area Layer-2 Network.

Kou Kikuta, Masahiro Nishida, Daisuke Ishii, Satoru Okamoto, Naoaki Yamanaka

IEICE Trans. Commun., 2009

A multi-area MPLS/GMPLS interoperability trial over ROADM/OXC network.

Wataru Imajuku, Eiji Oki, Rajiv Papneja, Shinichiro Morishita, Kenichi Ogaki, Masanori Miyazawa, Keiji Miyazaki, Hiroaki Nakazato, Hidetsugu Sugiyama, John Allen, Shinichi Hasegawa, Nobuhiro Sakuraba, Itaru Nishioka, Shoichiro Seno, Yoshihiro Nakahira, Daisuke Ishii, Satoru Okamoto, Tara Van Unen, Mark Blumhardt, Hari Rakotoranto, Vijay Pandian

IEEE Commun. Mag., 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, 2009

Micro Droplet Transfer between Superhydrophobic Surfaces via a High Adhesive Superhydrophobic Surface.

Daisuke Ishii, Hiroshi Yabu, Masatsugu Shimomura

Proceedings of the Biomedical Engineering Systems and Technologies, 2009

Droplet Manipulation on High Adhesion Superhydrophobic Surfaces.

Daisuke Ishii, Masatsugu Shimomura, Hiroshi Yabu

Proceedings of the BIODEVICES 2009, 2009

Interval-based Solving of Hybrid Constraint Systems.

Daisuke Ishii, Kazunori Ueda, Hiroshi Hosobe, Alexandre Goldsztejn

Proceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems, 2009

2008

10ns High-speed PLZT optical content distribution system having slot-switch and GMPLS controller.

Masahiro Hayashitani, Teruo Kasahara, Daisuke Ishii, Yutaka Arakawa, Satoru Okamoto, Naoaki Yamanaka, Naganori Takezawa, Keiichi Nashimoto

IEICE Electron. Express, 2008

2007

A Deadline-Aware Scheduling Scheme for Wavelength Assignment in l Grid Networks.

Hiroyuki Miyagi, Masahiro Hayashitani, Daisuke Ishii, Yutaka Arakawa, Naoaki Yamanaka

Proceedings of IEEE International Conference on Communications, 2007

2004

A Scheduling Algorithm for Reducing Unused Timeslots by Considering Head Gap and Tail Gap in Time Sliced Optical Burst Switched Networks.

Takanori Ito, Daisuke Ishii, Kohei Okazaki, Naoaki Yamanaka, Iwao Sasase

Proceedings of the Optical Networks and Technologies, 2004