• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

Yamagata Yoriyuki  山形 頼之

ORCIDConnect your ORCID iD *help
… Alternative Names

山形 頼之  ヤマガタ ヨリユキ

Less
Researcher Number 40415758
Other IDs
Affiliation (Current) 2025: 福井大学, 学術研究院工学系部門, 准教授
Affiliation (based on the past Project Information) *help 2023 – 2024: 国立研究開発法人産業技術総合研究所, 情報・人間工学領域, 主任研究員
2015 – 2016: 国立研究開発法人産業技術総合研究所, 情報技術研究部門, 主任研究員
2014: 独立行政法人産業技術総合研究所, セキュアシステム研究部門, 主任研究員
Review Section/Research Field
Principal Investigator
Basic Section 60050:Software-related
Except Principal Investigator
Software
Keywords
Principal Investigator
セキュリティ / ソフトウェア工学 / プログラミング言語 / ソフトウェアサプライチェーン / ディペンダビリティ / アシュアランスケース
Except Principal Investigator
ネットワークソフトウェア / 実行時検証 / 実環境モデル検査
  • Research Projects

    (2 results)
  • Research Products

    (7 results)
  • Co-Researchers

    (10 People)
  •  Development of a programmable description language of assurance cases for automatic synthesisPrincipal Investigator

    • Principal Investigator
      山形 頼之
    • Project Period (FY)
      2023 – 2025
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Review Section
      Basic Section 60050:Software-related
    • Research Institution
      National Institute of Advanced Industrial Science and Technology
  •  Integrated Runtime Monitoring of Network Software by Fusion of Runtime Verification and Model Checking

    • Principal Investigator
      Yamamoto Mitsuharu
    • Project Period (FY)
      2014 – 2016
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      Software
    • Research Institution
      Chiba University

All 2023 2016 2015

All Journal Article Presentation

  • [Journal Article] Runtime Monitoring for Concurrent Systems2016

    • Author(s)
      Yoriyuki Yamagata, Cyrille Artho, Masami Hagiya, Jun Inoue, Lei Ma, Yoshinori Tanabe, and Mitsuharu Yamamoto
    • Journal Title

      Runtime Verification - 16th International Conference, (RV 2016)

      Volume: LNCS 10012 Pages: 386-403

    • DOI

      10.1007/978-3-319-46982-9_24

    • ISBN
      9783319469812, 9783319469829
    • Peer Reviewed / Acknowledgement Compliant / Open Access
    • Data Source
      KAKENHI-PROJECT-26280019
  • [Journal Article] Java Pathfinder on Android Devices2016

    • Author(s)
      Alexander Kohan, Mitsuharu Yamamoto, Cyrille Artho, Yoriyuki Yamagata, Lei Ma, Masami Hagiya, and Yoshinori Tanabe
    • Journal Title

      ACM SIGSOFT Software Engineering Notes

      Volume: 41(6) Issue: 6 Pages: 1-5

    • DOI

      10.1145/3011286.3011292

    • Peer Reviewed / Acknowledgement Compliant / Open Access
    • Data Source
      KAKENHI-PROJECT-26280019
  • [Journal Article] Domain-Specific Languages with Scala2015

    • Author(s)
      Cyrille Artho, Klaus Havelund, Rahul Kumar, Yoriyuki Yamagata
    • Journal Title

      Proc 17th International Conference on Formal Engineering Methods

      Volume: 2015 Pages: 1-16

    • DOI

      10.1007/978-3-319-25423-4_1

    • ISBN
      9783319254227, 9783319254234
    • Peer Reviewed / Acknowledgement Compliant / Open Access / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-23240003, KAKENHI-PROJECT-26280019
  • [Journal Article] Cardinality of UDP Transmission Outcomes2015

    • Author(s)
      Franz Weitl, Nazim Sebih, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Yoriyuki Yamagata, Mitsuharu Yamamoto
    • Journal Title

      Proc 1st International Symposium on Dependable Software Engineering: Theories, Tools, and Applications

      Volume: 2015 Pages: 120-134

    • DOI

      10.1007/978-3-319-25942-0_8

    • ISBN
      9783319259413, 9783319259420
    • Peer Reviewed / Acknowledgement Compliant / Open Access
    • Data Source
      KAKENHI-PROJECT-23240003, KAKENHI-PROJECT-26280019
  • [Journal Article] Model-Based Testing of Stateful APIs with Modbat2015

    • Author(s)
      Cyrille Artho, Martina Seidl, Quentin Gros, Eun-Hye Choi, Takashi Kitamura, Akira Mori, Rudolf Ramler, Yoriyuki Yamagata
    • Journal Title

      Proc 30th IEEE/ACM International Conference on Automated Software Engineering

      Volume: 2015 Pages: 858-863

    • DOI

      10.1109/ase.2015.95

    • Peer Reviewed / Acknowledgement Compliant / Open Access / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-23240003, KAKENHI-PROJECT-26280019
  • [Presentation] アシュアランスキャリングコードを実現するためのプログラマブルなGSN(PGSN)の提案2023

    • Author(s)
      山田 翔太 , 山形 頼之 , 松野 裕 , 西原 秀明
    • Organizer
      ソフトウェアエンジニアリングシンポジウム2023
    • Data Source
      KAKENHI-PROJECT-23K28066
  • [Presentation] Monitoring Distributed Applications with Java Pathfinder2016

    • Author(s)
      Lei Ma, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Yoriyuki Yamagata, Alexander Kohan and Mitsuharu Yamamoto
    • Organizer
      Java Pathfinder Workshop 2016
    • Place of Presentation
      Seattle, USA
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-26280019
  • 1.  Yamamoto Mitsuharu (00291295)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 4 results
  • 2.  萩谷 昌己 (30156252)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 4 results
  • 3.  Artho Cyrille (30462831)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 6 results
  • 4.  田辺 良則 (60443199)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 4 results
  • 5.  松野 裕 (70534220)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 1 results
  • 6.  西原 秀明 (90443209)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 1 results
  • 7.  KOHAN Alexander
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 2 results
  • 8.  WEITL Franz
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 1 results
  • 9.  MA Lei
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 3 results
  • 10.  SEBIH Nazim
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results

URL: 

Are you sure that you want to link your ORCID iD to your KAKEN Researcher profile?
* This action can be performed only by the researcher himself/herself who is listed on the KAKEN Researcher’s page. Are you sure that this KAKEN Researcher’s page is your page?

この研究者とORCID iDの連携を行いますか?
※ この処理は、研究者本人だけが実行できます。

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi