Satoshi Munakata -

Registered user since Fri 7 Apr 2023

Name:Satoshi Munakata

Country:Japan

Affiliation:Fujitsu

Research interests:Software Engineering, Machine Learning, Formal Method

Contributions

2023

ICSE

Author of Towards formal repair and verification of industry-scale deep neural networks within the Industry Forum-track

NFM

Author of Verifying Attention Robustness of Deep Neural Networks against Semantic Perturbations within the NFM 2023-track

2022

APSEC

Author of P03: Verifying Attention Robustness of Deep Neural Networks against Semantic Perturbations within the Posters-track