Daisuke Ishii

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