Satoshi Yamane

Publication Activity (10 Years)

Years Active: 1995-2024
Publications (10 Years): 62

Top Topics

Hybrid Automata

Top Venues

CANDAR (Workshops)

IEICE Trans. Inf. Syst.

Publications

Ryoma Furuyama, Daiki Kuyoshi, Satoshi Yamane
Extrinsicaly Rewarded Soft Q Imitation Learning with Discriminator. CoRR (2024)
Shunya Kidera, Kosuke Shintani, Toi Tsuneda, Satoshi Yamane
Combined Constraint on Behavior Cloning and Discriminator in Offline Reinforcement Learning. IEEE Access 12 (2024)
Dianbo Ma, Jianqiang Xiao, Ziyan Gao, Satoshi Yamane
Staged Depthwise Correlation and Feature Fusion for Siamese Object Tracking. IJCNN (2023)
Dianbo Ma, Jianqiang Xiao, Ziyan Gao, Satoshi Yamane
Staged Depthwise Correlation and Feature Fusion for Siamese Object Tracking. CoRR (2023)
Kaixu Chen, Satoshi Yamane
Enhanced Full Attention Generative Adversarial Networks. IEICE Trans. Inf. Syst. 106 (5) (2023)
Yuta Suzuki, Daiki Kuyoshi, Satoshi Yamane
Single and Ensemble CNN Models with Out-Category Penalty for Image Classification. Int. J. Netw. Comput. 12 (2) (2022)
Kuniyasu Imade, Taro Kiriyama, Satoshi Yamane
Regularization to Suppress Mode Collapse in GANs Using Image Similarity. GCCE (2022)
Tongdan Jin, Kaixu Chen, Satoshi Yamane, Yoshihiro Kuroda
M-DenseUNet: Multi Dense Encoder Connected UNet for Biomedical Image Segmentation. GCCE (2022)
Zhengxuan Zhao, Kaixu Chen, Satoshi Yamane
CBAM-Unet++: easier to find the target with the attention module "CBAM". GCCE (2021)
Toshiki Hatano, Toi Tsuneda, Yuta Suzuki, Kuniyasu Imade, Kazuki Shesimo, Satoshi Yamane
GBDT Modeling of Deep Reinforcement Learning Agents Using Distillation. ICM (2021)
Yuta Suzuki, Toi Tsuneda, Daiki Kuyoshi, Satoshi Yamane
A Classifier for Reducing Numerical Errors using Ensemble Method. GCCE (2021)
Zhiying Zhou, Jianqiang Xiao, Satoshi Yamane
SAFPN: Self Adapted Feature Pyramid Networks for Object Detection. GCCE (2021)
Jianqiang Xiao, Satoshi Yamane
Shuffle in 3D: A Lightweight Architecture for Stereo Matching. GCCE (2021)
Toi Tsuneda, Taro Kiriyama, Kousuke Shintani, Satoshi Yamane
GANs with Suppressed Mode Collapse Using Intrinsic Rewards. CANDAR (Workshops) (2021)
Toi Tsuneda, Kuniyasu Imade, Kousuke Shintani, Satoshi Yamane
Enhanced EVA with Threshold Limit of Similarity. GCCE (2021)
Daiki Kuyoshi, Yuta Suzuki, Satoshi Yamane
Proposal of Ephemeral Value Adjustment with Dimensionality Reduction in Deep Reinforcement Learning. GCCE (2021)
Kaixu Chen, Zhengxuan Zhao, Satoshi Yamane
Enhanced Conditions Based Deep Convolutional Generative Adversarial Networks. GCCE (2021)
Toshiki Hatano, Toi Tsuneda, Satoshi Yamane
A study of DQN using VisionTransformer as an image extractor. GCCE (2021)
Kuniyasu Imade, Toi Tsuneda, Satoshi Yamane, Kousuke Shintani, Taro Kiriyama
Loss Function of GAN to Make a Clear Judgment. CANDAR (Workshops) (2021)
Jianqiang Xiao, Dianbo Ma, Satoshi Yamane
Optimizing 3D Convolution Kernels on Stereo Matching for Resource Efficient Computations. Sensors 21 (20) (2021)
Taro Kiriyama, Yajun Wu, Satoshi Yamane
Reduction of Timer Interrupts for Embedded Assembly Programs Based on Reduction of Interrupt Handler Executions. GCCE (2021)
Toshiki Hatano, Taro Kiriyama, Toi Tsuneda, Satoshi Yamane
Accelerating Model Validation by Reconstructing Image Sets Using GAN. CSCI (2021)
Yuta Suzuki, Daiki Kuyoshi, Satoshi Yamane
Single and Ensemble CNN Models with Out-Category Penalty in Cifar 10. CANDAR (Workshops) (2021)
Yuta Suzuki, Toshiki Hatano, Toi Tsuneda, Daiki Kuyoshi, Satoshi Yamane
An Image Classification Model that Learns Image Features and Numerical Information. Int. J. Netw. Comput. 11 (2) (2021)
Xie Zhang, Mo Li, Satoshi Yamane
Population Based Training for Text Classification Using Convolutional Neural Network. GCCE (2021)
Toshiki Hatano, Satoshi Yamane
Boosting Binary Neural Networks for FPGA. GCCE (2020)
Daiki Kuyoshi, Toi Tsuneda, Satoshi Yamane
Rainbow with Episodic Memory in Deep Reinforcement Learning. GCCE (2020)
Toi Tsuneda, Daiki Kuyoshi, Satoshi Yamane
Q-learning in Continuous Action Space by Extending EVA. CANDAR (Workshops) (2020)
Yajun Wu, Satoshi Yamane
Model Checking of Real-Time Properties for Embedded Assembly Program Using Real-Time Temporal Logic RTCTL and Its Application to Real Microcontroller Software. IEICE Trans. Inf. Syst. (4) (2020)
Daichi Nishio, Daiki Kuyoshi, Toi Tsuneda, Satoshi Yamane
Discriminator Soft Actor Critic without Extrinsic Rewards. CoRR (2020)
Yuta Suzuki, Satoshi Yamane
Transfer Learning Model for Image Segmentation by Integrating U-Net ++ and SE Block. GCCE (2020)
Nishiki Katayama, Satoshi Yamane
Angle Estimation Network Using Polar Transformation for Object Classification. GCCE (2020)
Mo Li, Xie Zhang, Satoshi Yamane, Ang Yang Lin
Text Classification using Convolutional Neural Network by Genetic Algorithms. GCCE (2020)
Kazuki Takamura, Satoshi Yamane
Proposal of Quantized Tree-LSTM and Its Experimental Evaluation. GCCE (2020)
Yajun Wu, Hiromu Kamide, Satoshi Yamane
Software Model Checking for Real-time Properties of Embedded Assembly Programs Based on Lazy Abstraction and Refinement. GCCE (2020)
Kazuki Seshimo, Akira Ota, Daichi Nishio, Satoshi Yamane
Practical Evaluation of Online Heterogeneous Machine Learning. IEICE Trans. Inf. Syst. (12) (2020)
Toshiki Hatano, Toi Tsuneda, Yuta Suzuki, Kousuke Shintani, Satoshi Yamane
Image Classification with Additional Non-decision Labels using Self-supervised learning and GAN. CANDAR (Workshops) (2020)
Daiki Kuyoshi, Kuniyasu Imade, Satoshi Yamane
Efficient Exploration by Decision Making Considering Curiosity and Episodic Memory in Deep Reinforcement Learning. CANDAR (Workshops) (2020)
Yuta Suzuki, Toshiki Hatano, Toi Tsuneda, Satoshi Yamane
An Image Classification Model that Learns MNIST Image Features and Numerical Information. CANDAR (Workshops) (2020)
Satoshi Yamane, Kosuke Uemura
Comparative Experiment of SPIN and SMT in Model Checking of Embedded Assembly Program. GCCE (2020)
Daichi Nishio, Toi Tsuneda, Daiki Kuyoshi, Satoshi Yamane
Discriminator Soft Actor Critic without Extrinsic Rewards. GCCE (2020)
Daichi Nishio, Satoshi Yamane
Random Projection in Neural Episodic Control. ACML (2019)
Kazuki Seshimo, Akira Ota, Daichi Nishio, Satoshi Yamane
Online Heterogeneous Mixture Learning for Big Data. CoRR (2019)
Kazuki Takamura, Satoshi Yamane
Improving Minimal Gated Unit for Sequential Data. CoRR (2019)
Satoshi Yamane, Kouki Matsuo
Gap Detection Using Convolutional Neural Network and Adaptive Control in Robotic Plasma Welding. Int. J. Autom. Technol. 13 (6) (2019)
Kazuki Seshimo, Akira Ota, Daichi Nishio, Satoshi Yamane
Online Heterogeneous Mixture Learning for Big Data. GCCE (2019)
Kousuke Uemura, Satoshi Yamane
SMT-Based Bounded Model Checking of Embedded Assembly Program with Interruptions. DASC/PiCom/DataCom/CyberSciTech (2019)
Tetsuto Takano, Satoshi Yamane
Machine translation considering context information using Encoder-Decoder model. CoRR (2019)
Hiroki Kawakami, Satoshi Yamane
Generalize IoT Device's Client Application with Virtual Machine. GCCE (2019)
Kazuki Takamura, Satoshi Yamane
Improving Minimal Gated Unit for Sequential Data. GCCE (2019)
Daichi Nishio, Satoshi Yamane
Random Projection in Neural Episodic Control. CoRR (2019)
Yajun Wu, Satoshi Yamane
Model Checking of Embedded Systems Using RTCTL While Generating Timed Kripke Structure. COMPSAC (1) (2018)
Hiromu Kamide, Kosuke Uemura, Satoshi Yamane
Model Check of Real-time Property of Embedded Assembly Program Using CEGAR. COMPSAC (1) (2018)
Daichi Nishio, Satoshi Yamane
Faster Deep Q-learning using Neural Episodic Control. CoRR (2018)
Daichi Nishio, Satoshi Yamane
Faster Deep Q-Learning Using Neural Episodic Control. COMPSAC (1) (2018)
Satoshi Yamane, Tetsuto Takano
Machine Translation Considering Context Informaiton Using Encoder-Decoder Model. COMPSAC (1) (2018)
Satoshi Yamane, Ryosuke Konoshita, Tomonori Kato
Model Checking of Embedded Assembly Program Based on Simulation. IEICE Trans. Inf. Syst. (8) (2017)
Nishiki Katayama, Satoshi Yamane
Recognition of rotated images by angle estimation using feature map with CNN. GCCE (2017)
Satoshi Yamane
Deductively verifying embedded software in the era of artificial intelligence = machine learning + software science. GCCE (2017)
Koki Hamaya, Satoshi Yamane
Detecting bank conflict of GPU programs using symbolic execution. GCCE (2016)
Yuki Ono, Kouhei Sakurai, Satoshi Yamane
LogChamber: Inferring Source Code Locations Corresponding to Mobile Applications Run-time Logs. J. Inf. Process. 24 (4) (2016)
Ryo Yanase, Tatsunori Sakai, Makoto Sakai, Satoshi Yamane
A Case Study of Formal Approach to Dynamically Reconfigurable Systems by Using Dynamic Linear Hybrid Automata. ICFEM (2016)
Takumi Adachi, Satoshi Yamane, Kohei Sakurai
Distributed CFG-based symbolic execution for assembly programs. GCCE (2015)
Ryo Yanase, Tatsunori Sakai, Makoto Sakai, Satoshi Yamane
Formal verification of dynamically reconfigurable systems. GCCE (2015)
Satoshi Yamane, Takaya Shimizu
Development of probabilistic timed CEGAR. ICSAI (2014)
Ryosuke Konoshita, Kouhei Sakurai, Satoshi Yamane
Model generation by the exhaustive search for embedded assembly programs and application to model checking. GCCE (2014)
Jumpei Kobashi, Satoshi Yamane, Atsushi Takeshita
Development of SMT-Based Bounded Model Checker for embedded assembly program. GCCE (2014)
Ryo Yanase, Tatsunori Sakai, Makoto Sakai, Satoshi Yamane
Development of Model Checker of Dynamic Linear Hybrid Automata. COMPSAC (2013)
Satoshi Yamane
Special Section on Concurrent/Real-time and Hybrid Systems: Theory and Applications. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (11) (2008)
Satoshi Yamane
Theory and Practice of Probabilistic Timed Game for Embedded Systems. ICESS (2007)
Satoshi Yamane
Timed Weak Simulation Verification and Its Application to Stepwise Refinement of Real-Time Software. EUC (2005)
Satoshi Yamane
Automata-Theoretic Performance Analysis Method of Soft Real-Time Systems. EUC Workshops (2005)
Yosuke Mutsuda, Takaaki Kato, Satoshi Yamane
Symbolic Reachability Analysis of Probabilistic Linear Hybrid Automata. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (11) (2005)
Satoshi Yamane
Deductive Probabilistic Verification Methods of Safety, Liveness and Nonzenoness for Distributed Real-Time Systems. ICESS (2005)
Yosuke Mutsuda, Takaaki Kato, Satoshi Yamane
Specification and Verification Techniques of Embedded Systems Using Probabilistic Linear Hybrid Automata. ICESS (2005)
Satoshi Yamane, Kazuhiro Nakamura
Development and evaluation of symbolic model checker based on approximation for real-time systems. Systems and Computers in Japan 35 (10) (2004)
Satoshi Yamane, Takashi Kanatani
Deductive Probabilistic Verification Methods for Embedded and Ubiquitous Computing. EUC (2004)
Satoshi Yamane
Deductive Verification of Probabilistic Real-Time Systems. ICDCS Workshops (2004)
Satoshi Yamane
Deductive Schedulability Verification Methodology of Real-Time Software using both Refinement Verification and Hybrid Automata. COMPSAC (2003)
Satoshi Yamane
Formal Probabilistic Refinement Verification of Embedded Real-Time Systems. WSTFES (2003)
Satoshi Yamane
Probabilistic Timed Simulation Verification and Its Application to Stepwise Refinement of Real-Time Systems. ASIAN (2003)
Y. Tachi, Satoshi Yamane
Real-Time Symbolic Model Checking for Hard Real-Time Systems. RTCSA (1999)
Kazuhiko Eguchi, Junya Suzuki, Satoshi Yamane, Kenji Oshima
An Application of Genetic Algorithms to Floorplanning of VLSI. Rough Sets and Current Trends in Computing (1998)
Satoshi Yamane
A Practical Hierarchical Design by Timed Simulation Relations for Real-Time Systems. FM-Trends (1998)
Satoshi Yamane
Hierarchical Design Method for Real-Time Distributed Systems. RTCSA (1998)
Satoshi Yamane, Kazuhiro Okada, Kenji Shinoda, Kenji Oshima
Traffic Signal Control Using Multi-layered Fuzzy Control. Rough Sets and Current Trends in Computing (1998)
Satoshi Yamane
Automatic Effective Verification Method for Distributed and Concurrent Systems Using Timed Language Inclusion. Scalable Comput. Pract. Exp. 1 (2) (1998)
Kazuhiko Eguchi, Satoshi Yamane, Hideo Sugi, Kenji Oshima
Sensing of Arc Length and Wire Extension Using Neural Network in Robotic Welding. Rough Sets and Current Trends in Computing (1998)
Kazuhiro Nakamura, Satoshi Yamane
Formal Verification of Real-Time Software by Symbolic Model-Checker. ACSD (1998)
Satoshi Yamane
A method for the specification and verification of distributed systems by a timed automaton. Systems and Computers in Japan 28 (2) (1997)
Satoshi Yamane
Formal Specification and Verification Method of Concurrent and Distributed Systems by Restricted Timed Automata. ARTS (1997)
Satoshi Yamane, Kazuhiro Nakamura
Symbolic Model-Checking Method Based on Approximations and Binary Decision Diagrams for Real-Time Systems. TACS (1997)
Satoshi Yamane
Object-oriented method for real-time systems based on timed automaton. WORDS (1996)
Satoshi Yamane
The Symbolic Model-Checking for Real-Time Systems. RTS (1996)
Satoshi Yamane
Proposal of hybrid verification method in asynchronous real-time software including timing constraints specification. Systems and Computers in Japan 27 (5) (1996)
Satoshi Yamane
The verification technique of real-time systems using probabilities. RTCSA (1996)
Satoshi Yamane
Verification system for real-time specification based on extended real-time logic. RTCSA (1995)
Satoshi Yamane
Real-Time Object-Oriented Method. OOIS (1995)
Satoshi Yamane
Formal Timing Verification Techniques for Distributed System . FTDCS (1995)