Yamagata Yoriyuki 山形頼之

… 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 ネットワークソフトウェア / 実行時検証 / 実環境モデル検査

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

Yamagata Yoriyuki 山形 頼之

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

Research Projects

Research Products

Co-Researchers

Development of a programmable description language of assurance cases for automatic synthesisPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Integrated Runtime Monitoring of Network Software by Fusion of Runtime Verification and Model Checking

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Journal Article] Runtime Monitoring for Concurrent Systems2016

Author(s)

Journal Title

DOI

ISBN

Data Source

[Journal Article] Java Pathfinder on Android Devices2016

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Domain-Specific Languages with Scala2015

Author(s)

Journal Title

DOI

ISBN

Data Source

[Journal Article] Cardinality of UDP Transmission Outcomes2015

Author(s)

Journal Title

DOI

ISBN

Data Source

[Journal Article] Model-Based Testing of Stateful APIs with Modbat2015

Author(s)

Journal Title

DOI

Data Source

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

Author(s)

Organizer

Data Source

[Presentation] Monitoring Distributed Applications with Java Pathfinder2016

Author(s)

Organizer

Place of Presentation

Data Source

Yamagata Yoriyuki 山形頼之

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