Formal Timing Verification Techniques for Distributed System . - Satoshi Yamane (FTDCS, 1995)

Real-Time Object-Oriented Method. - Satoshi Yamane (OOIS, 1995)

Verification system for real-time specification based on extended real-time logic. - Satoshi Yamane (RTCSA, 1995)

The Symbolic Model-Checking for Real-Time Systems. - Satoshi Yamane (RTS, 1996)

The verification technique of real-time systems using probabilities. - Satoshi Yamane (RTCSA, 1996)

Object-oriented method for real-time systems based on timed automaton. - Satoshi Yamane (WORDS, 1996)

Proposal of hybrid verification method in asynchronous real-time software including timing constraints specification. - Satoshi Yamane (Syst. Comput. Jpn., 1996)

Formal Specification and Verification Method of Concurrent and Distributed Systems by Restricted Timed Automata. - Satoshi Yamane (ARTS, 1997)

Symbolic Model-Checking Method Based on Approximations and Binary Decision Diagrams for Real-Time Systems. - Satoshi Yamane; Kazuhiro Nakamura (TACS, 1997)

A method for the specification and verification of distributed systems by a timed automaton. - Satoshi Yamane (Syst. Comput. Jpn., 1997)

Formal Verification of Real-Time Software by Symbolic Model-Checker. - Kazuhiro Nakamura; Satoshi Yamane (ACSD, 1998)

A Practical Hierarchical Design by Timed Simulation Relations for Real-Time Systems. - Satoshi Yamane (FM-Trends, 1998)

An Application of Genetic Algorithms to Floorplanning of VLSI. - Kazuhiko Eguchi; Junya Suzuki; Satoshi Yamane; Kenji Oshima (Rough Sets and Current Trends in Computing, 1998)

Sensing of Arc Length and Wire Extension Using Neural Network in Robotic Welding. - Kazuhiko Eguchi; Satoshi Yamane; Hideo Sugi; Kenji Oshima (Rough Sets and Current Trends in Computing, 1998)

Traffic Signal Control Using Multi-layered Fuzzy Control. - Satoshi Yamane; Kazuhiro Okada; Kenji Shinoda; Kenji Oshima (Rough Sets and Current Trends in Computing, 1998)

Hierarchical Design Method for Real-Time Distributed Systems. - Satoshi Yamane (RTCSA, 1998)

Automatic Effective Verification Method for Distributed and Concurrent Systems Using Timed Language Inclusion. - Satoshi Yamane (Parallel Distributed Comput. Pract., 1998)

Real-Time Symbolic Model Checking for Hard Real-Time Systems. - Y. Tachi; Satoshi Yamane (RTCSA, 1999)

Probabilistic Timed Simulation Verification and Its Application to Stepwise Refinement of Real-Time Systems. - Satoshi Yamane (ASIAN, 2003)

Deductive Schedulability Verification Methodology of Real-Time Software using both Refinement Verification and Hybrid Automata. - Satoshi Yamane (COMPSAC, 2003)

Formal Probabilistic Refinement Verification of Embedded Real-Time Systems. - Satoshi Yamane (WSTFES, 2003)

Deductive Probabilistic Verification Methods for Embedded and Ubiquitous Computing. - Satoshi Yamane; Takashi Kanatani (EUC, 2004)

Deductive Verification of Probabilistic Real-Time Systems. - Satoshi Yamane (ICDCS Workshops, 2004)

Development and evaluation of symbolic model checker based on approximation for real-time systems. - Satoshi Yamane; Kazuhiro Nakamura (Syst. Comput. Jpn., 2004)

Timed Weak Simulation Verification and Its Application to Stepwise Refinement of Real-Time Software. - Satoshi Yamane (EUC, 2005)

Automata-Theoretic Performance Analysis Method of Soft Real-Time Systems. - Satoshi Yamane (EUC Workshops, 2005)

Specification and Verification Techniques of Embedded Systems Using Probabilistic Linear Hybrid Automata. - Yosuke Mutsuda; Takaaki Kato; Satoshi Yamane (ICESS, 2005)

Deductive Probabilistic Verification Methods of Safety, Liveness and Nonzenoness for Distributed Real-Time Systems. - Satoshi Yamane (ICESS, 2005)

