山形賴之

ヤマガタヨリユキ | Yamagata Yoriyuki

所属機関・部署：
職名：主任研究員
ホームページURL (2件)： https://yoriyuki.github.io/index-ja.html , https://yoriyuki.github.io

研究分野 (3件)：ソフトウェア , 情報学基礎論 , 数学基礎

研究キーワード (6件)：サイバーフィジカルシステム , ソフトウェア検証 , 形式手法 , アシュアランスケース , ソフトウェアサプライチェーン , 限定算術

競争的資金等の研究課題 (2件)：

論文 (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

特許 (1件)：

学歴 (3件)：

学位 (1件)：

経歴 (9件)：

全件表示

所属学会 (6件)：

ソフトウェア科学会 , 情報処理学会 , 日本疫学会 , 科学基礎論学会 , 応用哲学会 , The Association for Symbolic Logic

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

山形 賴之