業績リスト

目次

論文・会議発表

  1. Individual-based epidemiological model of COVID19 using location data, Yoriyuki Yamagata, Shunki Takami, Keisuke Yamazaki, Tomoki Nakaya, Masaki Onishi, 2022 IEEE International Conference on Big Data (Big Data) 2022年12月17日. 査読有り
  2. Assurance Carrying Code for Software Supply Chain., Yutaka Matsuno, Yoriyuki Yamagata, Hideaki Nishihara, Yuichiro Hosokawa, ISSRE Workshops 276-277 2021年. 査読有り
  3. ARCH-COMP 2021 Category Report: Falsification with Validation of Results., Gidon Ernst, Paolo Arcaini, Ismail Bennani, Aniruddh Chandratre, Alexandre Donzé, Georgios Fainekos, Goran Frehse, Khouloud Gaaloul, Jun Inoue, Tanmay Khandait, Logan Mathesen, Claudio Menghi, Giulia Pedrielli, Marc Pouzet, Masaki Waga, Shakiba Yaghoubi, Yoriyuki Yamagata, Zhenya Zhang, ARCH@ADHS 133-152 2021年. 招待有り
  4. Algebraic Approach for Confidence Evaluation of Assurance Cases., Yoriyuki Yamagata, Yutaka Matsuno, Formal Methods and Software Engineering - 22nd International Conference on Formal Engineering Methods(ICFEM) 318-327 2020年. 査読有り
  5. ARCH-COMP 2020 Category Report: Falsification., Gidon Ernst, Paolo Arcaini, Ismail Bennani, Alexandre Donzé, Georgios Fainekos, Goran Frehse, Logan Mathesen, Claudio Menghi, Giulia Pedrielli, Marc Pouzet, Shakiba Yaghoubi, Yoriyuki Yamagata, Zhenya Zhang, ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20)(ARCH) 140-152 2020年. 招待有り
  6. Falsification of Cyber-Physical Systems Using Deep Reinforcement Learning, Yoriyuki Yamagata, Shuang Liu, Takumi Akazaki, Yihai Duan, Jianye Hao, IEEE Transactions on Software Engineering abs/1805.00200 1-1 2020年. 査読有り
  7. ARCH-COMP 2019 Category Report: Falsification., Gidon Ernst, Paolo Arcaini, Alexandre Donzé, Georgios Fainekos, Logan Mathesen, Giulia Pedrielli, Shakiba Yaghoubi, Yoriyuki Yamagata, Zhenya Zhang, ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi(ARCH@CPSIoTWeek) 129-140 2019年. 招待有り
  8. CONSISTENCY PROOF OF A FRAGMENT OF PV WITH SUBSTITUTION IN BOUNDED ARITHMETIC, YORIYUKI YAMAGATA, The Journal of Symbolic Logic 83(3) 1063-1090 2018年9月. 査読有り
  9. Falsification of Cyber-Physical Systems Using Deep Reinforcement Learning., Takumi Akazaki, Shuang Liu, Yoriyuki Yamagata, Yihai Duan, Jianye Hao, Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings 456-465 2018年. 査読有り
  10. Anomaly detection for a water treatment system using unsupervised machine learning, Jun Inoue, Yoriyuki Yamagata, Yuqi Chen, Christopher M. Poskitt, Jun Sun, IEEE International Conference on Data Mining Workshops, ICDMW 2017- 1058-1065 2017年12月15日. 査読有り
  11. Log-based anomaly detection of CPS using a statistical method, Yoshiyuki Harada, Yoriyuki Yamagata, Osamu Mizuno, Eun-Hye Choi, Proceedings - 8th IEEE International Workshop on Empirical Software Engineering in Practice, IWESEP 2017 abs/1701.03249 1-6 2017年5月10日. 査読有り
  12. Operational semantics of process monitors, Jun Inoue, Yoriyuki Yamagata, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10548 403-409 2017年. 査読有り
  13. Java Pathfinder on Android Devices., Alexander Kohan, Mitsuharu Yamamoto,Cyrille Artho, Yoriyuki Yamagata, Lei Ma, Masami Hagiya, Yoshinori Tanabe, ACM SIGSOFT Software Engineering Notes 41(6) 1-5 2016年.
  14. Runtime Monitoring for Concurrent Systems, Yoriyuki Yamagata, Cyrille Artho, Masami Hagiya, Jun Inoue, Lei Ma, Yoshinori Tanabe, Mitsuharu Yamamoto, RUNTIME VERIFICATION, (RV 2016) 10012 386-403 2016年. 査読有り
  15. Cardinality of UDP Transmission Outcomes, Franz Weitl, Nazim Sebih, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Yoriyuki Yamagata, Mitsuharu Yamamoto, DEPENDABLE SOFTWARE ENGINEERING: THEORIES, TOOLS, AND APPLICATIONS, SETTA 2015 9409 120-134 2015年. 査読有り
  16. Model-based Testing of Stateful APIs with Modbat, Cyrille Artho, Martina Seidl, Quentin Gros, Eun-Hye Choi, Takashi Kitamura, Akira Mori, Rudolf Ramler, Yoriyuki Yamagata, 2015 30TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE) 858-863 2015年. 査読有り
  17. Domain-specific languages with scala, Cyrille Artho, Klaus Havelund, Rahul Kumar, Yoriyuki Yamagata, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 9407 1-16 2015年. 査読有り
  18. A formal semantics of extended hierarchical state transition matrices using CSP#, Yoriyuki Yamagata, Weiqiang Kong, Akira Fukuda, Nguyen Van Tang, Hitoshi Ohsaki, Kenji Taguchi, FORMAL ASPECTS OF COMPUTING 26(5) 943-962 2014年9月. 査読有り
  19. Evaluation of a resilience embedded system using probabilisticmodel-checking, Ling Fang, Yoriyuki Yamagata, Yutaka Oiwa, Electronic Proceedings in Theoretical Computer Science, EPTCS 150 35-49 2014年5月3日. 査読有り
  20. With an Open Mind: How to Write Good Models, Cyrille Artho, Koji Hayamizu, Rudolf Ramler, Yoriyuki Yamagata, Communications in Computer and Information Science 419 3-18 2014年. 査読有り
  21. On Accelerating SMT-based Bounded Model Checking of HSTM Designs, Weiqiang Kong, Leyuan Liu, Yoriyuki Yamagata, Kenji Taguchi, Hitoshi Ohsaki, Akira Fukuda, 2012 19TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC), VOL 1 1 614-623 2012年. 査読有り
  22. Formal semantics of extended hierarchical state transition matrix by CSP., Yoriyuki Yamagata, Weiqiang Kong, Akira Fukuda, Nguyen Van Tang, Hitoshi Ohsaki, Kenji Taguchi, ACM SIGSOFT Software Engineering Notes 37(4) 1-8 2012年. 査読有り
  23. BOUNDED ARITHMETIC IN FREE LOGIC, Yoriyuki Yamagata, LOGICAL METHODS IN COMPUTER SCIENCE 8(3) 2012年. 査読有り
  24. A sequent calculus for limit computable mathematics, Stefano Berardi, Yoriyuki Yamagata, ANNALS OF PURE AND APPLIED LOGIC 153(1-3) 111-126 2008年4月. 査読有り
  25. Strong normalization of the second-order symmetric lambda mu-calculus, Y Yamagata, INFORMATION AND COMPUTATION 193(1) 1-20 2004年8月. 査読有り
  26. Strong normalization of a symmetric lambda calculus for second-order classical logic, Y Yamagata, ARCHIVE FOR MATHEMATICAL LOGIC 41(1) 91-99 2002年1月. 査読有り
  27. Strong Normalization of Second Order Symmetric Lambda-mu Calculus., Yoriyuki Yamagata, Theoretical Aspects of Computer Software, 4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001, Proceedings 459-467 2001年. 査読有り

競争的資金等の研究課題

研究代表者

  1. アシュアランスケース自動合成のためのプログラム可能な記述言語の開発
    • 提供機関・制度名・研究種目:日本学術振興会 科学研究費助成事業 基盤研究(B)
    • 研究期間：2023年4月1日 - 2026年3月31日
    • 研究代表者:山形 頼之

研究分担者

  1. 実行時検証とモデル検査の融合によるネットワークソフトウェアの統合実行監視
    • 提供機関・制度名・研究種目:日本学術振興会 科学研究費助成事業 基盤研究(B)
    • 研究期間:2014年4月1日 - 2017年3月31日
    • 研究代表者:山本 光晴

企業等との共同研究

株式会社イシダ・株式会社LETech・JR東日本など多数

産業財産権

  1. 中継装置および中継装置を含む通信システム
    • 発明者: 内藤 和文, 藤谷 有吾, 橋口 伸樹, 加賀爪 秀隆, 古山 寛一, 高木 浩光, 山形 ▲頼
    • 特願2005-271715 2005年9月20日