Symbolic Reachability Analysis of Probabilistic Linear Hybrid Automata. - Yosuke Mutsuda; Takaaki Kato; Satoshi Yamane (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2005)

Theory and Practice of Probabilistic Timed Game for Embedded Systems. - Satoshi Yamane (ICESS, 2007)

Special Section on Concurrent/Real-time and Hybrid Systems: Theory and Applications. - Satoshi Yamane (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2008)

Development of Model Checker of Dynamic Linear Hybrid Automata. - Ryo Yanase; Tatsunori Sakai; Makoto Sakai; Satoshi Yamane (COMPSAC, 2013)

Development of SMT-Based Bounded Model Checker for embedded assembly program. - Jumpei Kobashi; Satoshi Yamane; Atsushi Takeshita (GCCE, 2014)

Model generation by the exhaustive search for embedded assembly programs and application to model checking. - Ryosuke Konoshita; Kouhei Sakurai; Satoshi Yamane (GCCE, 2014)

Development of probabilistic timed CEGAR. - Satoshi Yamane; Takaya Shimizu (ICSAI, 2014)

Distributed CFG-based symbolic execution for assembly programs. - Takumi Adachi; Satoshi Yamane; Kohei Sakurai (GCCE, 2015)

Formal verification of dynamically reconfigurable systems. - Ryo Yanase; Tatsunori Sakai; Makoto Sakai; Satoshi Yamane (GCCE, 2015)

Detecting bank conflict of GPU programs using symbolic execution. - Koki Hamaya; Satoshi Yamane (GCCE, 2016)

A Case Study of Formal Approach to Dynamically Reconfigurable Systems by Using Dynamic Linear Hybrid Automata. - Ryo Yanase; Tatsunori Sakai; Makoto Sakai; Satoshi Yamane (ICFEM, 2016)

LogChamber: Inferring Source Code Locations Corresponding to Mobile Applications Run-time Logs. - Yuki Ono; Kouhei Sakurai; Satoshi Yamane (J. Inf. Process., 2016)

Recognition of rotated images by angle estimation using feature map with CNN. - Nishiki Katayama; Satoshi Yamane (GCCE, 2017)

Deductively verifying embedded software in the era of artificial intelligence = machine learning + software science. - Satoshi Yamane (GCCE, 2017)

Model Checking of Embedded Assembly Program Based on Simulation. - Satoshi Yamane; Ryosuke Konoshita; Tomonori Kato (IEICE Trans. Inf. Syst., 2017)

Model Check of Real-time Property of Embedded Assembly Program Using CEGAR. - Hiromu Kamide; Kosuke Uemura; Satoshi Yamane (COMPSAC (1), 2018)

Faster Deep Q-Learning Using Neural Episodic Control. - Daichi Nishio; Satoshi Yamane (COMPSAC (1), 2018)

Model Checking of Embedded Systems Using RTCTL While Generating Timed Kripke Structure. - Yajun Wu; Satoshi Yamane (COMPSAC (1), 2018)

Machine Translation Considering Context Informaiton Using Encoder-Decoder Model. - Satoshi Yamane; Tetsuto Takano (COMPSAC (1), 2018)

Random Projection in Neural Episodic Control. - Daichi Nishio; Satoshi Yamane (ACML, 2019)

SMT-Based Bounded Model Checking of Embedded Assembly Program with Interruptions. - Kousuke Uemura; Satoshi Yamane (DASC/PiCom/DataCom/CyberSciTech, 2019)

Generalize IoT Device's Client Application with Virtual Machine. - Hiroki Kawakami; Satoshi Yamane (GCCE, 2019)

Online Heterogeneous Mixture Learning for Big Data. - Kazuki Seshimo; Akira Ota; Daichi Nishio; Satoshi Yamane (GCCE, 2019)

Improving Minimal Gated Unit for Sequential Data. - Kazuki Takamura; Satoshi Yamane (GCCE, 2019)

Machine translation considering context information using Encoder-Decoder model. - Tetsuto Takano; Satoshi Yamane (CoRR, 2019)

Gap Detection Using Convolutional Neural Network and Adaptive Control in Robotic Plasma Welding. - Satoshi Yamane; Kouki Matsuo (Int. J. Autom. Technol., 2019)

