| 2023 | IJCNN | Staged Depthwise Correlation and Feature Fusion for Siamese Object Tracking. | Dianbo Ma, Jianqiang Xiao, Ziyan Gao, Satoshi Yamane |
| 2019 | ACML | Random Projection in Neural Episodic Control. | Daichi Nishio, Satoshi Yamane |
| 2019 | DASC | SMT-Based Bounded Model Checking of Embedded Assembly Program with Interruptions. | Kousuke Uemura, Satoshi Yamane |
| 2018 | COMPSAC | Model Check of Real-time Property of Embedded Assembly Program Using CEGAR. | Hiromu Kamide, Kosuke Uemura, Satoshi Yamane |
| 2018 | COMPSAC | Faster Deep Q-Learning Using Neural Episodic Control. | Daichi Nishio, Satoshi Yamane |
| 2018 | COMPSAC | Model Checking of Embedded Systems Using RTCTL While Generating Timed Kripke Structure. | Yajun Wu, Satoshi Yamane |
| 2018 | COMPSAC | Machine Translation Considering Context Informaiton Using Encoder-Decoder Model. | Satoshi Yamane, Tetsuto Takano |
| 2016 | ICFEM | A Case Study of Formal Approach to Dynamically Reconfigurable Systems by Using Dynamic Linear Hybrid Automata. | Ryo Yanase, Tatsunori Sakai, Makoto Sakai, Satoshi Yamane |
| 2013 | COMPSAC | Development of Model Checker of Dynamic Linear Hybrid Automata. | Ryo Yanase, Tatsunori Sakai, Makoto Sakai, Satoshi Yamane |
| 2005 | EUC | Timed Weak Simulation Verification and Its Application to Stepwise Refinement of Real-Time Software. | Satoshi Yamane |
| 2005 | EUC | Automata-Theoretic Performance Analysis Method of Soft Real-Time Systems. | Satoshi Yamane |
| 2004 | EUC | Deductive Probabilistic Verification Methods for Embedded and Ubiquitous Computing. | Satoshi Yamane, Takashi Kanatani |
| 2003 | COMPSAC | Deductive Schedulability Verification Methodology of Real-Time Software using both Refinement Verification and Hybrid Automata. | Satoshi Yamane |
| 1999 | RTCSA | Real-Time Symbolic Model Checking for Hard Real-Time Systems. | Y. Tachi, Satoshi Yamane |
| 1998 | FM | A Practical Hierarchical Design by Timed Simulation Relations for Real-Time Systems. | Satoshi Yamane |
| 1998 | RTCSA | Hierarchical Design Method for Real-Time Distributed Systems. | Satoshi Yamane |
| 1996 | ECRTS | The Symbolic Model-Checking for Real-Time Systems. | Satoshi Yamane |
| 1996 | RTCSA | The verification technique of real-time systems using probabilities. | Satoshi Yamane |
| 1995 | RTCSA | Verification system for real-time specification based on extended real-time logic. | Satoshi Yamane |