Yoriyuki Yamagata
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
11
Venues
8
Active years
2012–2025
Best venue rank
A*
Where they publish
Papers
11 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | SAFECOMP | A GSN-Based Requirement Analysis of the EU AI Regulation. | Natsuki Hayama, Yoriyuki Yamagata, Hideaki Nishihara, Yutaka Matsuno |
| 2021 | APSEC | Finding repeated strings in code repositories and its applications to code-clone detection. | Yoriyuki Yamagata, Fabien Herv, Yuji Fujiwara, Katsuro Inoue |
| 2021 | ISSRE | Assurance Carrying Code for Software Supply Chain. | Yutaka Matsuno, Yoriyuki Yamagata, Hideaki Nishihara, Yuichiro Hosokawa |
| 2020 | ICFEM | Algebraic Approach for Confidence Evaluation of Assurance Cases. | Yoriyuki Yamagata, Yutaka Matsuno |
| 2018 | FM | Falsification of Cyber-Physical Systems Using Deep Reinforcement Learning. | Takumi Akazaki, Shuang Liu, Yoriyuki Yamagata, Yihai Duan, Jianye Hao |
| 2017 | ICDM | Anomaly Detection for a Water Treatment System Using Unsupervised Machine Learning. | Jun Inoue, Yoriyuki Yamagata, Yuqi Chen, Christopher M. Poskitt, Jun Sun |
| 2017 | RV | Operational Semantics of Process Monitors. | Jun Inoue, Yoriyuki Yamagata |
| 2016 | RV | Runtime Monitoring for Concurrent Systems. | Yoriyuki Yamagata, Cyrille Artho, Masami Hagiya, Jun Inoue, Lei Ma, Yoshinori Tanabe, Mitsuharu Yamamoto |
| 2015 | ICFEM | Domain-Specific Languages with Scala. | Cyrille Artho, Klaus Havelund, Rahul Kumar, Yoriyuki Yamagata |
| 2015 | SETTA | Cardinality of UDP Transmission Outcomes. | Franz Weitl, Nazim Sebih, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Yoriyuki Yamagata, Mitsuharu Yamamoto |
| 2012 | APSEC | On Accelerating SMT-based Bounded Model Checking of HSTM Designs. | Weiqiang Kong, Leyuan Liu, Yoriyuki Yamagata, Kenji Taguchi, Hitoshi Ohsaki, Akira Fukuda |