Boosting Binary Neural Networks for FPGA. - Toshiki Hatano; Satoshi Yamane (GCCE, 2020)

Angle Estimation Network Using Polar Transformation for Object Classification. - Nishiki Katayama; Satoshi Yamane (GCCE, 2020)

Rainbow with Episodic Memory in Deep Reinforcement Learning. - Daiki Kuyoshi; Toi Tsuneda; Satoshi Yamane (GCCE, 2020)

Text Classification using Convolutional Neural Network by Genetic Algorithms. - Mo Li; Xie Zhang; Satoshi Yamane; Ang Yang Lin (GCCE, 2020)

Discriminator Soft Actor Critic without Extrinsic Rewards. - Daichi Nishio; Toi Tsuneda; Daiki Kuyoshi; Satoshi Yamane (GCCE, 2020)

Transfer Learning Model for Image Segmentation by Integrating U-Net ++ and SE Block. - Yuta Suzuki; Satoshi Yamane (GCCE, 2020)

Proposal of Quantized Tree-LSTM and Its Experimental Evaluation. - Kazuki Takamura; Satoshi Yamane (GCCE, 2020)

Software Model Checking for Real-time Properties of Embedded Assembly Programs Based on Lazy Abstraction and Refinement. - Yajun Wu; Hiromu Kamide; Satoshi Yamane (GCCE, 2020)

Comparative Experiment of SPIN and SMT in Model Checking of Embedded Assembly Program. - Satoshi Yamane; Kosuke Uemura (GCCE, 2020)

Image Classification with Additional Non-decision Labels using Self-supervised learning and GAN. - Toshiki Hatano; Toi Tsuneda; Yuta Suzuki; Kousuke Shintani; Satoshi Yamane (CANDAR (Workshops), 2020)

Efficient Exploration by Decision Making Considering Curiosity and Episodic Memory in Deep Reinforcement Learning. - Daiki Kuyoshi; Kuniyasu Imade; Satoshi Yamane (CANDAR (Workshops), 2020)

An Image Classification Model that Learns MNIST Image Features and Numerical Information. - Yuta Suzuki; Toshiki Hatano; Toi Tsuneda; Satoshi Yamane (CANDAR (Workshops), 2020)

Q-learning in Continuous Action Space by Extending EVA. - Toi Tsuneda; Daiki Kuyoshi; Satoshi Yamane (CANDAR (Workshops), 2020)

Practical Evaluation of Online Heterogeneous Machine Learning. - Kazuki Seshimo; Akira Ota; Daichi Nishio; Satoshi Yamane (IEICE Trans. Inf. Syst., 2020)

Model Checking of Real-Time Properties for Embedded Assembly Program Using Real-Time Temporal Logic RTCTL and Its Application to Real Microcontroller Software. - Yajun Wu; Satoshi Yamane (IEICE Trans. Inf. Syst., 2020)

Accelerating Model Validation by Reconstructing Image Sets Using GAN. - Toshiki Hatano; Taro Kiriyama; Toi Tsuneda; Satoshi Yamane (CSCI, 2021)

Enhanced Conditions Based Deep Convolutional Generative Adversarial Networks. - Kaixu Chen; Zhengxuan Zhao; Satoshi Yamane (GCCE, 2021)

A study of DQN using VisionTransformer as an image extractor. - Toshiki Hatano; Toi Tsuneda; Satoshi Yamane (GCCE, 2021)

Reduction of Timer Interrupts for Embedded Assembly Programs Based on Reduction of Interrupt Handler Executions. - Taro Kiriyama; Yajun Wu; Satoshi Yamane (GCCE, 2021)

Proposal of Ephemeral Value Adjustment with Dimensionality Reduction in Deep Reinforcement Learning. - Daiki Kuyoshi; Yuta Suzuki; Satoshi Yamane (GCCE, 2021)

A Classifier for Reducing Numerical Errors using Ensemble Method. - Yuta Suzuki; Toi Tsuneda; Daiki Kuyoshi; Satoshi Yamane (GCCE, 2021)

Enhanced EVA with Threshold Limit of Similarity. - Toi Tsuneda; Kuniyasu Imade; Kousuke Shintani; Satoshi Yamane (GCCE, 2021)

