山形頼之 Yamagata Yoriyuki

研究者番号	40415758
その他のID
所属 (現在)	2025年度: 福井大学, 学術研究院工学系部門, 准教授
所属 (過去の研究課題情報に基づく) *注記	2023年度 – 2024年度: 国立研究開発法人産業技術総合研究所, 情報・人間工学領域, 主任研究員 2015年度 – 2016年度: 国立研究開発法人産業技術総合研究所, 情報技術研究部門, 主任研究員 2014年度: 独立行政法人産業技術総合研究所, セキュアシステム研究部門, 主任研究員
審査区分/研究分野	研究代表者小区分60050:ソフトウェア関連研究代表者以外ソフトウェア
キーワード	研究代表者セキュリティ / ソフトウェア工学 / プログラミング言語 / ソフトウェアサプライチェーン / ディペンダビリティ / アシュアランスケース研究代表者以外ネットワークソフトウェア / 実行時検証 / 実環境モデル検査

アシュアランスケース自動合成のためのプログラム可能な記述言語の開発研究代表者
- 研究代表者
  
  山形頼之
- 研究期間 (年度)
  2023 – 2025
- 研究種目
  
  基盤研究(B)
- 審査区分
  
  小区分60050:ソフトウェア関連
- 研究機関
  国立研究開発法人産業技術総合研究所
実行時検証とモデル検査の融合によるネットワークソフトウェアの統合実行監視
- 研究代表者
  
  山本光晴
- 研究期間 (年度)
  2014 – 2016
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  ソフトウェア
- 研究機関
  千葉大学

すべて 2023 2016 2015

すべて雑誌論文学会発表

[雑誌論文] Runtime Monitoring for Concurrent Systems2016
- 著者名/発表者名
  Yoriyuki Yamagata, Cyrille Artho, Masami Hagiya, Jun Inoue, Lei Ma, Yoshinori Tanabe, and Mitsuharu Yamamoto
- 雑誌名
  
  Runtime Verification - 16th International Conference, (RV 2016)
  
  巻: LNCS 10012 ページ: 386-403
- DOI
  10.1007/978-3-319-46982-9_24
- ISBN
  9783319469812, 9783319469829
- 査読あり / 謝辞記載あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-26280019
[雑誌論文] Java Pathfinder on Android Devices2016
- 著者名/発表者名
  Alexander Kohan, Mitsuharu Yamamoto, Cyrille Artho, Yoriyuki Yamagata, Lei Ma, Masami Hagiya, and Yoshinori Tanabe
- 雑誌名
  
  ACM SIGSOFT Software Engineering Notes
  
  巻: 41(6) 号: 6 ページ: 1-5
- DOI
  10.1145/3011286.3011292
- 査読あり / 謝辞記載あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-26280019
[雑誌論文] Domain-Specific Languages with Scala2015
- 著者名/発表者名
  Cyrille Artho, Klaus Havelund, Rahul Kumar, Yoriyuki Yamagata
- 雑誌名
  
  Proc 17th International Conference on Formal Engineering Methods
  
  巻: 2015 ページ: 1-16
- DOI
  10.1007/978-3-319-25423-4_1
- ISBN
  9783319254227, 9783319254234
- 査読あり / 謝辞記載あり / オープンアクセス / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-23240003, KAKENHI-PROJECT-26280019
[雑誌論文] Cardinality of UDP Transmission Outcomes2015
- 著者名/発表者名
  Franz Weitl, Nazim Sebih, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Yoriyuki Yamagata, Mitsuharu Yamamoto
- 雑誌名
  
  Proc 1st International Symposium on Dependable Software Engineering: Theories, Tools, and Applications
  
  巻: 2015 ページ: 120-134
- DOI
  10.1007/978-3-319-25942-0_8
- ISBN
  9783319259413, 9783319259420
- 査読あり / 謝辞記載あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-23240003, KAKENHI-PROJECT-26280019
[雑誌論文] Model-Based Testing of Stateful APIs with Modbat2015
- 著者名/発表者名
  Cyrille Artho, Martina Seidl, Quentin Gros, Eun-Hye Choi, Takashi Kitamura, Akira Mori, Rudolf Ramler, Yoriyuki Yamagata
- 雑誌名
  
  Proc 30th IEEE/ACM International Conference on Automated Software Engineering
  
  巻: 2015 ページ: 858-863
- DOI
  10.1109/ase.2015.95
- 査読あり / 謝辞記載あり / オープンアクセス / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-23240003, KAKENHI-PROJECT-26280019
[学会発表] アシュアランスキャリングコードを実現するためのプログラマブルなGSN（PGSN）の提案2023
- 著者名/発表者名
  山田翔太 , 山形頼之 , 松野裕 , 西原秀明
- 学会等名
  ソフトウェアエンジニアリングシンポジウム2023
- データソース
  KAKENHI-PROJECT-23K28066
[学会発表] Monitoring Distributed Applications with Java Pathfinder2016
- 著者名/発表者名
  Lei Ma, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Yoriyuki Yamagata, Alexander Kohan and Mitsuharu Yamamoto
- 学会等名
  Java Pathfinder Workshop 2016
- 発表場所
  Seattle, USA
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-26280019

1. 山本光晴 (00291295)

共同の研究課題数: 1件

共同の研究成果数: 4件
2. 萩谷昌己 (30156252)

共同の研究課題数: 1件

共同の研究成果数: 4件
3. Artho Cyrille (30462831)

共同の研究課題数: 1件

共同の研究成果数: 6件
4. 田辺良則 (60443199)

共同の研究課題数: 1件

共同の研究成果数: 4件
5. 松野裕 (70534220)

共同の研究課題数: 1件

共同の研究成果数: 1件
6. 西原秀明 (90443209)

共同の研究課題数: 1件

共同の研究成果数: 1件
7. コハンアレクサンダー

共同の研究課題数: 1件

共同の研究成果数: 2件
8. ヴァイテルフランツ

共同の研究課題数: 1件

共同の研究成果数: 1件
9. 馬雷

共同の研究課題数: 1件

共同の研究成果数: 3件
10. セビナジム

共同の研究課題数: 1件

共同の研究成果数: 0件

山形 頼之 Yamagata Yoriyuki

研究課題

研究成果

共同研究者

アシュアランスケース自動合成のためのプログラム可能な記述言語の開発研究代表者

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

実行時検証とモデル検査の融合によるネットワークソフトウェアの統合実行監視

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

[雑誌論文] Runtime Monitoring for Concurrent Systems2016

著者名/発表者名

雑誌名

DOI

ISBN

データソース

[雑誌論文] Java Pathfinder on Android Devices2016

著者名/発表者名

雑誌名

DOI

データソース

[雑誌論文] Domain-Specific Languages with Scala2015

著者名/発表者名

雑誌名

DOI

ISBN

データソース

[雑誌論文] Cardinality of UDP Transmission Outcomes2015

著者名/発表者名

雑誌名

DOI

ISBN

データソース

[雑誌論文] Model-Based Testing of Stateful APIs with Modbat2015

著者名/発表者名

雑誌名

DOI

データソース

[学会発表] アシュアランスキャリングコードを実現するためのプログラマブルなGSN（PGSN）の提案2023

著者名/発表者名

学会等名

データソース

[学会発表] Monitoring Distributed Applications with Java Pathfinder2016

著者名/発表者名

学会等名

発表場所

データソース

山形頼之 Yamagata Yoriyuki