Yamane Satoshi

ヤマネサトシ | Yamane Satoshi

Affiliation and department：
Homepage URL (1)： http://csl.ec.t.kanazawa-u.ac.jp/

Research field (1)： Software

Research keywords (2)： Machine Learning , software model checking, computer software, formal verification, real-time systems

Research theme for competitive and other funds (11)：

2021 - 2024 Software model checking for real-time properties of embedded assembply program with interruptions
2018 - 2021 Software model checking of real-time safety properties for embedded assembly program
2015 - 2018 Verifying safety properties of embedded assembly program using innovative software model checking
2014 - 2017 Research and development of a software infrastructure dealing with execution histories for various applications
2012 - 2015 Advanced methods of design and verification for dynamically reconfigurable embedded systems

Show all

Papers (138)：

畑山優太, 川上凱己, 山根智. Depth-wise Convolution にMulti-Head Self Attentionの特徴を持たせたMulti-Head dynamic depthwise convolutionの提案. 電子情報通信学会論文誌. 2025. 108. 1
Shunya Kidera, Kosuke Shintani, Toi Tsuneda, Satoshi Yamane. Combined Constraint on Behavior Cloning and Discriminator in Offline Reinforcement Learning. IEEE Access. 2024
Satoshi Yamane, Taro Kriyama, Yajun Wu. An Efficient Reduction of Timer Interrupts for Model Checking of Embedded Assembly Programs. Electronics. 2024. 13. 2
Shunya KIDERA, Kosuke SHINTANI, Toi TSUNEDA, Satoshi YAMANE. Combined Constraint on Behavior Cloning and Discriminator in Offline Reinforcement Learning (Extended Abstract). IEICE Technical Report. 2024. MSS2023. 56. 25-30
Ryoma FURUYAMA, Daiki KUYOSHI, Satoshi YAMANE. Extrinsicaly Rewarded Soft Q Imitation Learning with Discriminator (Extended Abstract). IEICE Technical Report. 2024. MSS2023-55. 55. 19-24

ｍore...

MISC (173)：

ｍore...

Education (3)：

Professional career (1)：

Work history (2)：

Awards (5)：

※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page