Shuffle in 3D: A Lightweight Architecture for Stereo Matching. - Jianqiang Xiao; Satoshi Yamane (GCCE, 2021)

Population Based Training for Text Classification Using Convolutional Neural Network. - Xie Zhang; Mo Li; Satoshi Yamane (GCCE, 2021)

CBAM-Unet++: easier to find the target with the attention module "CBAM". - Zhengxuan Zhao; Kaixu Chen; Satoshi Yamane (GCCE, 2021)

SAFPN: Self Adapted Feature Pyramid Networks for Object Detection. - Zhiying Zhou; Jianqiang Xiao; Satoshi Yamane (GCCE, 2021)

Loss Function of GAN to Make a Clear Judgment. - Kuniyasu Imade; Toi Tsuneda; Satoshi Yamane; Kousuke Shintani; Taro Kiriyama (CANDAR (Workshops), 2021)

Single and Ensemble CNN Models with Out-Category Penalty in Cifar 10. - Yuta Suzuki; Daiki Kuyoshi; Satoshi Yamane (CANDAR (Workshops), 2021)

GANs with Suppressed Mode Collapse Using Intrinsic Rewards. - Toi Tsuneda; Taro Kiriyama; Kousuke Shintani; Satoshi Yamane (CANDAR (Workshops), 2021)

GBDT Modeling of Deep Reinforcement Learning Agents Using Distillation. - Toshiki Hatano; Toi Tsuneda; Yuta Suzuki; Kuniyasu Imade; Kazuki Shesimo; Satoshi Yamane (ICM, 2021)

An Image Classification Model that Learns Image Features and Numerical Information. - Yuta Suzuki; Toshiki Hatano; Toi Tsuneda; Daiki Kuyoshi; Satoshi Yamane (Int. J. Netw. Comput., 2021)

Optimizing 3D Convolution Kernels on Stereo Matching for Resource Efficient Computations. - Jianqiang Xiao; Dianbo Ma; Satoshi Yamane (Sensors, 2021)

Regularization to Suppress Mode Collapse in GANs Using Image Similarity. - Kuniyasu Imade; Taro Kiriyama; Satoshi Yamane (GCCE, 2022)

M-DenseUNet: Multi Dense Encoder Connected UNet for Biomedical Image Segmentation. - Tongdan Jin; Kaixu Chen; Satoshi Yamane; Yoshihiro Kuroda (GCCE, 2022)

Single and Ensemble CNN Models with Out-Category Penalty for Image Classification. - Yuta Suzuki; Daiki Kuyoshi; Satoshi Yamane (Int. J. Netw. Comput., 2022)

Staged Depthwise Correlation and Feature Fusion for Siamese Object Tracking. - Dianbo Ma; Jianqiang Xiao; Ziyan Gao; Satoshi Yamane (IJCNN, 2023)

Enhanced Full Attention Generative Adversarial Networks. - Kaixu Chen; Satoshi Yamane (IEICE Trans. Inf. Syst., 2023)

Combined Constraint on Behavior Cloning and Discriminator in Offline Reinforcement Learning. - Shunya Kidera; Kosuke Shintani; Toi Tsuneda; Satoshi Yamane (IEEE Access, 2024)

Extrinsicaly Rewarded Soft Q Imitation Learning with Discriminator. - Ryoma Furuyama; Daiki Kuyoshi; Satoshi Yamane (CoRR, 2024)

HMAFlow: Learning More Accurate Optical Flow via Hierarchical Motion Field Alignment. - Dianbo Ma; Kousuke Imamura; Ziyan Gao; Xiangjie Wang; Satoshi Yamane (CoRR, 2024)

Specification and Verification Method of Parallel Hierarchical Timed Automata by Predicate Abstraction and Refinement. - Satoshi Yamane (IEEE Access, 2025)

Enhancing small traffic sign recognition based on an improved YOLOv8 algorithm. - Xiaoqing Zhang; Weixi Wang; Qi Wang; Liang Shan 003; Satoshi Yamane; Bochao Zheng; Sifan Liu; Tianxing Shen; Dongming Ge (Signal Image Video Process., 2025)