Hiroaki Yoshida

Publication Activity (10 Years)

Years Active: 2002-2024
Publications (10 Years): 40

Top Topics

Voronoi Tessellation

Spatially Correlated

Test Generation

Static Analysis

Top Venues

ICSE (Companion Volume)

Publications

Daisuke Inoue, Yuji Ito, Takahito Kashiwabara, Norikazu Saito, Hiroaki Yoshida
An Uncertainty-aware, Mesh-free Numerical Method for Kolmogorov PDEs. CoRR (2024)
Daisuke Inoue, Hiroshi Yamashita, Kazuyuki Aihara, Hiroaki Yoshida
AMPIC: Adaptive Model Predictive Ising Controller for large-scale urban traffic signals. CoRR (2024)
Shihori Koyama, Daisuke Inoue, Hiroaki Yoshida, Kazuyuki Aihara, Gouhei Tanaka
Predicting unobserved climate time series data at distant areas via spatial correlation using reservoir computing. CoRR (2024)
Akihisa Okada, Hiroaki Yoshida, Kiyosumi Kidono, Tadayoshi Matsumori, Takanori Takeno, Tadashi Kadowaki
Design Optimization of Noise Filter Using Quantum Annealer. IEEE Access 11 (2023)
Daisuke Inoue, Yuji Ito, Takahito Kashiwabara, Norikazu Saito, Hiroaki Yoshida
Partially Centralized Model-Predictive Mean Field Games for controlling multi-agent systems. IFAC J. Syst. Control. 24 (2023)
Keisuke Otaki, Akihisa Okada, Hiroaki Yoshida
Experimental study on the information disclosure problem: Branch-and-bound and QUBO solver. Frontiers Appl. Math. Stat. 9 (2023)
Daisuke Inoue, Yuji Ito, Takahito Kashiwabara, Norikazu Saito, Hiroaki Yoshida
Convergence Analysis of the Upwind Difference Methods for Hamilton-Jacobi-Bellman Equations. CoRR (2023)
Ripon K. Saha, Akira Ura, Sonal Mahajan, Chenguang Zhu, Linyi Li, Yang Hu, Hiroaki Yoshida, Sarfraz Khurshid, Mukul R. Prasad
SAPIENTML: Synthesizing Machine Learning Pipelines by Learning from Human-Written Solutions. ICSE (2022)
Norihiro Oyama, Noriko N. Ishizaki, Satoshi Koide, Hiroaki Yoshida
Deep generative model super-resolves spatially correlated multiregional climate data. CoRR (2022)
Daisuke Inoue, Yuji Ito, Takahito Kashiwabara, Norikazu Saito, Hiroaki Yoshida
A Fictitious-play Finite-difference Method for Linearly Solvable Mean Field Games. CoRR (2022)
Ripon K. Saha, Akira Ura, Sonal Mahajan, Chenguang Zhu, Linyi Li, Yang Hu, Hiroaki Yoshida, Sarfraz Khurshid, Mukul R. Prasad
SapientML: Synthesizing Machine Learning Pipelines by Learning from Human-Written Solutions. CoRR (2022)
Ripon K. Saha, Yingjun Lyu, Hiroaki Yoshida, Mukul R. Prasad
Elixir: Effective object-oriented program repair. CoRR (2021)
Daisuke Inoue, Yuji Ito, Hiroaki Yoshida
Optimal Transport-based Coverage Control for Swarm Robot Systems: Generalization of the Voronoi Tessellation-based Method. ACC (2021)
Gouhei Tanaka, Tadayoshi Matsumori, Hiroaki Yoshida, Kazuyuki Aihara
Reservoir Computing with Diverse Timescales for Prediction of Multiscale Dynamics. CoRR (2021)
Daisuke Inoue, Yuji Ito, Takahito Kashiwabara, Norikazu Saito, Hiroaki Yoshida
Model Predictive Mean Field Games for Controlling Multi-Agent Systems. SMC (2021)
Hiyori Yoshikawa, Tomoya Iwakura, Kimi Kaneko, Hiroaki Yoshida, Yasutaka Kumano, Kazutaka Shimada, Rafal Rzepka, Patrycja Swieczkowska
Tell Me What You Read: Automatic Expertise-Based Annotator Assignment for Text Annotation in Expert Domains. RANLP (2021)
Rohan Bavishi, Shadaj Laddad, Hiroaki Yoshida, Mukul R. Prasad, Koushik Sen
VizSmith: Automated Visualization Synthesis by Mining Data-Science Notebooks. ASE (2021)
Daisuke Inoue, Yuji Ito, Hiroaki Yoshida
Optimal Transport-Based Coverage Control for Swarm Robot Systems: Generalization of the Voronoi Tessellation-Based Method. IEEE Control. Syst. Lett. 5 (4) (2021)
Daisuke Inoue, Akihisa Okada, Tadayoshi Matsumori, Kazuyuki Aihara, Hiroaki Yoshida
Traffic Signal Optimization on a Square Lattice using the D-Wave Quantum Annealer. CoRR (2020)
Daisuke Inoue, Hiroaki Yoshida
Model Predictive Control for Finite Input Systems using the D-Wave Quantum Annealer. CoRR (2020)
Shihori Koyama, Daisuke Inoue, Akihisa Okada, Hiroaki Yoshida
Separation of pedestrian counter flows with an array of obstacles. Artif. Life Robotics 25 (4) (2020)
Daisuke Inoue, Yuji Ito, Hiroaki Yoshida
Optimal Transport-based Coverage Control for Swarm Robot Systems: Generalization of the Voronoi Tessellation-based Method. CoRR (2020)
Hiroaki Yoshida, Rohan Bavishi, Keisuke Hotta, Yusuke Nemoto, Mukul R. Prasad, Shinji Kikuchi
Phoenix: a tool for automated data-driven synthesis of repairs for static analysis violations. ICSE (Companion Volume) (2020)
Daisuke Inoue, Hiroaki Yoshida
Optimal Coverage Control for Swarm Robot Systems using a Mean Field Game. CoRR (2020)
Daisuke Inoue, Daisuke Murai, Hiroaki Yoshida
Stochastic Self-organizing Control for Swarm Robot Systems. ICSI (1) (2019)
Daisuke Inoue, Daisuke Murai, Yasuhiro Ikuta, Hiroaki Yoshida
Distributed Range-based Localization for Swarm Robot Systems using Sensor-fusion Technique. SENSORNETS (2019)
Rohan Bavishi, Hiroaki Yoshida, Mukul R. Prasad
Phoenix: automated data-driven synthesis of repairs for static analysis violations. ESEC/SIGSOFT FSE (2019)
Ripon K. Saha, Yingjun Lyu, Wing Lam, Hiroaki Yoshida, Mukul R. Prasad
Bugs.jar: a large-scale, diverse dataset of real-world Java bugs. MSR (2018)
Ripon K. Saha, Hiroaki Yoshida, Mukul R. Prasad, Susumu Tokumoto, Kuniharu Takayama, Isao Nanba
Elixir: an automated repair tool for Java programs. ICSE (Companion Volume) (2018)
Ben Mehne, Hiroaki Yoshida, Mukul R. Prasad, Koushik Sen, Divya Gopinath, Sarfraz Khurshid
Accelerating Search-Based Program Repair. ICST (2018)
Hiroaki Yamada, Kotaro Ohori, Tadashige Iwao, Akifumi Kira, Naoyuki Kamiyama, Hiroaki Yoshida, Hirokazu Anai
Modeling and Managing Airport Passenger Flow Under Uncertainty: A Case of Fukuoka Airport in Japan. SocInfo (2) (2017)
Hiroaki Yoshida
A Dissipation of Relative Entropy by Diffusion Flows. Entropy 19 (1) (2017)
Hiroaki Yoshida, Guodong Li, Takuki Kamiya, Indradeep Ghosh, Sreeranga P. Rajan, Susumu Tokumoto, Kazuki Munakata, Tadahiro Uehara
KLOVER: Automatic Test Generation for C and C Programs, Using Symbolic Execution. IEEE Softw. 34 (5) (2017)
Shohei Yamane, Kotaro Ohori, Hiroaki Yamada, Hiroaki Yoshida, Hirokazu Anai
Automatic and dynamic grounding method based on sensor data for agent-based simulation. WSC (2017)
Nobuyuki Ohmori, Chihiro Murasawa, Jumpei Aizawa, Hideya Momose, Yoshito Koyama, Hiroshi Kurita, Hiroaki Yoshida, Masayoshi Kamijo
Noise Reduction in Swallowing Muscle Activity Measurement Based on Mixture Gaussian Distribution Model. J. Adv. Comput. Intell. Intell. Informatics 21 (1) (2017)
Ripon K. Saha, Yingjun Lyu, Hiroaki Yoshida, Mukul R. Prasad
ELIXIR: effective object oriented program repair. ASE (2017)
Hiroaki Yoshida, Susumu Tokumoto, Mukul R. Prasad, Indradeep Ghosh, Tadahiro Uehara
FSX: a tool for fine-grained incremental unit test generation for C/C++ programs. SIGSOFT FSE (2016)
Susumu Tokumoto, Hiroaki Yoshida, Kazunori Sakamoto, Shinichi Honiden
MuVM: Higher Order Mutation Analysis Virtual Machine for C. ICST (2016)
Shin Hwei Tan, Hiroaki Yoshida, Mukul R. Prasad, Abhik Roychoudhury
Anti-patterns in search-based program repair. SIGSOFT FSE (2016)
Hiroaki Yoshida, Susumu Tokumoto, Mukul R. Prasad, Indradeep Ghosh, Tadahiro Uehara
FSX: fine-grained incremental unit test generation for C/C++ programs. ISSTA (2016)
Cuong Nguyen, Hiroaki Yoshida, Mukul R. Prasad, Indradeep Ghosh, Koushik Sen
Generating Succinct Test Cases Using Don't Care Analysis. ICST (2015)
Hideaki Mizuhashi, Masayoshi Kamijo, Hiroaki Yoshida, Harumi Tamaki
Investigation of Comfort of Uniform Shirt Made of Cellulose Considering Environmental Load. CISIM (2015)
Hiroaki Yoshida, Makoto Nagaoka
Lattice Boltzmann method for the convection-diffusion equation in curvilinear coordinate systems. J. Comput. Phys. 257 (2014)
Hiroaki Yoshida, Masayuki Wakizaka, Shigeru Yamashita, Masahiro Fujita
An Energy-Efficient Patchable Accelerator and Its Design Methods. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (12) (2014)
Hiroaki Yoshida, Tomoyuki Kinjo, Hitoshi Washizu
Coupled lattice Boltzmann method for simulating electrokinetic flows: A localized scheme for the Nernst-Plank model. Commun. Nonlinear Sci. Numer. Simul. 19 (10) (2014)
Masahiro Fujita, Hiroaki Yoshida
Post-silicon patching for verification/debugging with high-level models and programmable logic. ASP-DAC (2012)
Masahiro Fujita, Hiroaki Yoshida
Post-silicon debugging targeting electrical errors with patchable controllers (abstract only). FPGA (2012)
Hratch Mangassarian, Hiroaki Yoshida, Andreas G. Veneris, Shigeru Yamashita, Masahiro Fujita
On error tolerance and Engineering Change with Partially Programmable Circuits. ASP-DAC (2012)
Miku Hirata, Aya Nemoto, Hiroaki Yoshida
An Integral Representation of the Relative Entropy. Entropy 14 (8) (2012)
Masayuki Wakizaka, Hiroaki Yoshida, Yuko Hara-Azumi, Shigeru Yamashita
A redundant wire addition method for Patchable Accelerator. ICECS (2012)
Hiroaki Yoshida, Masahiro Fujita
An energy-efficient patchable accelerator for post-silicon engineering changes. CODES+ISSS (2011)
Hiroaki Yoshida, Masahiro Fujita
Exact Minimum Factoring of Incompletely Specified Logic Functions via Quantified Boolean Satisfiability. Inf. Media Technol. 6 (2) (2011)
Hiroaki Yoshida, Masahiro Fujita
Exact Minimum Factoring of Incompletely Specified Logic Functions via Quantified Boolean Satisfiability. IPSJ Trans. Syst. LSI Des. Methodol. 4 (2011)
Hiroaki Yoshida, Masahiro Fujita
Performance-Constrained Transistor Sizing for Different Cell Count Minimization. Inf. Media Technol. 6 (1) (2011)
Hiroaki Yoshida, Masahiro Fujita
Performance-Constrained Transistor Sizing for Different Cell Count Minimization. J. Inf. Process. 18 (2010)
Hiroaki Yoshida, Makoto Nagaoka
Multiple-relaxation-time lattice Boltzmann model for the convection and anisotropic diffusion equation. J. Comput. Phys. 229 (20) (2010)
Shanghua Gao, Hiroaki Yoshida, Kenshu Seto, Satoshi Komatsu, Masahiro Fujita
Interconnect-Aware Pipeline Synthesis for Array-Based Architectures. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (6) (2009)
Hiroaki Yoshida, Masahiro Fujita
Improving the accuracy of rule-based equivalence checking of system-level design descriptions by identifying potential internal equivalences. ISQED (2009)
Masahiro Fujita, Takeshi Matsumoto, Hiroaki Yoshida
A HW/SW Co-Reuse Methodology Based on Design Refinement Templates in UML Diagrams. ICSOFT (SE/MUSE/GSDCA) (2008)
Kazuo Aoki, Pierre Degond, Luc Mieussens, Shigeru Takata, Hiroaki Yoshida
A Diffusion Model for Rarefied Flows in Curved Channels. Multiscale Model. Simul. 6 (4) (2008)
Hiroaki Yoshida, Masahiro Fujita
Performance-Constrained Different Cell Count Minimization for Continuously-Sized Circuits. DATE (2008)
Fujine Yano, Hiroaki Yoshida
Some set partition statistics in non-crossing partitions and generating functions. Discret. Math. 307 (24) (2007)
Hiroaki Yoshida, Makoto Ikeda, Kunihiro Asada
A Structural Approach for Transistor Circuit Synthesis. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (12) (2006)
Hiroaki Yoshida, Mitsunori Tada, Masaaki Mochimaru
3D Finite Element Analysis of the frictional behavior of the human fingertip. EMBC (2006)
Mitsunori Tada, Hiroaki Yoshida, Masaaki Mochimaru
Geometric Modeling of Living Tissue for Subject-Specific Finite Element Analysis. EMBC (Supplement) (2006)
Hiroaki Yoshida, Makoto Ikeda, Kunihiro Asada
Exact Minimum Logic Factoring via Quantified Boolean Satisfiability. ICECS (2006)
Ulkuhan Ekinciel, Hiroaki Yamaoka, Hiroaki Yoshida, Makoto Ikeda, Kunihiro Asada
A Performance Driven Module Generator for a Dual-Rail PLA with Embedded 2-Input Logic Cells. IEICE Trans. Inf. Syst. (6) (2005)
Hiroaki Yoshida, Makoto Ikeda, Kunihiro Asada
An algebraic approach for transistor circuit synthesis. ICECS (2005)
Hiroaki Yoshida, Kaushik De, Vamsi Boppana
Accurate pre-layout estimation of standard cell characteristics. DAC (2004)
Mayumi Oto, Masami Takata, Hiroaki Yoshida, Kazuki Joe
A Quantum Algorithm for Searching Web Communities. PDPTA (2002)
Hiroaki Yoshida, Hiroaki Yamaoka, Makoto Ikeda, Kunihiro Asada
Logic synthesis for PLA with 2-input logic elements. ISCAS (3) (2002)
Hiroaki Yoshida, Motohiro Sera, Masao Kubo, Masahiro Fujita
Simultaneous Circuit Transformation and Routing. VLSI Design (2002)
Hiroaki Yoshida, Hiroaki Yamaoka, Makoto Ikeda, Kunihiro Asada
Logic Synthesis for AND-XOR-OR Type Sense-Amplifying PLA. VLSI Design (2002)