Yamagata Yoriyuki

ヤマガタヨリユキ | Yamagata Yoriyuki

Affiliation and department：
Job title： Senior Researcher
Homepage URL (2)： https://yoriyuki.github.io/index-ja.html , https://yoriyuki.github.io

Research field (3)： Software , Information theory , Basic mathematics

Research keywords (6)： Cyber physical system , Software verification , Formal methods , Assurance Ccase , Software Supply Chain , Bounded arithmetic

Research theme for competitive and other funds (2)：

2023 - 2026 Developing a programming language for automatic synthesis of assurance cases
2014 - 2017 Integrated Runtime Monitoring of Network Software by Fusion of Runtime Verification and Model Checking

Papers (30)：

Yoriyuki Yamagata, Shunki Takami, Keisuke Yamazaki, Tomoki Nakaya, Masaki Onishi. Individual-based epidemiological model of COVID19 using location data. 2022 IEEE International Conference on Big Data (Big Data). 2022
Yoriyuki Yamagata, Fabien Herve, Yuji Fujiwara, Katsuro Inoue. Finding repeated strings in code repositories and its applications to code-clone detection. 2021 28th Asia-Pacific Software Engineering Conference (APSEC). 2021
Yutaka Matsuno, Yoriyuki Yamagata, Hideaki Nishihara, Yuichiro Hosokawa. Assurance Carrying Code for Software Supply Chain. ISSRE Workshops. 2021. 276-277
Gidon Ernst, Paolo Arcaini, Ismail Bennani, Aniruddh Chandratre, Alexandre Donzé, Georgios Fainekos, Goran Frehse, Khouloud Gaaloul, Jun Inoue 0001, Tanmay Khandait, et al. ARCH-COMP 2021 Category Report: Falsification with Validation of Results. ARCH@ADHS. 2021. 133-152
Yoriyuki Yamagata, Yutaka Matsuno. Algebraic Approach for Confidence Evaluation of Assurance Cases. Formal Methods and Software Engineering - 22nd International Conference on Formal Engineering Methods(ICFEM). 2020. 318-327

ｍore...

Patents (1)：

中継装置および中継装置を含む通信システム

Education (3)：

1997 - 2002 The University of Tokyo Department of Mathematical Science
1995 - 1997 The University of Tokyo Faculty of Science Department of Mathematics
1993 - 1995 The University of Tokyo

Professional career (1)：

博士(数理科学) (東京大学)

Work history (9)：

2018/11 - 現在 National Institute of Advanced Industrial Science and Technology Cyber-Physical Security Research Center Senior reseaercher
2015/04 - 2018/10 National Institute of Advanced Industrial Science and Technology Information Techonlogy Research Institute Senior reseaercher
2013/03 - 2015/03 National Institute of Advanced Industrial Science and Technology (AIST) Research Institute of Secure Systems Senior Researcher
2012/04 - 2013/02 National Institute of Advanced Industrial Science and Technology (AIST) Research Institute of Secure Systems Researcher
2010/04 - 2012/03 National Institute of Advanced Industrial Science and Technology (AIST) Embedded system technology collaboration research body Researcher

Show all

Association Membership(s) (6)：

ソフトウェア科学会 , 情報処理学会 , 日本疫学会 , JAPAN ASSOCIATION FOR PHILOSOPHY OF SCIENCE , Japanese Association for the Contemporary and Applied Philosophy , The Association for Symbolic Logic

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

Return to Previous Page