Daisuke Ishii

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 26

Top Topics

Interval Analysis

Top Venues

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

Publications

Daisuke Ishii
A Hypergraph-based Formalization of Hierarchical Reactive Modules and a Compositional Verification Method. CoRR (2024)
Daisuke Ishii, Takanori Hara, Nobuhide Nonaka, Kenichi Higuchi
Clustering Method in Downlink Cell-Free MIMO Using Layered Partially Non-orthogonal ZF-Based Beamforming. VTC2023-Spring (2023)
Daisuke Ishii, Takashi Tomita, Toshiaki Aoki
Approximate Translation from Floating-Point to Real-Interval Arithmetic. NFM (2022)
Daisuke Ishii
Foreword. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (5) (2022)
Charnon Pattiyanon, Toshiaki Aoki, Daisuke Ishii
A Method for Detecting Common Weaknesses in Self-Sovereign Identity Systems Using Domain-Specific Models and Knowledge Graph. MODELSWARD (2022)
Daisuke Ishii, Takashi Tomita, Toshiaki Aoki, The Quyen Ngo, Thi Bich Ngoc Do, Hideaki Takai
SMT-Based Model Checking of Industrial Simulink Models. ICFEM (2022)
Daisuke Ishii, Takashi Tomita, Toshiaki Aoki, The Quyen Ngo, Thi Bich Ngoc Do, Hideaki Takai
Coverage Testing of Industrial Simulink Models using Monte-Carlo and SMT-Based Methods. QRS (2022)
Daisuke Ishii, Takashi Tomita, Toshiaki Aoki, The Quyen Ngo, Thi Bich Ngoc Do, Hideaki Takai
SMT-Based Model Checking of Industrial Simulink Models. CoRR (2022)
Arito Yozu, Kohei Kaminishi, Daisuke Ishii, Yuichiro Omura, Akira Matsushita, Yutaka Kohno, Ryosuke Chiba, Jun Ota
Effects of medication and dual tasking on postural sway in Parkinson's disease: A pilot case study. Adv. Robotics 35 (13-14) (2021)
Daisuke Ishii, Takashi Tomita, Toshiaki Aoki
Approximate Translation from Floating-Point to Real-Interval Arithmetic. CoRR (2021)
Daisuke Ishii, Takashi Tomita, Kenji Onishi, Toshiaki Aoki
Compositional Test Generation of Industrial Synchronous Systems. CoRR (2021)
Takashi Tomita, Daisuke Ishii, Toru Murakami, Shigeki Takeuchi, Toshiaki Aoki
Template-Based Monte-Carlo Test-Suite Generation for Large and Complex Simulink Models. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (2) (2020)
Daisuke Ishii, Tomohito Yabu
Computer-assisted verification of four interval arithmetic operators. J. Comput. Appl. Math. 377 (2020)
Daisuke Ishii, Saito Fujii
Formalizing the Soundness of the Encoding Methods of SAT-based Model Checking. TASE (2020)
Daisuke Ishii, Tomohito Yabu
Computer-Assisted Verification of Four Interval Arithmetic Operators. CoRR (2020)
Daisuke Ishii, Saito Fujii
Formalizing the Soundness of the Encoding Methods of SAT-based Model Checking. CoRR (2020)
Kazunori Ueda, Hiroshi Hosobe, Daisuke Ishii
Declarative Semantics of the Hybrid Constraint Language HydLa. CoRR (2019)
Takashi Tomita, Daisuke Ishii, Toru Murakami, Shigeki Takeuchi, Toshiaki Aoki
A scalable Monte-Carlo test-case generation tool for large and complex simulink models. MiSE@ICSE (2019)
Daisuke Ishii, Alexandre Goldsztejn
HySIA: Tool for Simulating and Monitoring Hybrid Automata Based on Interval Analysis. CoRR (2017)
Daisuke Ishii, Masahiro Shimizu, Hitoshi Asanuma, Koh Hosoda
Implementation of long lifetime dissected-muscle actuator for frog cyborg. ROBIO (2017)
Masahiro Shimizu, Daisuke Ishii, Hitoshi Aonuma, Koh Hosoda
Swimming frog cyborg which generates efficient hydrodynamic propulsion with webbed foot. CBS (2017)
Daisuke Ishii, Alexandre Goldsztejn, Naoki Yonezaki
Reliable Simulation and Monitoring of Hybrid Systems Based on Interval Analysis - (Extended Abstract). CyPhy (2017)
Takashi Tomita, Daisuke Ishii, Toru Murakami, Shigeki Takeuchi, Toshiaki Aoki
Template-Based Monte-Carlo Test Generation for Simulink Models. CyPhy (2017)
Daisuke Ishii, Alexandre Goldsztejn
HySIA: Tool for Simulating and Monitoring Hybrid Automata Based on Interval Analysis. RV (2017)
Daisuke Ishii, Naoki Yonezaki, Alexandre Goldsztejn
Monitoring Temporal Properties using Interval Analysis. CoRR (2016)
Daisuke Ishii, Naoki Yonezaki, Alexandre Goldsztejn
Monitoring Temporal Properties Using Interval Analysis. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (2) (2016)
Daisuke Ishii, Kazuki Yoshizoe, Toyotaro Suzumura
Scalable Parallel Numerical Constraint Solver Using Global Load Balancing. CoRR (2015)
Daisuke Ishii, Kazuki Yoshizoe, Toyotaro Suzumura
Scalable parallel numerical constraint solver using global load balancing. X10@PLDI (2015)
Daisuke Ishii, Naoki Yonezaki, Alexandre Goldsztejn
Monitoring Bounded LTL Properties Using Interval Analysis. CoRR (2015)
Daisuke Ishii, Naoki Yonezaki, Alexandre Goldsztejn
Monitoring Bounded LTL Properties Using Interval Analysis. Electron. Notes Theor. Comput. Sci. 317 (2015)
Daisuke Ishii, Kohei Suenaga, Walid Taha
Validated Numerics Meets Reachability Analysis for CPS Design (NII Shonan Meeting 2015-14). NII Shonan Meet. Rep. 2015 (2015)
Daisuke Ishii, Kazuki Yoshizoe, Toyotaro Suzumura
Scalable Parallel Numerical CSP Solver. CoRR (2014)
Stéphane Caro, Damien Chablat, Alexandre Goldsztejn, Daisuke Ishii, Christophe Jermann
A branch and prune algorithm for the computation of generalized aspects of parallel robots. Artif. Intell. 211 (2014)
Daisuke Ishii, Kazuki Yoshizoe, Toyotaro Suzumura
Scalable Parallel Numerical CSP Solver. CP (2014)
Daisuke Ishii, Guillaume Melquiond, Shin Nakajima
Inductive Verification of Hybrid Automata with Strongest Postcondition Calculus. IFM (2013)
Stéphane Caro, Damien Chablat, Alexandre Goldsztejn, Daisuke Ishii, Christophe Jermann
A Branch and Prune Algorithm for the Computation of Generalized Aspects of Parallel Robots. CP (2012)
Kunitaka Ashizawa, Takehiro Sato, Kazumasa Tokuhashi, Daisuke Ishii, Satoru Okamoto, Naoaki Yamanaka, Eiji Oki
Scalable Active Optical Access Network Using Variable High-Speed PLZT Optical Switch/Splitter. IEICE Trans. Commun. (3) (2012)
Daisuke Ishii, Alexandre Goldsztejn, Christophe Jermann
Interval-based projection method for under-constrained numerical systems. Constraints An Int. J. 17 (4) (2012)
Kou Kikuta, Daisuke Ishii, Satoru Okamoto, Naoaki Yamanaka
Experiment on Point-to-Multipoint VLAN Path Establishment on the Overlay-Model-Based GMPLS-Controlled Wide Area Ethernet. IEICE Trans. Commun. (10) (2012)
Kazumasa Tokuhashi, Kunitaka Ashizawa, Daisuke Ishii, Satoru Okamoto, Naoaki Yamanaka, Koji Wakayama, Keiichi Nashimoto
MPCP based active optical access network with PLZT high-speed optical switch. Opt. Switch. Netw. 9 (2) (2012)
Kou Kikuta, Daisuke Ishii, Satoru Okamoto, Eiji Oki, Naoaki Yamanaka
Connection Setup Signaling Scheme with Flooding-Based Path Searching for Diverse-Metric Network. IEICE Trans. Commun. (8) (2012)
Daisuke Ishii, Kazunori Ueda, Hiroshi Hosobe
An interval-based SAT modulo ODE solver for model checking nonlinear hybrid systems. Int. J. Softw. Tools Technol. Transf. 13 (5) (2011)
Kei Kawamura, Daisuke Ishii, Hiroshi Watanabe
Automatic Scale Detection for Contour Fragment Based on Difference of Curvature. IEICE Trans. Inf. Syst. (10) (2011)
Shota Yamada, Daisuke Ishii, Satoru Okamoto, Naoaki Yamanaka
Performance Evaluation of TCP/IP over SCTP/IP Parallel Networking with Parallel Route Transmission. IEICE Trans. Commun. (8) (2011)
Keiichiro Hoashi, Chihiro Ono, Daisuke Ishii, Hiroshi Watanabe
Automatic preview generation of comic episodes for digitized comic search. ACM Multimedia (2011)
Hidetoshi Takeshita, Daisuke Ishii, Satoru Okamoto, Eiji Oki, Naoaki Yamanaka
Highly Energy Efficient Layer-3 Network Architecture Based on Service Cloud and Optical Aggregation Network. IEICE Trans. Commun. (4) (2011)
Kunitaka Ashizawa, Kazumasa Tokuhashi, Daisuke Ishii, Satoru Okamoto, Naoaki Yamanaka, Eiji Oki
Efficient singlecast / multicast method For active optical access network using PLZT high-speed optical switches. HPSR (2010)
Sho Shimizu, Wouter Tavernier, Kou Kikuta, Masahiro Nishida, Daisuke Ishii, Satoru Okamoto, Didier Colle, Mario Pickavet, Piet Demeester, Naoaki Yamanaka
Interoperability Experiment of VLAN Tag Swapped Ethernet and Transmitting High Definition Video through the Layer-2 LSP between Japan and Belgium. IEICE Trans. Commun. (3) (2010)
Daisuke Ishii, Kazunori Ueda, Hiroshi Hosobe
Simulation of hybrid systems based on hierarchical interval constraints. SimuTools (2009)
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
A multi-area MPLS/GMPLS interoperability trial over ROADM/OXC network. IEEE Commun. Mag. 47 (2) (2009)
Daisuke Ishii, Masatsugu Shimomura, Hiroshi Yabu
Droplet Manipulation on High Adhesion Superhydrophobic Surfaces. BIODEVICES (2009)
Daisuke Ishii, Kazunori Ueda, Hiroshi Hosobe, Alexandre Goldsztejn
Interval-based Solving of Hybrid Constraint Systems. ADHS (2009)
Daisuke Ishii, Hiroshi Yabu, Masatsugu Shimomura
Micro Droplet Transfer between Superhydrophobic Surfaces via a High Adhesive Superhydrophobic Surface. BIOSTEC (Selected Papers) (2009)
Kou Kikuta, Masahiro Nishida, Daisuke Ishii, Satoru Okamoto, Naoaki Yamanaka
Multi-Domain VLAN Path Signaling Method Having Tag Swapping Function for GMPLS Controlled Wide Area Layer-2 Network. IEICE Trans. Commun. (4) (2009)
Masahiro Hayashitani, Teruo Kasahara, Daisuke Ishii, Yutaka Arakawa, Satoru Okamoto, Naoaki Yamanaka, Naganori Takezawa, Keiichi Nashimoto
10ns High-speed PLZT optical content distribution system having slot-switch and GMPLS controller. IEICE Electron. Express 5 (6) (2008)
Hiroyuki Miyagi, Masahiro Hayashitani, Daisuke Ishii, Yutaka Arakawa, Naoaki Yamanaka
A Deadline-Aware Scheduling Scheme for Wavelength Assignment in l Grid Networks. ICC (2007)
Takanori Ito, Daisuke Ishii, Kohei Okazaki, Naoaki Yamanaka, Iwao Sasase
A Scheduling Algorithm for Reducing Unused Timeslots by Considering Head Gap and Tail Gap in Time Sliced Optical Burst Switched Networks. OpNeTec (2004)